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
Oring the slists seems like merge_slist()
2009-02-10
Dan
Carpenter
Whitespace
change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some
more locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Fix imp
l
ied pools so that at lea
s
t it does so
m
ething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It
seemed like
tracker_lis
t
wou
l
d be u
s
eful in a
l
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a R
E
A
D
ME describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
en
t
er
Add script to find NULL d
e
r
efer
e
nces
b
et
w
een functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pen
t
er
Fix u
s
a
g
e messag
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
heck for malloc() as well as
k
m
alloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
penter
Fix segfa
u
lt when handling implicitly declared
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpenter
W
arn
wh
e
n we don't acquir
e
lo
c
k
s
when
callin
g
c
e
rtain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
a
rpent
e
r
Try (and fail) to find m
e
m
ory lea
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpe
n
te
r
Almo
s
t print a message w
h
en yo
u
come to unre
a
chab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an C
a
rpe
n
te
r
Add check to look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
A
d
d check
i
ng for lo
c
k_
k
erne
l
(
)/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpente
r
Make check_locking check both spinl
o
c
ks
and s
e
maphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Add a new
fun
c
tion sli
s
t
_
h
a
s
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
If there is an
i
++ the
n
t
he va
l
u
e of 'i' i
s
u
n
de
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
ar
p
enter
Add a new che
c
k_locking script that ch
e
c
ks spinloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
S
a
v
e
the possible state
s
in
s
t
e
ad of
just me
r
g
ing them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpente
r
Ignore
ema
c
s garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Merge b
r
anch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-20
D
an Carpenter
Fix likely() and
u
nl
i
kely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan C
a
rpenter
Add s
i
n
gle
q
uo
t
e
s
a
round the variable
f
or consi
s
ten
c
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
W
e
cou
l
d save some memory by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
Add a comment show
i
ng
w
h
ere
the test
s
are supp
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
This
is
left over from
O
ctober as
p
a
rt of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
A
dd
g
et_
p
ossible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
S
t
uff
left over from Oc
t
ober
.
Implied pools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Car
p
e
nter
We cou
l
d
s
ave s
o
me mem
o
r
y
by
n
ot al
l
ocatin
g
ne
w
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Ca
r
pe
n
ter
Fix me
m
ory
l
eak
.
A
d
d more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Add a m
e
rge h
o
ok
.
H
andle
the sit
u
ations li
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doesn't accept N
U
LL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
rename t
w
o functions: get_
v
ariabl
e
_fro
m
_ex
p
r_simp
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
get_variable_from_ex
p
r(
)
u
s
es a
s
tatic buffer
a
n
d you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Cr
e
ate a check_templa
t
e
.
c
example script t
h
a
t looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Ma
k
e get_all_stat
e
s() not segfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpente
r
Fix get_value() to r
e
t
u
rn
nega
t
ive
v
alues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Ca
r
penter
W
e on
l
y
ever pas
s
one
para
m
eter into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
F
i
x get_all_
s
tat
e
s() to match the fun
c
tion definitio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carp
e
n
ter
Remove a
d
d
_state
(
) and state_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
C
le
a
n up
.
F
i
x
leak
.
M
y
p
r
oblem i
s
that I don't
u
nderst
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an
C
arpenter
I
n
i
t
ial
commit of the "implied
state pool
s
" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Doh
.
We haven't
bee
n
using smatch_extra for a
while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
C
arpenter
G
e
t
rid o
f
path_history
.
It's neve
r
going to
b
e used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_stack stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed
up merge_slist no
w
th
a
t
t
he s
l
ists are or
d
ered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
I
n
s
ert stuff onto lists in a
sorted ord
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an un
u
s
e
d
f
un
c
t
i
on
merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Carpent
e
r
f
i
x
:
if (*f
o
o) {
(*foo)->b
a
r; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
Carpenter
k
mallo
c
() and friends don't always return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
an
Carpe
n
ter
The checks
f
r
o
m here
g
ot merged i
n
to c
h
eck_
n
ul
l
_dere
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
Mov
e
the stuff from
check_derefed_params
.
c int
o
check_null_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
p
e
nter
Fix bug in o
r
_slist_
s
ta
c
k()
.
if (a
&
& b) wa
s
n't be
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Car
p
enter
Add a ho
o
k
at the
e
nd of
a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
C
arpen
t
er
F
orgo
t
another stri
p
_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Hand
l
e assign
m
eents
i
ns
i
de condi
t
ions b
e
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
O
nly print something fo
r
a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore array declarations
.
Those can't be
NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Car
p
enter
Make
c
u
r
_slist static
.
It's only used in smatch_stat
e
s
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
W
hite space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
e
n
t
e
r
Use merge
_
slist() inst
e
ad of trying to handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
__process_c
o
ntinues()
is supposed to be basica
l
ly the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
C
arpenter
New sma
t
ch_i
g
n
o
re
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
p
enter
(f
o
o) = 1 is t
h
e 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
s
trip_ex
p
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignor
e
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
D
a
n Carpenter
Created show_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore stuff like
foo
.
bar
.
We only ca
r
e
a
bout foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Wha
t
happe
n
s
bef
o
re is that p
a
r
ameters woul
d
get as
s
ig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
pent
e
r
M
i
ssed a crashi
n
g
b
ug
in the int => struct
c
onversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpenter
I can't bel
i
eve I w
a
s doing sta
c
ks wrong th
i
s whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Change
d
smatch
s
tate
from being an i
n
t to bei
n
g poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want
t
o reuse t
h
e na
m
e smatch_state
.
The c
u
rre
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the null pa
t
h thing
.
So
l
ong as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpent
e
r
C
lean u
p
.
C
o
mpli
c
ated is
j
u
st a boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n C
a
rpenter
Arra
y
s are com
p
licated so they shoul
d
n't be
r
eturned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If we
call se
t
_state
f
rom
in
s
ide a cond
i
ti
o
n then
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carpent
e
r
I
f the
po
i
nter is initialized to non-null then s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpe
n
te
r
ig
n
or
e
t
h
e smatch
b
ina
r
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpent
e
r
W
h
en
w
e merge 2 sli
s
ts we n
e
ed to dea
l
wit
h
t
h
e case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan
C
a
rpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Ca
r
penter
Add nullify the path when you have
fo
r
(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carp
e
nter
Merge branch 'ls
'
into ult
r
atmp
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
arpen
t
e
r
M
erge br
a
nch 'unnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Lot
s
of do whi
l
e(0) loo
p
s
don'
t
c
a
l
l
b
reak
so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
Remove unneed
e
d che
c
k
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Da
n
Ca
r
pen
t
er
Fix or_slist_stack()
.
Before i
t
just s
a
v
ed one
s
tack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpent
e
r
crap cra
p
cra
p
.
do no
t
u
s
e
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpe
n
ter
Clea
n
ups a
n
d add some __unnullify_path stuff
.
Hope
f
ully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
an C
a
rpenter
Sm
a
ll cleanup
.
got
o
_
s
t
a
ck should only be used
i
n smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
an
Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Fix bug saving the
f
a
l
se
_
only stack
.
Before code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Carp
e
n
t
er
This i
s
the start of
t
he sm
a
t
ch_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpenter
Fi
x
ov
e
r
write_slist() so it takes a p
o
inter
t
o a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpent
e
r
Make
s
match_ext
r
a depend on
s
match
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Carpenter
Move
i
s_zero(
)
to smatc
h
_
h
e
l
per
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
Fix
a
big bug
.
get_state_slist() was
a
lways g
e
t
tin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge
.
.
/
.
.
/sm
a
t
ch
/
d
e
vel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carpenter
Merge b
r
anch 'deve
l
'
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
penter
S
ave the pre
c
ondit
i
o
n
s
insid
e
t
he condition
s
so th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next