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
Ha ha. I still suck at pointers.
2009-02-11
Dan Carpenter
Ha ha
.
I still
s
u
c
k at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Cleanups
.
C
omments
.
Remove debugging code from
f
i
lter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpente
r
Clean
u
p
.
Al
s
o pr
e
s
erve
the ->pools
in one pat
h
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_state_slist(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __overwrite_cur_sli
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
enter
T
here was debu
g
gi
n
g
output that ac
c
i
den
t
ally got comm
i
tt
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Rem
o
ve a sta
t
e
f
rom it's ->pool
s
when set_
s
tate(
)
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpe
n
ter
Don't de
l
ete
t
h
e ->pools on mer
g
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Try understand
t
he im
p
lication
s
from compound condit
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
C
reate a s
t
ate &merged
.
Wh
e
n we me
r
ge stu
f
f
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Ok
.
This
t
i
me smatch_implied _really_ does somet
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpenter
Ign
o
re csc
o
pe fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpente
r
Sm
a
ll cle
a
n
ups
.
(Wh
i
te
sp
a
ce
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Whi
t
espace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Add some
m
o
re loc
k
in
g
functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Fix i
m
plied pools so t
h
at at
least it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It se
e
med like track
e
r_list wo
u
ld be u
s
e
f
ul
i
n a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpe
n
ter
A
dd a README describing s
m
atch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Add script to find NULL
de
r
eferen
c
e
s between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carp
e
nter
C
he
c
k
for ma
l
l
o
c() as well
a
s
kma
l
loc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Fix segfault when handling impli
c
i
t
ly
d
eclared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n C
a
rpente
r
Warn when
we don'
t
ac
q
uire locks
when calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
C
a
rpen
t
er
Tr
y
(an
d
fail) to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
lmost pri
n
t
a
messa
g
e wh
e
n
y
ou come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Add
c
heck to
look for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Ad
d
c
hecking for
l
ock
_
ke
r
n
e
l()/un
l
ock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
n
ter
Make ch
e
ck_locking check both spinlocks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pen
t
er
Add a new functi
o
n slist_has_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Ca
r
penter
If there is an
i++ then th
e
value
o
f
'
i' is un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpe
n
ter
Add a ne
w
check_locki
n
g script th
a
t checks
s
pi
n
l
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carp
e
nt
e
r
Sav
e
the po
s
s
ible s
t
a
t
es instead of jus
t
mergi
n
g
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
enter
Igno
r
e emacs
g
arbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an
Carpenter
Merge b
r
an
c
h 'master' into
p
ools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpent
e
r
We could save some memory by not alloca
t
ing new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a c
o
mme
n
t showing where the tes
t
s are sup
p
osed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
This is left ov
e
r from October as p
a
rt of
t
h
e impl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
A
dd
g
et_possible
_
stat
e
s
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
e
n
t
e
r
Stuff
l
e
ft
o
ver fr
o
m Oct
o
ber
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan C
a
rpenter
We
c
ould save some memory by n
o
t
allocating ne
w
m
e
mo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n
C
a
rpent
e
r
Fix m
e
mory leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Add a merge h
o
o
k
.
H
a
n
d
l
e the s
i
tuations li
k
e:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
strcmp() doesn't accept
NULL a
r
gume
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n C
a
rpenter
rename two functions: get_v
a
r
iable_from_e
x
pr_si
m
ple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_v
a
riable_from_
e
xpr()
u
s
es a s
t
atic
b
u
ffer
a
nd y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Cr
e
ate
a c
h
eck
_
template
.
c example script that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_al
l
_
states()
n
ot segfault every
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
F
i
x get_value(
)
to retur
n
n
e
gative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
We
on
l
y ever p
a
ss
one paramete
r
into get_valu
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
te
r
Fix
get_all_states
(
)
t
o matc
h
the
f
u
n
ction definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
Remo
v
e add_s
t
ate()
and state_defined() d
e
finitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fi
x
leak
.
M
y
proble
m
is that I
d
on't
u
nderst
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit of the "implie
d
state pools
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpent
e
r
Do
h
.
We ha
v
e
n
't
b
een using smat
c
h_extra for
a
while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an
C
a
r
pen
t
er
Get rid of path_h
i
story
.
It's n
e
v
er going to be us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
n
ter
Make
g
o
t
o
_
stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
e
r
Speed u
p
merge_slist now that
t
he
s
l
ist
s
are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an
Carpe
n
ter
In
s
ert stu
f
f
onto lists
i
n
a
sorted o
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
C
a
rpenter
Delete
a
n u
n
u
s
e
d function merge_
s
tate_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Carp
e
n
t
er
fix: if (*foo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n
Carpent
e
r
kmall
o
c() and f
r
iend
s
don't always return a
n
on-
n
ull
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
C
arpenter
The checks from here got merged into check_nul
l
_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpe
n
ter
Move
the stuff
fro
m
check_derefed_pa
r
a
ms
.
c i
n
t
o
check_
n
ull_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpe
n
ter
Fix bug in o
r
_slist_stack(
)
.
if (a && b) wa
s
n't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Da
n
Carpe
n
ter
Ad
d
a hook
a
t
the end of a
f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot an
o
ther strip_expr() c
a
ll
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assignmeents ins
i
de conditions
b
etter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Only print somethi
n
g
for a->foo and not
a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Car
p
enter
Ignore array declarations
.
Those can't be NU
L
L obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan C
a
rp
e
nter
Make
c
ur_slist
s
tatic
.
It's onl
y
u
sed
in
s
match_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n
C
a
rp
e
n
t
e
r
White sp
a
ce changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
U
s
e merge_s
l
ist() in
s
tead of trying to
handle
i
t yours
e
l
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process
_
cont
i
nues() is su
p
posed to be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
New
s
ma
t
ch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpen
t
er
(foo) = 1 is
t
he sa
m
e
as foo
=
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize stip_casts(
)
.
It's now call
e
d s
t
rip_exp
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
Ignore c
a
sts
.
foo((int *)&bar)
is t
h
e
same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
C
a
r
penter
Crea
t
ed
s
h
o
w_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpe
n
t
e
r
I
g
nore stuff
l
i
k
e f
o
o
.
bar
.
We only care abo
u
t
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
What hap
p
en
s
befo
r
e
is that parameters woul
d
get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpente
r
Missed a crashing
bug in the
i
nt =>
struct
con
v
ersion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I ca
n
't b
e
lieve I was doing
stacks wro
n
g this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an
Car
p
enter
Changed smatch state from being an int to b
e
i
ng pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an
C
arpenter
I w
a
n
t to reuse the n
a
me
smatch_stat
e
.
T
h
e current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Car
p
enter
Redo
t
h
e
null path t
h
ing
.
So long as there is o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
r
p
e
n
ter
C
lean up
.
Complicate
d
is just a bool
e
an
.
Set
it
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpe
n
ter
Mer
g
e branch 'd
e
vel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Save the pre conditions inside
t
he c
o
ndi
t
ion
s
so
th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
pen
t
er
The
ma
i
n change her
e
was to complete
l
y
r
e
writ
e
how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carp
e
nter
B
r
eak
t
hings out into functions a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
rpe
n
ter
Ha
n
dle
w
hile and
f
or loo
p
s slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carp
e
nter
I removed nullify
_
path
(
) ea
r
lier but
t
h
at wa
s
a m
i
sta
k
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
C
arp
e
nt
e
r
I don't think
t
he special_kernel_m
a
cr
o
s()
function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
pente
r
Add a
function
to do
a
strcmp() with a symbo
l
name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
ar
p
ente
r
R
e
mo
v
e everything to do with path_
i
d
'
s
.
I
c
ou
l
d
n
'
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
R
e
pl
a
ce the variable _
_
n
e
gate
with the
function __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small clean
u
p
.
Move the passing the whole condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
C
r
ap
.
I meant to merge this ear
l
ier whe
n
I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Add
a com
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
rpenter
Moved all the logic for
h
andling conditio
n
s
i
n
to a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next