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
struct_assignment: handle memcpy(foo, ...) where foo is not a struct
2014-05-29
D
a
n Car
p
en
t
er
s
t
r
uc
t
_assignm
e
nt: h
a
ndle memcpy(foo,
.
.
.
)
w
h
ere foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Da
n
Carpent
e
r
math: be more
a
mbitious ha
n
dling right shifts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan C
a
rpent
e
r
user_
d
ata: kstrto
u
l() and frien
d
s should ta
i
nt data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
extra
:
more limits
o
n
w
hich v
a
riable
s
are equivale
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Dan C
a
rpenter
db
:
get return state
s
f
rom functi
o
n pointers
i
f possible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpenter
propa
g
at
e
: remo
v
e valid
a
tion
tes
t
because
w
e remove
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
D
a
n Carpe
n
ter
slist: intro
d
uc
e
merge_fake_st
r
e
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
unreachable:
s
i
lence "
n
ot actua
l
ly ini
t
ia
l
ized" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carp
e
nter
ros
e
nb
e
rg
:
f
i
x s
o
me
fals
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carp
e
nt
e
r
d
eb
u
g: introduce
__s
m
atch_debug_chec
k
() to debug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
D
a
n Carpent
e
r
*n
e
w* c
h
ec
k
_
n
o
_
if_block
:
sometimes the if block is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carpenter
unconstant_macros:
add VM_SOF
T
DIRTY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpent
e
r
ty
p
e:
introduce is
_
str
i
ng()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n
C
a
r
p
ente
r
u
s
er_data
:
introduc
e
i
m
p
lied_user_data(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rose
n
berg: re
f
actor
m
atch_cop
y
_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
a
rpenter
r
o
s
e
nberg
:
check m
a
ny more f
u
nctions in
s
t
ead o
f
ju
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg
:
add memz
e
ro() to clear functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
param_c
l
eared: memzero() clears the parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
D
a
n Carpent
e
r
db: split a
l
l bool
e
an functions
into one and z
e
ro str
e
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
D
a
n Carpenter
c
l
ear_buffe
r
: remov
e
this c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpenter
param
_
cleared: th
i
s shou
l
dn't depend on --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n
Carpent
e
r
lock
i
n
g
: upd
a
te
validation to the new
e
rror formation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpente
r
loc
k
ing: up
d
ate error format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpen
t
er
struct_assi
g
nment: fi
x
how
smat
c
h handle
s
foo = NULL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenb
e
rg
:
prepare to check pointers to structs
as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carpenter
rosen
b
erg
:
che
c
k for h
o
les at th
e
e
n
d of the str
u
ct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an
C
ar
p
e
n
t
er
rosenberg: this chec
k
i
s
ke
r
n
e
l
specifi
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
C
a
r
p
e
nter
u
n
reachable: turn it on by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
rpe
n
ter
helper:
i
ntroduce get_pr
e
v_statement() (fix the build)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
u
nreachable
:
add wa
t
chdog()
to
kerne
l
.
no_return_func
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpent
e
r
unreachable: don'
t
print a war
n
ing if we
jump t
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
un
r
eachable: ignore unreachabl
e
code righ
t
after an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n C
a
rpenter
unreacha
b
le
:
t
urn off backward labeled warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
unr
e
achable: add so
m
e
more macros to the
.
i
gnore and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
fl
o
w:
mer
g
e continue
s
before th
e
iterator_post_s
t
ate
m
ent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flo
w
: hand
l
e p
o
st op return s
t
atements like: re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carp
e
nter
unreachable: ig
n
ore som
e
c
o
ndit
i
onally
u
nreacha
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpe
n
ter
unrea
c
hable: ignore co
m
mon fals
e
positiv
e
s
c
a
u
sed by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nte
r
unreac
h
a
b
le: ignore
u
nreachable code a
f
ter BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unreach
a
bl
e
: move
i
t out of smatch_flow
.
c and smatch_sta
t
e
s
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
D
a
n Carpenter
avl: f
i
x failin
g
"s
t
ree->stree_id
== 0
"
asse
r
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
o
v
er
f
low: don
'
t warn i
f
we overflow use buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
D
an
Ca
r
pen
t
er
sma
t
ch_type: never r
e
fer to ->b
i
t_size directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpenter
db: f
u
nction w
i
th too many
p
oi
n
te
r
s to it cause slow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpenter
db
:
rename
d
b_cal
l
back to
c
aller_in
f
o_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
an Ca
r
p
e
n
ter
propagate
:
dele
t
e
this
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpe
n
t
e
r
stored_c
o
nditions: d
o
n'
t
store co
n
stants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
M
e
rge git://
g
it
.
kernel
.
org/pub/scm
/
de
v
el/sparse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpen
t
e
r
states: add anothe
r
r
e
ad_
o
nly check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpe
n
ter
missing_b
r
e
ak:
u
se
f
e
w
er
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpente
r
a
v
l: add a counter for w
h
e
n
you
a
ll
o
cate o
r
free
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
an
C
arpenter
s
list
,
returns: introduc
e
merge_str
e
e_no_p
o
ols()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
p
e
nter
unc
o
nstant_macro
s
: allow (foo & _PAG
E
_
NX)
even when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan
C
arpenter
buf_size:
allow strncmp("f
o
o", bar, 100) where 100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
p
a
ram_set: only record para
m
e
t
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpent
e
r
e
x
tr
a
:
ignore str
u
ct to struct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
implied: add the
stree_id to
d
ebug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
Carpenter
clear_buffer: d
e
lete an unuse
d
functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpente
r
cle
a
r_buffer
:
d
el
e
te
obso
l
ete co
d
e to handle stru
c
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
comparison: don't reco
r
d that actual structs are
equivalent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpenter
assigned_exp
r
: don't store fake a
s
s
i
gnm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
d
e
bug: chang
e
__
s
m
a
tch_cur_slist
(
)
t
o __smatch_cur_
s
tr
e
e(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpenter
states: don'
t
__unnullify
_
p
a
th un
n
ecessaril
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carp
e
nter
implied: smatch was say
i
ng somethings were implie
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carp
e
nter
stree: fix a bunch of
s
t
ree lea
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
states: merge nullif
y
_a
l
l_sta
t
e
s
(
)
i
nto s
a
ve_all_s
t
ates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Car
p
enter
stree:
m
a
k
e strees copy on write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
ar
p
e
n
ter
stree: move stree_i
d
into the avl root
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
slist: rename slist_id
t
o stree_id
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
a
v
l
: introduce FOR
_
EACH
_
MY_SM()
and
c
a
llers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
kunm
a
p: update validation
file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
flow:
f
ixes for ha
i
ry functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nte
r
e
x
tra: f
i
x un
k
nown += assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
n
t
e
r
implied:
a
dd
a newline to outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpe
n
ter
stored
_
c
o
nditions: store co
m
parisons and not logica
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
db: fix nested
c
all
ha
n
dling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
er
k
u
nmap: tidy up error messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpente
r
cond
i
t
i
ons: fix
some leaks in ha
n
d
l
e_
s
elect()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
ar
p
enter
s
l
ist:
f
ix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
s
t
r
ee fall
o
u
t
:
i
m
plications not
w
orking 100%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
s
tates: rename fake_
c
ur
_
slist
fun
c
t
i
o
ns to f
a
ke_cur_st
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
states:
r
ename __print_cur_s
l
is
t
() t
o
__print
_
cur_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
av
l
: rename avl_
f
r
ee(
)
to free_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
a
v
l:
r
ename
a
vl_count() t
o
stree_cou
n
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl:
u
s
e
struct st
r
ee instead of
m
aking it a t
y
ped
e
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
avl
:
rename struct AVL to str
u
ct
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpe
n
te
r
avl
:
rename avl_c
l
one to clo
n
e
_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carp
e
nter
slis
t
:
del
e
te slist
c
ompat
l
ayer and remaining
u
nused
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
s
t
a
t
e
s: eliminate rem
a
i
ning re
f
ere
n
ces to _
_
get_cur_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
stat
e
s: remove so
m
e
dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
slist: remove a
bunch of unused
s
list func
t
ion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
core: change (struct sm_
s
tate)->poo
l
to be
a s
t
re
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n C
a
r
penter
s
t
art_
s
tates:
u
pdate g
e
t_s
t
a
r
t
_states() to
u
se str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
returns: upda
t
e all_return_states
_
hook() to
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
pe
n
ter
t
y
p
e_val: update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
ente
r
start_s
t
ate
s
: partial upda
t
e to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
ma
t
ch_returns: partial update to
st
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
p
a
ra
m
_set: update
t
o stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
p
e
n
ter
param
_
limit: upda
t
e
t
o stree
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpe
n
ter
param_filter: updat
e
t
o stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next