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 check to look for double frees.
2009-02-03
D
an C
a
rpent
e
r
A
dd c
h
eck to look for double
f
r
e
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
ent
e
r
Add che
c
ki
n
g for lock_kernel()/unlock_k
e
r
n
el()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Make c
h
eck_lock
i
ng che
c
k
both
spinl
o
cks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Ca
r
p
e
nt
e
r
Add a
new fu
n
c
t
ion s
l
is
t
_has_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
ente
r
If there is a
n
i
+
+ then th
e
valu
e
of 'i' is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add
a
n
e
w
check_locking script tha
t
checks spin
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
a
ve the possible
s
tate
s
instead of
just m
e
rging the
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ig
n
o
re
emacs g
a
rba
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
ter
Merge branch 'm
a
s
te
r
' into
pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Ca
r
p
enter
We could
s
ave som
e
me
m
ory
by
not a
l
loc
a
t
ing ne
w
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Add a comment
s
h
owing where th
e
t
e
sts are s
u
p
pos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
a
r
penter
This is left over
f
rom O
c
tober as part of the impl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
ar
p
enter
Add
get_
p
os
s
ib
l
e
_
state
s
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpe
n
t
e
r
Stu
f
f
le
f
t
over from
O
c
t
ober
.
Implied pool
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpen
t
e
r
W
e
could save
s
ome memory by n
o
t allo
c
a
t
i
ng new mem
o
ry
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
Add m
o
re com
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Ad
d
a
m
erge hoo
k
.
Handle the sit
u
a
t
i
ons l
i
ke:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
strcmp() doesn't
accept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
ren
a
m
e t
w
o
f
unctions: ge
t
_variable_from_ex
p
r_simp
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
get_varia
b
le_f
r
om_ex
p
r() uses
a st
a
tic buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpe
n
ter
Create
a
check_t
e
mplate
.
c
e
xample scr
i
pt that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all
_
states()
n
ot se
g
fault every
t
ime
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carp
e
nter
Fix ge
t
_value() to return
n
egative v
a
lues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
r
penter
We o
n
ly ever
p
ass one parame
t
er into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Fix
get_all_states() to matc
h
the function definit
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
C
arpenter
Remove
add_state() and state_
d
efined() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Clean up
.
F
i
x leak
.
My problem is that
I
d
o
n't unde
r
stand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
In
i
tial c
o
mmit
of
t
h
e "implied state pools" stu
f
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
ent
e
r
Doh
.
We
h
aven't been using smatch_extr
a
f
or a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
C
arpenter
Get rid of p
a
t
h_h
i
story
.
It's never g
o
i
n
g to
b
e used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arp
e
n
t
er
Make go
t
o_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merge_slist now t
h
a
t
th
e
slists are
or
d
ere
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpenter
Insert
s
tuff onto lists i
n
a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpenter
Delete
a
n unused
f
unction me
r
g
e_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan
Carpenter
fix: if (
*
foo
)
{
(
*
foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carp
e
nter
kmalloc(
)
and friends don't
alw
a
ys
r
eturn a n
o
n-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
The checks fr
o
m here
g
ot mer
g
ed into
c
heck_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
en
t
er
Mo
v
e the stuff from check_derefed_par
a
ms
.
c in
t
o c
h
eck_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
e
nte
r
F
ix bug in or_slist_stack()
.
if (a && b) wa
s
n't
b
e
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n Carpenter
Add a hook at the e
n
d
of a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
C
arpe
n
te
r
Forgot anoth
e
r strip_expr()
c
a
l
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Car
p
enter
Handle
a
ssign
m
eents inside conditions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
O
nly
p
r
int something for a-
>
foo and
not a
.
fo
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Carpenter
Ignore array
declarati
o
ns
.
T
h
os
e
can't
be NU
L
L obv
i
ously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
M
ake cur_
s
list static
.
I
t's only used in smatch_s
t
a
t
e
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
pen
t
er
W
hi
t
e space
c
h
an
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
U
s
e merge_slist() instead of tr
y
ing to handle it yoursel
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpente
r
__process_con
t
inues()
is supposed to
be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
ente
r
New smatch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpente
r
(f
o
o) = 1 is the
same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpente
r
Gene
r
al
i
z
e
s
t
ip
_
casts()
.
It'
s
now ca
l
led strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Ig
n
o
r
e
c
asts
.
foo((int *)&bar) is the sa
m
e
a
s f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
C
r
eated show_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Ignore stuff like foo
.
bar
.
W
e
only car
e
about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpente
r
W
hat happens before
i
s that pa
r
ameters would get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpen
t
er
M
issed a crashing bug in
t
he int
=> struc
t
con
v
ersion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpen
t
er
I c
a
n't be
l
ieve I was
doing
stacks wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Change
d
s
m
a
tch state fro
m
be
i
ng an int to being pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpent
e
r
I want to reuse the name smatch_state
.
T
h
e current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
R
e
do the null path thing
.
So long
as
t
h
ere is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
C
arpen
t
er
Clean up
.
Co
m
plica
t
ed is jus
t
a
boo
l
ean
.
Set
i
t
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
te
r
Sav
e
the pr
e
conditi
o
ns inside the conditions so t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpen
t
er
T
h
e ma
i
n
c
hange
h
er
e
was to compl
e
tely rew
r
i
te
h
ow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carpenter
Break things out into functions a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
rpenter
Handle while and for loops slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I rem
o
ved
n
ullify_path() earlier bu
t
t
hat was a
mis
t
ake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Ca
r
pen
t
e
r
I
d
o
n'
t
thi
n
k the special_kernel_m
a
cros() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a functi
o
n to do a strcmp
(
) with a symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Rem
o
ve e
v
erythin
g
to do with
path_id's
.
I
couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Replace the variable __ne
g
ate with
t
h
e fun
c
tion
_
_nega
t
e(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Smal
l
cle
a
n up
.
Move th
e
passing the whole conditio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Cr
a
p
.
I meant to me
r
ge thi
s
earlier when I d
i
v
i
ded
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpenter
A
d
d a comme
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
t
er
Mov
e
d all the logi
c
for handling con
d
i
tio
n
s into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Oops
.
I
g
u
e
ss I deleted the wrong l
i
st
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Don't pass the contents
o
f sizeof()
t
o the clien
t
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve
h
ow the debug
i
nfo for m
e
rging
states gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
C
arpenter
The main
t
hing is to han
d
le zero co
m
parisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
n
ter
Remove unneeded
c
ode
.
This stu
f
f is handle
d
in
s
m
a
tch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan
Carp
e
nter
We need to be
a
ble
t
o br
e
ak down
(
f
oo != 0) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Identify f
o
r(;;) type loop
s
as fore
v
er loops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Car
p
enter
Add suppor
t
for
B
UG_ON()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arp
e
nter
What I've
s
een is stuff
li
k
e
t
his:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Anything
that we do
n
't h
a
ndle is
o
bviously complica
t
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
rpent
e
r
M
erge b
r
anch
'
d
evel'
commit
|
commitdiff
|
tree
2008-08-15
D
an Ca
r
penter
Add a
c
omm
e
nt to get_variable_f
r
om_expr_simple()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add a comment to get_
v
ariable_fro
m
_exp
r
_simpl
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nullify
_
p
ath()
h
ere
i
s a bug
.
It
o
v
e
r
-
writes all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpent
e
r
__print_cur_sli
s
t()
is
a us
e
ful function for debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carp
e
nt
e
r
I
f
you have
s
omet
h
ing
l
ike
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Car
p
enter
U
p
date
t
he line numbers for eac
h
st
a
tem
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
pent
e
r
Chang
e
the me
r
ge rule
s
for
cus
t
om merge scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
Carpenter
Mo
v
e SM_DEBUG to a
heade
r
so everyo
n
e can
u
s
e it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
A
dd a custom m
e
rge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Ca
r
pen
t
er
Update the line number at the
v
ery star
t
o
f t
h
e func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpente
r
Ch
a
ng
e
the debug out
p
u
t
a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan Carpenter
A
d
d
a
-
-debug option
.
It has to be the first option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
D
an Carpenter
M
ake su
r
e the varia
b
le name is N
U
L
L
ter
m
in
a
ted othe
r
w
i
se
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpent
e
r
Small cl
e
an ups
.
No change in be
h
av
i
o
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next