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
D
an
C
arp
e
nter
Test to see
if we are
c
atching cr
o
ss function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Use the ->possible stat
e
s
a
nd remove the merge_h
o
ok()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpe
n
ter
"
whil
e
(
(1)) {" is a
forever loop
.
Call s
t
rip_exp
r
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
rpenter
f
i
xes to the
-
> po
s
s
i
ble setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpen
t
er
Me
r
ge branch
'mas
t
er
'
into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
r
p
ente
r
Add validation
script for check_null
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n
Carpenter
Clean u
p
.
n
e
w
-
>possible is
alwa
y
s null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Ca
r
pen
t
e
r
Oops
.
->possible
s
wasn't getting set corre
c
tly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
U
s
e strip_
e
xpr() i
n
split_conditions() ins
t
ead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Add so
m
e m
o
re
o
pera
t
ions to get
_
value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
p
ent
e
r
Retur
n
&merged
inste
a
d
of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
m
ake get_
v
al
u
e() retu
r
n a value for
bitwise or expres
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
T
ry ag
a
in removin
g
st
a
t
es
from poo
l
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Re
v
ert "Remove a st
a
te fr
o
m it
'
s ->pools wh
e
n set_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
E
l
iminat
e
a warning
.
Pr
o
bably the
w
rong wa
y
to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
e
r
C
l
ean ups
.
Comment
s
.
R
e
name
s
list_sta
c
k to named_
s
tack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I
still su
c
k at po
i
nter
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Cleanups
.
Comments
.
Remove debugging code from
f
il
t
er
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean u
p
.
Also prese
r
ve the ->pools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Clean up get_state_sli
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
R
emove __overwri
t
e_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
There was
debug
g
ing outp
u
t that accidentall
y
got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Remove a state from it
'
s
-
>pools when se
t
_sta
t
e() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
ar
p
enter
Don't delete the ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Try understand the i
m
pli
c
ations from compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
r
eate a state
&merged
.
When
we m
e
rge
s
tuf
f
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
rpenter
Ok
.
This time s
m
a
t
ch_implied
_
really
_
does
s
omething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Ignore c
s
cope fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
te
r
Small c
l
eanups
.
(White s
p
ace)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
A
dd so
m
e more l
o
c
king
f
u
n
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Car
p
enter
Fix imp
l
ied pools so that at least it does som
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
It see
m
ed
l
i
k
e tr
a
ck
e
r_list wou
l
d 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 smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carp
e
nter
Add
s
c
ript
t
o find NULL dereferences
bet
w
een functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage
message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Ch
e
c
k for malloc() as
wel
l
as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Fix segfault
wh
e
n h
a
ndling implic
i
tl
y
dec
l
ared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
r
pent
e
r
Warn wh
e
n we d
o
n't acq
u
ire l
o
cks
w
hen
c
alling
c
ertain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
r
pent
e
r
Try (and fail)
t
o find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arp
e
nter
Almost print a
m
essage when you come to unre
a
cha
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
Add check to l
o
ok for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpent
e
r
Add chec
k
ing for
l
ock
_
kernel()/
u
nl
o
ck
_
kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_loc
k
ing check both spinlo
c
ks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpe
n
ter
Add
a
new function s
l
ist_
h
a
s_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
If there is an i++
t
h
en t
h
e value of 'i' is un
d
efin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpen
t
er
Add a new che
c
k_lo
c
king sc
r
i
pt that c
h
e
cks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpe
n
t
e
r
S
a
v
e the possible states
i
nstea
d
of j
u
st merging
t
h
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
C
a
rpenter
Igno
r
e ema
c
s garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpe
n
t
e
r
Merg
e
b
ranc
h
'master'
into
pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan
C
arpenter
We
c
ould save
s
ome
m
e
mory by not allocating n
e
w m
e
mory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comme
n
t showing where the tests are
s
uppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
pente
r
This is l
e
f
t
over
f
r
om October as
part
o
f the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_poss
i
b
le_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpent
e
r
Stu
f
f left o
v
er f
r
om
O
c
t
ober
.
I
mplied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
C
a
rpenter
We
could save some m
e
mory by not al
l
oca
t
ing
n
ew memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
a
n Carpenter
Fix memory leak
.
Add more comment
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
A
dd a merge hook
.
H
a
n
dle
the
sit
u
ations
like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpent
e
r
strcmp() doesn't
a
cc
e
pt NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpe
n
ter
r
e
name two fu
n
c
t
ions: get_varia
b
l
e
_from_
e
xpr_s
i
m
ple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Car
p
enter
g
et_variab
l
e_from_expr() us
e
s a
stati
c
buffer and
y
ou
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpen
t
er
Create a check
_
template
.
c example script
that
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Ma
k
e get_al
l
_states() not s
e
gfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
Fi
x
get_v
a
lue() t
o
return
n
e
g
ative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpent
e
r
W
e only ever
p
as
s
one parameter into ge
t
_val
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
t
e
r
Fix
g
e
t
_
all_s
t
ates
(
) to
match the function defini
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Remove add_stat
e
(
)
and state_defin
e
d
()
d
e
f
i
n
itions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
p
enter
Clean up
.
Fix
l
e
a
k
.
M
y
proble
m
is
that I don
'
t un
d
erstan
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
In
i
tial c
o
mmi
t
of the "implied state pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an
C
arpenter
Doh
.
We
h
aven
'
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 Carpenter
Get
rid of
p
ath_history
.
It's
n
ever going to be
u
s
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Speed up
m
erge_slist now that the
s
lists
a
r
e ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arp
e
nter
Inser
t
stuff o
n
to l
i
sts
i
n a sorted
o
rde
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an
Carpenter
Delete an
u
nused func
t
i
on merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
C
a
rpente
r
fix: if (*f
o
o
)
{
(
*
f
oo)->bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an Carpenter
k
m
alloc(
)
and fr
i
end
s
don'
t
alw
a
y
s
return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
C
arpente
r
The checks from here got merg
e
d
into check
_
n
u
ll_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
ent
e
r
Move the
stuff from check_derefed_params
.
c into chec
k
_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
rp
e
nter
Fix 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
Carpenter
Add a hook at the end
o
f
a
fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
F
orgot another strip_expr() cal
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
Handle a
s
signmeents inside cond
i
t
i
ons
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Ca
r
penter
Only print somethin
g
for
a
->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
arpenter
I
gnore
array declarations
.
Thos
e
can't be
N
ULL
o
bviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpente
r
M
a
ke cur_slist static
.
It's only u
s
e
d
in
s
match_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nter
W
h
ite
s
p
ace changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
e
n
ter
U
s
e
m
e
r
g
e_slist() instead of trying to handle it
y
ourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__p
r
ocess_
c
o
n
tin
u
es() is
s
up
p
osed
to be basica
l
ly the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New
s
m
atch_ignore
.
c fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(
f
oo) = 1 is
the same as foo
=
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
Carpenter
Generalize stip_ca
s
ts()
.
I
t
's no
w
call
e
d strip_
e
x
p
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpenter
Ignore casts
.
f
oo((int *)&
b
ar) is the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
Cr
e
ated show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arp
e
nte
r
Ignore stuff like foo
.
bar
.
We only care about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Carpenter
What happ
e
ns before is
that parame
t
ers wo
u
ld get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed a crash
i
ng bug
in the int => struct
co
n
version
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpent
e
r
I
ca
n
'
t bel
i
eve I was
doing sta
c
ks wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
C
hanged sm
a
t
c
h state fro
m
being an i
n
t to
being poin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I want to r
e
use
th
e
name sma
t
ch_state
.
The
c
urren
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next