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
Check for malloc() as well as kmalloc()
2009-02-05
Dan Carp
e
nter
Check for malloc() as w
e
ll as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpent
e
r
Fix segfault when handli
n
g impli
c
itly declare
d
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpenter
Warn
w
hen we don'
t
acqui
r
e locks when
c
alling
certai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (
a
nd fail) t
o
find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpenter
Alm
o
st prin
t
a
m
e
ssag
e
w
h
e
n you come
to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
A
d
d
c
h
eck
to look for double free
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking
f
or lock_ker
n
el()/unloc
k
_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make che
c
k_locking check both s
p
inlocks an
d
semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
p
enter
Ad
d
a new function sl
i
s
t_
h
as_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
If there is an i+
+
the
n
th
e
value
o
f 'i' is u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new chec
k
_l
o
ckin
g
script
t
hat checks spi
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Ca
r
penter
S
ave
the possible states instea
d
of j
u
st mer
g
i
ng them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore emacs ga
r
bage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
penter
Merge bra
n
c
h
'maste
r
' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carp
e
nter
Fix lik
e
ly(
)
and unl
i
kely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
an Carpente
r
Add
single quotes a
r
ou
n
d t
h
e variable for consi
s
t
e
n
cy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Carpent
e
r
We could sav
e
some memory
b
y
not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
Ad
d
a com
m
ent s
h
o
w
in
g
where the tests
a
re suppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
r
penter
This is
l
eft
o
ver from Oc
t
ober as pa
r
t
of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add
get
_
possible_
s
tates()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
arpe
n
ter
S
t
uff left over
f
r
om October
.
Implied pools w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpent
e
r
We
c
ould save so
m
e
memory by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Carpente
r
Fix
m
e
mory
l
e
a
k
.
Add more
com
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
Add
a
merge hook
.
Handle the situation
s
like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
strcmp() does
n
't ac
c
e
pt NULL
arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rp
e
nter
re
n
ame two fun
c
tions: get_var
i
abl
e
_
from_expr_sim
p
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get
_
v
ariable_from_expr() uses a static buffer
and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create
a
c
hec
k
_template
.
c example scr
i
pt that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Ma
k
e get
_
all_states() n
o
t
s
egfau
l
t every ti
m
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpenter
Fix g
e
t_val
u
e(
)
to re
t
urn negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
r
p
enter
W
e
onl
y
eve
r
pas
s
o
ne parame
t
er int
o
g
e
t_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
ix
get
_
a
l
l_states() t
o
matc
h
the f
u
nction def
i
nit
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
m
ov
e
add_state() and s
t
ate_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean
u
p
.
Fix leak
.
My probl
e
m
i
s that I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
Ini
t
ial commit of the "im
p
lied state p
o
ols" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
Doh
.
We haven't been using smatch_extra for
a whi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid of
path_
h
i
story
.
It's never going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpente
r
M
ake goto
_
stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
S
pe
e
d up merge_slist now that th
e
s
l
i
st
s
are or
d
ere
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
I
nsert
stuff onto
lists in a s
o
r
ted o
r
der
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
e
n
t
er
D
ele
t
e an unused funct
i
on merge_s
t
at
e
_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpen
t
er
fix: if (*foo) { (*fo
o
)->
b
a
r;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Carpe
n
ter
kmal
l
o
c
(
)
and frie
n
ds don't always r
e
turn a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
T
h
e checks from her
e
got merged
into check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Mov
e
the
s
tuff from check_d
e
refed
_
params
.
c into ch
e
c
k_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpen
t
er
Fix b
u
g in or_slist_sta
c
k()
.
if (a && b) wa
s
n't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carp
e
nter
A
d
d a
h
ook
a
t the e
n
d of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot
a
nothe
r
st
r
ip_ex
p
r() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Hand
l
e assignmeen
t
s insid
e
conditions bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
Only print something
for a->fo
o
and
n
ot a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Ca
r
pe
n
ter
Ignore array
declarati
o
n
s
.
Th
o
se
c
an't be NULL obvio
u
sly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Ca
r
pent
e
r
Make cu
r
_slist static
.
It'
s
only
u
s
e
d
in s
m
atch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
White s
p
ace
c
han
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use me
r
ge_sl
i
st() instead of tryin
g
to handle it
y
o
u
rself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__
p
r
ocess_cont
i
nue
s
() is supposed to be basic
a
lly
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n
Carpenter
New smatc
h
_ignore
.
c f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
a
rpenter
(foo) =
1
is t
h
e
s
ame as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
Generalize stip_
c
asts()
.
It's now
c
a
l
led strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Ca
r
penter
I
g
nore casts
.
foo((int *)&bar) is the sa
m
e
a
s foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
Crea
t
ed
s
h
o
w_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Car
p
ent
e
r
Ignore stuff like
f
o
o
.
bar
.
We
only ca
r
e abo
u
t foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
enter
Wha
t
h
a
ppens befor
e
i
s
that paramet
e
rs wou
l
d get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Car
p
e
nter
Mi
s
se
d
a
cras
h
ing bug in th
e
int => struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't
believe I w
a
s doing s
t
acks wrong
t
his whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpen
t
e
r
Change
d
smatch state f
r
om being an int to bei
n
g po
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Ca
r
penter
I want to reuse the na
m
e smatch_state
.
The curr
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the null path
thing
.
So l
o
ng
a
s
there
is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
Clean up
.
Complicated is just a boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arp
e
nter
Arra
y
s are
c
ompl
i
cated
so t
h
ey shou
l
dn'
t
be retur
n
ed by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
C
arpent
e
r
If we cal
l
s
e
t_state
fro
m
ins
i
de a c
o
ndit
i
on the
n
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I
f
t
he pointer
i
s
in
i
tialized
t
o no
n
-null
t
h
e
n set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Car
p
ent
e
r
ign
o
re the sm
a
tc
h
bina
r
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpenter
When we merge 2 slists we
ne
e
d to deal with the
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Clean up
s
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpen
t
er
Add nulli
f
y the path when you have for(;
;
);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan
C
a
rpenter
Merge bran
c
h 'ls' in
t
o
u
l
tratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpente
r
Merge branch
'unnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan
Car
p
enter
L
ots of do while(0) loops d
o
n't
c
all break so it
doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
te
r
Remove unneeded
check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
F
i
x
o
r_slist_stack()
.
Before it just saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan
Ca
r
penter
crap c
r
ap crap
.
d
o not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpente
r
C
l
e
a
n
ups and add som
e
__unnullify_
p
ath stuf
f
.
Hope
f
ully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
S
mall cleanup
.
go
t
o
_
stac
k
should only
be used
i
n
smat
c
h_
s
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carpent
e
r
Fix b
u
g
saving th
e
fal
s
e_only stack
.
Before
c
o
d
e like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Carpenter
Thi
s
is the start of the sm
a
tc
h
_extr
a
stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
penter
Fix
overw
r
i
te_s
l
ist()
so
i
t tak
e
s a pointer to
a poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpe
n
t
er
M
a
ke smat
c
h_extra depend on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan Ca
r
pen
t
er
M
o
ve is_z
e
ro
(
) to s
m
atch_help
e
r
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Fix a big bug
.
g
et_state_slist() was always gett
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
Me
r
ge
.
.
/
.
.
/smatch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carp
e
n
t
er
Sav
e
the
pre conditions
i
nside
th
e
conditions so
th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
The main change
here was
to com
p
l
e
te
l
y rewrite h
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Bre
a
k
things out int
o
fun
c
tions a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
H
andle
while
a
n
d
for lo
o
p
s
sligh
t
ly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I
removed nu
l
lify_path() earlier
b
ut
t
hat was a mista
k
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I don't
thi
n
k the
spec
i
al_kernel
_
m
a
cros() function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a f
u
nction to d
o
a strcmp() with a symbol name
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n Carpenter
Remove everything
to
do with path_id's
.
I c
o
uldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next