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 script to generate the frees list.
2009-03-23
D
a
n Carpent
e
r
Add script to ge
n
erate the fr
e
es li
s
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
r
e
na
m
e register
_
free
s
_ar
g
u
ment
t
o check_frees
_
arg
u
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
fix order of processing of commas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get rid of FUNCTION_CALL_
A
FTER_HO
O
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
r
p
ent
e
r
chan
g
e order o
f
condition proces
s
in
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
e
r
get rid of ASSIG
N
MENT_AFTER_HOO
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
c
heck_memory: r
e
ad
free
i
ng functi
o
n
s
from
fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpen
t
er
frees_argu
m
en
t
: don't
co
u
nt functions
that
o
n
ly free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpe
n
ter
core: imp
r
ove
anding conditio
n
h
a
ndling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpen
t
e
r
check_ov
e
r
f
lo
w
: move to new
add_f
u
n
c
t
ion_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpen
t
er
check_locking: move to the new function hook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpente
r
che
c
k
_
locking: fix so
m
e double unlock false positi
v
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpe
n
ter
core: add_function_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Carpenter
make so
m
e vars static
.
o
ther ran
d
om sparse s
t
u
f
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
core: add_unmatched_sta
t
e_hook(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
en
t
er
impl
i
ed:
r
e-add the d
e
bug
output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
change convention:
r
egister_tem
p
late() -> check_template()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Carpenter
l
ocking: add so
m
e
more mutex functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
enter
Make --known-conditions an
o
ption
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpenter
handl
e
know
n
condit
i
ons better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_memory:
a
d
d
rudimentary valida
t
ion tes
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rpen
t
e
r
new script to print a list of function
s
w
hich free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpente
r
c
h
e
ck_mem
o
ry:
make arguments static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
a
r
penter
template:
f
ix m
e
m
ory l
e
ak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
ar
p
enter
t
emp
l
a
t
e:
re
m
ov
e
unused h
e
ader, upda
t
e comment
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
enter
check_
l
ocking: a
d
d
m
ut
e
xes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
chec
k
_memor
y
: add kz
a
lloc(), more complex varia
b
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
implied:
handle
&un
d
efin
e
d bett
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
inf
o
:
l
oop could be
r
e
placed with if
s
t
ate
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpenter
kchecker: add "
-
-sparse"
o
ption
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
smatch_implied/slist:
move
f
u
nct
i
ons fr
o
m
slist to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan C
a
rp
e
nter
check_memory
:
us
e
complex v
a
ri
a
ble
s
i
n
stea
d
of r
e
gular
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpen
t
er
check_m
e
mor
y
: ass
u
me parents assigned on a
l
l
p
aths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpente
r
ch
e
ck
_
memory: More chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Ca
r
pente
r
a
s
signments can a
d
d a p
a
rent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Carpenter
Handle init
i
alizati
o
n in
the declarati
o
n
s
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Cut down on
false positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n
Ca
r
pen
t
er
Parse the return statement
b
efore calling the return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carp
e
nter
F
i
x c
r
ashing b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Ca
r
penter
Remove some false
p
ositives and enable the check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpe
n
t
e
r
Demote argument
null
d
er
e
fs to cross fu
n
c null derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n
Carpe
n
ter
Label th
e
output: er
r
or
,
war
n
, or info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Da
n
Ca
r
pen
t
er
A
d
d
a hack to handl
e
t
h
e
k
ern
e
l's redef
i
ned
if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Handle more comparisons
t
han
j
u
st (foo ==
0) and (foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpen
t
er
check_locking: a mer
g
e with NULL is a me
r
g
e
w
ith t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Remove unneeded
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
an Carp
e
nter
Add
l
ine number back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carpenter
Use the most
recent implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpen
t
er
Add o
p
tion --
a
ssume-l
o
ops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
A
d
d
a
n
option --no-implied to turn
of implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carp
e
nter
i
m
plied pool
s
: c
l
eanup how implied po
o
ls are c
r
e
ated
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Car
p
e
n
ter
check
_
memory:
separate ou
t
a malloced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Da
n
Ca
r
penter
All along
I
was adding t
h
e pool
s
to the
wrong pl
a
ce
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Clean u
p
.
Move
a couple i
f
d
e
fs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
Ca
r
penter
Add a sanity c
h
eck that ->poss
i
ble has a ->my_
p
ool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
pen
t
er
Clean up
.
F
r
eeing the sm_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
rpent
e
r
Oring the slists s
e
e
m
s like merge
_
slist
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
A
dd
a --debug-implied optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carp
e
nter
check_m
e
mory:
Fix seg
f
a
u
lt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpe
n
t
e
r
kchecker: helper scri
p
t
to invoke smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpe
n
ter
c
hec
k
_memory:
new c
o
d
e
.
not used ye
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Ca
r
penter
Fix bug in
compo
u
nd
c
onditions and ad
d
validatio
n
test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
check_lockin
g
: h
a
nd
l
e function
s
with no r
e
tur
n
statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Car
p
ente
r
F
i
x so
s
ecu
r
ity_fixu
p
_ops() doesn't tr
i
gger the OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Ca
r
penter
Fix '
o
r'in
g
state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
p
e
nter
F
ix NUL
L
d
eref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
pent
e
r
For s
o
m
e
rea
s
on smatch can'
t
f
ind th
e
se header files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
p
enter
Fix str
i
ng memo
r
y
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
n
ter
Remove u
n
n
eeded a
l
locati
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
Carpenter
Remove
o
u
tdated comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
Don't __
f
ree_sm_st
a
te() until end of func
t
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
f
r
ee_slis
t
()
af
t
er calli
n
g ge
t
_a
l
l_s
t
ates()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
don'
t
reallocate the
->p
o
ssible states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
Get rid of unused
l
ine hi
s
tory code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
F
i
x some mem
o
ry leaks
i
n __
i
mpl
i
ed_st
a
tes_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
d
d
fre
e
_trackers_and_list() and free_track
e
r_li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Car
p
enter
Add new free_s
t
ack
(
) function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpen
t
e
r
r
e
name del_slist_
s
tack() t
o
fre
e
_stack_and_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
ren
a
me del_slist() -> free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
F
r
ee al
l
the sm_st
a
tes
at the end of eac
h
fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan
Carpenter
Add ->
p
ossib
l
e
t
o
__print_slist() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Car
p
e
n
t
er
Save all the p
o
ols a s
t
ate goes t
h
rough
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
a
rpenter
Add and
f
ix smatch implied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Pres
e
rve the ->pools and ->possible f
o
r
impl
i
ed
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Fix
h
andl
i
ng mutually exclus
i
ve
s
tates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
C
ar
p
enter
Get
rid of redund
a
nt harmon
i
ze_states
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpenter
Add f
u
nction _
_
set_true_fal
s
e_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Onl
y
save an implied
li
s
t if a s
t
a
t
e
has been modif
i
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Carpenter
Only implied sta
t
es that aren't already tr
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Ca
r
penter
Take a parameter instead of assu
m
ing the output
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
pen
t
er
Do
n
't che
c
k
th
a
t
there
are both tr
u
e
and fals
e
states
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
penter
T
his check
_
order() see
m
s s
u
p
e
rf
l
uou
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpenter
N
ew fu
n
ct
i
on harmonize_
s
t
a
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
cal
l
_
_
split_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
er
r
e
move un
n
eed
e
d calls to __use
_
cond_true_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
arpenter
Don't set the i
m
p
l
ied s
t
ate to
&
merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
n
t
e
r
Ma
k
e cmp_tra
c
ker()
a
ccessibl
e
to outsid
e
fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpenter
Al
l
the states are implied not
j
ust unique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
Improve
l
o
ck check output
.
Add more validat
i
on sam
p
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add sup
p
ort for down_inter
r
uptible() and fri
e
nds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next