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
Dan
C
a
rpenter
db: fixup
a
fter call_impl
i
es chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
par
a
m
_
c
leared: ha
n
dle d
i
rect
a
ssignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Da
n
Carpe
n
te
r
db: mak
e
call_
i
mplies match caller_i
n
fo
with a key
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
Dan Carpenter
sm
d
b
.
py:
fix test f
o
r
if a datatype is known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan C
a
rpenter
assigned_
e
xpre
s
sion: get the assi
g
ne
d
expressio
n
using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
r
o
senberg
:
hand
l
e struct to struct assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan
C
a
r
penter
da
t
a/kerne
l
.
sizeof
_
param
.
r
emove: add __dynam
i
c
_
p
r
_debug()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan C
a
rp
e
nter
stru
c
t_assignment: introd
u
ce get_faked_
e
xpression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
D
a
n Car
p
ente
r
struct
_
assig
n
ment:
h
andl
e
m
emcpy(foo,
.
.
.
) where
foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpent
e
r
math: be more ambitious handling right shifts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
u
ser_dat
a
: kstrtoul() and f
r
i
ends s
h
ould taint d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
extra: more
l
im
i
ts on
w
hich var
i
ables are equ
i
valent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Dan Carpent
e
r
db: get return states from f
u
nctio
n
pointers
i
f possible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpente
r
prop
a
gate: remove validati
o
n
test bec
a
use we removed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
slist: introduc
e
merge_fake_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
unreacha
b
l
e: sile
n
c
e
"
n
ot ac
t
uall
y
initialized" fals
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
D
an Carpente
r
ros
e
nb
e
rg
:
fix som
e
fals
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpenter
debug:
i
ntroduce __s
m
atch_debug
_
c
h
eck
(
) to
d
e
bug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpenter
*new* c
h
ec
k
_no_i
f
_
bl
o
c
k: s
o
meti
m
es the
if bloc
k
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan
C
arpenter
unco
n
stant_macros: add VM_SOFT
D
IRTY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Carpente
r
t
y
p
e: intro
d
uc
e
is_string(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpent
e
r
user_data: introduce implied_user_dat
a
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Carpe
n
ter
rosenberg:
r
efact
o
r
match_copy_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
arp
e
nter
ro
s
en
b
erg: check many more functions instead of just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Car
p
enter
rosenberg: add memzero() to cle
a
r functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan C
a
rpen
t
er
p
a
ram_cleare
d
: memzero
(
)
cle
a
rs the parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Ca
r
pe
n
ter
db: split al
l
b
oolean fun
c
tions into one and zero strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Da
n
C
a
rpenter
c
l
ear_buffer: remove this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
a
rpenter
par
a
m_cle
a
red: this shouldn't depend on --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an Ca
r
penter
locking: update
v
al
i
dation to the new error fo
r
mati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
locking
:
upda
t
e error form
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an
C
arpen
t
er
struct_assignment: fi
x
h
o
w
smatch han
d
les foo = NULL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenb
e
r
g
:
p
repare to ch
e
c
k pointers to struc
t
s as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
rpe
n
ter
rosenber
g
: check for holes at the end of the struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Ca
r
pente
r
r
osenberg: this check i
s
kerne
l
spec
i
fic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
Carpenter
unrea
c
h
able: tur
n
i
t
o
n
by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carp
e
nte
r
helper: intr
o
du
c
e
g
et_prev_s
t
atem
e
nt() (fix the
b
u
ild)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
Carpenter
unreacha
b
le: add watchdog() to ker
n
e
l
.
no
_
r
eturn_f
u
ncs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
un
r
e
a
ch
a
b
l
e: don't print a warni
n
g
i
f
w
e
jump to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpente
r
unreachable
:
ignore un
r
eachable co
d
e right after
a
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: tu
r
n off
back
w
ard la
b
eled warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: add some more macros
to t
h
e
.
ignore and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carp
e
nter
flow
:
m
erg
e
continues befor
e
the iterator_
p
o
s
t_st
a
te
m
ent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
f
l
ow:
h
andle post op ret
u
r
n stateme
n
t
s li
k
e:
r
e
tur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
unreachable:
i
gnor
e
some conditi
o
nally unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
r
p
e
nter
unreacha
b
le: ignore co
m
mon
f
alse positives caused by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carp
e
nte
r
unreach
a
ble: ignore
unrea
c
h
a
ble code af
t
er BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
unreachable: move it out
of sm
a
tc
h
_flow
.
c and
sm
a
tch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
avl
:
fix fail
i
ng "stree->stree_id == 0
"
assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpen
t
er
overflow:
don't
w
arn if we overflow use buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpent
e
r
smatch_type:
nev
e
r refer to ->
b
it_size d
i
re
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpe
n
ter
db: f
u
nction with too many poin
t
ers
to it ca
u
se
s
low
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan
Carpenter
d
b
:
rename db_callback
to call
e
r
_info_ca
l
lback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n
C
arpenter
p
r
opagate: delete th
i
s test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
s
t
ore
d
_conditio
n
s:
don't s
t
ore constant
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan
Carpent
e
r
M
e
rge git
:
//g
i
t
.
k
e
r
nel
.
org/pub/scm/devel/sparse/chris
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
states: add another
r
ead_only chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n Carpent
e
r
missing_brea
k
:
u
s
e
fewer states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
av
l
:
add a co
u
nter
for when you allocate o
r
free a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
an C
a
r
p
enter
slist,
r
etu
r
ns:
intr
o
duce m
e
rge_stree_no_pools
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Car
p
enter
unc
o
nstant_macr
o
s: al
l
ow (foo
&
_PAGE_NX
)
even whe
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
buf_size: allow strncmp("foo", bar, 100)
w
here 100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
Car
p
enter
param
_
set: only
record paramet
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
ex
t
ra: ignore str
u
c
t to s
t
ruct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpe
n
ter
im
p
l
i
ed: add the stree_id to
debug o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpen
t
e
r
clear_b
u
ffer: delet
e
an
unused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpent
e
r
clear_buffer:
d
ele
t
e ob
s
olete code to han
d
l
e struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carp
e
nter
compar
i
son: don't record that actual structs are equ
i
valent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
an Carpent
e
r
assi
g
ned_expr:
d
on't store fake assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
rpenter
debug:
c
hange __
s
match
_
cur_slist()
t
o __smatch_cur_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpenter
state
s
: don't __unnullif
y
_path unn
e
c
e
ssar
i
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
D
an
Carpenter
im
p
lied:
smatch wa
s
saying some
t
hings were imp
l
ied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan C
a
rpent
e
r
str
e
e: fix
a
bu
n
c
h
of
s
tre
e
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carp
e
nter
states: merge nullify_all
_
st
a
tes() in
t
o save
_
all_s
t
ates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
stree: ma
k
e stree
s
copy on
write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpent
e
r
stree: move stree_id into the avl root
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
slist: ren
a
me sli
s
t_
i
d to stree_i
d
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
er
avl: introduce FOR_EAC
H
_MY_S
M
() and ca
l
lers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpente
r
kunmap:
updat
e
v
alidation file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpe
n
ter
fl
o
w: fixes for hairy functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
extra
:
fix unk
n
own +=
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
i
m
p
l
ied: ad
d
a newline to o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Ca
r
penter
store
d
_conditions: store comparisons and not l
o
gicals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpenter
db: f
i
x nested c
a
ll handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
kunmap: tidy up
error
mes
s
a
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpe
n
ter
conditions: fix some leaks in han
d
le_sel
e
ct()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
slist: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stree fallout: implications
n
ot working 100%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carp
e
nter
state
s
:
rename fake_cur_slis
t
functions to
f
ak
e
_cur_str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpent
e
r
states:
rena
m
e __print_c
u
r_slist() to __
p
rint
_
cur_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: renam
e
avl_free() to
f
ree_st
r
ee()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rp
e
nter
avl: re
n
ame avl_count
(
) to stree_coun
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
avl:
u
s
e
s
t
r
u
ct str
e
e instead of making it a typed
e
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
avl:
r
ename struc
t
AVL to struct s
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpent
e
r
avl: rename a
v
l_clone to clo
n
e_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
slist: delete slis
t
compat layer and rem
a
ining u
n
used
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpe
n
t
er
states:
elimi
n
at
e
rema
i
n
i
n
g re
f
e
r
ences to __get_cur_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
s
tate
s
: rem
o
ve some dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
r
pe
n
t
er
slist: remove a b
u
nch of unused slis
t
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpent
e
r
co
r
e: chang
e
(
struct sm_state)->pool to be a stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next