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
rosenberg: refactor match_copy_to_user()
2014-05-07
D
a
n Carpenter
ro
s
enbe
r
g: refactor
m
atc
h
_copy_to_u
s
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Carpenter
r
o
senberg
:
c
h
e
ck many more functions instead of just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Car
p
enter
rosen
b
erg
:
ad
d
memzero() to clear fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
D
a
n
C
arpenter
param_
c
l
e
ared: memz
e
ro() clear
s
the pa
r
amete
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpenter
db: s
p
l
it all
b
o
olean fun
c
t
i
ons into
o
ne an
d
zero strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Ca
r
penter
clear_buffe
r
: remove this
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
t
er
param_c
l
eared: this sho
u
l
d
n
't depend on --info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
l
ock
i
ng
:
update validat
i
on to the ne
w
error formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locki
n
g
:
update e
r
ror for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
stru
c
t
_ass
i
gnment: fix how sm
a
t
c
h
h
a
n
dles foo = NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n C
a
rpenter
rosenberg: p
r
epare to check point
e
rs to structs as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n
Ca
r
pente
r
rosenb
e
rg: chec
k
f
or
holes at the en
d
of
t
he str
u
ct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
ros
e
n
b
erg: this check is
k
e
rnel spe
c
ific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n C
a
rpente
r
unreachable: t
u
rn it on by
defa
u
lt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
Carpenter
helper: introduce get_
p
r
e
v_st
a
tement() (fix t
h
e bu
i
ld)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
unreachable: add
w
atchdog()
to kernel
.
no
_
r
e
turn_funcs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an Ca
r
penter
unreachable: d
o
n't print
a
w
a
rning if we jump to
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
unreachabl
e
: ignore unre
a
ch
a
ble code ri
g
ht
after an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
ente
r
unreachable
:
turn of
f
backward labeled
w
a
rni
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
er
u
n
r
e
achable: add
some more macros to t
h
e
.
ignor
e
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
flow
:
merge contin
u
es before the iterator_p
o
st_statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carp
e
nter
fl
o
w:
h
an
d
le
p
ost
op
r
etu
r
n statements like
:
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
C
a
rpenter
u
nreach
a
ble: ig
n
o
r
e some conditionally unre
a
chable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
unreachabl
e
:
i
gnore com
m
on false posit
i
ves caused
b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
unreachable: ignore unreacha
b
le code after
B
U
G()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
Carpenter
unreachable: move it out o
f
s
match_
f
l
o
w
.
c and smatch_states
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan
Carpe
n
ter
avl: fix failing "str
e
e-
>
stree_id ==
0
" asse
r
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
D
a
n C
a
rpenter
over
f
low
:
d
o
n't warn
i
f
w
e overflow use buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan Car
p
e
n
ter
smatch_typ
e
:
n
e
v
er refe
r
to
->bit_s
i
ze directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
D
a
n Car
p
enter
db: functi
o
n with too many poin
t
ers
t
o it cause
s
low
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpenter
db: rename db_callback
t
o caller_info_callba
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpent
e
r
propagate: dele
t
e
t
h
i
s test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpe
n
ter
stored_cond
i
tio
n
s: don
'
t sto
r
e consta
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
Merge g
i
t://git
.
k
ernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
sta
t
es: a
d
d another read_only
c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n Carpenter
m
i
ssing_b
r
eak: use fewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
avl: add
a
counte
r
for w
h
e
n you allo
c
ate or free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
p
e
nter
sli
s
t, returns: in
t
roduce merg
e
_stree_no_poo
l
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
un
c
onstan
t
_
m
acros
:
allow
(
foo & _PAGE
_
N
X) even when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
buf_size: al
l
ow strncmp("foo", bar, 1
0
0
) wh
e
re 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Car
p
ent
e
r
para
m
_s
e
t: only
r
eco
r
d parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
extra: ignore st
r
uc
t
to struct assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
rpenter
implied: add
t
h
e stree_id
t
o debug
o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
cl
e
ar_buffer: d
e
lete
a
n unus
e
d func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpe
n
t
er
c
lear_bu
f
fer:
delete
o
b
solete co
d
e t
o
ha
n
dle struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
C
a
r
p
e
nter
co
m
parison: d
o
n't record that a
c
t
ual
structs are
e
quivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpenter
assigned_e
x
pr: don't store
f
ake a
s
sig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carp
e
nter
debug: change __sma
t
ch_cur_sli
s
t() t
o
_
_smatch_cur_
s
t
ree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan
Carp
e
n
t
er
states: don
'
t
__unnul
l
ify_p
a
th unn
e
ces
s
ar
i
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan
Carpent
e
r
im
p
l
ied: smatch was
s
aying so
m
eth
i
ngs wer
e
implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
str
e
e: fix a bunch of
st
r
e
e
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
D
an Carpenter
state
s
: merge
null
i
fy_al
l
_states()
into s
a
ve_all_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an Ca
r
pente
r
stree: mak
e
strees copy o
n
w
rite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stree: move stree_
i
d int
o
t
h
e
avl roo
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
slis
t
:
r
e
n
ame slist_id
t
o s
t
ree_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carp
e
nter
avl:
i
ntroduce FOR_EAC
H
_MY_SM() and
c
allers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpenter
kun
m
ap: update va
l
idation file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
C
a
rpenter
flow: fi
x
es
f
o
r hairy fun
c
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
extra: fix unk
n
own
+
= assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
implied:
add
a
newline t
o
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
stored_c
o
n
d
ition
s
: store
c
o
mparis
o
ns and no
t
logicals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nt
e
r
d
b: f
i
x nested ca
l
l hand
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
ku
n
map: tid
y
up error mes
s
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
pent
e
r
c
o
n
diti
o
ns:
f
ix some leaks in handle_select()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
s
l
ist: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stree fallou
t
: implications n
o
t workin
g
10
0
%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
states: rename fake_cu
r
_
slist
f
un
c
tions to
fake
_
cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
sta
t
es: ren
a
me
__print_cu
r
_slis
t
() to __print_cur_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
a
v
l: ren
a
me avl_free() to free_stree
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
avl: rename avl_cou
n
t() t
o
stree_count(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: use
s
t
r
uct stree inst
e
ad of making
i
t a t
y
pedef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
e
r
avl: renam
e
struct AV
L
t
o struct s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
a
v
l
:
r
ename avl_cl
o
n
e
t
o clone_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
slist: delete slist co
m
p
at layer and
r
e
maining unused
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
e
r
state
s
: eliminate r
e
maining references to __
g
et
_
cur_slist(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
r
penter
states: remove some dea
d
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpen
t
e
r
slist: remove a b
u
nch of unused slist
functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpente
r
cor
e
: change (struct s
m
_
s
tate)-
>
pool
to be a
s
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
start_stat
e
s: update
get_start_states()
t
o use stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rp
e
nter
re
t
u
r
n
s: update all_return_states_ho
o
k
() to
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
typ
e
_val: update to
s
t
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
st
a
rt_stat
e
s: p
a
rtial up
d
ate to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
match_re
t
urns:
pa
r
t
ial u
p
date to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Ca
r
penter
param_set: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Ca
r
penter
param_limit: update to str
e
e
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
param_filter: updat
e
t
o
st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
param
_
cleared
:
upate to
s
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
m
o
dification
_
hooks: updat
e
to
stre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
implied:
u
pdate
t
o s
t
r
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
f
l
ow:
upd
a
te to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
extra: update almost everyth
i
ng here to use stre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an C
a
rpe
n
ter
conditio
n
s
: update to use st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
comparison: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Car
p
enter
user_data: updat
e
to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpenter
unw
i
nd: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpenter
template:
u
pdate t
o
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
r
e
turn_enomem: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
penter
puts_argumen
t
: update t
o
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
memory: pa
r
tial u
p
date to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
r
penter
lockin
g
:
update to use s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next