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
Test to see if we are catching cross function derefs.
2009-02-18
Dan Carpente
r
Test to see
if we
a
re
catching cro
s
s function dere
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pe
n
ter
Use th
e
->possi
b
le s
t
ate
s
and remove the
m
er
g
e_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
"while
((1))
{
"
is a forever loop
.
Ca
l
l strip_e
x
pr
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
fixes to
th
e
-> poss
i
ble set
t
in
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
enter
Merge branch 'master'
into n
u
ll
_
deref
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Car
p
e
nter
Add v
a
lida
t
ion script for
ch
e
c
k_null_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carp
e
nter
Clean up
.
ne
w
->possible
i
s alwa
y
s nu
l
l here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpenter
Oop
s
.
->possibles was
n
't g
e
t
ti
n
g set correct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr() in
split_
c
onditions() ins
t
ead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add s
o
me more operations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rp
e
nter
Return &mer
g
ed instead of &u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
make g
e
t_value() re
t
urn
a value for bitwise o
r
exp
r
essions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again removi
n
g states from poo
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
Revert "Remove a
s
tate fr
o
m it's ->p
o
o
l
s
when se
t
_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
e
r
E
l
iminate
a
w
a
r
n
ing
.
Probab
l
y t
h
e wrong way
to
d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean up
s
.
Com
m
ents
.
Rename s
l
ist_stac
k
to named_
s
tac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still suck at poi
n
te
r
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Cleanups
.
Comm
e
nts
.
R
emove debug
g
i
ng code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Clea
n
u
p
.
Also preserve t
h
e ->pools in o
n
e pa
t
h
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_st
a
te_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Re
m
ove
__overwrite_cu
r
_slis
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
h
ere w
a
s d
e
bugging output that a
c
cidentally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Re
m
ove a s
t
ate from it's ->p
o
ols when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpe
n
ter
Don't delete the
-
>pools
o
n
m
erging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
Car
p
e
n
t
er
Try un
d
erstand
t
h
e
i
m
plications from comp
o
u
nd con
d
itions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Ca
r
penter
Create a state &merged
.
When
w
e m
e
rge
s
tuff
it
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
n
ter
O
k
.
Thi
s
t
ime
s
match_imp
l
ied
_really_ do
e
s so
m
ething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Ignore cscope f
i
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
Small cleanups
.
(W
h
i
t
e
space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Carpent
e
r
W
hitespace cha
n
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
er
Add some more locki
n
g fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
F
ix i
m
pli
e
d p
o
ol
s
so that at least it d
o
es someth
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
er
It seemed
like t
r
acker
_
list wo
u
ld be us
e
f
u
l
in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Add a README desc
r
ibing
s
match
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Ad
d
script to fi
n
d NULL de
r
ef
e
re
n
ces between functi
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
F
ix usag
e
message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Che
c
k for malloc()
a
s well as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
t
er
Fix s
e
g
f
ault when handli
n
g imp
l
i
c
itly declared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Car
p
enter
Warn whe
n
we
d
on'
t
acqu
i
re locks when c
a
lling certa
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Ca
r
penter
T
ry
(and fail) to find me
m
ory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Almost print a messag
e
when
you come to
u
n
rea
c
hable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
r
penter
A
dd ch
e
c
k
to look
f
or double fr
e
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking
for
lock_k
e
rnel()/unloc
k
_ke
r
nel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Make check_
l
ocking check both spi
n
locks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Add a new f
u
nction slist_has_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
en
t
er
If the
r
e
is an i++ then the
v
a
l
u
e
of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
n
e
w chec
k
_locking
sc
r
ipt that checks spi
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
S
a
ve the p
o
ssible st
a
t
es instead of j
u
st merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
Ignore ema
c
s garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'mast
e
r
' into pools5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n Carp
e
nter
Fix likely() a
n
d un
l
ik
e
l
y
() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add single
quo
t
es around the varia
b
le f
o
r consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
an Carpenter
We coul
d
save
some memory by not a
l
lo
c
at
i
ng new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment s
h
owing where the tests are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Th
i
s
is
l
eft
o
ver from October as pa
r
t of the impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Ad
d
get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
e
r
Stuf
f
le
f
t over f
r
om O
c
t
o
b
e
r
.
Impl
i
ed pools
work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpenter
We coul
d
save
s
ome memory by not
a
llocating
n
e
w memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpent
e
r
F
i
x memory leak
.
A
dd more comme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
Add
a
merge hook
.
Han
d
le the
situa
t
ions li
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
strcm
p
(
)
does
n
't accep
t
NULL
arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
r
e
n
ame two
functi
o
ns: get_varia
b
le
_
fr
o
m_ex
p
r_s
i
m
ple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpent
e
r
get_v
a
riable_from_ex
p
r(
)
use
s
a static
b
uff
e
r
and
y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Create
a ch
e
ck_t
e
mpla
t
e
.
c example script that lo
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
a
r
penter
Make get_all_states() not seg
f
au
l
t ever
y
time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Car
p
enter
Fix ge
t
_value() to r
e
turn negativ
e
values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carp
e
n
t
er
We on
l
y ever pass one p
a
r
ameter into get_v
a
lu
e
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix g
e
t
_all_states() to
m
atc
h
the functio
n
definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpe
n
ter
Remove add_
s
tat
e
(
)
and state_def
i
ned() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Clean up
.
F
ix leak
.
My problem i
s
that
I
don't
u
nderstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
e
r
In
i
tial comm
i
t
of the
"
impl
i
ed state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
t
e
r
Doh
.
We haven
'
t be
e
n usin
g
smatch_
e
x
t
ra for
a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of path_
h
istory
.
I
t's never going t
o
be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Ca
r
penter
Make goto_
s
tack sta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpe
n
te
r
Speed up merge_slist now 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 Carpen
t
er
Ins
e
rt stuff onto lists in a s
o
rted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
pe
n
ter
Dele
t
e an unused func
t
ion merge_st
a
te_stac
k
()
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 Carp
e
nter
kmalloc(
)
and friends d
o
n't
a
lw
a
ys
return a non-
n
ull
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpenter
The
c
heck
s
fr
o
m here g
o
t merged into check_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
Move the stuff from chec
k
_d
e
refed_para
m
s
.
c
into check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug in or_
s
list
_
sta
c
k()
.
i
f (a && b) wasn't be
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook at th
e
end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
F
orgot another strip_
e
xpr()
c
all
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Ha
n
dle assignmeen
t
s inside c
o
nditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpe
n
t
e
r
O
n
ly print something f
o
r
a
-
>
foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Carpe
n
te
r
Ignore
a
r
r
a
y
d
e
clar
a
t
ions
.
Those can't be
NULL obvi
o
u
sly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_
s
list static
.
It's only
u
s
e
d in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpent
e
r
White space cha
n
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
U
se merge_sl
i
s
t
()
in
s
tea
d
of
trying to han
d
le it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carp
e
n
t
e
r
__process_continues(
)
i
s
su
p
posed
to be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpent
e
r
N
ew sm
a
tch_igno
r
e
.
c
fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
a
r
penter
(foo
)
= 1
is
the same as
f
o
o
=
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpe
n
ter
Gene
r
alize stip_casts()
.
I
t
's
n
ow called strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ign
o
re casts
.
foo((in
t
*)&bar)
is th
e
same
a
s foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Created sh
o
w_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpente
r
Ignore
stuff like foo
.
bar
.
W
e
only
c
are ab
o
ut fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
What h
a
ppe
n
s
before
i
s t
h
at parame
t
ers woul
d
g
e
t
ass
i
gned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Car
p
enter
Missed a crashin
g
bug in the int =
>
struct conversi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpenter
I
can't
believe
I
wa
s
d
o
i
n
g stacks wrong this
w
h
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next