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
C
arp
e
nter
Add som
e
fu
n
ctions to
handle tracker l
i
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't seg
f
ault all the time when checking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Test t
o
se
e
if w
e
are catch
i
ng cross f
u
nc
t
ion de
r
efs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
U
s
e the
->
p
o
ssible states and remove
the
m
erge_h
o
ok()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"
w
hile ((1)) {" is a
forever loo
p
.
Call
s
t
r
ip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
f
i
xes to t
h
e ->
p
o
ssible s
e
t
t
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carp
e
nter
Merge branch 'master'
into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
Add
valid
a
tion script f
o
r
check_n
u
ll_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan
Carpe
n
ter
Clean u
p
.
new->possible is alw
a
ys null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possibles wasn't getting set correctl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Use st
r
ip
_
expr() in split_c
o
nditio
n
s() instead re
p
roducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
ar
p
enter
Add s
o
me more ope
r
ation
s
to g
e
t_
v
alue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Return &mer
g
ed instead
of &undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_
v
alue() return a value for
b
itwise or expr
e
ssions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try
a
gain remo
v
i
ng s
t
ates from pool
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
n
t
er
Re
v
ert
"
Remove a state from it's ->p
o
ol
s
when set_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Eliminate a warning
.
Probably the wrong wa
y
to d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Clean ups
.
Comments
.
Rename slist_stack to
n
amed_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still suck at
p
ointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Cl
e
a
n
up
s
.
Com
m
e
nts
.
Re
m
ove debugging
c
ode from
f
ilter(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lean up
.
Also
preser
v
e the -
>
pools in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
nte
r
Cle
a
n up
g
et_st
a
te_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Remov
e
__ov
e
rwrite_cur_
s
list(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rpent
e
r
There w
a
s debu
g
ging output that
a
ccidentally
g
ot
co
m
m
i
tted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remov
e
a state fro
m
it's
-
>
po
o
l
s when set_state()
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
D
on't de
l
e
t
e
the ->pools
o
n merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Try
understa
n
d the implications from compound conditio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Crea
t
e a
s
t
ate
&merged
.
Wh
e
n
we merge stuff it
i
sn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
e
n
ter
Ok
.
Thi
s
time smatch_implied
_really_ do
e
s somet
h
in
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignor
e
cscope
f
il
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Small cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpent
e
r
Whit
e
space cha
n
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Car
p
ente
r
Add some
m
ore locki
n
g func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpente
r
Fix implied pools so that at leas
t
it does
s
omething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed like tracker_
l
ist would be useful in a
l
ot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add a RE
A
DME de
s
cribing s
m
a
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Add script to
f
ind N
U
LL derefe
r
ence
s
between function
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
Fix usage me
s
sage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for
m
a
lloc() as w
e
ll as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix
s
egfault when handling implicitly de
c
l
ared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpe
n
ter
Wa
r
n when we don't acquire lo
c
k
s
when
calling
c
ertai
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Tr
y
(
and fail) to fin
d
me
m
ory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
Almost print a
m
es
s
age when you
come to unr
e
ach
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check
t
o loo
k
for do
u
ble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
checking
f
or lock_ker
n
el()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_locki
n
g
c
heck both sp
i
n
lock
s
and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpe
n
ter
Ad
d
a new
function
slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
If there is an i++
then the
v
alue o
f
'i' is
u
ndefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new che
c
k_locking script that checks spinl
o
c
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
e
nter
Save the
possi
b
le
s
tate
s
instead of just merging th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore emacs
g
arb
a
ge
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpenter
M
e
rge bra
n
ch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan
C
arpenter
We co
u
ld save som
e
memory by not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Add a comme
n
t sh
o
w
ing where th
e
tests are
s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
T
his is left over from Oct
o
ber as
p
art of the
impl
i
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add g
e
t_possib
l
e_st
a
tes()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
e
r
Stuff
l
eft
o
ver from
O
ctober
.
I
m
pli
e
d pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan C
a
rpenter
W
e could save
some
me
m
ory by n
o
t all
o
cating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan C
a
rpente
r
Fix memory leak
.
Add more comm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Add
a
merge
hook
.
Handle the
s
ituations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
e
nter
strcmp() do
e
sn't accept
NULL argume
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rpe
n
ter
rename two functions: get
_
varia
b
l
e
_from_expr_s
i
m
p
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_
v
ariable_fr
o
m_exp
r
()
use
s
a
static b
u
ffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Create a
check_
t
emplate
.
c exa
m
ple scri
p
t
t
ha
t
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Make get_a
l
l
_
states() no
t
segfault
every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_
v
a
l
u
e
() to
r
eturn negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever
pa
s
s
one parameter into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
ar
p
enter
Fix get_all
_
sta
t
es() to
m
at
c
h t
h
e function defin
i
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpe
n
t
e
r
R
e
move add_st
a
te() and sta
t
e_defin
e
d() definit
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpe
n
ter
C
lean
up
.
F
i
x
leak
.
M
y probl
e
m is that I don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
I
nitial c
o
mmit of the "i
m
pli
e
d state pools" stu
f
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
D
o
h
.
We haven'
t
been using smatch_extra for a wh
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get ri
d
of path_histo
r
y
.
It's never going
to be u
s
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpent
e
r
Make goto_sta
c
k sta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpenter
S
p
ee
d
up
m
e
rg
e
_slist now that the
slists are or
d
ered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Ins
e
rt stuff onto
lis
t
s
in a sorted or
d
er
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpenter
Delete an unused func
t
io
n
m
e
rge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
if (*foo) { (*f
o
o
)->bar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmallo
c
(
) and friends don'
t
always retur
n
a n
o
n-n
u
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The checks fr
o
m here
g
o
t
m
erged in
t
o check_null_de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
Move the stuff from check_derefed_params
.
c in
t
o chec
k
_
n
u
l
l_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fix bug
i
n or_slist_s
t
ack()
.
if (a &
&
b) wasn't bein
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
A
dd a hook at the end
of a
f
ile
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Forgot a
n
oth
e
r s
t
rip_expr()
cal
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assignmeent
s
inside co
n
ditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Only print something 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 Carpenter
Ig
n
o
r
e arr
a
y
d
e
c
laration
s
.
Those can't b
e
NULL obv
i
ously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist st
a
tic
.
It's only used in smatch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Ca
r
pe
n
ter
White spac
e
ch
a
ng
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carp
e
nter
Us
e
mer
g
e_slist() inst
e
ad of trying to handle it your
s
elf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpen
t
er
__process_contin
u
es() is
s
up
p
ose
d
to be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
an Ca
r
penter
New sm
a
tch
_
ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
(foo) =
1
i
s
the same as
f
oo = 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 s
t
rip_e
x
pr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpent
e
r
Ign
o
re
c
asts
.
foo((int *)&bar)
i
s the same as
fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
Cr
e
ated show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
Ignore stuff
l
ik
e
fo
o
.
bar
.
We
o
nly care abou
t
f
oo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What
h
appens before i
s
that paramet
e
rs would get
a
ssigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nt
e
r
Mi
s
sed
a crashing
bug
in the int => struct convers
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Car
p
enter
I
c
an't bel
i
eve
I
was doi
n
g stacks wro
n
g this who
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next