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
an Car
p
ent
e
r
A
d
d
validation script for
c
heck_null
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possibles wasn'
t
getti
n
g set correctl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
U
se
st
r
ip_expr() in split_c
o
nditio
n
s
() ins
t
ead
r
e
producing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some mo
r
e operati
o
ns to
g
et_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Re
t
ur
n
&merged inst
e
ad of
&undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
ma
k
e get_value() return a value for
b
itwise or e
x
pressio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try agai
n
removing states from
p
ools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
R
evert "Remo
v
e a sta
t
e from it'
s
->pools when se
t
_s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
E
liminate a warning
.
Pr
o
bably
t
he
wro
n
g way to
d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Clean ups
.
Co
m
men
t
s
.
Rename
sli
s
t_stack
to
n
a
med_s
t
ack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ente
r
Ha ha
.
I still suc
k
at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
Cleanups
.
Comments
.
Remo
v
e debugging code
fr
o
m fil
t
er()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Cl
e
an up
.
Also prese
r
v
e the ->pools in on
e
path o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpente
r
Clean
u
p
get_sta
t
e
_s
l
i
st(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __o
v
e
r
write_
c
u
r_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
p
enter
There was debuggi
n
g output that accidentally got committe
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Remove a s
t
at
e
from it
'
s ->pools when set_st
a
te() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
D
on'
t
d
e
let
e
t
he ->pools on mergi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
penter
Try
under
s
ta
n
d
the implications fro
m
compound
conditi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Create
a
sta
t
e
&me
r
g
e
d
.
Whe
n
we me
r
ge s
t
uff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carp
e
nter
Ok
.
T
h
is
t
ime smatch_implied _really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Ca
r
penter
Ignore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
S
m
all cleanups
.
(Wh
i
te sp
a
ce)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
r
p
e
nt
e
r
White
s
pace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
arpen
t
er
Ad
d
some
m
o
re locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Fix impl
i
ed pools so t
h
at
a
t
l
east it does some
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
It
s
e
e
me
d
like trac
k
er_list woul
d
b
e useful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
a
README de
s
cri
b
i
n
g smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add s
c
rip
t
t
o find
NULL deref
e
rences be
t
we
e
n
f
u
nc
t
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Check for mallo
c
() as well as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segfault w
h
en handling implicitly declared
f
unct
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Ca
r
penter
Wa
r
n when w
e
don't acquir
e
locks when c
a
l
l
ing certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
Car
p
e
nter
Tr
y
(and fail
)
to f
i
nd memory
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
A
l
most print a mes
s
age when you co
m
e
to unreachabl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
A
dd check
t
o look for double
frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpen
t
er
A
dd checking for lock_kernel()/unl
o
ck
_
kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Make
check_l
o
cking che
c
k both spinlocks and sema
p
ho
r
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
arpenter
Add a new function sli
s
t_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there is an i++
t
h
e
n the value of 'i' is
u
n
d
efin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
d
d
a
new
check
_
locking sc
r
ipt t
h
a
t
c
h
e
c
ks
spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
p
enter
Save th
e
possible stat
e
s instead of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
I
gnore
e
m
a
c
s
ga
r
bage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Carpenter
Merge branch '
m
aster' in
t
o p
o
o
ls5
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Carpe
n
ter
We co
u
l
d
save som
e
memory
b
y not allocating new mem
o
ry
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
enter
Add
a
comment showing whe
r
e the
t
ests
a
re suppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an
C
a
r
penter
This is
l
e
f
t over from October
a
s
part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Ad
d
get_possible
_
sta
t
es()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left over from
O
c
to
b
er
.
Implied pools w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Ca
r
penter
We could save
s
o
me m
e
mory by not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpen
t
e
r
F
i
x memory leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Add a me
r
ge hook
.
Handle the situatio
n
s l
i
ke:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp
(
)
d
oesn't accep
t
NULL
a
rguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpenter
r
e
name two
func
t
io
n
s:
get_variable_from_exp
r
_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
get_va
r
iable_from
_
expr() uses
a
s
t
atic buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpe
n
ter
Create a check_template
.
c exa
m
ple
s
c
ript th
a
t
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n C
a
rpenter
M
ake get_all
_
states() not segfault ever
y
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value() to return nega
t
ive values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pente
r
We
o
nly ever pa
s
s one param
e
ter into
g
e
t_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpen
t
er
Fix ge
t
_al
l
_states() to match
t
he funct
i
o
n
definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpenter
Remo
v
e
a
d
d
_state() and state_defin
e
d
(
) definition
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an C
a
rpenter
Clea
n
up
.
Fix leak
.
My problem i
s
tha
t
I don't underst
a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Initial commit of the "impli
e
d
s
tate
pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
C
arp
e
n
t
er
Doh
.
We ha
v
en't b
e
en using smatch_extra f
o
r
a
while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of
path_h
i
story
.
It
'
s never going to be
used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Make goto_stack
s
ta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Spe
e
d
up me
r
ge_
s
list n
o
w
t
h
at the
slis
t
s are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpenter
In
s
ert
s
tuff
o
nto lists in
a
sorted orde
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
enter
D
e
lete an un
u
s
e
d
function merge_
s
tate_s
t
a
ck()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan C
a
rpenter
fix: if (*
f
oo
)
{ (*f
o
o)-
>
bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmallo
c
() and friends don't a
l
w
ays ret
u
rn a non
-
null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The c
h
ecks from
h
ere
go
t
merged into chec
k
_null_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carp
e
n
t
er
Move the
s
tuff from check_d
e
r
e
fed
_
params
.
c
int
o
check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
Fix bug in
or_
s
list_stack()
.
if (a && b
)
wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan C
a
rpe
n
ter
Add
a ho
o
k at the end of a f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot a
n
other s
t
r
ip_expr() cal
l
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Handle assi
g
nmeents insid
e
c
onditions
bette
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Only print somethin
g
for
a
->
f
oo and
n
ot a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Car
p
enter
Ignore ar
r
a
y
declar
a
ti
o
n
s
.
Tho
s
e can't
be NULL ob
v
iously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpente
r
M
ake cur_slist static
.
It's only used
in smatc
h
_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
W
h
i
t
e
space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merge
_
slist(
)
instead of
trying
to handle
it
y
o
urself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nter
__process_continues() is supposed to
b
e basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
a
r
p
ente
r
New smatch_ig
n
ore
.
c fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
ent
e
r
(foo) = 1
is the sam
e
as fo
o
= 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize sti
p
_ca
s
t
s
(
)
.
It's no
w
c
a
lle
d
strip_ex
p
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
Ignore c
a
sts
.
foo
(
(int *)&bar) is
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_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
C
arpenter
Ignore stuff like foo
.
bar
.
W
e
only care a
b
out foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpente
r
What
happen
s
before
is
that parameters woul
d
g
et
a
ssigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
M
issed a crashing bug i
n
the in
t
=> struct conv
e
rsio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpente
r
I
can't believe I w
a
s
d
oing s
t
acks wrong this
w
hole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Cha
n
g
e
d
smatch state from being an
int to being
pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
I w
a
nt to reuse the name s
m
at
c
h_s
t
ate
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpenter
Redo the null pa
t
h
t
h
i
ng
.
So long as there is
o
ne
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
pente
r
C
l
e
an u
p
.
Complic
a
ted
is
just
a
boo
l
ean
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
S
ave the pre conditions inside th
e
c
o
nditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
C
arpenter
T
he ma
i
n change here was
to comp
l
etel
y
rewrite
how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carpenter
Break th
i
ngs ou
t
i
n
to
f
unctions a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next