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
Move the implications checking to after the scripts have set their states.
2009-02-18
Dan Carpenter
Move
t
he impl
i
catio
n
s checking to af
t
e
r the s
c
ripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpente
r
Rewri
t
e comple
t
ely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some functions to ha
n
dle t
r
acker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Do
n
't
segfault
a
ll the
t
i
me when c
h
ecking forever
l
oops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
t
er
T
e
s
t to
see if we are catching
cr
o
s
s
f
un
c
tion derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Use the
->possible states and remove the mer
g
e_
h
o
o
k()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
"while ((
1
))
{" is a
f
orever l
o
op
.
Cal
l
strip_
e
xpr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
n
ter
f
ixes to the
-
> possible
setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
penter
Merge branch 'master' in
t
o
n
ull_deref
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Car
p
enter
A
dd va
l
i
d
ation script for check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan C
a
rpenter
Clean
up
.
new->possible
is
a
l
wa
y
s
null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Oops
.
->possibles wasn't g
e
tt
i
ng set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carp
e
nt
e
r
Use st
r
ip_exp
r
()
in split_cond
i
t
ions()
instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some more operat
i
ons to get_va
l
ue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Retur
n
&merged
i
nstead of
&
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carp
e
nt
e
r
make get_v
a
lu
e
(
)
return a value for
bitwi
s
e
o
r exp
r
essi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try ag
a
i
n removing
s
t
ates
f
r
om pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Revert "Re
m
ove
a st
a
t
e
from i
t
's ->pools when set_stat
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Elimin
a
te a warning
.
P
r
obably the wron
g
way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean ups
.
Comments
.
Rename sli
s
t
_
stack to named
_
stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
Ha ha
.
I
s
t
i
ll suck at
p
oi
n
ters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpe
n
ter
Cl
e
a
n
ups
.
Comments
.
R
e
move de
b
ugging
c
ode from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clean up
.
Also p
r
eserve the ->pools
in one pa
t
h of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Clean up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove
_
_
overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Car
p
enter
There was debu
g
g
i
ng output t
h
at acc
i
de
n
tally g
o
t
co
m
mitted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Remov
e
a state
from it
'
s ->po
o
l
s when
s
e
t
_
st
a
t
e
(
) is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpent
e
r
Do
n
'
t delete
the -
>
pools on
m
erg
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Try un
d
erstand the implications from compound con
d
i
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Cre
a
te a sta
t
e &
m
erged
.
When we
m
erge stuff i
t
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
enter
Ok
.
T
his time
s
match_implied _really_
d
o
es some
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Ig
n
ore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpenter
Small cle
a
nups
.
(White spa
c
e)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Car
p
enter
W
hitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nt
e
r
Add some more locking function
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Carp
e
nter
Fix
i
m
p
l
i
ed
pools s
o
that at
least it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpe
n
ter
It
seemed like
tracker
_
list would be usef
u
l in a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
dd a README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
a
rpenter
Add
s
cri
p
t t
o
f
ind N
U
LL
dereferen
c
es betwe
e
n fun
c
tion
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Fix u
s
ag
e
mess
a
g
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Check fo
r
m
a
lloc() as well
a
s
kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpent
e
r
Fix se
g
faul
t
w
h
en ha
n
dling implicitly declared functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
Carpenter
Warn
when
we d
o
n'
t
acqui
r
e lo
c
ks when c
a
l
ling c
e
rtain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpen
t
er
Try
(
and
f
ail) to fin
d
m
e
mory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
Al
m
ost p
r
int a message w
h
en you come to unrea
c
h
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check to look fo
r
d
o
uble free
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpenter
Add
checking
f
or lock_kernel()/unlock_ke
r
n
el()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make
c
he
c
k
_loc
k
i
n
g c
h
eck both spinlo
c
ks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
enter
Add
a n
e
w func
t
ion slist_
h
as_sta
t
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpenter
I
f
t
h
ere is an
i++ then the v
a
lue
o
f 'i' is u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpen
t
er
Add a new check_locking script that check
s
s
p
in
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the p
o
ssibl
e
s
t
ates instea
d
of just
merg
i
n
g
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpente
r
Ignore emac
s
ga
r
bage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpenter
Merge branch
'
m
a
ster' into pools
5
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
Add a co
m
m
ent showing where the
t
e
s
t
s
a
r
e
s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Car
p
enter
Th
i
s is left ov
e
r from October as part of
the
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_pos
s
i
ble_s
t
ates()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stu
f
f
l
eft over from October
.
Implied pools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Ca
r
penter
We
c
o
u
ld sa
v
e s
o
me memor
y
by not
allocatin
g
new
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
arpenter
Fix memory lea
k
.
Add more comme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpent
e
r
Add a merg
e
h
o
o
k
.
H
andle the
situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doesn't
a
c
c
e
pt NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
rename two functions:
g
et_variabl
e
_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
pen
t
er
get_variable
_
fro
m
_e
x
pr() uses
a
s
tatic buffer an
d
y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpenter
Creat
e
a
c
heck
_
template
.
c
e
xam
p
l
e
script
t
hat looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Ma
k
e g
e
t_all_s
t
ates() not seg
f
ault ev
e
ry
t
i
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
F
ix
g
et_v
a
lu
e
() to return negative value
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carp
e
nter
We only ever
pass o
n
e parameter into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rp
e
nter
Fix get_
a
ll_states()
t
o mat
c
h the functio
n
d
e
fini
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Remov
e
ad
d
_sta
t
e() and s
t
at
e
_def
i
ned() definition
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
F
i
x l
e
ak
.
My
p
r
o
blem is tha
t
I
d
o
n't
u
nde
r
s
t
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
en
t
er
Initial
commit of the "imp
l
ied state pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't been using
smat
c
h_
e
xtra for a wh
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get
r
id o
f
path_history
.
It's ne
v
er going
to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
M
a
ke goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Speed u
p
merge_
s
list now that the slists are or
d
ered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
a
rpent
e
r
Insert stuff onto l
i
sts
in a
sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
D
e
l
ete an unused
f
u
nctio
n
merg
e
_s
t
ate_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix
:
if (*
f
oo
)
{ (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc() a
n
d
friends don't always retu
r
n a
non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
an Car
p
enter
The
che
c
ks from here got merged into check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpen
t
e
r
Move t
h
e st
u
ff from c
h
e
ck_derefed_params
.
c
into check_
n
ul
l
_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix
b
ug i
n
o
r_s
l
ist_s
t
ack()
.
if (a
&& b) wa
s
n't
being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan
C
arpen
t
er
Add a hook at th
e
en
d
of a
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
Carpenter
Forgot anot
h
er strip
_
expr()
cal
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
H
andle a
s
sign
m
eents insi
d
e conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
C
arp
e
n
ter
O
nly prin
t
someth
i
n
g
for a->foo
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 ar
r
ay declarati
o
ns
.
Those can't be
NULL obvio
u
s
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n Car
p
e
n
t
e
r
Make cur_slist s
t
atic
.
It's only used in
smatch_state
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
Whi
t
e space chan
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpenter
Use merge_slist
(
)
i
n
stead of try
i
ng to
handle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
__p
r
ocess_co
n
tinues() i
s
s
uppos
e
d
t
o
be basic
a
lly
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ignore
.
c
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arp
e
nter
(foo) = 1 is
t
he same as
fo
o
= 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
G
e
neralize stip_ca
s
ts()
.
It's now called strip_exp
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore casts
.
foo((int *
)
&bar)
i
s t
h
e same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
p
e
nter
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
I
gnore stuff like foo
.
bar
.
We only
c
are about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
r
p
enter
What happens before is that par
a
meters wo
u
ld get a
s
signed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
e
n
t
er
Missed a crashing bug in the
i
n
t => struct con
v
ersion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next