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
C
a
r
pent
e
r
Ad
d
the me
r
ge
_
hook() ba
c
k in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Clear the returns
lists at
the end
of each functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Mo
v
e the implications checking to after the
s
cripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpente
r
Rewrite comp
l
etely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpente
r
Add some f
u
n
ct
i
ons to
h
an
d
le tra
c
ke
r
li
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpente
r
Don't seg
f
ault all the tim
e
when chec
k
ing f
o
reve
r
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
T
est
to se
e
if w
e
are
c
a
tching cross function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use th
e
->p
o
s
s
i
ble states
and re
m
ove the merge_h
o
o
k()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
ter
"wh
i
l
e
((1
)
) {"
is a
f
orever lo
o
p
.
Call st
r
ip
_
ex
p
r()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
fixe
s
to the -> possible
s
e
tt
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpent
e
r
Merge
b
ranch 'master' i
n
to null_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add vali
d
ation script for
che
c
k_null
_
d
eref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carpenter
Clean up
.
new->pos
s
ible is always null he
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->pos
s
ibles wasn't gettin
g
set
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpen
t
er
Use strip_exp
r
() in s
p
l
it_conditions(
)
inst
e
ad
r
epr
o
d
u
cing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
Add some more operations to
g
et_v
a
lue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &
m
erged inste
a
d of &undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
make get_value() return
a v
a
lue for bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Try ag
a
in rem
o
ving
s
tates f
r
om pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpe
n
ter
Reve
r
t
"Rem
o
ve a s
t
ate from it's ->pools when se
t
_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a warning
.
Probably
the
wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
er
Clean ups
.
Comments
.
Renam
e
sl
i
st_stack to n
a
me
d
_
stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpen
t
er
Ha ha
.
I still
s
uck
at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpe
n
ter
Cleanups
.
Comments
.
Remov
e
debuggi
n
g code from
f
ilter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
C
lean up
.
Also preserve the -
>
pools in one pa
t
h of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
ente
r
Clea
n
u
p
get_state_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
t
er
Remove __ove
r
write_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
There was debugging ou
t
put that accid
e
ntally go
t
committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Remove a s
t
a
t
e fro
m
it's ->pools when set_state() 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 merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Try unde
r
stand
the
implic
a
ti
o
ns from compound conditio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Create a state
&merged
.
Wh
e
n we merge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ok
.
This
t
ime smatch_
i
mplied _real
l
y_
d
oes someth
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpe
n
ter
Ig
n
ore
cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small clean
u
ps
.
(White
s
p
a
ce)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpen
t
er
Whitesp
a
ce c
h
ange
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
A
dd so
m
e more lock
i
ng
function
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Fix implied
pools so that at lea
s
t it
d
oes something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
It seem
e
d l
i
ke tracker_list
would
be useful
i
n a l
o
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a README describing smatc
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Ad
d
scri
p
t to find NU
L
L dereferences between f
u
nctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage
mess
a
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
C
h
eck for mallo
c
() as well as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
r
p
e
nter
Fi
x
s
egfault whe
n
h
a
n
dling impl
i
ci
t
ly
d
eclared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
W
arn when we don't acquire locks
w
hen calling certai
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and f
a
i
l) t
o
find memor
y
le
a
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carp
e
nter
Almost
p
r
int a m
e
ssage when you com
e
to unr
e
a
c
h
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Add check to look f
o
r
double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carp
e
nte
r
Add
c
hecking for lock_ke
r
n
e
l()/unlock_kernel
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
t
er
Make check_lo
c
k
ing check
b
oth spi
n
locks and
se
m
aphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpenter
Add a n
e
w function slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
If there
i
s a
n
i
+
+ then the value of 'i' is undefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Add a new ch
e
c
k_locking
s
cript tha
t
ch
e
cks sp
i
nlo
c
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Save
t
he possi
b
l
e
states instead of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Car
p
enter
Igno
r
e e
m
a
cs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
enter
Merge
b
ranch '
m
aster' into p
o
ols5
commit
|
commitdiff
|
tree
2009-01-16
Dan
Carpen
t
er
W
e could save som
e
memory by not
a
ll
o
cating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Ca
r
pen
t
er
Add a co
m
ment showing wh
e
re
t
he tests
are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpen
t
er
T
h
i
s is left over from October
as part
of
t
he implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add ge
t
_
p
ossible_st
a
tes()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
ente
r
Stuff left over from O
c
tober
.
Implied poo
l
s
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n
Carpenter
We could save
som
e
memory by not
allocating new memo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
Add
m
ore comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
Add a merge hook
.
Hand
l
e the situat
i
ons
l
ike:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpente
r
str
c
mp()
doe
s
n't
a
ccept NULL a
r
gume
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
rename two func
t
ions: g
e
t_variable
_
f
rom_expr_simp
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpen
t
e
r
get_variab
l
e_from_
e
xpr() use
s
a static buff
e
r and
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
ente
r
Create a che
c
k_
t
emplate
.
c example sc
r
ip
t
that
l
ooks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
C
arpenter
Make
g
e
t
_
al
l
_s
t
ates() not se
g
f
ault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Fix get_
v
alue() to return nega
t
ive values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We on
l
y ever pass on
e
parameter into ge
t
_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fix
g
et_
a
ll_
s
tates() to match the function
de
f
init
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Car
p
enter
Remove add_state() an
d
state_
d
efined() de
f
initions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Car
p
enter
C
lean up
.
Fix leak
.
My pro
b
lem
i
s that I d
o
n'
t
under
s
tand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
Ini
t
ial commit of th
e
"i
m
plied state po
o
l
s" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpe
n
ter
Doh
.
W
e haven'
t
been
using sma
t
c
h_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpenter
Get rid of path_
h
istory
.
It'
s
nev
e
r
g
oing to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
nter
Make goto
_
stack sta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
r
penter
Speed up merge_sl
i
st
n
o
w
t
h
at the slists are
ordere
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpenter
Insert stuff on
t
o list
s
in a sorted
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpenter
Dele
t
e an
u
n
u
sed functi
o
n merg
e
_
state_
s
tack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpent
e
r
fi
x
: if (*foo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carp
e
nter
k
m
alloc() and friend
s
don
'
t al
w
ays return a
n
o
n-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
Carpenter
The checks
f
r
om here g
o
t merged in
t
o c
h
eck_n
u
l
l_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpen
t
er
Move the stuff
fro
m
check_de
r
efe
d
_p
a
ra
m
s
.
c
int
o
check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
pe
n
t
e
r
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
D
an Carp
e
nter
Add a
ho
o
k
a
t
t
he e
n
d o
f
a fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nter
Forgot another strip_expr() call
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assign
m
eent
s
inside conditions
b
e
tter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
O
n
ly prin
t
s
omethi
n
g for a->f
o
o
a
n
d not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carpe
n
ter
Igno
r
e
array declaration
s
.
Those can'
t
b
e
N
ULL obviousl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n Carpenter
Make cur_sli
s
t static
.
I
t
's only used in smatch_sta
t
es
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
White space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merge_slist() inste
a
d of tryin
g
to
h
andle it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Ca
r
penter
__process
_
c
ontinues()
i
s su
p
posed to be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
N
ew
s
m
atc
h
_ignore
.
c fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
(foo) = 1 is
t
he same a
s
foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
Carpenter
Ge
n
eralize st
i
p_cas
t
s(
)
.
I
t's now called st
r
ip
_
e
x
p
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore cast
s
.
f
o
o((int *
)
&bar)
i
s the same
a
s foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
Created show_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next