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
smdb.py: fix test for if a datatype is known
2014-06-18
Dan Carpenter
smdb
.
py:
fix test for if
a
d
a
tatype is kn
o
wn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpente
r
assigne
d
_expression: get the assign
e
d
expression using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
rosenb
e
rg: ha
n
dle str
u
ct to struct assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
d
a
ta/k
e
rne
l
.
sizeof_
p
aram
.
rem
o
ve:
a
d
d __
d
ynami
c
_pr
_
debug()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
D
an Carpenter
s
t
ruct_assignment: introduce ge
t
_faked_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Da
n
Carpenter
str
u
ct_
a
ssignment: hand
l
e memcpy(fo
o
,
.
.
.
) wh
e
re fo
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan
Ca
r
pen
t
er
m
ath: be more ambitious h
a
ndling right shifts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
us
e
r_data: kstrtoul() and
f
riends should taint dat
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carp
e
nter
extra: mo
r
e limits on whic
h
va
r
iables
are equivale
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Da
n
C
a
r
p
e
n
ter
db: get retu
r
n states from function p
o
int
e
rs if possible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Da
n
Carpent
e
r
propa
g
ate: remove
validation test because we removed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
an Carpent
e
r
s
list: introduce
m
erge_fake_s
t
ree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpen
t
er
unreachab
l
e: silence "not actual
l
y in
i
tiali
z
ed" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Da
n
C
arpen
t
er
rosen
b
erg: fix
some false
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpenter
de
b
ug
:
introduce __sm
a
tch_debug_c
h
eck() to debug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpenter
*
n
ew* check_no_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_SOFTDI
R
TY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Carpe
n
te
r
type: int
r
oduce is
_
s
t
ri
n
g()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
user
_
d
a
t
a: introduce
implied_u
s
er_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Car
p
enter
rosen
b
erg:
r
e
factor match_copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n
C
a
r
p
e
nter
rosenber
g
:
c
hec
k
many more
fun
c
tio
n
s instead of jus
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Ca
r
penter
r
o
s
e
nb
e
rg: add memz
e
r
o() to clear funct
i
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
p
a
ra
m
_cleared: memzero() clears the par
a
meter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
db: split all bo
o
lean
f
unctions into one and zero strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Car
p
enter
clear
_
buffer: r
e
m
ove this code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n
Car
p
enter
para
m
_cleared: this shouldn'
t
depend on --info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
lo
c
king: u
p
da
t
e validat
i
o
n
t
o
the new er
r
or formati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpent
e
r
l
o
cking
:
update error fo
r
mat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
struc
t
_assignment: fi
x
how
s
mat
c
h handles
foo =
N
U
L
L;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenberg:
p
r
e
pare t
o
c
heck pointers to
stru
c
ts as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
r
o
senberg: check fo
r
hole
s
at
the end
o
f the struc
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
rose
n
berg: this check
i
s
kernel specific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable:
turn it on by defa
u
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
helper:
i
n
t
roduce get_prev_statement() (fix the build)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
unreacha
b
le: ad
d
w
atchd
o
g() t
o
kernel
.
no_return_f
u
n
c
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
unreachable: don't print a warning if we
jump
to t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreac
h
abl
e
:
ignore u
n
reachable
c
ode right aft
e
r an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
n
reachable: turn of
f
back
w
a
r
d labeled warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
nreachable: a
d
d
s
ome m
o
re macr
o
s to
the
.
ign
o
re and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpen
t
er
flow:
m
e
rge continues befo
r
e the iterator_post_statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flow: handle p
o
s
t op
retur
n
sta
t
emen
t
s like: return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an C
a
r
pen
t
er
unreachable: ig
n
ore some co
n
dition
a
l
ly unreachable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unr
e
acha
b
le: igno
r
e commo
n
false p
o
sitive
s
ca
u
sed by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
p
enter
unreac
h
ab
l
e: ignore unreachable code
a
fte
r
BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
en
t
er
unreachable:
move it out of smatc
h
_flow
.
c and
s
match_sta
t
es
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Da
n
Carpent
e
r
avl: fi
x
f
ai
l
ing "stree->stree_id
=
= 0" assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Da
n
Car
p
enter
ov
e
rflow: don't war
n
if we
overflow use bu
f
f
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpenter
smatch
_
type: nev
e
r refer to ->
b
it_
s
iz
e
dire
c
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpenter
db: func
t
ion with too many pointers to it cause slo
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
D
an Carpen
t
er
db: rename db_callback to
caller_info_callba
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
an Carpenter
pr
o
pagate:
delete
thi
s
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpe
n
ter
s
tored_conditions: don't stor
e
consta
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
Merge git://git
.
kernel
.
org/pub/scm/deve
l
/s
p
ar
s
e/ch
r
isl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
an Carpenter
sta
t
es
:
add another read
_
only check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
mis
s
ing
_
break:
u
se fewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
an Carpenter
avl: add a
c
ount
e
r for when you all
o
c
ate or free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n Carpenter
s
l
ist, returns: introduce merge_stree_no
_
po
o
ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
unconst
a
nt_macros: allow (foo
& _PAGE_NX) ev
e
n when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
buf_size
:
allow strncmp("f
o
o", bar, 100) w
h
e
r
e 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
param_s
e
t: onl
y
record p
a
ra
m
eters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpent
e
r
extra: ignore st
r
uc
t
to
s
tru
c
t assig
n
men
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n C
a
rpen
t
er
implied:
a
dd the
s
tree_id to debug o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
C
a
r
penter
clear_buf
f
er:
delete
an u
n
used function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
clear_buffer: delete
o
bsolete c
o
d
e to hand
l
e
s
t
ruct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
p
e
n
ter
comparison: don't r
e
cord that ac
t
ual structs are eq
u
iv
a
len
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpenter
assigned_expr
:
don't store fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
an C
a
rp
e
n
ter
deb
u
g
: chan
g
e __smatch
_
c
u
r_slist() to
_
_smatch_
c
u
r_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
D
an Carpenter
states: don't __unnull
i
fy_pat
h
unnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
D
a
n
Carpenter
implied: sma
t
ch w
a
s saying somethings w
e
re
implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
s
t
ree: fi
x
a bunch of stree leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Da
n
C
arpenter
state
s
:
m
erge nullify_all_states
(
)
i
nto s
a
ve_all_
s
tates()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
enter
s
t
ree: make strees
copy on wr
i
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
ar
p
ente
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
C
a
r
pent
e
r
s
l
ist: rename slist_id to stree_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
avl:
introduce FOR_EACH_MY_SM(
)
and cal
l
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Car
p
enter
kunmap: updat
e
v
a
lida
t
i
o
n
fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
flow: fixes for hairy funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpe
n
ter
extra: f
i
x unknown += assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
i
m
p
lied:
add a newline t
o
o
u
t
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carp
e
n
t
er
stored_condit
i
o
ns: store compariso
n
s and
n
ot logi
c
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpent
e
r
db
:
fix nested ca
l
l handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
kunmap: tidy up error messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpent
e
r
conditi
o
ns: f
i
x some
l
eaks in
h
andle_select()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
slist
:
fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpent
e
r
stree fall
o
ut: implic
a
tions not working 1
0
0%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Ca
r
penter
states: rename
f
ak
e
_cur_
s
l
i
st f
u
nctio
n
s to fake_c
u
r_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: rename __pri
n
t
_
cur_slist(
)
t
o
__print_cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
avl:
r
ename
a
vl_free() to f
r
ee_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl
:
ren
a
me avl_coun
t
() to s
t
ree_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: use struct stree instead o
f
maki
n
g it a typedef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
av
l
: rena
m
e
s
tru
c
t
A
VL to struct
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
pen
t
er
avl: rename avl_clone
to clone_
s
tree
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
slist: delete
sl
i
s
t
co
m
p
a
t
layer
a
nd remaining u
n
used
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
st
a
tes: eliminate rema
i
ning references to __get_cur
_
slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: remove
s
ome
d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
sl
i
s
t:
r
emov
e
a bunch of un
u
sed slist fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Car
p
enter
core
:
change (
s
truct sm_st
a
te)->pool to be
a stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpente
r
start_stat
e
s: update get_
s
tart_states()
t
o use stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
returns:
u
pdate all_return
_
st
a
tes_
h
ook(
)
to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
type_val: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next