repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
flow: add a ->parent member to statement structs
2015-03-20
D
a
n Car
p
enter
h
elp
e
r: m
a
k
e
expr_to_str() p
r
int forced ca
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
p
enter
type:
m
ake t
y
pe_to_str() return a sname()
b
uffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modification_
h
ook
s
: set a v
a
riable as mo
d
ified whe
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpen
t
e
r
user_data2: tag it if a func
t
ion
sets parameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
t
er
stack: cleanup a
f
unction
p
r
o
totype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
d
e
ref
_
check:
i
gnore arr
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
a
n Carpe
n
ter
type: mak
e
sval_type_max() d
e
fault to "long
l
o
ng"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Da
n
Carpenter
type: don't return
SYM_NOD
E
types from
g
et_real_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
D
an Carpenter
si
d
e_eff
e
cts: th
e
iterate_all_kinds
(
) macro h
a
s side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carp
e
nter
un
r
eachab
l
e: do
n
't complain
about
iterate_
a
ll_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpe
n
ter
f
l
ow:
fix
"
foo += !b
a
r;" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpen
t
er
lib: h
a
ndl
e
-
f
unsigned-char
o
pt
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan C
a
r
penter
kernel
.
ignore_side_effects: ad
d
so
m
e
ma
c
ros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n
C
arpen
t
er
indenting: allow "bre
a
k;
c
ase X
X
X:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
user_
d
ata
2
:
m
a
r
k sscanf(
)
outpu
t
as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
math, rl: fix h
a
nding division involving negative numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an Ca
r
penter
sval: fix sval_binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
penter
preceden
c
e: co
m
plain about
"
f
o
o << bar
- baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan C
a
rpenter
flow
:
hand
l
e struct i
n
i
t
ializat
i
on bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carp
e
n
t
er
estate: add
a
N
ULL check i
n
estates_
e
quiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan
C
a
rpenter
param_us
e
d: s
t
ore when a parameter is use
d
so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carp
e
nter
extra
:
i
gnore mo
r
e __in_fake_as
s
ign
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan
C
arpenter
comparis
o
n: fix a crashing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Ca
r
penter
type: add an ex
p
r_signed()
f
unction tha
t
matches expr_unsigned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smd
b
.
p
y
: ad
d
fu
n
ction
s
to
s
how functi
o
ns
i
mpl
e
menting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
penter
e
x
tra: handle temporary
s
hortha
n
d
p
ointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arp
e
nt
e
r
dereferences_param: look
f
or pointers used
a
s an
array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check
_
ind
e
nting: warn about
m
issing curly
b
r
aces an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpe
n
t
e
r
pa
r
am
_
cleared: add a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
valida
t
ion:
corre
c
t some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db: b
u
ild i
n
dexes
f
aster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
arpenter
slis
t
:
fix
c
o
m
pile breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n Carpenter
kernel_p
r
int
f
: silence some
fals
e
positives using smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n Carpent
e
r
strings: r
e
cord which strings are bei
n
g used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
u
s
e
r_data2:
turn on skb
-
>data ta
g
gi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpenter
db: rename FILTER_VALUE, LIMI
T
ED_VALUE, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
kernel_
p
rintf: silence s
o
me "struct
s
ockad
d
r
" fa
l
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an Ca
r
penter
t
y
pe:
a
dd unions
to
typ
e
_to
_
str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
type_value:
s
peed up loading
the da
t
abas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*
n
ew* retur
n
_ca
s
t: compl
a
in about
r
eturn -EIN
V
A
L in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpent
e
r
format
_
string:
del
e
te this because check_kern
e
l_pr
i
ntf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
e
r
f
un
c
tion_h
o
oks: add some debu
g
o
u
t
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
extra: c
l
eanup db_
p
ar
a
m_add_
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Ca
r
p
e
nter
extra: s
e
pa
r
ate PA
R
AM_
L
IMI
T
a
n
d
PARAM_FI
L
TER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
funct
i
on
_
h
ooks
:
don't
ta
k
e
a shortcut for "needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
help
e
r: introduce allo
c
_s
t
ate_s
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
math: handle
"
if (l
i
kely(1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
math
:
fix/c
l
ea
n
up d
o
_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
c
ap
p
ed: don't
r
ecord sing
l
e values as
c
apped in
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
en
t
er
db: export get_static_filter(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_data2: wro
n
g paramet
e
r tagged as
use
r
da
t
a
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
rosen
b
e
rg: delete so
m
e c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg: strip aw
a
y
s
o
me c
a
sting (eliminates a fals
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
ros
e
n
berg: don't
s
ave unneede
d
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpe
n
t
er
b
uf_size:
don't save usel
e
ss information in
t
he database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n C
a
r
p
enter
struc
t
_
a
ssignment: ignore more fake assig
n
ment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
slist: fix debuggi
n
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
Carpe
n
ter
param_cleared, rosenberg
:
add underscore
d
memset/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
p
aram_f
i
lter/set: don't record
f
ake assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpenter
slist,
d
ebugg
i
n
g
: don't print ->possible
l
ist i
f
there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
type_val: add more stuff to igno
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
d
b
/
r
eload_partia
l
.
sh:
c
hang
e
d
a
tab
a
se info for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n
Carpenter
kernel_printf:
p
ut lots of single q
u
otes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan
Carpenter
Mer
g
e branch 'de
v
el3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
check_ker
n
e
l
_
pr
i
ntf
.
c: Simplify rec
u
rsi
v
e cal
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carp
e
nter
kernel_printf: all
o
w '\b' i
f
i
t
's the first
character
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpente
r
v
a
lidat
i
on/sm_
r
osenbe
r
g
.
c: don't pass an uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
rnel_pr
i
ntf
:
ad
d
so
m
e m
o
re quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
penter
kernel_printf:
m
o
ve a warning under the --spam
m
y flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_
p
r
i
ntf: add som
e
quotes around the functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kerne_p
r
i
n
tf: '%pb'
i
s
valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Dan
Carpenter
wron
g
_size_a
r
g
: warn about "
i
f (memcmp(foo, bar, sizeo
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
pen
t
er
s
t
ruct
_
assignment: remove a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carpenter
sval: ha
n
dle L
E
FTSHIFTs in
sv
a
l_bino
p
_overflows(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpe
n
ter
sval
:
cast
the
r
esult in sval_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
n
ter
type_val: upda
t
e
t
o handle
P
ARAM_SET
f
rom
t
he db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
a
r
p
e
n
ter
type_val: ign
o
re
k
m
alloc(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type
_
val: igno
r
e a
l
l t
h
e "for
_
e
ach" macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
user_
d
at
a
2: remov
e
some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
D
a
n Carpenter
helpe
r
: intro
d
uce invert_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Da
n
Carpenter
ranges: break th
e
range li
s
t pa
r
sing i
n
t
o a se
p
a
r
a
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n
Carpenter
r
a
ng
e
s:
prep
a
re to change a s
t
r
ing to
a
n
esta
t
e
i
nstead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
mo
d
i
ficatio
n
_h
o
o
k
s: add PARA
M
_SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
D
an Carp
e
nter
p
aram_cleared: clearing
a memb
e
r is not clearing a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
D
an
C
arpenter
type_val: i
g
nore fa
k
e memb
e
r
assignments from uncasted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Da
n
C
arpe
n
ter
t
ype
_
value: list_en
t
ry is safe as we
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carp
e
n
t
er
db: use saved return
e
state instead
o
f searching
the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan
C
arpente
r
debug: introduce __smatch_known()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
D
a
n
Carpenter
db
,
extr
a
: use
PARAM_SET
if th
e
parameter is totally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Dan Ca
r
penter
frees_param: modify means it's
not
f
ree
d
anymore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
D
a
n Ca
r
pen
t
er
slist: fix "stack no
t
e
mpty
"
errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
D
a
n Carpenter
silence: add
__read_once
_
si
z
e()
t
o ker
n
el
.
silenc
e
d_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Ca
r
p
e
nter
comparison:
h
andle
p
reops
l
ike "if (++a == b)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
flow: do
n
't inlin
e
functions w
h
i
c
h are ove
r
2
0
line
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
function
_
ptrs: handl
e
SYN_NODE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
helper: improv
e
get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpe
n
t
e
r
user_data
2
: star
t
re
-
wr
i
te of user_data (not used
y
et
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
mat
h
: i
n
tro
d
uce custom_g
e
t_absolute_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carpenter
db:
i
mprove mem-
d
b debuggin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan
Carpente
r
db: member_info callback
s
hould pass the sm
_
state
inst
e
ad
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next