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 some functions to handle tracker lists.
2009-02-18
Dan Carp
e
nter
Ad
d
some
f
unctions to handle track
e
r lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
o
n't se
g
fa
u
l
t all
t
h
e
tim
e
when
c
hecking
f
orever
l
o
ops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test t
o
see
i
f
we are ca
t
ching cross f
u
nction derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Use th
e
-
>poss
i
ble sta
t
e
s a
n
d
r
emove t
h
e merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
"
while ((
1
)) {" is a fo
r
ev
e
r
loop
.
Call strip
_
expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
fixes to the -> poss
i
ble
sett
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge b
r
anch 'mas
t
e
r
'
i
n
to n
u
ll_
d
eref
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpenter
Add validation
script
for check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpen
t
er
Clean up
.
new->poss
i
ble is
always
n
u
ll
her
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpenter
Oops
.
-
>possi
b
les wasn't getting
s
et correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Us
e
s
trip_
e
xpr() in split_conditions() instead re
p
roducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some
m
ore operations to
get_
v
alue
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
R
eturn &merged instead o
f
&undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
ma
k
e
get_value() return a value for
bitw
i
se or
exp
r
essions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again
r
emoving s
t
ates
f
rom pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Revert "Remove a st
a
te fr
o
m
i
t's
-
>pools when set
_
state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Elimi
n
ate a warning
.
Probably
t
h
e wro
n
g way t
o
do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
ups
.
Comments
.
Ren
a
m
e
slist
_
stack
t
o name
d
_sta
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpente
r
Ha ha
.
I
st
i
ll
s
uck a
t
poin
t
ers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
Cleanups
.
Commen
t
s
.
Remo
v
e debugging code from
f
ilte
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean up
.
Also
p
reserve the ->poo
l
s in o
n
e path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Clean up
get_stat
e
_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
Dan
C
a
rpenter
Ther
e
was de
b
uggin
g
outp
u
t that accident
a
lly got com
m
itted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ent
e
r
R
emove
a
s
tate fr
o
m
it's ->pools whe
n
set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Don
'
t
dele
t
e
t
he ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Try understand th
e
implicat
i
o
ns from compou
n
d
c
onditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Create a state &merge
d
.
When we merge
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
h
is time smatch_implied _really
_
d
o
e
s
so
m
ethin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
C
arpenter
Ignore
csc
o
pe fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Smal
l
cleanups
.
(
White spa
c
e
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Whi
t
espace cha
n
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Add so
m
e more l
o
ckin
g
f
unc
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
p
enter
Fix implied po
o
l
s
s
o that at le
a
st i
t
do
e
s som
e
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
It see
m
ed like tracke
r
_list would
b
e
u
seful in
a lo
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Ca
r
pent
e
r
Add
a
README describ
i
ng s
m
a
tch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Car
p
ente
r
Add script to find NULL
d
ere
f
erences
b
etween
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Fix usag
e
message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Check for
malloc() a
s
w
ell
as
k
malloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
penter
Fix
s
egf
a
ult when han
d
ling implici
t
ly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpen
t
er
Warn when we d
o
n
'
t acqu
i
re lo
c
ks whe
n
c
all
i
ng certa
i
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and
fail) to find me
m
ory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a message whe
n
you
come
t
o
unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Add check
to look fo
r
double fr
e
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
C
arp
e
nter
Add ch
e
cking fo
r
lock_kernel(
)
/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
Make ch
e
c
k
_lo
c
king check
b
oth s
p
i
nlocks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Add a
n
ew f
u
n
ction
s
list_has_sta
t
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pe
n
ter
If
there is an
i++ then the value of 'i' is un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Add a n
e
w c
h
eck_locking script that check
s
spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save th
e
possible states inste
a
d of
just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Car
p
enter
I
g
nore em
a
cs
ga
r
ba
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Ca
r
pe
n
ter
Merge bran
c
h
'
maste
r
' in
t
o pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add a comment showing
whe
r
e
the
tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Th
i
s is left ove
r
from October as pa
r
t of
t
h
e
i
mp
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
A
d
d get_
p
ossible_st
a
tes()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
Stuff
l
eft over fr
o
m October
.
Implie
d
pools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Dan C
a
rpenter
We could save some memor
y
b
y
not allo
c
ati
n
g new me
m
ory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpe
n
ter
Fix memory leak
.
Add
more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
pen
t
er
Add a merge hook
.
Hand
l
e the
s
i
t
uatio
n
s lik
e
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
strcm
p
()
d
oesn'
t
acc
e
pt N
U
L
L
argument
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
rena
m
e
two functions: get_variable
_
f
rom_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
get
_
variable_from_expr() uses a static buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an C
a
rpenter
Create a chec
k
_templ
a
t
e
.
c exampl
e
scrip
t
that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
ar
p
ente
r
Make get_all_states() not s
e
gfau
l
t every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n C
a
rpenter
Fix g
e
t_va
l
ue() to retur
n
n
e
ga
t
ive values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpe
n
ter
We
o
n
ly
e
ver pass one
p
ara
m
eter into get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
n
ter
F
i
x
g
e
t_all_states() to match the
f
unction de
f
inition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
te
r
Re
m
ove add_state() and state_defined()
definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Car
p
enter
Clean up
.
Fix leak
.
My probl
e
m is that I do
n
't under
s
tand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial com
m
i
t of the "implied st
a
t
e pool
s
" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
en
t
e
r
Doh
.
W
e ha
v
e
n't
b
een
u
sing s
m
atc
h
_
e
x
t
ra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpent
e
r
Get rid of path
_
hist
o
ry
.
It's never going
to be u
s
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_st
a
c
k s
t
a
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpent
e
r
Spee
d
up merge_slist now that the
slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpenter
Insert stuff
onto lists in a sort
e
d order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Delete an u
n
us
e
d fun
c
tio
n
merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
nte
r
fix:
if (*foo) { (*foo
)
-
>ba
r
; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpen
t
er
kmalloc() and f
r
iends don't always return a n
o
n-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
Carpe
n
ter
T
h
e
chec
k
s from h
e
re g
o
t merged into check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
Move the stuff from check_derefe
d
_p
a
ram
s
.
c into check_null_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an C
a
rpenter
F
i
x bug
i
n or_slist_st
a
ck
(
)
.
if
(
a
&& b) wasn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan
Ca
r
p
e
n
ter
Add a
hoo
k
at
the
en
d
of
a
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Ca
r
pe
n
ter
Forgo
t
another strip_expr() cal
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
n
ter
Handle assignm
e
e
n
t
s inside cond
i
tions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpe
n
ter
On
l
y print
some
t
h
in
g
for a->foo
a
nd not a
.
f
o
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
I
g
n
o
re array declarations
.
T
hose can't
b
e NULL o
b
viously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
Car
p
enter
Make
cur
_
s
l
i
st
st
a
tic
.
It's only
us
e
d
in sm
a
tch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
C
arpenter
White space chan
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use
merge_
s
li
s
t() instead of
trying
t
o
handle it you
r
se
l
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
__proces
s
_continues() is supposed
t
o be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
p
e
n
t
er
N
e
w
smatch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
penter
(foo) =
1 is the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
Generalize stip_
c
as
t
s(
)
.
It'
s
now called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignor
e
casts
.
foo
(
(int *)&bar)
i
s the same
a
s foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Car
p
enter
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Igno
r
e stu
f
f lik
e
foo
.
bar
.
W
e only care about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Wha
t
happens
b
efore is
t
hat parameters woul
d
get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Car
p
e
n
te
r
Missed a
crash
i
ng bug i
n
the int
=
> s
t
ruct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I c
a
n't believe
I
was doing st
a
cks
w
rong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
Changed
s
m
at
c
h state from being a
n
int t
o
being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next