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
user_data: kstrtoul() and friends should taint data as untrusted
2014-05-28
Dan
C
arpenter
user_data:
kstr
t
oul() an
d
frie
n
ds sh
o
u
ld taint data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
D
an Carpente
r
extr
a
: more limits on which var
i
ables are equiv
a
lent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Dan Carpenter
d
b: get return states from
fun
c
ti
o
n
p
o
inters if p
o
ssible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
Dan Ca
r
pen
t
er
prop
a
gat
e
: remove
v
alidation
test beca
u
se we remov
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpen
t
er
slist: i
n
tr
o
duce merge_fake_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Da
n
Carpenter
unrea
c
hab
l
e: silence "not
ac
t
ually i
n
i
tialized" fals
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan C
a
r
p
enter
rosenberg
:
fix so
m
e false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan
Carpenter
d
e
bug: introduce
_
_sma
t
c
h_de
b
ug_check() to
debug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan Car
p
e
n
te
r
*
n
ew
*
c
h
eck_no_if_block: sometimes th
e
if block is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carpe
n
ter
unconstan
t
_macros:
add VM_SOFTDI
R
TY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
Carpenter
type:
i
n
tr
o
duce is_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
use
r
_d
a
ta: introd
u
ce implie
d
_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpe
n
ter
rosenb
e
rg: refacto
r
match_
c
opy_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Carpe
n
te
r
rose
n
berg:
check many
more f
u
nctions
ins
t
ead of ju
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
an Carp
e
n
t
e
r
rosenbe
r
g
:
add memzero
(
)
to
clear fu
n
cti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
param_cleared:
memzero
(
) clears t
h
e
parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpente
r
db: s
p
lit all boo
l
ean fu
n
ctions into one and zero stre
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Da
n
C
arpe
n
ter
cl
e
ar_
b
uffer: remove this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an Ca
r
penter
param_cleared: this should
n
'
t
d
epend
o
n --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carp
e
nter
lockin
g
: update validation to the new error formation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
rpe
n
ter
l
ocki
n
g: update
e
r
ror format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpenter
struct_assignment: fix how
s
m
a
t
ch handles foo = N
U
LL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Car
p
enter
rosenberg:
prepare to
check
p
ointers to structs as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
ros
e
n
berg:
check for holes at
t
he end of
the struc
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpenter
r
osenbe
r
g:
this check i
s
kernel s
p
e
cif
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
er
un
r
eachable: turn it
on by def
a
ult
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
rp
e
nter
h
elper: introduc
e
get_prev_statement(
)
(fix the build)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
unreachable:
a
dd watchdo
g
()
t
o ker
n
el
.
n
o
_
return
_
funcs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
un
r
each
a
ble: do
n
't print a warning if we
jump
t
o the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
r
p
enter
u
nreach
a
ble: ignore unreachab
l
e
code
r
ight
a
fter
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
unreacha
b
le: turn off backward labe
l
e
d
warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpen
t
e
r
unreac
h
able:
a
dd some more ma
c
ros to the
.
i
g
n
ore and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
C
arp
e
n
ter
flow
:
merg
e
continues before
t
he
i
terator_p
o
st_statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
flo
w
: handle post op return
s
tatements like:
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
unr
e
acha
b
l
e: i
g
nore
s
o
me conditionally unreac
h
ab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
unrea
c
hable: i
g
nore common false positi
v
es caused by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
unreachable: ignore unreachable c
o
de after BU
G
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
er
unreachable:
move it out
o
f
s
matc
h
_flow
.
c and
sm
a
tch_sta
t
es
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan C
a
rp
e
nte
r
avl: fix failing "
s
t
r
ee->s
t
ree_id == 0" assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan
Ca
r
penter
overflow: do
n
't war
n
if we overflow use
buff
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
D
a
n C
a
rpenter
smatch_type: never r
e
fer
t
o ->bit
_
si
z
e
directl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan
Car
p
e
nter
db: function wi
t
h too many
p
ointers
t
o it cause slow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan
C
arpenter
db: ren
a
me db_callback
to ca
l
le
r
_info_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
p
r
o
p
aga
t
e: delete
this tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan
C
arpenter
stored_conditio
n
s: don't sto
r
e constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
Merge git://git
.
kern
e
l
.
org/pub/scm/devel/spar
s
e/
c
hr
i
s
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
s
tates: add ano
t
her r
e
a
d
_on
l
y check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carp
e
nter
m
i
ssing_bre
a
k:
u
se fewer states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Car
p
en
t
er
avl: a
d
d a
co
u
nter for w
h
en y
o
u allocate or fre
e
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan
C
arpen
t
er
slist, ret
u
rn
s
: in
t
r
oduce
m
erge_
s
tree_no_pools()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpente
r
unco
n
stant_
m
acr
o
s
: al
l
o
w
(f
o
o & _PA
G
E_NX) even when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpenter
buf_
s
ize: al
l
ow
s
trncmp
(
"
f
oo", bar, 100)
w
he
r
e 100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carpenter
p
ar
a
m_set:
o
nly
record parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
extra:
i
gno
r
e
s
truct to
s
tr
u
ct a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
implied: add
the stree_id
to deb
u
g output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Car
p
en
t
e
r
clear_b
u
ffer: del
e
te
an un
u
sed function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
r
p
enter
clear_buffer: d
e
lete
o
b
so
l
ete code to handle struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
compa
r
ison
:
don't record that actual struct
s
are equi
v
alent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
an Car
p
ente
r
assigned_expr: don't st
o
re fake assi
g
nmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
ar
p
ent
e
r
debug: c
h
a
nge __smat
c
h_cur_sli
s
t() to __smatch_cur_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpenter
s
t
a
t
es: don't
_
_unnul
l
ify
_
pat
h
u
n
necessar
i
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan C
a
rpente
r
impli
e
d: smatch w
a
s sayi
n
g
somethin
g
s
w
er
e
impl
i
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
D
an Car
p
ente
r
st
r
ee: fix a bunch of stree leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
states: merge nu
l
lify_all_states()
in
t
o save_all_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpent
e
r
stree:
m
ake strees copy
o
n
w
rite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
ar
p
en
t
er
stree: move st
r
ee_id into the
avl
ro
o
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Ca
r
penter
s
l
i
st: r
e
name s
l
ist_id to stree_id
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
C
arpe
n
ter
a
vl:
introdu
c
e
FOR_
E
ACH_MY_S
M
() and call
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
k
u
nmap:
update validation fil
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
penter
f
l
ow: fixes for hairy f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
pen
t
er
e
x
tra: fix unknown +=
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
Carpente
r
i
mplied:
add a newlin
e
to output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpent
e
r
store
d
_
con
d
i
t
ions: sto
r
e comparis
o
ns and not logicals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
d
b
: fix nested call handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carp
e
nter
k
unmap:
tidy up error
m
ess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
con
d
itions:
fi
x
some leaks
in
handle_se
l
ect()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
slist: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stree f
a
l
l
out: implications not working 100%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
states: rename f
a
ke_cur_
s
list funct
i
o
n
s
t
o fake_cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpe
n
ter
states: rename
_
_print_cur_slist() t
o
__print
_
cur_str
e
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
avl: rename avl_free() to free_
s
tre
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Carpent
e
r
avl:
rename a
v
l_co
u
nt() to stree_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
avl: use struct
s
t
ree ins
t
ead
o
f makin
g
i
t
a typed
e
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
a
vl: rename struct AVL
to struc
t
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
avl: rename avl_clone to
clone_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
slist:
d
elete slist compat layer and remaining unused
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
states:
e
liminat
e
remaining references
t
o
__get_
c
ur_sli
s
t(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
s
t
a
tes: rem
o
ve
s
ome dead
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Carpenter
slist:
r
emove
a
b
u
nch
o
f unused
slist f
u
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
c
o
re: change (stru
c
t sm_
s
tate)->pool
t
o be
a
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
start_states:
u
p
d
ate get_
s
t
a
rt_states() to use str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
returns
:
update
all_return_
s
tates
_
hook()
t
o str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
C
a
r
p
e
nter
type_
v
al: update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
start_sta
t
es: partial upd
a
te to stre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
match_retur
n
s: partial upd
a
te to
s
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
param_set: update to
stre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
C
arpe
n
ter
param_limit: update to str
e
e
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
par
a
m_filter:
u
pdate
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
p
a
ram_cl
e
ared: upate
to s
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
C
a
rpenter
mo
d
ificatio
n
_hooks:
u
pdate to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next