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
Add validation script for check_null_deref.c
2009-02-17
D
a
n
Car
p
enter
Add valida
t
ion script for check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpen
t
er
Oops
.
-
>possible
s
wasn
'
t gett
i
ng
s
et correc
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
C
a
rpe
n
ter
U
s
e strip_expr(
)
in spl
i
t_
c
o
n
ditions() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Add som
e
m
ore operation
s
to
g
e
t_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &mer
g
ed instead of &undefi
n
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
m
ake get_value() return
a value for bitwise or ex
p
r
e
s
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
T
ry again removing states
fro
m
p
oo
l
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
pente
r
Revert "Remove a state fr
o
m
it's ->
p
oo
l
s when set
_
s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a warning
.
Probably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clean ups
.
Comments
.
Rename slis
t
_sta
c
k
t
o na
m
ed_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Ha h
a
.
I still suck a
t
pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
C
o
mments
.
Remove debugging code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nte
r
Clean
up
.
Also prese
r
ve the ->p
o
ols i
n
one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_st
a
t
e_slist
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove
_
_overwri
t
e_c
u
r
_
sli
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There
w
as debugging output that acciden
t
ally got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Remove a
state from it's ->pools
when set_state() i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
D
o
n
'
t delete the ->pools on me
r
gi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
T
r
y und
e
rstand t
h
e
implications from
c
ompou
n
d
c
ondition
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
nter
Create a state &me
r
ged
.
Wh
e
n
we merge st
u
ff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpe
n
ter
Ok
.
This time smatch_impl
i
ed _really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ignore cscop
e
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Sma
l
l cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arp
e
nter
Whitesp
a
c
e
c
hang
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Ca
r
penter
A
dd
some m
o
re locking functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Ca
r
pe
n
ter
Fi
x
implied pool
s
s
o that at least
i
t do
e
s something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
It s
e
emed like
t
rac
k
er_list wou
l
d be
use
f
u
l in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script
to find NULL dere
f
e
rences between functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Car
p
enter
Fix usa
g
e message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpent
e
r
Check for malloc
(
) as wel
l
as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segf
a
ult whe
n
handling implicitly
dec
l
ared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
War
n
when we d
o
n't acquire locks
w
hen call
i
ng
cer
t
ain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (a
n
d fail)
t
o
find memory leak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Alm
o
st pri
n
t a mess
a
g
e whe
n
you
c
ome to unreac
h
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check t
o
loo
k
f
or do
u
ble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add chec
k
ing f
o
r lo
c
k
_kernel
(
)
/un
l
ock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpe
n
ter
Make c
h
eck_lockin
g
c
h
eck bot
h
spinlo
c
ks
and semaphore
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
Add a ne
w
funct
i
on s
l
ist_has_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
If t
h
ere i
s
a
n
i++
t
h
e
n the value of 'i' is undef
i
n
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Add a new ch
e
ck
_
locking scr
i
pt that
c
h
e
c
k
s
s
pin
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save t
h
e possible s
t
a
t
e
s
i
nstead of just merging the
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignor
e
emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
n
t
er
M
e
rge branc
h
'master' into
p
o
o
ls5
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
Add
a
comment showing where the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
This i
s
left over
from Octo
b
er as part of the
impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
ar
p
e
n
t
e
r
A
d
d get_possi
b
l
e_s
t
ates()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stu
f
f left over from October
.
I
m
plied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could s
a
ve so
m
e memory by n
o
t allo
c
a
t
ing new
m
e
mor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory lea
k
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
Add a merge
h
ook
.
Handle the situations
l
ike:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
st
r
cmp() doesn't
accep
t
NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
r
e
name two functi
o
ns: get_vari
a
ble_from_expr_simpl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpe
n
ter
get_variable_f
r
om_expr() uses a stati
c
buffer
an
d
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
Create a check_templat
e
.
c example script
t
hat looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
M
a
ke get_a
l
l
_
states() not segfault every tim
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix
g
et_v
a
lue()
t
o return negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
We on
l
y ever pass o
n
e
parame
t
er in
t
o get_v
a
lue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix ge
t
_all_states()
t
o ma
t
c
h th
e
function defini
t
io
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
emov
e
add_
s
tate() an
d
stat
e
_defined() definitio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
Clean
u
p
.
F
ix leak
.
My problem is th
a
t I don't
u
nderstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Ca
r
penter
Initia
l
comm
i
t of th
e
"imp
l
ied state pools"
s
tuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpente
r
Doh
.
We h
a
ve
n
't been
u
sing smatch_e
x
tr
a
for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
G
et rid of p
a
th_histo
r
y
.
I
t
's never goi
n
g to
b
e
used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Make goto_stack s
t
atic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed
up
m
erge_sl
i
st n
o
w that the slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Inser
t
stu
f
f onto
l
i
sts in a
s
o
r
ted
o
rde
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
ent
e
r
Delete an u
n
used
function m
e
r
ge_
s
tate_sta
c
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpe
n
ter
f
i
x: if
(
*foo) { (*
f
oo)->bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Ca
r
pe
n
ter
kmalloc()
and fri
e
nds
d
o
n
'
t
a
lway
s
r
e
turn a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Carp
e
nt
e
r
The
c
hecks from h
e
re
go
t
me
r
g
e
d i
n
t
o
check_nu
l
l_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move
t
he s
t
uff from
check_derefe
d
_params
.
c in
t
o chec
k
_
n
ull_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpente
r
Fix bug in or_slist_stack()
.
i
f (a && b) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook
at the en
d
of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot another
s
trip_expr()
c
a
ll
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Handle assignmeen
t
s inside conditio
n
s
bet
t
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Only print someth
i
ng for a->fo
o
and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpen
t
er
Ignor
e
array
de
c
la
r
ation
s
.
T
hose can't be NU
L
L o
b
viously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
Carp
e
nter
Make cur_slist static
.
It's only
u
sed in smatc
h
_s
t
ate
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nter
White
s
pa
c
e chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rp
e
nter
U
s
e merge_slis
t
() instea
d
o
f trying to handle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
_
_process
_
conti
n
ues() is supposed
to be basicall
y
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Car
p
enter
New smatch_ig
n
ore
.
c
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
(foo)
=
1 is the sa
m
e as foo =
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpenter
Generalize s
t
ip_casts()
.
It'
s
now called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ign
o
re casts
.
foo
(
(i
n
t *)&b
a
r) i
s
the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
Create
d
show_stat
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Igno
r
e
stuff like foo
.
ba
r
.
We only care about f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happens
b
efore is that parameters would get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
Carpenter
M
issed a crashing bug in the
i
nt =>
struct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpenter
I
can
'
t believe I was doing stack
s
w
rong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Change
d
s
m
a
t
c
h
st
a
t
e
from bei
n
g
a
n int to being pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
I want to reuse the
name smatch_
s
t
a
te
.
The curr
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
ent
e
r
R
e
do
th
e
null pat
h
t
hi
n
g
.
So long a
s
the
r
e is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
C
ompli
c
a
t
e
d is
j
ust
a
bool
e
an
.
Set i
t
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpe
n
ter
Merge branc
h
'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save th
e
pre co
n
ditions in
s
ide the
c
onditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
n
t
er
The main cha
n
ge here was to comp
l
etely r
e
wri
t
e
how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
B
r
ea
k
things out into functions a bi
t
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Han
d
le while and for loops slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next