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
Dan Ca
r
penter
Add c
h
e
ck to lo
o
k f
o
r double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Add check
i
ng
f
or loc
k
_kernel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nte
r
Make check_locking ch
e
ck both
s
pinlocks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpent
e
r
A
d
d a ne
w
fu
n
ction slist_has_s
t
ate(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carp
e
nte
r
If there is a
n
i++ then the value o
f
'
i
'
is un
d
e
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
A
d
d a
new che
c
k_lock
i
ng scri
p
t that ch
e
c
ks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Save
the possi
b
l
e
s
ta
t
es inste
a
d
of just merging th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpenter
Ign
o
re emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
ter
Merge
b
ran
c
h 'mas
t
e
r
' into pools5
commit
|
commitdiff
|
tree
2008-12-21
D
an Ca
r
penter
Add a comment showi
n
g wher
e
the tests are s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
T
h
is is
l
eft over fr
o
m October as part of the imp
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Add get_possible_states(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
St
u
ff
left ove
r
fr
o
m October
.
Impl
i
ed
p
o
o
l
s work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
C
arp
e
nte
r
W
e
could save some memory by not allo
c
ating new
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
an C
a
rpenter
Fix m
e
mory leak
.
A
dd
m
ore comm
e
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
Add a merge
h
ook
.
Handle the sit
u
ati
o
ns
like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
strcmp() does
n
't acc
e
pt NULL
argument
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
t
e
r
rename two funct
i
o
ns: get_v
a
ria
b
le_from_
e
xpr_s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpent
e
r
get_
v
ariable_from_ex
p
r()
uses a static buffe
r
and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
Cre
a
te a
c
hec
k
_template
.
c example scri
p
t that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
Make get_a
l
l_
s
ta
t
es
(
) not
segfault ev
e
ry time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpe
n
ter
Fix get_valu
e
(
)
to re
t
urn negati
v
e va
l
ues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We o
n
ly e
v
er pass one parameter into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Fix
g
et
_
all_states() to match th
e
fun
c
tion d
e
finition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Remo
v
e add_state() and state
_
defined() defin
i
tion
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix
l
eak
.
My
problem i
s
t
h
at
I
don't
understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
In
i
t
i
al commit
o
f the "imp
l
ied st
a
te
pools" st
u
ff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
Do
h
.
We ha
v
en'
t
been using smatch_e
x
t
ra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Ge
t
rid of p
a
th_history
.
It's never
g
oing to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an C
a
rpenter
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
pente
r
Speed
up merg
e
_
sli
s
t
now that the
slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpent
e
r
Insert stuff onto lists in a
s
orted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
e
n
ter
Delete an unused f
u
nction merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
f
i
x
: if (*
f
oo) { (*foo)->bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
k
m
a
lloc()
and
f
r
iends
d
on
'
t
a
lwa
y
s
r
eturn a non-nul
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Car
p
enter
The checks from
her
e
got m
e
rged
i
n
t
o
c
h
eck_null_dere
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
Move the stuff from
c
h
eck_d
e
refed_
p
arams
.
c into check
_
null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Ca
r
penter
Fix bug
i
n
or_s
l
ist
_
s
tac
k
(
)
.
i
f
(a && b)
w
a
s
n't bein
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carp
e
n
t
e
r
Add a hook at the end o
f
a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Ca
r
pe
n
te
r
Forgot another strip_expr()
c
al
l
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Ha
n
dle
a
ssign
m
eents
i
nside
c
o
nditions bette
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print so
m
eth
i
ng fo
r
a
-
>
foo and not a
.
fo
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpe
n
ter
Ignore
a
rray declar
a
t
ions
.
T
ho
s
e can't be NULL o
b
vi
o
usly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan
C
arpenter
Make cur_sli
s
t st
a
tic
.
It
'
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
Da
n
Ca
r
p
en
t
er
White space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
Use merge_slist() inst
e
ad of trying to
h
andle it you
r
s
e
l
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
penter
__process
_
c
ontinues
(
)
i
s
s
u
p
p
osed to be
basically
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpente
r
New s
m
atch_ignore
.
c fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Ca
r
p
e
nter
(foo) = 1 is the s
a
me as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carp
e
nter
Generalize stip_casts()
.
It
'
s
n
ow cal
l
ed strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n C
a
rpenter
I
g
nore
casts
.
f
o
o((int *)&
b
ar) is the same
a
s foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
Create
d
sh
o
w_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpent
e
r
Ig
n
ore
stuff like f
o
o
.
bar
.
W
e only
c
are about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
What
h
appens before
i
s that
parameters
w
ould
g
e
t
assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpenter
M
i
ssed
a crashing bug in
t
he in
t
=> struc
t
conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
I can't belie
v
e
I was doing st
a
cks wrong this who
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed smatch
s
tate from being an int
t
o
being poin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
penter
I
want to r
e
use the na
m
e smatch_s
t
a
t
e
.
The curr
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Ca
r
penter
Redo the null path
t
hing
.
S
o
long a
s
t
here is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpen
t
er
Clean up
.
Complicated is ju
s
t a boolean
.
S
et
it t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpe
n
te
r
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
D
a
n Carpenter
Save the pr
e
condition
s
inside the c
o
n
d
itions so
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpen
t
er
The
m
ain change here was
t
o
c
om
p
letely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
a
rpenter
Break thi
n
gs out i
n
t
o
f
u
nctions a bit
.
C
lean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpe
n
te
r
Han
d
le while and f
o
r loops slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan C
a
rpenter
I
r
e
mov
e
d nullif
y
_path()
earlie
r
but
t
hat was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
I don't thi
n
k the special_
k
er
n
el_macros
(
) fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Add a function t
o
do a strcmp() with a symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Re
m
ove everything
t
o do with path_
i
d's
.
I couldn'
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
R
e
pl
a
ce
t
he
v
ariable _
_
n
e
gat
e
with the fun
c
tion __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Ca
r
pen
t
er
Sma
l
l clean up
.
Move the pass
i
ng the who
l
e condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
r
p
enter
Crap
.
I meant t
o
m
erge
this ea
r
lier when I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Add a
co
m
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpe
n
ter
M
o
ve
d
all the logic for
handl
i
ng condit
i
ons
into
a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I
g
ue
s
s I deleted the
w
rong lis
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
D
on
'
t
pas
s
the
cont
e
n
t
s
of
sizeof() to the c
l
ient
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improv
e
how t
h
e debug info for m
e
rging sta
t
es gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpente
r
The main thing is to hand
l
e zero comparisons better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
Remove unneeded code
.
This stuff is han
d
led
i
n sma
t
ch_flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n
Carpe
n
ter
We need to
b
e abl
e
to break d
o
wn (foo !
=
0) for BUG_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Identify for(
;
;)
t
ype loops
a
s forever l
o
ops
.
This
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpent
e
r
Add support for BUG_ON(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
What I'v
e
seen
i
s stuff
l
i
k
e
this:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
a
r
pent
e
r
Anything
t
hat
w
e don'
t
handle is
o
bviously complicat
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
e
n
ter
Merge branch
'
de
v
el'
commit
|
commitdiff
|
tree
2008-08-15
Dan Ca
r
p
e
nter
Ad
d
a comment to get_v
a
r
i
a
b
le_fr
o
m_expr_sim
p
le()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carp
e
n
te
r
Add a
commen
t
to
get_vari
a
ble_from_expr
_
simpl
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
The nul
l
if
y
_path() here is a bug
.
It over
-
writes all
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpen
t
e
r
__print_c
u
r_slist() i
s
a use
f
ul function for debugging
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
I
f
you have so
m
eth
i
ng like
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
arpenter
Updat
e
the
l
in
e
numbers for each statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpente
r
Change the merge rules for
c
ust
o
m merge scripts so
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Mo
v
e SM_
D
EBUG to
a
hea
d
er so ev
e
ryone can use it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-13
D
a
n Carp
e
nt
e
r
Add a custom merge function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-11
Dan Carpenter
Update the
line n
u
mber at
the very start of
the function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-10
Dan
C
arp
e
n
ter
Change t
h
e debug output a bit
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-09
Dan
C
arpent
e
r
Add a --debug option
.
It
has
t
o be the first option
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
Dan
C
a
rpenter
Make sure th
e
variable n
a
me is NULL termin
a
ted otherwise
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-07
D
a
n
Carpen
t
er
Sm
a
ll clean ups
.
N
o change in behavior
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-06
Dan
C
arpen
t
er
This is an off by
o
ne error really
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next