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 a README describing smatch
2009-02-05
Dan C
a
rpe
n
ter
Add a README des
c
r
ibing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add scri
p
t to find NU
L
L d
e
ref
e
renc
e
s bet
w
een
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
e
r
Fi
x
u
s
age message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carp
e
nter
Che
c
k for malloc(
)
as wel
l
as kmalloc(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carp
e
nter
Fix segfault when
h
andli
n
g
implicitly declared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpenter
Warn whe
n
we don't acqui
r
e
loc
k
s when
callin
g
c
e
r
t
ain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fail)
to
fin
d
m
e
mory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a message when you
c
ome to unre
a
chable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
Add check to look
f
or double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
er
Add c
h
ecking for lock_kernel()/unloc
k
_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
C
arpent
e
r
Make che
c
k_lo
c
k
i
ng check both s
p
inlocks and semap
h
ores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pent
e
r
Add
a
new funct
i
on
s
list_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
If there
i
s an i++ the
n
the value of
'
i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Add a new ch
e
ck_locking
s
cript t
h
at
c
hecks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
ar
p
en
t
e
r
Save the possi
b
l
e
s
tates in
s
tead of just mergin
g
th
e
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
I
g
no
r
e emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpenter
Merge branch 'ma
s
ter' int
o
pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix l
i
ke
l
y() and unli
k
ely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
arpenter
Ad
d
single q
u
otes around the var
i
a
ble f
o
r
consist
e
nc
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
a
n Carpenter
We could save some memory by not alloc
a
t
i
ng new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
A
d
d a comment showing
w
h
ere
t
he tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
Carpenter
This is l
e
ft over fr
o
m October as
p
art of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
A
dd ge
t
_
p
ossible_
s
tate
s
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Stuff le
f
t over
from October
.
Implied p
o
ols wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan C
a
r
penter
We cou
l
d sav
e
some memor
y
by not allocatin
g
new
m
e
m
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Car
p
enter
Fix memory
l
eak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
e
r
Ad
d
a merge hook
.
Hand
l
e the
s
itu
a
tion
s
like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
ar
p
e
n
ter
s
t
r
cmp() doesn't accept NU
L
L arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Ca
r
penter
rename two functions: get_variabl
e
_from_expr_sim
p
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
ge
t
_variable_fro
m
_ex
p
r()
u
ses
a static buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a c
h
eck_template
.
c example
s
cript that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Make get_a
l
l_states
(
) not segfa
u
lt ever
y
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fi
x
get_val
u
e() t
o
r
e
turn negative v
a
lues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpen
t
er
We only
e
ver pass one parameter into get_val
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carp
e
nter
F
ix get_all_states()
t
o match the f
u
n
c
tion de
f
in
i
ti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpent
e
r
Remove add_state() and state_
d
efined()
d
e
fin
i
ti
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carpent
e
r
Clean
u
p
.
Fix
l
e
ak
.
My pro
b
lem is
tha
t
I
d
o
n
'
t understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit of the "impli
e
d
s
t
ate
p
oo
l
s"
stuf
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Doh
.
We haven'
t
been using smatch_
e
xtra
f
or a
while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpen
t
er
Get rid of path_history
.
It'
s
never going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_stack
s
tati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
S
p
eed up merge_sli
s
t now that the s
l
ists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Ca
r
penter
I
n
sert stuf
f
onto
list
s
i
n
a sorted or
d
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpente
r
Delete an un
u
sed
f
u
nction me
r
ge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
Ca
r
p
e
nter
fix: if (*foo
)
{ (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n
Carpent
e
r
km
a
l
loc() and
friends don
'
t
always return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Car
p
enter
The check
s
fr
o
m h
e
re got merged into ch
e
ck_
n
ull_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an Ca
r
penter
Move
the
s
tuff from check_der
e
fed_pa
r
ams
.
c
into check_
n
ull_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
Fix bug in
or
_
slist_stack()
.
if (a &&
b
) wasn'
t
b
e
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpen
t
er
Add a
ho
o
k at the end of a fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Fo
r
got another str
i
p
_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carp
e
nter
Han
d
l
e assi
g
n
meen
t
s i
n
side c
o
nditions b
e
tter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print
s
omething for a->foo and
not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n
C
ar
p
enter
Ignore array de
c
laratio
n
s
.
Those can't be
N
ULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan
C
a
r
penter
Mak
e
c
ur_s
l
ist static
.
It's only
used in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpent
e
r
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpent
e
r
Use mer
g
e_s
l
ist() instead of trying to
hand
l
e it
yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_contin
u
es() is su
p
p
o
s
ed to be basically
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New sma
t
ch_ignore
.
c fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
(foo) =
1
is the
s
ame as foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpente
r
Generalize stip_casts()
.
It
'
s
n
o
w ca
l
l
e
d
strip_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
an Carpente
r
Ignor
e
casts
.
foo((int *)&bar) is
t
he sa
m
e as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
C
a
r
penter
Created show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
a
r
penter
Ignore stu
f
f
l
i
ke foo
.
b
ar
.
We o
n
ly care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Car
p
e
n
ter
What
h
app
e
n
s
before is tha
t
parameters would get assig
n
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed a cr
a
shing bu
g
in the int => struct
c
o
n
version
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n C
a
rpen
t
er
I
c
an't b
e
lieve I
w
as doing
st
a
cks wrong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
C
h
ange
d
smatch state
f
rom bei
n
g an int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
I wa
n
t to
r
euse the nam
e
sma
t
ch_stat
e
.
T
h
e
c
urrent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo t
h
e null path t
h
ing
.
S
o
l
o
ng as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
enter
Clean up
.
Compli
c
ated is just
a
boolean
.
Set it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
Array
s
are com
p
lica
t
ed so
t
hey sh
o
uldn't b
e
r
e
turned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If w
e
ca
l
l set_state from
insid
e
a
condition the
n
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n
Ca
r
penter
If the point
e
r
i
s
initialized to
n
on
-
n
ull t
h
en set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n
Carp
e
nter
ig
n
ore the smatch
b
i
nary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
D
a
n
Carpenter
When we me
r
ge 2 slists we need to deal w
i
th th
e
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
D
an Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
an Carpen
t
er
Add nullify the path
whe
n
yo
u
have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
C
a
rpenter
Merg
e
branch 'ls' into
u
ltra
t
mp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge br
a
nch 'unnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpe
n
ter
Lots of do while
(
0) loop
s
d
on'
t
call br
e
ak so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Remove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
Fix
or_slist_st
a
c
k
(
)
.
Be
f
ore it ju
s
t saved one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n Carp
e
nte
r
cra
p
crap crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
D
a
n Ca
r
penter
Clean ups and add some __u
n
nullif
y
_path stuff
.
H
op
e
fully
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
C
a
rpenter
Small clean
u
p
.
g
o
to_st
a
c
k
sho
u
ld o
n
ly be used in smatch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpenter
Clean
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
an Carpenter
Fix
b
ug
s
a
v
i
ng t
h
e
f
alse_only stack
.
Before code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Ca
r
penter
This is the start of the
s
match_extra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
Carp
e
nte
r
Fi
x
ov
e
rwrite_sli
s
t(
)
so it ta
k
es a pointer to
a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
D
a
n Carp
e
n
t
er
M
ake sm
a
tc
h
_extra depe
n
d o
n
smatc
h
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
D
a
n Carpenter
Move is_zero() to smatc
h
_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
D
an Car
p
e
nter
F
i
x
a
big bug
.
get_state_slist() w
a
s always g
e
t
t
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Merge
.
.
/
.
.
/smatch/d
e
vel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Me
r
ge bran
c
h 'dev
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
S
a
ve th
e
pre con
d
itions in
s
ide the
condit
i
ons
s
o that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Dan Car
p
enter
T
he main cha
n
ge here
was to completely rewrite ho
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
an Carpenter
Brea
k
things o
u
t into funct
i
ons a b
i
t
.
C
lean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
D
an Carpenter
Handle while and for lo
o
ps slightly
bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I
r
emoved nulli
f
y_path() earlier
but that wa
s
a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next