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
db: fixup after call_implies changes
2014-06-19
Da
n
Car
p
enter
db: fixup
a
fter call
_
i
m
plies c
h
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan
C
arpenter
param_cl
e
are
d
: handle d
i
rect assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
db:
m
ake
call
_
implies match calle
r
_info with a key
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-18
D
an Ca
r
pent
e
r
smdb
.
p
y: f
i
x
t
est f
o
r if a d
a
tatyp
e
i
s
kn
o
wn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
D
a
n Carpe
n
ter
assigned_e
x
pression: g
e
t the assigned exp
r
essi
o
n usin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Da
n
Carpen
t
er
rosen
b
erg: handle
s
t
ruc
t
to struct assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Ca
r
penter
dat
a
/kern
e
l
.
sizeof
_
param
.
r
e
mo
v
e: add __dynamic_pr_debug()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpente
r
struct_
a
s
sig
n
ment: introdu
c
e get_faked_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan
Carpenter
struct_ass
i
g
n
m
ent: handle memcpy(foo,
.
.
.
)
wh
e
re foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Car
p
enter
math: be more ambitious handling right sh
i
f
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan
C
arpenter
us
e
r_
d
ata: kstrtoul
(
) and frie
n
ds s
h
ould taint
d
a
t
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
D
a
n Carp
e
n
ter
extra
:
more limits on which variab
l
es
are equ
i
va
l
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Dan Carpenter
db: g
e
t
retu
r
n states from func
t
ion po
i
n
te
r
s
if possible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
D
an
Carpenter
pr
o
pagate: remove validation test bec
a
use we removed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
a
n Ca
r
p
enter
slist:
introduce
me
r
ge_fake_st
r
ee(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
unreachable: silence "not a
c
tually ini
t
i
alized"
false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
an Carpen
t
er
ro
s
enbe
r
g: f
i
x some fa
l
se
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpenter
debug: introduce
_
_
smatch_debu
g
_check() to debug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carp
e
nter
*
n
ew*
c
heck_no_if_bl
o
ck: s
o
metimes the
if block
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan
Carpente
r
u
n
c
o
nstant_ma
c
ros: add
V
M_SOFTDIRTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan C
a
rpen
t
er
type: in
t
roduce i
s
_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Ca
r
penter
user_
d
ata:
i
ntroduce implied_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg:
refactor
match_copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
arpenter
rose
n
berg: check ma
n
y mor
e
function
s
instead
of just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
ros
e
nberg:
a
dd me
m
zero(
)
to
clear func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
pa
r
am_cleared
:
me
m
z
e
r
o() clears the paramete
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
d
b:
s
plit al
l
boolean functions int
o
one
a
n
d zero
strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpen
t
er
clear_buffer: remove th
i
s code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpent
e
r
p
a
r
am_clear
e
d: this shouldn't
d
epend on
--in
f
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Ca
r
penter
locking: upda
t
e validation to the new error
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n
C
a
rpente
r
lockin
g
: u
p
date error format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
struct_assi
g
nment: f
i
x how smatc
h
handles foo = NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
ter
rosenbe
r
g:
p
repa
r
e to check poi
n
t
e
rs to stru
c
ts
as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
ros
e
nberg:
c
heck for holes at t
h
e end of t
h
e st
r
uct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpenter
rosenberg: this c
h
eck is kernel specific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpen
t
er
unreachable: turn it on by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
helper: introduce get_prev_s
t
atement() (fi
x
th
e
b
uild)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
u
n
r
eachable: add wa
t
chdog() to k
e
rnel
.
no_return_funcs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
nreachable: don't print
a
warn
i
ng i
f
we jump to th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: i
g
nore
u
n
reachable code righ
t
after
a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpe
n
ter
unreachable: tu
r
n
off backward
labele
d
warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
unre
a
c
hable: add some mor
e
macros to the
.
igno
r
e an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
fl
o
w: merge continues b
e
f
or
e
t
he
i
terator_post_statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Car
p
enter
flow:
h
a
ndle post op
return statem
e
nts like:
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: i
g
no
r
e some condit
i
onally unr
e
acha
b
le
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreac
h
a
b
l
e: ignore commo
n
false po
s
it
i
ves caused b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
C
a
r
pent
e
r
unreachabl
e
:
i
gnore un
r
eacha
b
le code aft
e
r BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable
:
move it out
of smatch_flow
.
c an
d
s
ma
t
c
h
_sta
t
es
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpent
e
r
a
v
l: fix fail
i
ng "
s
tr
e
e->stree_id == 0" assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Ca
r
pent
e
r
overf
l
ow: don't
warn if
w
e
overflow use buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpenter
s
m
atch_type
:
never refer to
->bit_size di
r
ectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpenter
db: function wi
t
h
t
oo many pointe
r
s
t
o
it
c
ause slow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
D
an Carpenter
db: rename db_
c
allbac
k
to c
a
l
ler_info_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Car
p
en
t
er
propag
a
te:
de
l
ete this test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpent
e
r
stored_condition
s
: don't store co
n
s
t
ants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan
C
arpente
r
Merge g
i
t:/
/
git
.
kernel
.
o
r
g/pub
/
scm/devel/sparse/chr
i
sl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpenter
states: ad
d
another read_only check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
m
issi
n
g_
b
reak: use
fewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan
Carp
e
nter
av
l
:
ad
d
a counter for when y
o
u allocate
o
r
f
r
ee a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpent
e
r
slist, ret
u
r
n
s: in
t
roduce merge_stree_no_pools()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
C
arpe
n
ter
unc
o
nstant_macr
o
s
:
allow (foo &
_PAGE_N
X
)
e
ven when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan
C
a
rp
e
nter
buf_size: allow strn
c
mp("f
o
o", bar, 100) wh
e
re 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Car
p
enter
pa
r
am_set: only record para
m
eters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
Car
p
enter
extra: ignore s
t
r
u
ct to struct
a
ss
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
an Carpenter
implied: add the s
t
ree_
i
d to debug outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carp
e
nter
clea
r
_
buffer: delet
e
an u
n
used functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carp
e
nter
cl
e
ar_buf
f
er
:
del
e
te obsolete code to
h
andle s
t
ruct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpent
e
r
comp
a
rison: do
n
't record that a
c
tual structs are e
q
uival
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpe
n
ter
assi
g
ne
d
_expr: d
o
n
'
t store
f
ak
e
assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
debug:
c
hange __smatch_cur_slist()
t
o
__sma
t
c
h
_cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpenter
states: don't __unnullify_path unne
c
es
s
ari
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan
Carpente
r
impli
e
d: smatch was saying
somethin
g
s w
e
re
imp
l
ie
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
stree: fix
a bunch of stree leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
D
a
n C
a
rpenter
states: merge nul
l
i
fy_all_states() into s
a
ve_al
l
_stat
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
stree:
m
a
ke strees copy o
n
write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
str
e
e: move stree_id
i
nto the a
v
l r
o
ot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rp
e
nter
slist
:
rename slist_id to stree_i
d
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
a
vl: introduce FOR
_
EACH_MY_SM() and
callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
kunmap: up
d
a
te validation fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
r
pent
e
r
flow: fixes for hairy function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
extra: fix unknown += assignm
e
nt
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpen
t
er
im
p
l
i
ed: a
d
d a newline to
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stor
e
d_conditio
n
s:
st
o
re comparisons and not logicals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
db: fix neste
d
call han
d
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
kunma
p
:
t
id
y
up error
me
s
sage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
C
a
rpent
e
r
conditions: fix
s
om
e
leaks in h
a
n
dle_selec
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpent
e
r
slist: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n C
a
rpenter
stree fallout: im
p
lications not wor
k
ing 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpent
e
r
states: renam
e
fake_cur_slist
f
u
n
ct
i
ons to fake_cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
states: rename __print_cur
_
slist() to
__prin
t
_cur_str
e
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpent
e
r
avl: rename
a
vl_
f
ree() to fr
e
e_stree
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl:
renam
e
avl_count
(
)
to stre
e
_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
avl: use st
r
uct stree
inste
a
d o
f
making
i
t
a typedef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
avl: rename st
r
uct
A
VL to
s
tru
c
t
s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rp
e
n
t
er
avl: rename avl_clone to clone_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
sli
s
t: dele
t
e slist compa
t
layer and rema
i
ning unused
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: e
l
imi
n
ate
r
e
m
aining references to __ge
t
_cur
_
sli
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rpen
t
er
states: remove
some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Carpenter
slist
:
remove a
b
un
c
h of unused
s
list functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpente
r
co
r
e: cha
n
ge (struc
t
sm_state)->po
o
l
to be a s
t
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next