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 some more locking functions.
2009-02-10
D
an Carpen
t
er
Add some more lockin
g
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
n
ter
Fi
x
implied pools
so that at least
i
t does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seeme
d
like tracker_list would be useful
i
n a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a README describing
s
ma
t
ch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
arpenter
A
dd scrip
t
to find NULL derefere
n
c
e
s between fun
c
t
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Fix usage
message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Check for malloc() a
s
w
ell as kma
l
lo
c
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Fix segfault when ha
n
d
ling imp
l
icitly de
c
l
a
red fu
n
ctio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn
w
hen
w
e don't acquire locks when calling c
e
rtain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nter
Try (
a
n
d fail) to
find memory leak
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a messa
g
e when you come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Add che
c
k to
l
ook
for dou
b
le f
r
ees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpe
n
ter
Ad
d
c
h
ecking for lock_
k
ernel()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpente
r
M
a
ke check_l
o
cking
check
b
ot
h
spin
l
o
c
ks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new func
t
io
n
slist_ha
s
_st
a
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If
t
here is an i++ then the valu
e
of 'i' is unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
A
dd
a new c
h
eck_locking sc
r
i
p
t
that checks sp
i
nlock
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
r
p
e
n
ter
Save
the possib
l
e
s
tates instead of
j
ust mer
g
i
n
g the
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Ignor
e
e
m
a
c
s garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
pent
e
r
M
erge branch 'mas
t
er
'
i
n
to poo
l
s
5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
F
ix likely
(
) and un
l
ikely
(
)
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
a
n Carpente
r
A
d
d s
i
ngle q
u
otes aro
u
nd
the variable
f
or consiste
n
cy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan
C
arpenter
We
c
ould sa
v
e s
o
me memory by not allocating new mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
A
d
d a c
o
mment show
i
ng where the tests a
r
e suppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Car
p
e
nter
This is left o
v
e
r
f
rom
Octo
b
e
r as part of the
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Ad
d
get_po
s
sible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
e
n
ter
S
tuff left ov
e
r
from Octobe
r
.
Im
p
l
ied
p
ools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save
some
m
emo
r
y by not a
l
locating new memo
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carp
e
n
ter
F
i
x memory leak
.
A
dd mo
r
e comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
r
pen
t
e
r
Ad
d
a
m
erge hook
.
H
a
nd
l
e the sit
u
ations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
strc
m
p
()
d
o
esn't a
c
cept
N
ULL
a
rguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
r
ena
m
e two
f
unction
s
: get_variable
_
fro
m
_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
get_
v
ariable_from
_
expr
(
) uses a
static buf
f
er and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
Create a chec
k
_template
.
c ex
a
mple script
that look
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an C
a
r
penter
M
a
k
e get
_
a
l
l_states() not
s
egfault every
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix get_valu
e
() to return negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
We only ev
e
r
p
a
ss one parameter int
o
get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
F
ix get_al
l
_s
t
ates
(
) to
ma
t
ch
th
e
fu
n
c
tion def
i
nition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Remo
v
e
a
dd_state(
)
a
nd state_defi
n
ed() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Ca
r
p
ente
r
Cl
e
a
n
up
.
Fix leak
.
My problem i
s
that I
don't under
s
ta
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpen
t
er
Initial commit of the "imp
l
ied
state pools
"
stuf
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carp
e
nter
Doh
.
We h
a
ven't been using s
m
atch_ext
r
a
for a
w
h
il
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
e
r
Get
r
id
of path_h
i
story
.
It's nev
e
r going to b
e
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
M
a
ke goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpente
r
S
peed up merge_slist
n
ow
t
h
a
t the s
l
ists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Inse
r
t
s
tuff onto lists in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpen
t
er
D
e
lete an unused functi
o
n merg
e
_
s
t
a
te_stack(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*fo
o
) {
(
*f
o
o)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmallo
c
(
)
an
d
fri
e
nds don't al
w
ays
return a non-
n
ull
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpen
t
e
r
The checks from he
r
e got me
r
ged into ch
e
ck
_
nu
l
l
_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
M
o
ve the stuff from ch
e
ck_
d
eref
e
d_params
.
c
into
check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpe
n
ter
F
ix bug in or_slist_stack()
.
if (a
&
& b
)
wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan
C
arpenter
Add a hook
at the end of a
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
n
ter
Forgot
a
not
h
er strip_e
x
pr()
call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Handle
assignmeents i
n
side conditio
n
s better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
Only print something for a->foo and not a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carpent
e
r
Ig
n
ore ar
r
a
y
d
eclarations
.
Those ca
n
'
t be NUL
L
obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make
cur_slist static
.
It's only used in smat
c
h_s
t
ates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
White s
p
ace chang
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpen
t
er
Use
m
erge_sl
i
st() instead of tryi
n
g
to handle it yours
e
lf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
__process_continues()
is supposed
to be
b
asic
a
l
l
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
N
e
w smatch
_
ignor
e
.
c f
i
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
(foo) = 1 is the same as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
Generalize st
i
p
_
casts()
.
It
'
s n
o
w called strip_
e
x
p
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
C
a
r
penter
Ignore cas
t
s
.
foo((int *)&bar) is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpen
t
er
C
r
ea
t
ed show
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Ignore
st
u
ff
lik
e
foo
.
ba
r
.
We o
n
ly care ab
o
u
t
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happens b
e
fore is that
p
arameters woul
d
g
et assi
g
n
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Ca
r
penter
Missed a cr
a
shing bug in the int => struct
c
onversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpen
t
er
I
c
an't
b
elieve
I
wa
s
d
oing stacks wrong th
i
s whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
Changed smatch state from
bein
g
an int to
b
e
ing pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I w
a
n
t
to
r
eu
s
e
t
he name s
m
a
tch_state
.
The curr
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpente
r
R
edo
t
h
e
null p
a
th t
h
i
n
g
.
So long as there
i
s one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
Clean up
.
Complicated is ju
s
t a boo
l
e
an
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Arrays a
r
e compl
i
ca
t
ed so they shouldn't be returned b
y
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carp
e
nter
If we c
a
ll se
t
_sta
t
e fro
m
in
s
ide a condi
t
i
o
n then
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
I
f t
h
e
p
o
int
e
r
i
s initialized
to
n
on-nu
l
l
then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan
C
arpenter
ig
n
ore the smatch
binar
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan
Carpente
r
W
hen we
merg
e
2
slists
w
e
need to deal wi
t
h the c
a
se
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
a
n Carpen
t
e
r
C
l
e
an ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
Add nullify the pa
t
h
when you h
a
ve for
(
;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
Ca
r
penter
M
e
rge branch 'ls'
i
nto ultr
a
t
m
p
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge branch 'unnullif
y
' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lots of
d
o while(
0
)
lo
o
ps
d
on't call break so it do
e
sn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
er
Rem
o
ve
u
nneed
e
d
check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
an Carpenter
Fix or_slist_stack()
.
Bef
o
re it
j
ust saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Ca
r
p
e
nter
crap crap c
r
ap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carp
e
nt
e
r
C
lean
ups and add some __u
n
nul
l
i
f
y
_
p
ath stuf
f
.
Hopefull
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Sm
a
ll cleanup
.
g
o
to_stac
k
sh
o
uld o
n
ly be used in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Car
p
enter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpent
e
r
F
ix bug saving the f
a
lse_only
s
tac
k
.
Before code l
i
ke
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpen
t
er
This is t
h
e s
t
art of the smatch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix ov
e
rwrite_slist
(
) so
i
t
t
akes a pointer to
a pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpenter
Make
s
matc
h
_extr
a
d
e
pend
o
n
sma
t
ch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpenter
Move
i
s_zero() to sm
a
t
c
h
_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
n
t
e
r
Fix a big bug
.
get_st
a
te
_
slist() w
a
s always get
t
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
Me
r
g
e
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
M
e
rge
branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
r
p
enter
Save t
h
e pre conditions i
n
side the
c
o
n
ditio
n
s
so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Car
p
e
n
ter
The main change here w
a
s to
c
ompletely rewrit
e
how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next