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
extra: more limits on which variables are equivalent
2014-05-28
D
an Carpe
n
ter
extra: mor
e
limits on which variables are equ
i
valent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
D
a
n Car
p
e
nter
db
:
get return states from function poin
t
ers if possi
b
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan C
a
rpe
n
t
e
r
propagate: remove valida
t
ion te
s
t b
e
cause we removed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpen
t
er
slist: i
n
troduc
e
me
r
ge_fake_stree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
unreachab
l
e: silence "no
t
a
ct
u
ally i
n
itialized"
fal
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Da
n
Carpenter
rosenberg
:
fix some fal
s
e po
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Da
n
Carpenter
debug:
i
ntroduce
__smatch_debug_check() to debug
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan
Carpenter
*new* check_no_if_block:
someti
m
es th
e
if block is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
D
an Carpent
e
r
unconst
a
nt_macros: a
d
d
VM_SOFTDIRTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpen
t
er
t
y
p
e: introduce is
_
st
r
ing()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
an Car
p
ente
r
user_data: introduc
e
i
mplied_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpen
t
er
rosenberg: refactor mat
c
h_copy
_
t
o
_us
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
ros
e
nberg: chec
k
many more
f
unctions
i
nste
a
d of
j
ust
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Carpent
e
r
rosenberg: add memzero() to clear
f
u
nctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan Ca
r
penter
param_c
l
eared: memzero() c
l
ears
the pa
r
ameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan
Carpenter
db: split all
boolean functions
in
t
o one and zer
o
strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan
Ca
r
pente
r
clear_buff
e
r: remove this code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
rpenter
param_cleared: thi
s
s
h
ould
n
'
t
depend on -
-
i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
n
t
er
lock
i
ng:
update validation to the new error formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking:
updat
e
error f
o
r
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Car
p
enter
struct_assignm
e
nt: fix how smatch han
d
les foo =
NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
rpe
n
te
r
rosenber
g
: prepar
e
to check p
o
inters
to structs as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rose
n
berg: che
c
k for holes
at
t
he end
o
f
t
h
e st
r
uct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
C
a
r
p
e
nter
r
osenber
g
: this ch
e
ck
is ker
n
e
l
speci
f
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carp
e
nt
e
r
u
nr
e
achabl
e
: turn it
on by d
e
f
ault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
Ca
r
pe
n
ter
helpe
r
: introdu
c
e get_prev_state
m
ent() (fix the buil
d
)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachab
l
e:
ad
d
watchd
o
g()
t
o k
e
r
n
el
.
no_retu
r
n_fu
n
cs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: d
o
n't print a warning if we
j
ump to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
un
r
e
achable: ignore unr
e
achabl
e
code right
a
f
te
r
an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
C
arpenter
u
n
reac
h
able: t
u
r
n
off backward la
b
eled
warn
i
n
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
unreachable: add some
m
ore mac
r
os to the
.
ignore and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
r
penter
flow
:
m
e
rg
e
c
o
ntin
u
e
s
b
efore the iterat
o
r
_
p
o
st_statemen
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
f
l
o
w
: handle post
op return
s
tatements like: return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
unreachable: ignore s
o
me conditionally un
r
eachable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unr
e
ach
a
ble: ignore co
m
mon false
positives caused by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Car
p
enter
unreachable:
i
gnore
u
nreachable
c
ode after BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unr
e
achable: move it
o
ut
o
f sma
t
ch
_
flo
w
.
c a
n
d smatch_states
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Ca
r
pe
n
ter
avl: fix failing "st
r
ee
-
>stree_id
=
=
0" a
s
sert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Ca
r
p
e
nter
overflow: don't wa
r
n if we
o
verflow 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 t
o
-
>
b
it_size directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpenter
db
:
funct
i
on
w
ith to
o
many pointers to
it
c
ause
slow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
D
an Carp
e
nter
db: rename
db
_
callback to cal
l
er_info_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
p
r
opagate: d
e
lete th
i
s test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n Carpenter
sto
r
ed
_
conditions:
d
o
n't store constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
M
erge git://gi
t
.
ker
n
el
.
org/pub/scm/dev
e
l/sparse/chri
s
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpent
e
r
states:
a
d
d a
n
other r
e
ad_only
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Car
p
e
n
t
er
missing
_
b
reak: u
s
e fewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpent
e
r
avl: add a co
u
nter for w
h
en you allo
c
ate
or fr
e
e a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpenter
s
l
ist, returns: in
t
rod
u
ce merge_s
t
r
ee_no
_
p
o
o
ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
p
enter
unc
o
n
st
a
nt_macros:
a
llow (foo & _PAGE_NX)
e
ven when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan
Carpenter
buf_size
:
allow strncmp("foo",
b
ar, 100) where 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
p
a
ram
_
se
t
: only
record parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Ca
r
penter
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
Carpenter
implied
:
add th
e
stree_id to
d
ebug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
clear_buffer: delete an un
u
sed function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
penter
clea
r
_
buffer: delete obsole
t
e code to handle struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
compari
s
on: don
'
t
r
e
cord
that actual struc
t
s
a
re equivalen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
an Carp
e
nter
assigned_expr:
d
on'
t
s
t
ore fake assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
debug: c
h
a
nge
__smatch_cur_slist
(
) to __s
m
atch
_
cur_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Ca
r
penter
state
s
:
don't
__u
n
nulli
f
y_pat
h
un
n
ecessa
r
ily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
D
a
n C
a
rpenter
impl
i
ed: smatch
w
as
s
aying s
o
methings were implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan
C
arpenter
stree: fi
x
a
b
u
nch of stre
e
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Car
p
enter
state
s
:
me
r
g
e
nu
l
lif
y
_al
l
_states(
)
into save_
a
ll_state
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stree: make strees c
o
p
y on write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
Carpenter
str
e
e: move s
t
ree_
i
d in
t
o the avl root
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an C
a
rpen
t
er
slist: rename sl
i
st_i
d
to stree_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpent
e
r
avl: introd
u
ce FOR_EACH_MY_SM() and calle
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
kunmap:
u
p
d
ate val
i
dation file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
flow: fixes
for ha
i
ry functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
ex
t
ra: fix unknown
+
=
a
s
sign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
i
m
plied: add
a
newline
t
o output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
stored_condition
s
: sto
r
e comparisons an
d
n
o
t
l
o
gicals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
db: fix nest
e
d
cal
l
hand
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
ku
n
map: tidy up error mes
s
age
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
condi
t
i
ons: fi
x
som
e
leak
s
in handle_select()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Car
p
ent
e
r
slist: fix
a
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
stree fal
l
out: imp
l
ications n
o
t working 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states: rena
m
e fake_cur_slist functions to fa
k
e
_cur_
s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
C
arpenter
states: rename __print_cur_slist(
)
to __pr
i
n
t
_cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: r
e
name avl
_
f
r
ee() to free_
s
tree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Car
p
en
t
er
avl: rename avl_co
u
n
t() to st
r
ee_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
n
ter
avl: us
e
str
u
ct str
e
e instead
of making
i
t a t
y
pede
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpe
n
t
er
avl: renam
e
struct AVL to struct stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpe
n
ter
a
v
l
:
rename avl_cl
o
ne to clo
n
e_stree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
sl
i
st: de
l
e
te slist compat laye
r
and rema
i
ning unused
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
C
a
r
pen
t
e
r
states
:
el
i
minate remaining references to __get_cur_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpen
t
er
s
tate
s
: remove s
o
me dead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
s
lis
t
: remove a
b
unch o
f
unused
s
l
ist
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nt
e
r
c
o
re:
c
h
ange (struct sm_st
a
t
e)->pool to
b
e a
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
s
tart_
s
tates: upda
t
e get_start_states() to use stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
r
p
e
nter
retu
r
ns: update all
_
return_stat
e
s_hook() to str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rpenter
type
_
val
:
update to stre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpente
r
start_states: part
i
al update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carp
e
nt
e
r
mat
c
h_retu
r
ns: part
i
al up
d
ate to stre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpe
n
ter
param_set: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
p
a
r
am_lim
i
t
: update to s
t
ree
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
param_
f
ilter: upd
a
te t
o
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
param
_
cleared: upate to
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
r
penter
modification_hooks: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
implied: upd
a
te to
s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next