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 Car
p
enter
user_da
t
a: kstrtoul()
a
nd friends should
t
aint data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan
Carpenter
extra: mo
r
e
limits on wh
i
ch variables
are e
q
ui
v
alent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Dan
C
a
rp
e
nter
db: g
e
t re
t
u
r
n state
s
from fun
c
tion
p
ointer
s
if possible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carp
e
nter
propagate
:
remove validation test because
w
e removed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan C
a
rp
e
nter
slist: introduce merge_fak
e
_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
an Carpent
e
r
unreach
a
ble: silence "n
o
t actually initialized"
f
a
l
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpe
n
ter
rose
n
b
e
r
g
:
f
ix some fa
l
se positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpenter
debu
g
: introduce __smat
c
h
_
de
b
u
g_ch
e
c
k() to
d
e
bug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
D
a
n Carpe
n
ter
*
n
ew* check_
n
o_if_b
l
o
ck:
s
ometimes the if b
l
o
ck is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan
Carpent
e
r
u
n
c
o
n
sta
n
t
_macros: ad
d
VM_SOFTDIRT
Y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
a
rpenter
t
y
pe: introduce is_string(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
an Carpenter
user_dat
a
: in
t
roduce
i
mplied_user_data
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
an Carpenter
r
osenb
e
rg: refactor match_
c
opy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Car
p
enter
rosenb
e
rg: che
c
k
m
a
n
y more functions i
n
stead of just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rose
n
b
erg: add memzero(
)
to clear func
t
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan Car
p
enter
p
ara
m
_
c
leared:
memz
e
ro() clea
r
s the paramet
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carp
e
nter
db: split all
b
o
o
l
e
a
n functions in
t
o
one
an
d
zero strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
clear_bu
f
fe
r
: re
m
o
ve
thi
s
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpente
r
param_
c
lear
e
d
:
t
h
is sho
u
ldn't depend on --
i
nfo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
l
ocking
:
up
d
at
e
vali
d
ation to t
h
e new error
f
o
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpent
e
r
lo
c
ki
n
g
:
update error format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carp
e
nter
struct_a
s
s
ignment: fix how s
m
atc
h
handles foo = NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
ro
s
e
nb
e
rg: prepa
r
e
to
c
heck poi
n
ters to s
t
ructs as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpent
e
r
ros
e
nb
e
rg: che
c
k fo
r
holes at
the end of the str
u
ct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpenter
rosenb
e
rg: t
h
is check is ke
r
nel spe
c
if
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carp
e
nter
u
n
r
e
achable: t
u
r
n it o
n
by de
f
ault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
helper:
i
nt
r
oduce get_
p
r
ev_statement() (f
i
x the build)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
unreachable: add
w
atchdog() t
o
kernel
.
no_r
e
turn_funcs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpent
e
r
unreachable:
d
on't print
a war
n
ing if we jump to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unr
e
a
c
hable: ignore u
n
reachable cod
e
right
a
fter an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
n
rea
c
hable: turn o
f
f backwa
r
d labeled warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
unreachab
l
e
:
ad
d
s
o
me more macro
s
to t
h
e
.
ignore a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flow: merge continues before
the iterato
r
_post
_
statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpe
n
ter
flow:
han
d
le
p
ost op return st
a
tements li
k
e: re
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
unreachable: i
g
nore some
c
ondition
a
lly unreachable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unr
e
achable: ig
n
ore common false
positives cause
d
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unre
a
chable: ig
n
ore unreachable code after BUG(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
unreachabl
e
: move it out
of smatch_flow
.
c and sma
t
c
h_states
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan
C
arpenter
a
vl: fix failing "
s
tree->s
t
ree_id ==
0
" a
s
sert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
overflow:
don
'
t warn
i
f we overflo
w
use buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan
Carpenter
smatch_t
y
pe: never ref
e
r
to -
>
bi
t
_size directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpenter
db: func
t
ion wit
h
t
oo m
a
ny po
i
nter
s
to
i
t
c
a
u
se slow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan
Carpen
t
er
d
b: rename db_call
b
ack to caller_info_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
propagate: d
e
lete this test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan
C
a
rpent
e
r
stored
_
cond
i
tion
s
: don't store constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n
Carp
e
n
t
e
r
M
e
rge git://gi
t
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
an Carpenter
state
s
:
a
dd
a
nother read_o
n
ly ch
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
rpenter
missing_
b
r
e
ak: use fewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan
C
arpenter
avl: add a counte
r
for when y
o
u allocate or free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
slis
t
, returns: introduce merge_stre
e
_no_pools()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carp
e
nter
unconstant_macr
o
s: allow (foo & _P
A
G
E
_
NX)
e
ven
w
hen
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
rpenter
bu
f
_size: allow
strncmp("foo",
bar, 100) whe
r
e 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpe
n
ter
param_set
:
only record
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
Carpen
t
er
ex
t
ra: ignore
s
truct to struct assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpente
r
implied:
a
dd
the stre
e
_i
d
to
d
e
bug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
an Carpenter
clear
_
buff
e
r: d
e
lete an unuse
d
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
clear_buffer
:
de
l
ete
o
bsolete code to handle struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
comparison
:
d
on't re
c
o
r
d that actual structs are
e
quivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
as
s
igned_e
x
pr: don't store fake assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
rpenter
debug: ch
a
nge __
s
ma
t
c
h
_cur_
s
list() to __smatch_c
u
r_str
e
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carp
e
nter
states:
d
on
'
t __unnu
l
lify_path unne
c
es
s
ari
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Da
n
Carpen
t
er
imp
l
ied
:
sma
t
ch was saying somethings were implie
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan
C
arpent
e
r
str
e
e
: fix a bunch
of stree
le
a
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
states: merge
n
u
llify_all_states() into
s
ave_all_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
ar
p
ent
e
r
st
r
ee: mak
e
strees copy on w
r
ite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpen
t
er
stree: mov
e
str
e
e_id into the avl root
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an
Ca
r
pente
r
s
list: re
n
ame sli
s
t_
i
d
to stree_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
enter
avl: in
t
roduce FOR_EA
C
H_MY_SM() an
d
callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
er
k
u
nmap: update valida
t
ion
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
flow: fixes for h
a
iry fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
enter
extra: fix unknown +=
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
implied: add a
newline to
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
ente
r
s
t
o
r
ed_c
o
ndition
s
: s
t
o
r
e c
o
mpar
i
sons and no
t
lo
g
icals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpent
e
r
db: fix ne
s
t
e
d call handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpe
n
t
e
r
kunm
a
p
:
ti
d
y
up err
o
r
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
c
o
nditions: fix so
m
e leaks in handl
e
_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
fallout: implications not wo
r
king 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
states: rename fa
k
e_cur_slist f
u
nctions
t
o fake_cur
_
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
e
n
t
e
r
s
t
ates: rename __prin
t
_cu
r
_
slist()
t
o __print_cur_stre
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
avl: ren
a
m
e
a
v
l_fre
e
(
)
t
o free_stre
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl:
rename
avl_count()
t
o
stree_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
avl: use
s
truct s
t
r
ee ins
t
ead of making
it a t
y
pedef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
ar
p
e
n
t
er
avl: re
n
ame struct AVL to s
t
ruct
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl:
ren
a
me avl_clone
t
o clo
n
e_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
slist: delete slist
c
ompat layer and rem
a
ining unus
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
sta
t
e
s
: el
i
minat
e
remaini
n
g ref
e
rences to
__g
e
t_cur_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
s
t
ates: r
e
move some d
e
ad code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
slist: rem
o
ve a bunch of
u
nused slist functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
pen
t
er
core:
c
hange (struct
s
m
_sta
t
e)->poo
l
to be a str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
start_
s
tat
e
s: up
d
ate get_start
_
states() to use s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an
Carpenter
re
t
urn
s
: update
a
l
l
_return_
s
tates_hook() to stre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
typ
e
_val: updat
e
to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
start_states
:
p
a
rti
a
l update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
m
a
tch_returns: partial u
p
date to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpent
e
r
param_s
e
t:
u
pd
a
te to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
param_limit: upd
a
te to stree
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
par
a
m_filter
:
update
to str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
n
t
er
param_cleared: upate to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
m
o
di
f
ication_
h
ooks: update to
st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next