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
Try (and fail) to find memory leaks.
2009-02-04
Dan Carpen
t
e
r
Try (and fail)
t
o find memo
r
y lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Carpenter
A
l
most print a me
s
sage w
h
en you come to
u
nreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
te
r
Add ch
e
c
k
to l
o
ok
for doubl
e
fre
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking for lock_ker
n
el()/unlock_kernel
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
M
a
k
e check_lock
i
ng c
h
e
c
k
both spinlo
c
ks
a
nd
semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
pe
n
te
r
Add a new function slist_
h
as_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
If ther
e
is an i++ then the
v
al
u
e
o
f 'i' is undefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new
c
h
e
c
k_locking scri
p
t
that checks
spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Save
th
e
p
ossible states i
n
s
tead of just m
e
rging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpe
n
t
e
r
Ig
n
ore emacs garbag
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
pente
r
Merge bra
n
ch 'mast
e
r' into p
o
ols5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We c
o
uld save some memory by not
a
llocating new m
e
mor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Car
p
en
t
er
Add a comment showing
whe
r
e the tests a
r
e supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
This is left over f
r
om Oc
t
ober as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
Add
g
et
_
possib
l
e
_
states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Stuf
f
l
e
ft o
v
e
r
from October
.
I
m
p
lied
p
o
ols work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpent
e
r
We could s
a
ve som
e
memory
b
y not allocat
i
ng new me
m
ory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Da
n
Carpenter
Fi
x
memory leak
.
Add more commen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge hoo
k
.
Handle the situatio
n
s like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
strcmp() doesn't accept N
U
LL argumen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
rename two funct
i
ons: get_
v
ariab
l
e_from_exp
r
_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Car
p
ent
e
r
get_variable_
f
rom_expr() uses
a
s
t
ati
c
bu
f
fer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
Create
a check_template
.
c ex
a
mple
scr
i
pt that
l
o
o
ks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Make ge
t
_all_states()
n
ot
s
egfault
e
very time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Fix get_value()
t
o return
n
e
gative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only
e
v
er
p
ass one
p
arameter into g
e
t
_
value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Fix g
e
t
_all_states() to mat
c
h th
e
functi
o
n def
i
ni
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpent
e
r
Re
m
o
v
e
a
d
d_s
t
ate() and st
a
te_defined(
)
d
efinitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Clea
n
up
.
F
i
x leak
.
My problem is
t
hat I d
o
n't
u
nderstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
r
pent
e
r
Initial commit
of the "impl
i
e
d s
t
a
t
e
p
ools" st
u
ff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
Doh
.
We h
a
v
e
n't been using smatch_extra for a whil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Get rid of
path_his
t
o
ry
.
I
t
's nev
e
r
g
oing to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
Make goto_stack stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up
m
er
g
e_slist
n
o
w that t
h
e slists a
r
e o
r
de
r
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpenter
Insert stuff onto lists in a
s
o
r
t
ed order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Del
e
te an unused
f
u
nction merge_sta
t
e
_st
a
ck()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*foo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpent
e
r
kmalloc(
)
a
nd frien
d
s don't always retur
n
a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
Carpenter
The c
h
e
c
ks from
here got merged int
o
check_nul
l
_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move th
e
stuff from che
c
k_derefed_param
s
.
c into check_n
u
ll_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpente
r
F
ix b
u
g i
n
o
r_slist_
s
tack()
.
if (a &&
b
) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
A
d
d a hook
at the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Fo
r
got
a
nother
strip_expr()
c
all
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assignmeents inside conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
O
n
l
y
p
rin
t
s
o
mething for a->fo
o
a
nd not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Car
p
enter
Ignore
arra
y
declarations
.
Those can't
b
e NULL o
b
viou
s
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist static
.
I
t's
only used in smatch
_
sta
t
es
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
White space
ch
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
Use
m
erge_slist(
)
i
n
stead of
t
r
ying t
o
h
andle it yoursel
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_c
o
ntinues() is
sup
p
ose
d
to b
e
basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
Ne
w
sma
t
ch_ignore
.
c
f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpen
t
er
(foo) =
1 i
s
the same as fo
o
= 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
General
i
ze stip
_
c
a
s
ts()
.
It's
n
ow ca
l
l
ed
strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Ignore casts
.
foo((
i
nt *)&bar) is t
h
e same as
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
Created
show_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Ignore stu
f
f like
f
oo
.
b
ar
.
We only
c
are a
b
o
u
t
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What h
a
ppens b
e
fore is that parameters
w
o
u
ld get
a
ssigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Miss
e
d
a
cr
a
shing bug i
n
the
i
nt =
>
struct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an
C
arp
e
nter
I can'
t
believe I was do
i
ng stacks wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arp
e
nter
C
hanged smatch
s
ta
t
e fr
o
m b
e
i
ng a
n
int to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want
t
o
reuse
t
he n
a
m
e
sm
a
tch_state
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
ter
Redo
t
he null
p
ath thing
.
So
long as there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
C
om
p
l
ica
t
ed is just a boolean
.
Set it
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
Merge bra
n
c
h 'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
an
C
a
r
p
enter
Save the pre condi
t
ions in
s
ide the conditions so
t
hat
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
The main ch
a
nge here was to completely rewrite h
o
w
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Car
p
ente
r
B
r
e
a
k
t
hings
ou
t
into fu
n
c
tions a bit
.
Cl
e
an ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Handle while and fo
r
l
o
ops sl
i
ghtly
b
etter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I
re
m
o
v
ed
n
ullify_p
a
t
h
() ear
l
ier
b
u
t that was a
mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I do
n
't
think the
spe
c
ia
l
_kernel_ma
c
ros() fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a f
u
n
c
t
i
o
n to do a strcmp() with a sy
m
bo
l
nam
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpe
n
ter
Remove everything to d
o
with path_id
'
s
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Replace the vari
a
b
l
e
_
_negate wit
h
th
e
function __negat
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Sma
l
l c
l
ean up
.
M
o
ve the
p
a
s
sing 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 earlier when I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add
a
comm
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nt
e
r
Mo
v
ed all the log
i
c for handling conditions into
a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Oops
.
I guess I deleted the wrong
list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
Don't pa
s
s the contents of sizeof()
t
o the
c
lie
n
t
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
Impr
o
ve how the debug info fo
r
me
r
g
ing states gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Car
p
e
nter
The ma
i
n
t
h
ing is to
h
andle ze
r
o
c
omparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Ca
r
p
e
n
ter
R
e
move unne
e
ded co
d
e
.
Th
i
s st
u
ff
is handled in s
m
a
tch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
We
n
e
ed to be
a
ble to break down (foo != 0)
f
o
r BU
G
_O
N
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Id
e
ntify fo
r
(;;)
type loops as forever
l
o
o
ps
.
Th
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpent
e
r
Add support for BUG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
What I'v
e
seen
i
s stuf
f
like th
i
s:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
An
y
thing that we
d
on't
h
andle
is obviously comp
l
i
c
ated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Ca
r
pe
n
ter
Merge bra
n
ch 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Dan
Carpente
r
Add a comme
n
t
to get_
v
ar
i
able_from_expr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan C
a
rpenter
Ad
d
a
comment to g
e
t_variable_
f
rom_expr_simp
l
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify_path
(
) here is a bu
g
.
It ov
e
r-writes al
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
e
nter
__print_cur_slist() is a
u
seful function for debu
g
ging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
If you have something like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
penter
Update the
l
ine numbers for each statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carp
e
nter
C
h
a
n
ge the merge rules for
c
usto
m
merge scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
M
ove SM_DEBUG to a
hea
d
er so everyon
e
ca
n
use
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpente
r
Add a custom merge
f
u
n
ctio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpe
n
te
r
Update
the line number at the very
s
tart of the
function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan
C
ar
p
e
nter
Change th
e
debug outpu
t
a
b
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan
Ca
r
penter
Add a --
d
e
b
u
g
option
.
I
t
has
t
o
be the first op
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next