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
math: be more ambitious handling right shifts
2014-05-29
Dan Carpenter
m
a
th: be more amb
i
tious hand
l
i
ng right shif
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpent
e
r
user_d
a
ta: kst
r
toul()
a
nd friends sh
o
uld taint da
t
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Da
n
Car
p
enter
extra: more limits on
whic
h
variables are equivale
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Dan Carpente
r
db: ge
t
return sta
t
es from functio
n
pointe
r
s if
p
ossible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan
Carpenter
propag
a
te: remove validation
t
est beca
u
se
w
e removed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpente
r
slist: introdu
c
e
mer
g
e_fake_s
t
re
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
unr
e
achable:
s
ilence "no
t
actually init
i
alized" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
rosenber
g
: fix so
m
e
f
al
s
e positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpent
e
r
d
e
bug: introduce __smatch_debug_check
(
) to debu
g
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Ca
r
pent
e
r
*new* chec
k
_
n
o_
i
f_block: somet
i
m
e
s the i
f
block i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Da
n
Carpe
n
ter
uncon
s
tant_macros: add VM_SOFTDIRTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpen
t
er
type: introduce is_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Car
p
e
n
ter
user
_
data: introduce imp
l
ied
_
us
e
r_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Carp
e
nt
e
r
rosenb
e
rg: refac
t
or match_copy_to_u
s
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Carpenter
ros
e
nberg: check many more
f
unctions instead of just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpe
n
ter
rosenberg: add memzero() to cl
e
ar functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Da
n
Carpenter
pa
r
am_clea
r
ed: memzero() clears the
p
a
rameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpenter
db: split
all boolean fu
n
ctions into one
and zero st
r
ee
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpent
e
r
clear
_
b
u
ffer:
r
e
move th
i
s co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
pa
r
a
m
_cleared:
t
hi
s
s
houldn
'
t depend on -
-
info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpen
t
er
locking: update validati
o
n
to the new error
form
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpente
r
lockin
g
: u
p
dat
e
error for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
struct_
a
s
signment: fix how smatch handl
e
s foo = NU
L
L;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
an Ca
r
pen
t
er
r
o
senberg: prepar
e
to check pointers to structs as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
a
rpe
n
ter
rosenberg: check for holes
a
t the e
n
d
of th
e
stru
c
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenberg: this check is kern
e
l specific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: turn it on by def
a
ult
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpente
r
help
e
r: in
t
roduc
e
get_prev_statement(
)
(fix the
build)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
unreacha
b
le: ad
d
watchd
o
g(
)
to kernel
.
no_retur
n
_f
u
ncs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
unre
a
cha
b
le
:
don
'
t prin
t
a
wa
r
ning if w
e
ju
m
p
t
o the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpen
t
er
unreachable: ignore unreachable cod
e
right af
t
er a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreacha
b
le: turn off backw
a
rd labeled war
n
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
unreac
h
able: add
some more macr
o
s
t
o th
e
.
ig
n
ore and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
n
t
er
f
l
ow
:
merge co
n
tinues be
f
o
r
e
the itera
t
or_post_stateme
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
enter
fl
o
w
:
handle post op ret
u
rn statements like: ret
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
Carpente
r
u
nr
e
achable: i
g
n
o
re some conditi
o
nally
u
nr
e
achable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
u
n
r
eac
h
able:
i
gnore
common f
a
lse pos
i
tives cau
s
e
d by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable:
ignore unr
e
achab
l
e code af
t
er
B
UG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpen
t
er
unreachable: move it out
of s
m
atch_flow
.
c and s
m
atch
_
s
tates
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Da
n
Carpenter
avl: fix fai
l
ing "stree
-
>stree_id ==
0" assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
D
an Carpenter
overflow: don
'
t w
a
rn i
f
w
e
overflow use buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan
C
a
rp
e
nter
sm
a
tch_type: never
refer
t
o ->b
i
t_size directl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpenter
db
:
function
wit
h
too ma
n
y
p
ointers to it cause slow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpenter
db: r
e
na
m
e db_callback to caller_info_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
an Carpenter
prop
a
gate
:
delete thi
s
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n
Carpenter
st
o
red_conditions: don't store 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/sparse/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpen
t
er
states: add another rea
d
_onl
y
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpe
n
ter
miss
i
ng_break: u
s
e fewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
avl: add a cou
n
te
r
for w
h
e
n
you al
l
ocate or free
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n
C
arpenter
slist
,
re
t
urns:
in
t
r
oduce
m
erge_str
e
e_no_po
o
ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan
Carpen
t
er
u
n
c
o
nstant_
m
a
c
r
os: allow
(foo
&
_
P
AGE_NX)
e
v
en when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n
Car
p
e
n
ter
buf_size: al
l
ow st
r
ncmp("
f
o
o
"
,
bar, 100)
where 10
0
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
ar
p
enter
pa
r
am
_
s
et:
on
l
y
r
ecord p
a
rameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carp
e
nter
e
x
tra: i
g
nore st
r
uct to struct assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carpenter
implied: ad
d
the stre
e
_
i
d to debug
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpent
e
r
clear_buffer: delete an unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carp
e
nter
clear_bu
f
f
e
r: delet
e
obsolet
e
code to
handle stru
c
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
comp
a
rison: don't record t
h
at actual structs are equiva
l
e
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carpent
e
r
as
s
igned_expr: don
'
t
stor
e
fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpe
n
ter
debu
g
: change __s
m
atch_c
u
r_slist
(
) to __smatch_cur_s
t
ree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpe
n
ter
state
s
: don't __unnullify
_
pa
t
h unne
c
es
s
arily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpen
t
er
implied:
sm
a
tch was saying somethings were im
p
lied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
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
st
a
t
e
s: merge nullify
_
all
_
states()
i
n
t
o save_all_states
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
C
a
rpenter
s
tr
e
e
:
mak
e
strees
c
op
y
on wri
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stree:
m
ove stree_id into the avl roo
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
slist: re
n
ame slist_id
t
o
stree_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
Carp
e
nter
avl: i
n
tr
o
duce FOR_
E
ACH_MY_S
M
(
)
a
n
d callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
ent
e
r
kunmap
:
update validation file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpe
n
ter
flow:
fixes for hairy funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpe
n
ter
e
xtra: fix unkno
w
n
+= a
s
si
g
nme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
implied:
a
dd a newline to output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
penter
stor
e
d_condit
i
ons:
s
tore compa
r
ison
s
and not
l
og
i
cals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
db: fix
n
e
sted call handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
kun
m
a
p
: tidy
u
p
e
r
ror me
s
sage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
enter
conditions: fix some leak
s
in h
a
ndle_select
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
C
ar
p
ente
r
slist: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
e
r
s
tree fallout: imp
l
icatio
n
s not working 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rpenter
st
a
t
e
s: r
e
name
f
ake
_
cur_slist
functions t
o
fake_cur_str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n
Car
p
enter
states: renam
e
__print_cur_slist(
)
to __pri
n
t_cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
pente
r
avl: rena
m
e avl_
f
ree() to free_s
t
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
avl: rename avl_c
o
unt
(
) to stree
_
cou
n
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
avl
:
us
e
struct s
t
r
e
e
instead of ma
k
ing it a
t
ypedef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: r
e
name struct AVL to struct stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
e
n
ter
av
l
: rename avl_cl
o
ne to clone_stre
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Car
p
enter
sli
s
t: delete
s
list c
o
mpat lay
e
r and remaining unused
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
n
t
er
state
s
:
e
limina
t
e rem
a
i
ning re
f
erenc
e
s to __
g
et_cur
_
sl
i
st(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
states:
r
emove so
m
e
dead
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
s
list: re
m
o
v
e
a bunch
of
u
nused slist fun
c
t
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
cor
e
: change (struct sm_state)->pool to
b
e a stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
star
t
_states: upd
a
te get_start_states() to u
s
e
s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
r
e
turns: update all_return
_
s
t
ates_hook()
t
o stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
type_val: up
d
ate to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n C
a
rpenter
sta
r
t_st
a
t
es:
p
a
rtial u
p
date t
o
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
mat
c
h
_retur
n
s: partial up
d
ate
t
o stre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpent
e
r
param_set: update to
s
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
param_limit: upd
a
te to
stree
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
p
ar
a
m_
f
ilter
:
update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
param_cle
a
r
ed:
u
pat
e
to stre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next