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
Handle the iterators correctly.
2009-02-22
Da
n
Carpenter
Handle the iterators co
r
rectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add su
p
p
o
rt for "if (a?b:c) {
.
.
.
" t
e
rnary
c
o
nditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpe
n
t
er
Add some supp
o
r
t
f
or
_
spin_trylo
c
k() an
d
fr
i
end
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
i
f (a || b) { a->foo; should print an e
r
ro
r
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
T
his prints
out error messa
g
es all the time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpe
n
ter
Assignment always sets &i
s
freed to
somethi
n
g
e
lse like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Do
n
't
p
rint c
r
oss_func errors
if the
cal
l
e
d
functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove cal
l
to alloc_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call
th
e
merge_h
o
ok() instead of setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
Meant to commit this ea
r
lier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Add the mer
g
e_hook() ba
c
k
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Clear the re
t
urn
s
l
i
sts at
the end of
each
fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Mo
v
e
the im
p
licat
i
ons c
h
ecking to a
f
t
er
the
s
cript
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Rewrite completely w
i
th new go
a
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add
s
o
me functio
n
s to hand
l
e
tracke
r
lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfault
a
ll t
h
e time when
checking
f
ore
v
e
r
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Test to see
i
f we are
catching
cross function d
e
r
efs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Use t
h
e ->possi
b
le
s
tat
e
s
a
nd
r
emo
v
e th
e
me
r
g
e_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
"while ((1)) {" i
s
a forever loop
.
C
a
l
l strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
fixes to
the -> possible set
t
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nt
e
r
M
e
rge branch
'
mas
t
er' into null_dere
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
Add validati
o
n script fo
r
check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Car
p
ent
e
r
C
l
ean
u
p
.
new-
>
poss
i
ble
is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
O
ops
.
-
>possibles wasn't
get
t
i
n
g set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use
s
trip_expr() in
s
p
l
i
t_conditi
o
ns() instead r
e
produci
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpe
n
ter
Add
s
ome more operation
s
to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Return &m
e
rge
d
instead of &un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
arpe
n
ter
mak
e
get_value() re
t
urn a value f
o
r bitwise or expre
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpent
e
r
Try
a
gain removin
g
s
tates fro
m
po
o
ls
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
n
t
er
Rev
e
rt "Remove a state from it's ->pools when s
e
t_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a wa
r
ni
n
g
.
P
robably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Cle
a
n u
p
s
.
Comme
n
t
s
.
Renam
e
slist_sta
c
k to n
a
med_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Ha h
a
.
I stil
l
suck a
t
p
o
inters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpent
e
r
C
leanups
.
C
omment
s
.
Remove deb
u
gging cod
e
f
r
om filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Cle
a
n up
.
Also
pre
s
erve th
e
->pools in one pa
t
h
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
an up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Re
m
o
v
e
_
_overwrite_cur_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
There
was debuggi
n
g output
tha
t
accidenta
l
ly got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carp
e
nter
R
emove a state fr
o
m
i
t's -
>
pools
w
hen set_
s
tate() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
enter
D
o
n't d
e
lete the ->pools o
n
merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
e
r
Try understand
t
he
i
mplications fro
m
compo
u
nd condit
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Create
a st
a
te &merged
.
When we merge stuff
i
t
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatch_im
p
lied _really_ does s
o
met
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ignore cscope f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Ca
r
p
e
n
t
er
Smal
l
cleanu
p
s
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
n
ter
Whitespace ch
a
nge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more locking fu
n
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix implied pools so that at least it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpente
r
It seemed like tracker_list would be usefu
l
in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a
R
E
ADME describing smat
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script t
o
find NULL derefere
n
ces between funct
i
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix us
a
ge message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Check for malloc(
)
as
well as
kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segfault
when hand
l
ing implicitly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Warn when we don't a
c
quir
e
locks
w
hen call
i
ng
c
ertain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fail) t
o
find memory
le
a
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
t
er
Almo
s
t print a message when
y
ou come t
o
unreac
h
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpente
r
A
dd
check to look for double fre
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
C
arp
e
nter
Add
c
hecking for lock_kernel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
M
ake check_loc
k
ing
c
heck b
o
t
h
spinlock
s
and sema
p
hores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Add
a
new function s
l
ist_
h
as_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
If there is an i
+
+
then the
v
alue o
f
'
i
' is und
e
fined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
r
p
e
n
t
er
Add
a
new chec
k
_l
o
cking script that checks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Save the poss
i
ble
s
tate
s
instead of just merging
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Car
p
enter
Ignore ema
c
s garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Merg
e
branch 'master
'
int
o
pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
a comment sh
o
wing wh
e
r
e th
e
tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left ov
e
r from
O
c
t
ober as part
o
f
the impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpenter
Add
g
et_possibl
e
_s
t
a
t
es()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
arpenter
Stuff left o
v
e
r
from
O
ctober
.
Implied
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carp
e
nter
We c
o
uld save some me
m
o
ry by not alloca
t
ing new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
a
rpenter
F
i
x
m
emory le
a
k
.
A
dd more comm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
Add a merge hook
.
Handle
the situations li
k
e:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
st
r
cmp()
doesn'
t
accept NULL a
r
gument
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
r
e
n
am
e
two fu
n
ctions: get_variable_f
r
om_expr
_
simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variable_from_expr() uses a
static buf
f
er and
y
ou
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
enter
Create a check
_
tem
p
late
.
c example s
c
ript tha
t
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Make get_
a
l
l
_
states() not segfault
every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpe
n
ter
F
ix get_valu
e
() to return
negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
We only ev
e
r pass o
n
e
paramet
e
r into get_v
a
l
ue
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fi
x
get_all_states() to match the fun
c
tion definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
em
o
ve add_state(
)
an
d
stat
e
_defined() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix leak
.
My problem is that
I
don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Initi
a
l commit of the "implied st
a
te
poo
l
s" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
D
o
h
.
We haven't been usi
n
g sma
t
ch_extra for a w
h
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get r
i
d of path_h
i
story
.
It's
n
ever go
i
ng
to be used
.
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
D
a
n Carpe
n
ter
Speed up m
e
rge_
s
li
s
t now
that the slists are ord
e
red
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Inse
r
t stu
f
f onto lists in
a
sorted
order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
ent
e
r
D
e
let
e
an unus
e
d
function merge_state_stac
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Ca
r
pent
e
r
f
ix: if (*foo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
k
malloc() and friend
s
don
'
t
alw
a
ys return a
n
o
n-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
an Carpenter
The che
c
ks
f
r
om here got merg
e
d int
o
c
h
eck_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpenter
Move the stuff from check_d
e
refed_p
a
rams
.
c into ch
e
ck_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n
C
arpen
t
er
Fix bug i
n
or_slist_stack()
.
i
f
(a && b
)
was
n
't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan
C
arpenter
Add a
h
o
ok at the en
d
of a
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot anot
h
er st
r
i
p
_
e
xpr
(
) call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Handle assignmeents insi
d
e
condit
i
o
n
s
b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Ca
r
pen
t
e
r
Only print something for a->
f
o
o
and n
o
t
a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Ca
r
pe
n
ter
Ignore array d
e
c
l
arat
i
o
n
s
.
Those can'
t
be
NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next