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
a
r
pe
n
ter
user_data: k
s
t
r
toul()
and friends sho
u
ld taint d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpe
n
ter
extra
:
mor
e
limits
on which
v
ariable
s
a
r
e equivale
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
D
a
n Carpenter
db: get re
t
urn states from fu
n
cti
o
n pointers if possible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
D
an Carpenter
propagate: remove validation t
e
st
b
ec
a
use we removed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Da
n
Carpenter
s
list: in
t
ro
d
uc
e
merge_fake_
s
tree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
unr
e
a
c
h
a
ble: sil
e
nce "no
t
actu
a
lly initialized" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Da
n
Car
p
enter
rosenb
e
r
g: fix some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan
C
arp
e
nter
debug: introduce _
_
smatch
_
d
e
bug_c
h
eck()
t
o deb
u
g a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan
Ca
r
penter
*new* check_no_
i
f
_
b
l
o
ck: sometimes the if b
l
ock is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carpenter
unconstant_mac
r
o
s: add V
M
_SOF
T
D
I
R
T
Y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
arpen
t
er
type: int
r
oduce is_st
r
ing()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
Car
p
enter
us
e
r_data
:
in
t
roduce implied
_
user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg: refactor match_
c
opy
_
to_u
s
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpente
r
rosenberg: check
m
an
y
m
o
re f
u
nction
s
i
nstead of j
u
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg: ad
d
memzero() to clear f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan
C
arpenter
p
aram
_
c
l
ear
e
d: me
m
zero() clears the
p
a
r
ameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Ca
r
penter
db: sp
l
it all
boolean func
t
i
o
n
s into one and zero strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpenter
clea
r
_buffer: r
e
m
o
ve this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
rpent
e
r
param_c
l
eared:
thi
s
shouldn't depe
n
d on --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
C
arpenter
locking: update v
a
lidation to
t
h
e n
e
w
error forma
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking: updat
e
e
r
r
o
r
f
o
r
mat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
struct_ass
i
g
n
ment:
f
i
x how smatch handles
f
o
o =
NULL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n
Ca
r
p
e
nter
ros
e
n
b
erg: prepare
to c
h
eck pointers to
structs as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
r
o
senberg: check f
o
r
hol
e
s a
t
the end of t
h
e struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n
C
arpente
r
rosenbe
r
g: this check is ke
r
n
el
specific
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unrea
c
h
able: turn it on by defau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
he
l
per: in
t
r
odu
c
e get_prev
_
statement
(
) (f
i
x
t
he build)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
unreachable: add watc
h
dog() to k
e
r
n
el
.
no_return_f
u
nc
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
rpenter
unreachable: don't print
a w
a
rning if w
e
jump to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
C
a
rpente
r
u
nreachabl
e
: ig
n
ore unreachable c
o
de rig
h
t after an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carp
e
nter
unreachable: turn off backward label
e
d warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: add s
o
m
e
m
ore macr
o
s to
t
he
.
ig
n
or
e
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
f
low: mer
g
e continues before the
i
terator_post_statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flow: handle pos
t
op re
t
urn statements
like: return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreach
a
ble:
ignore some
c
o
n
ditionally unreac
h
abl
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
u
nreachabl
e
: ignore common f
a
lse positiv
e
s caused by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpen
t
er
u
n
reachable: ignore unreachable code af
t
er BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreach
a
ble: move it ou
t
o
f s
m
atch_flow
.
c
and s
m
a
tch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carp
e
n
t
er
avl:
f
i
x failing "
s
t
r
ee->stree_id == 0
"
as
s
ert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan
C
arpenter
o
verflow: don't warn if we overfl
o
w use buf
f
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpente
r
smatch_typ
e
:
never refer to ->b
i
t_size directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan
C
arpenter
db: functio
n
wit
h
t
o
o
m
any pointe
r
s
to it cause
s
low
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
D
an
C
arp
e
nter
db
:
r
e
n
ame db_callb
a
c
k to caller_info_ca
l
l
b
ack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan C
a
rpenter
propagate: delete this te
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Ca
r
penter
store
d
_c
o
nditions:
don't st
o
re con
s
tants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
Merge git://git
.
k
e
rn
e
l
.
org/p
u
b/scm/devel/sp
a
rse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
an C
a
rpenter
st
a
tes: ad
d
a
n
other
r
ead_o
n
ly check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n Carpenter
mis
s
ing_break: u
s
e fe
w
er sta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n Ca
r
p
e
nter
avl
:
ad
d
a
count
e
r for when yo
u
a
llocate or free a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
an Ca
r
pe
n
ter
slist, returns: introduce me
r
g
e
_
st
r
ee_no_pools()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Car
p
enter
unco
n
stant_macros: allow (foo & _PA
G
E_N
X
) even w
h
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
buf_size: allow strncm
p
("foo", bar
,
100) wher
e
100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Car
p
enter
param_set: only record parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
ext
r
a: ignore struct to struct a
s
sig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
implied: add the
s
t
r
ee_id to debug out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
an
C
arpent
e
r
cle
a
r_buffer:
d
e
l
e
te an unused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
c
lear_buffer: delete obsolete c
o
de to handl
e
struc
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
c
o
m
p
a
rison
:
don't record that actual structs are equivalent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
Car
p
enter
assig
n
ed_ex
p
r:
d
o
n
't store f
a
k
e
ass
i
gnm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
an Carpenter
debug:
c
h
ange __
s
ma
t
ch
_
cur_slist(
)
to __sm
a
t
c
h_cur_s
t
ree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan
Carpe
n
ter
states: don'
t
__unnullify_p
a
th un
n
e
ces
s
arily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Car
p
e
nter
implied: smatch was sayin
g
so
m
ethings were implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
D
a
n
Carpen
t
er
st
r
e
e
: fix a bunch
o
f stree leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Da
n
Car
p
enter
sta
t
es:
merge nullify_all_st
a
tes
(
)
into s
a
ve_
a
ll_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arpenter
s
t
r
e
e
: mak
e
strees
c
o
py on write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
str
e
e
: move
s
tree_id into the a
v
l
r
o
o
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpent
e
r
s
l
ist: re
n
ame slist_id to stree_id
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Ca
r
penter
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
Dan Carp
e
nter
kunmap: upd
a
te
validation
f
ile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpe
n
ter
flow:
f
ixes for hairy
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
pe
n
te
r
extra: fix unknown +=
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Car
p
e
n
ter
implied:
a
dd a new
l
ine to
o
u
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpent
e
r
stored_conditions: s
t
ore comp
a
r
isons
and not logicals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carp
e
nter
db: fix nes
t
ed c
a
l
l
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
kunmap: tidy up e
r
ror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
co
n
ditio
n
s: fix s
o
me leaks
i
n handle_select()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
slist:
f
i
x a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
penter
stree
f
allo
u
t
: implications
not worki
n
g 10
0
%
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Carpe
n
ter
s
tates: r
e
name
f
ake_cur_
s
list fun
c
t
ions to
f
ake_cur_s
t
r
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
sta
t
es: rename
__
p
r
int_cur_slist(
)
t
o
__
p
r
int_cur_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
r
penter
avl: re
n
ame a
v
l_free() to
free_st
r
ee
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Ca
r
penter
avl: rename avl_count() to s
t
ree_c
o
unt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
a
v
l: use struct stree i
n
stead of ma
k
ing it a typ
e
def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
a
vl: rena
m
e struct AVL to st
r
uct stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
a
v
l: rena
m
e avl_clone to clone_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
slist: d
e
lete sl
i
st compat layer and remaini
n
g unused
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
s
tate
s
: eliminate remaining references to __
g
et
_
c
u
r_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
states: remo
v
e s
o
me dea
d
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
slist: remove a
b
unch of u
n
used slist
f
un
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
cor
e
: change (struct sm_state)->pool t
o
be
a
stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
start_
s
t
ate
s
:
u
pdate get_
s
tart_states() to
u
se stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rp
e
nter
ret
u
r
n
s: update all_return_states_hook() to
s
tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rpenter
t
ype_val: update to stre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
r
p
enter
start_states: p
a
rt
i
al update to str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
mat
c
h
_retu
r
ns: partia
l
update to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
par
a
m_set: up
d
ate
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
param_limit:
update to stree
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
par
a
m_filt
e
r:
up
d
a
te to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
param
_
cl
e
ar
e
d: upate to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
modification_hooks
:
updat
e
to stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next