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 validation script for check_null_deref.c
2009-02-17
Dan Carpe
n
ter
Add v
a
li
d
ation
s
cript for
chec
k
_null_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
Oops
.
->possibles was
n
't gett
i
ng
se
t
corre
c
tly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
p
e
nter
Use
s
trip_expr() i
n
split_conditions() instea
d
repr
o
ducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpenter
Add some
m
ore
operat
i
on
s
t
o
get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
Return &merged instead of &un
d
efined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
ma
k
e
get_valu
e
()
ret
u
rn a val
u
e f
o
r bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpe
n
ter
Try again removing sta
t
e
s
fro
m
poo
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Rev
e
r
t "Remove
a
s
t
ate from it's ->
p
ools when set
_
state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Eliminate a warning
.
P
robably the wr
o
ng way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lean u
p
s
.
Comment
s
.
Re
n
ame sli
s
t_
s
tack t
o
named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
H
a
ha
.
I still
s
uck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
leanups
.
Commen
t
s
.
Remove debugging code
from f
i
lte
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpe
n
ter
C
lean up
.
Also pres
e
rve t
h
e ->pools in on
e
pa
t
h of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
er
Cl
e
an
u
p get_state_sl
i
st(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
ar
p
enter
R
emove _
_
overwri
t
e
_
cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
ar
p
e
n
ter
There was
debugging o
u
t
p
ut t
h
at acciden
t
ally go
t
committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Remove a state from i
t
's ->pools when
s
et_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
D
on
'
t
delet
e
t
h
e ->po
o
ls on
me
r
ging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
e
r
Try understand
the implications from com
p
ound conditi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Create a sta
t
e &me
r
ged
.
When we mer
g
e stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ok
.
Thi
s
tim
e
smatch_impl
i
e
d
_rea
l
ly_ d
o
es
somethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ignore cscope
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Sm
a
ll
c
leanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
ente
r
Whitespace
c
h
ange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Ca
r
penter
Add so
m
e
m
ore
l
o
cking
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rp
e
nter
Fix implied pools so that at least it
d
oes something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
I
t
s
e
em
e
d like tracker_li
s
t would
be usef
u
l
i
n
a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
dd a README describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add sc
r
ipt to find NULL dereferences betwe
e
n funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpent
e
r
Fix usage me
s
sag
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpente
r
Check for malloc
(
)
as
w
ell a
s
k
mall
o
c()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
p
e
nter
Fix segfa
u
lt when handling implicitly de
c
lared f
u
nction
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
W
a
rn when we don't acquire locks when calling certai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carp
e
nte
r
Try (and fail) to f
i
nd me
m
ory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost
p
rint a
mess
a
g
e
when you com
e
to
u
nreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
heck
t
o look fo
r
double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Add checking
f
or
l
o
c
k_kernel
(
)/unlock_
k
ern
e
l(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
M
ake check_lo
c
king check
b
o
t
h
sp
i
n
l
ocks
and s
e
map
h
or
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
ar
p
enter
Add a new function sli
s
t_h
a
s
_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rpenter
If there is
a
n
i
++
t
hen the value of 'i' i
s
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Ad
d
a
n
ew check_lock
i
ng s
c
ript that checks
s
pinloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
S
a
ve t
h
e po
s
sible states instead of jus
t
mer
g
ing
t
h
e
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
r
p
enter
Ignor
e
emac
s
garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an C
a
rpenter
Merge
b
r
anch 'ma
s
ter' into pools5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n
Ca
r
penter
Fix likely() an
d
unl
i
k
ely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpe
n
ter
A
dd single qu
o
tes aroun
d
the variabl
e
f
or consis
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carp
e
n
t
er
We cou
l
d sa
v
e s
o
me memory by no
t
a
lloca
t
ing new memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Add a comme
n
t show
i
ng
w
here the tests
a
re supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
T
his is
l
eft over from October
as part of the
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Add get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
S
tuf
f
l
e
ft over from Octo
b
er
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
D
an Carpent
e
r
We coul
d
save some memory by not
allocating new mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan C
a
rp
e
nter
F
ix me
m
ory leak
.
Add
more
comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
Add a merge ho
o
k
.
Han
d
le th
e
situat
i
o
n
s
like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
str
c
mp() doesn't accept NULL argume
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
rename t
w
o functions: g
e
t_variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_varia
b
le_from_expr
(
) use
s
a stati
c
buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
enter
Create
a check_templa
t
e
.
c e
x
a
mple scrip
t
that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Car
p
e
n
t
er
Make get_all_states() no
t
segfault every
time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Fix get_v
a
lue() to ret
u
rn negative value
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Car
p
enter
We onl
y
ever pass one parameter in
t
o get_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
F
ix ge
t
_a
l
l_stat
e
s() to ma
t
ch the
f
unction definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Remove add_state() and state_d
e
fined()
d
efin
i
tions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
e
nter
Clean up
.
Fix leak
.
My probl
e
m is that I don
'
t
u
nderstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit of th
e
"implied
s
tate pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpenter
Doh
.
We haven't
been
u
sing smatch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Get
rid of
p
ath_hi
s
t
or
y
.
It's never going to
be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
nter
M
a
ke goto
_
stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
Speed
u
p mer
g
e_sl
i
s
t now that the slists
are
o
r
d
e
re
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an
Carpenter
Inse
r
t stuff onto lists in
a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpenter
Delete an
u
nused function merge
_
s
tate_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan
Carpenter
fix: if (*foo) {
(*
f
o
o)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmalloc() and frie
n
ds don't always retu
r
n
a
non-
n
ull
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpe
n
ter
Th
e
checks from here got merged into check_null_d
e
re
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Move the stuff f
r
om check_derefed_params
.
c into check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Car
p
enter
F
ix bug in or_slist_stack
(
)
.
if
(a &
&
b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
an Carpe
n
ter
Add a hook at the
end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
a
rpenter
F
orgot another
strip_expr()
c
a
ll
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Handle assignm
e
ents inside condit
i
ons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Onl
y
p
rint something f
o
r a->
f
o
o a
n
d n
o
t a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
arpenter
I
gnor
e
array dec
l
arations
.
Tho
s
e c
a
n't be NULL
o
bv
i
ous
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist static
.
It's only used in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
White space
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
U
se me
r
ge_slist() instead o
f
t
r
y
i
ng to
handle
i
t
y
ourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
__process_continues
(
) is supposed
t
o
be basic
a
lly
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpe
n
ter
N
e
w smatch_
i
gnore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(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 Carpen
t
e
r
G
e
neralize stip_casts()
.
It's now called st
r
ip_e
x
pr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ignore cast
s
.
fo
o
(
(int
*
)
&
bar)
i
s the sam
e
as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
Create
d
show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n
Carpent
e
r
Ig
n
or
e
stuff li
k
e foo
.
b
ar
.
We only care abo
u
t foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
p
enter
What
h
a
ppens
b
efore is that p
a
r
ameters wo
u
ld ge
t
assign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
Missed a cras
h
i
n
g bug in the
i
nt => struct con
v
e
r
sion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
Carpenter
I
can't believe I wa
s
doing st
a
cks w
r
ong
t
h
is who
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Chan
g
e
d
smatch state from bei
n
g
a
n int to being pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpenter
I want
t
o r
e
us
e
the name
s
m
atch_sta
t
e
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rp
e
nter
Redo the null p
a
th thing
.
So long as t
h
ere is o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean
up
.
Complicated is just a boolean
.
Set
i
t to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
Arrays are c
o
mp
l
i
cated so they shouldn
'
t
be r
e
turned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
e
n
ter
I
f we call set_state f
r
o
m inside
a
c
o
ndit
i
o
n then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
next