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
Add the merge_hook() back in.
2009-02-18
Dan Carp
e
n
ter
Add the merge_h
o
ok() bac
k
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the re
t
urns l
i
sts a
t
t
h
e end of ea
c
h
functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Move t
h
e implica
t
ions check
i
ng to a
f
ter
the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
t
er
Rewri
t
e comp
l
e
tely with
n
ew goa
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some functions t
o
ha
n
d
l
e tracker
l
ists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
D
on
'
t
s
e
gfault all the
time whe
n
checkin
g
fo
r
eve
r
loo
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
Test to s
e
e if we a
r
e catching
c
ross
f
u
nction der
e
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->possib
l
e stat
e
s and
r
emo
v
e
t
he merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
penter
"wh
i
l
e ((1)) {" is a fo
r
ever lo
o
p
.
Ca
l
l
s
trip_expr
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
nter
fixes to the -> po
s
sible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpent
e
r
Merge br
a
nch 'mas
t
er' into n
u
ll_dere
f
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
r
pente
r
A
d
d val
i
dation script for check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new->possi
b
le is
a
lways null h
e
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Oops
.
->p
o
s
sib
l
es wasn't getting set
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Use
strip_expr() in split_conditions() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add
some more ope
r
a
tions to get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
e
r
R
eturn
&merged instead
o
f &
u
ndefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
m
ake get_val
u
e
(
)
return a v
a
l
u
e f
o
r bitwise
or e
x
pr
e
s
s
ion
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
T
r
y
again removing states fr
o
m
pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Rever
t
"Remo
v
e a state fro
m
it's ->poo
l
s
when
s
et_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Elimin
a
te a w
a
rni
n
g
.
Probably the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean
u
ps
.
Comments
.
R
ename slist
_
stack t
o
named
_
stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Ha ha
.
I still
suck a
t
pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
anu
p
s
.
Comments
.
Remove debugging
c
ode f
r
o
m
filt
e
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
ean up
.
Also preserve the ->poo
l
s
in
one
p
at
h
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpen
t
er
Clean up get
_
st
a
te_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
pent
e
r
Remove __overw
r
ite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
There was debugging ou
t
put that acc
i
de
n
tally
g
ot committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpenter
Remove a stat
e
from it
'
s ->pools w
h
en set_stat
e
() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
D
o
n't d
e
lete the ->pools on mer
g
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try u
n
derstand
the
i
mplicati
o
n
s
from compound condi
t
i
o
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Cr
e
ate a
s
tate &merged
.
When
w
e merge
s
tu
f
f
it
i
sn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
O
k
.
This
t
i
me
sm
a
t
c
h_imp
l
i
ed _really_ does som
e
t
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpen
t
er
Ignore
c
scope fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Smal
l
cleanups
.
(
W
hite sp
a
ce)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Whitespace cha
n
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nte
r
Add so
m
e mo
r
e locking funct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
arpe
n
ter
Fix
implied pool
s
so that at least
it does some
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
It see
m
ed like tracker_list wou
l
d be usefu
l
in
a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Add a README describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Add script to find
NU
L
L dereferences be
t
ween functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpen
t
er
Che
c
k
for malloc()
as well as
kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
F
ix segfault
when handling
i
mplicitly de
c
lar
e
d
f
u
n
ctio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn when we don't ac
q
u
ire
l
ocks when calling cert
a
in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpen
t
er
Try (
a
nd
f
ail
)
to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
Alm
o
s
t print
a message w
h
en you co
m
e to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Add check
to look f
o
r double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
ar
p
ent
e
r
Ad
d
chec
k
ing for
lo
c
k
_kernel()/unlock_k
e
r
n
e
l()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Make che
c
k_
l
ockin
g
check
bo
t
h
sp
i
nlo
c
ks and s
e
maphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
n
t
er
Add
a
new function slist_has
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there is an i++ th
e
n the value of '
i
' is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Add a
new check_loc
k
ing
script that chec
k
s spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpe
n
ter
Sav
e
the
po
s
sible states i
n
stead of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
penter
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
C
arpenter
Merge
b
ranc
h
'ma
s
ter' i
n
t
o
pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan C
a
rpe
n
ter
We cou
l
d sa
v
e some memory by not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Add a c
o
mment sh
o
wi
n
g where the te
s
ts are suppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpen
t
er
This is left ove
r
f
rom
Oc
t
obe
r
as part of
t
h
e implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add get_possibl
e
_state
s
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
ent
e
r
S
t
u
ff le
f
t
over from Octob
e
r
.
Implie
d
pools
wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carpenter
W
e
could s
a
v
e
s
ome memory by not allocat
i
ng new
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
arpen
t
er
Fix memory
l
eak
.
Add more co
m
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Add
a
merge hook
.
Han
d
le the sit
u
a
tion
s
like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
strcm
p
(
) doesn't ac
c
ep
t
NULL argument
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
ren
a
me two functions:
g
et_var
i
a
b
le
_
from_e
x
pr_s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
get_
v
ar
i
abl
e
_from_expr() uses a
static buf
f
e
r and y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Cre
a
t
e a check_template
.
c example script that l
o
oks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Ma
k
e get_all_s
t
ates
(
)
n
ot segfault
e
v
ery time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpe
n
t
e
r
Fix
g
e
t
_
value() to r
e
turn n
e
gative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
p
enter
We onl
y
ever
p
ass
o
ne para
m
eter into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Fi
x
g
e
t
_
all_states
(
) to matc
h
the function definitio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_state() and sta
t
e_d
e
fined() defini
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix leak
.
My
p
roblem is that I don't unde
r
s
t
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
In
i
tial comm
i
t of
t
he "i
m
plied
s
tate pool
s
" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpen
t
er
Doh
.
We haven't
b
een
using smatch_extr
a
for
a
while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpe
n
t
er
G
et
r
i
d of pat
h
_histo
r
y
.
I
t
's never going to
b
e
u
s
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
Make g
o
t
o_stack st
a
tic
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n C
a
rp
e
nter
Speed up merge_slist now th
a
t the slists are or
d
er
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
r
pent
e
r
Ins
e
rt stuff onto lists in a sorte
d
order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
Delete an un
u
sed function merg
e
_
s
tate_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan
C
ar
p
e
nter
fix
:
if (*foo) { (*fo
o
)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
C
a
rpenter
k
mall
o
c() and friends don't always return a
n
on-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpenter
The chec
k
s f
r
om here
g
ot
merge
d
into check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
penter
Move the stuff fro
m
check_derefed_params
.
c into
c
heck_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Car
p
ent
e
r
Fix bu
g
in or_sl
i
s
t
_
sta
c
k
(
)
.
if (a && b) w
a
sn't be
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook at the end of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
F
o
r
got another
strip_expr()
call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
H
an
d
le assig
n
m
eents
in
s
ide cond
i
tion
s
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
Onl
y
print som
e
thing
f
or a->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpe
n
ter
Ignore array declarations
.
Thos
e
can't be
NULL o
b
v
io
u
sly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpen
t
er
M
a
k
e cur_slist
stat
i
c
.
It's o
n
ly used in s
m
atch_
s
tates
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpent
e
r
Whi
t
e space ch
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
Us
e
merge_slist(
)
i
n
stead
of trying
t
o handle
i
t
y
ourse
l
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpe
n
ter
__process_
c
ont
i
nue
s
() is supposed t
o
be
b
a
sically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
New smatch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
(foo) = 1 is the same as
foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
G
e
neralize stip_
c
asts
(
)
.
It's
now
called strip_e
x
p
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
Ignore casts
.
foo((int *)&bar) is the
same as fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carp
e
nter
Crea
t
ed show_st
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next