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
Whitespace change.
2009-02-10
D
an
Carpenter
Whitesp
a
c
e change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Car
p
enter
Add some more
l
o
c
king functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
F
i
x impli
e
d
po
o
ls
so tha
t
at least it d
o
es somethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
It seemed l
i
ke trac
k
er_lis
t
would be us
e
ful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add a
README d
e
scri
b
i
n
g smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpente
r
Add scr
i
pt t
o
f
i
n
d NULL derefer
e
nces b
e
twe
e
n funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
te
r
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
heck
for mallo
c
()
as well as
k
ma
l
loc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
p
e
n
t
e
r
Fi
x
seg
f
ault w
h
e
n
han
d
li
n
g implicitly declared
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpen
t
er
Warn
w
hen we
don't acquire locks
w
h
e
n
c
alling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fail) to find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpe
n
t
er
A
l
m
ost print a message when you come to unr
e
achable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d
check to
loo
k
for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpenter
A
d
d checking for lock_kernel()/unlock_kerne
l
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
M
ake
check_locking check both
s
p
inlocks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
A
dd a new function slis
t
_has_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpen
t
e
r
If there is
an i+
+
then the value of
'
i' is undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_locking script that
c
hecks spinloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rp
e
nter
Save t
h
e possible state
s
in
s
t
e
a
d of
just merg
i
ng them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
e
r
Ignore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpen
t
e
r
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carp
e
nt
e
r
Fix likely()
a
nd unlikely()
h
andling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
a
n Carpenter
A
dd sing
l
e quotes around the variable for co
n
si
s
tency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpe
n
ter
We
c
ould s
a
ve some me
m
ory by not
allocating ne
w
m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment showing
w
h
er
e
the tests
a
re supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
r
penter
T
h
i
s
i
s
left over
from Oc
t
ober as p
a
rt
of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Add get_
p
ossible
_
s
tates(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
pe
n
ter
Stuff
l
eft ove
r
from
O
ctober
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could
save
s
ome memory
by no
t
all
o
c
a
ting new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memo
r
y leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Ca
r
p
e
n
ter
Add a merge ho
o
k
.
Handle
t
h
e
situa
t
ions li
k
e:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Car
p
e
n
ter
strcmp() doesn't accept
N
ULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
r
ename two fun
c
t
ions
:
get
_
variable_from_exp
r
_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an C
a
rpenter
ge
t
_variabl
e
_fro
m
_expr() use
s
a static buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
C
r
e
ate
a
c
heck_template
.
c example script that lo
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all
_
states() not
seg
f
ault
e
ver
y
tim
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
ent
e
r
Fix get_value() to ret
u
r
n
negat
i
ve values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We
only ever pass one par
a
meter into
g
et_va
l
ue(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
arpenter
Fix get_all_states() to mat
c
h the function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpent
e
r
Remove
add_state
(
)
a
nd state_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Cl
e
an
u
p
.
F
i
x leak
.
My pro
b
lem
is that
I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Init
i
al
c
ommit of the "i
m
plied stat
e
pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Ca
r
penter
Doh
.
We hav
e
n't been using smatch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpe
n
ter
Get ri
d
o
f
path_history
.
It's never g
o
in
g
to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpent
e
r
Make
g
ot
o
_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
S
pe
e
d
u
p
merge_
s
list no
w
that
the sli
s
ts a
r
e ord
e
r
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpenter
I
n
s
e
r
t
stuff
o
nto lists in a
s
orted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
De
l
ete an unused
function merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Ca
r
penter
fix: if (*foo)
{ (
*
foo
)
->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpe
n
t
e
r
kmalloc() and
f
riends don't al
w
ays return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Car
p
enter
The ch
e
cks from h
e
re go
t
merged into c
h
e
c
k_nul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the stuf
f
fro
m
check_derefed_params
.
c int
o
ch
e
ck_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Car
p
enter
Fix
b
ug in or_slist_stack
(
)
.
if
(a &&
b
) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook at the end of a
f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
F
o
r
g
ot ano
t
h
e
r strip_expr()
call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
C
a
rpenter
H
a
n
d
le assign
m
eents inside
c
onditions
bette
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Only print something for
a
->
f
oo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carpenter
Ignore
a
rray declaration
s
.
Those can't be NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Mak
e
cu
r
_
s
list s
t
atic
.
It's only use
d
i
n
smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
C
arpent
e
r
White s
p
ace
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carp
e
nter
Use merge_slist() instead of trying to
h
andle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
__pro
c
ess_
c
ontinu
e
s()
is supposed to be basic
a
lly the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
New
smatch_
i
gnore
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo) = 1 is the sam
e
as
foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Car
p
ent
e
r
G
eneralize sti
p
_casts()
.
It's now calle
d
strip_ex
p
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carp
e
n
t
er
I
gnore
casts
.
foo((int *)
&
bar)
i
s
th
e
same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Creat
e
d
show_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ig
n
o
r
e
stuf
f
lik
e
foo
.
ba
r
.
W
e
only
car
e
about
f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What happens before is that p
a
ra
m
eters
woul
d
g
et assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
M
i
sse
d
a crashing bug i
n
the i
n
t
=
> str
u
c
t
conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
n
t
er
I ca
n
't believe I
w
as doing s
t
acks wrong
t
hi
s
w
hole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
p
enter
C
hanged smatch
s
tate from being an
i
n
t
t
o
being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Carpenter
I want to reuse the name smatch_state
.
T
h
e
cur
r
ent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
R
e
do the
n
ull path thin
g
.
So long as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Ca
r
penter
C
l
e
a
n
u
p
.
C
o
mplicated is just a b
o
olea
n
.
S
et it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
A
rray
s
are compli
c
ated so the
y
shouldn
'
t be returned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpente
r
If
we call
s
et_state
from
i
nside a
cond
i
tion then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
C
a
rp
e
nter
If t
h
e pointer
i
s init
i
aliz
e
d
to
n
on-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan Carpent
e
r
ignore the smatch bina
r
y
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n Carpe
n
t
er
Whe
n
we merge 2 sl
i
sts we ne
e
d t
o
deal with the case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
a
n
Car
p
enter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Add nul
l
ify the path when you have for
(
;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
C
a
rpenter
M
er
g
e
b
ranc
h
'
ls' i
n
t
o ultr
a
tmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
enter
M
e
r
ge branch 'unnu
l
l
ify
'
i
n
to ls
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carp
e
nter
Lots of do
whi
l
e(0) loo
p
s
don't call b
r
e
a
k s
o
it d
o
es
n
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Remove
unn
e
eded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
an C
a
rpen
t
er
Fix or_slist
_
s
ta
c
k()
.
Before it just saved one sta
c
k
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
crap crap crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
D
an Carpenter
Clean ups and add some _
_
u
n
nullify_pat
h
s
tuff
.
Hopefully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
Carpente
r
Small clea
n
up
.
goto_st
a
ck shou
l
d only be used in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
D
a
n
C
arpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Car
p
enter
Fix bug saving the false_on
l
y stac
k
.
Be
f
ore code
l
ike
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
This is the star
t
o
f the smat
c
h_extra st
u
ff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpe
n
ter
Fix ov
e
r
w
r
it
e
_slist() so it t
a
ke
s
a
point
e
r
to
a
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Ma
k
e smatch_extra depend on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan
C
arpenter
Mov
e
i
s
_
z
ero() to
s
match_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan C
a
rp
e
nter
Fix a b
i
g bug
.
get_state_
s
list()
w
as
always getting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge
.
.
/
.
.
/sm
a
tch/devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an Carpen
t
er
M
erg
e
bran
c
h 'deve
l
'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
S
ave the pre conditions inside the conditi
o
ns so t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next