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
Merge branch 'devel'
2009-03-24
Dan Carpenter
Merge br
a
nch '
d
e
v
el'
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
recompile the check_*
.
c
files i
f
th
e
smatch h
e
ade
r
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an
Ca
r
penter
check
_
overflow: test copy_to/from_user as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_ov
e
rflow: d
o
n't
mult
i
p
l
y the size of strings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
assumed_non
n
ull crap
.
.
.
temp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpent
e
r
A
d
d sc
r
ipt to
g
enerat
e
the
f
rees lis
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
rename register_frees_argument
t
o
check_
f
rees_argum
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
fix
orde
r
of pr
o
cessin
g
of com
m
as
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
get rid o
f
FUNCTION
_
C
A
LL_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpente
r
change
o
rder of condit
i
on processing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
er
get rid o
f
ASSIGNM
E
NT_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
c
he
c
k
_memory: read fre
e
i
ng functions fr
o
m
fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
chec
k
_memory: read
f
reeing functions from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
fre
e
s_argument: don't count fun
c
tions that on
l
y free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
core: improv
e
anding
c
o
ndition
h
a
ndling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_o
v
erflow
:
m
o
ve to
n
ew add_fun
c
tion
_
hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpe
n
t
e
r
c
h
eck_
l
ockin
g
: move to the
new fun
c
tio
n
hook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan
C
arpenter
c
heck_lock
i
ng: fix some double unlock false
p
o
s
i
tives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpente
r
co
r
e: add
_
func
t
io
n
_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Ca
r
penter
m
ake some vars static
.
ot
h
er random sparse stuff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
c
o
re: a
d
d_unmatched_state_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
C
a
rpenter
implied: re-add the d
e
bug output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Ca
r
pent
e
r
c
h
ange conventio
n
: register_
t
emplate() ->
check_temp
l
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
Carpenter
locking: add some
m
or
e
mut
e
x fun
c
tio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Carpenter
Make --known-conditions
a
n optio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
handl
e
known
c
ondit
i
ons better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
ch
e
ck_m
e
mory:
add rudi
m
enta
r
y validat
i
o
n
test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpent
e
r
n
e
w script t
o
print a list o
f
f
u
nctions which fre
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carp
e
nter
check_memory: m
a
ke a
r
guments static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
an Carpente
r
temp
l
ate:
f
i
x
m
em
o
r
y lea
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
template: remo
v
e u
n
u
s
ed header
,
up
d
ate com
m
ents
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpen
t
er
c
he
c
k_lock
i
n
g
: add mut
e
xes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Ca
r
penter
check_memory: a
d
d kz
a
ll
o
c(),
m
ore
c
omplex
v
a
r
iables
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rpen
t
er
implied: hand
l
e &undefined bette
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
info
:
loop could b
e
repl
a
ced with if statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
kchecker: add "--spar
s
e
"
option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
ar
p
enter
smatch_i
m
plied/slist: move f
u
nctio
n
s from
s
list to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n Carp
e
nter
check_memory
:
use complex var
i
ables instead of regular
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Car
p
enter
che
c
k
_
memo
r
y
: assume pa
r
ents assigned on all p
a
ths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Ca
r
penter
c
heck_memory: Mo
r
e
c
hanges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
rpenter
assignments
can add a parent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
H
andl
e
i
n
itialization in the dec
l
arations;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Cut down on false pos
i
t
i
ves
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
P
arse the
r
e
t
u
r
n sta
t
ement
bef
o
re callin
g
t
he
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Ca
r
penter
Fix crashi
n
g bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Remove some f
a
lse posit
i
ves
an
d
enable the
c
heck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Da
n
Carpenter
Demote
a
rgument null
d
e
r
efs to c
r
os
s
func
nul
l
d
ere
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan C
a
rp
e
nter
La
b
el the
o
utput
:
error,
warn, o
r
info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Add a hack t
o
hand
l
e
t
he ker
n
el's redefined if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpe
n
t
e
r
Han
d
le more
comparisons t
h
an just (foo ==
0) and (foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Carpenter
check_locking: a merge
w
ith N
U
LL is a
merge
with the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpent
e
r
Remove unneeded code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
C
a
rpenter
Add line num
b
er bac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
an Car
p
enter
U
s
e the most
r
e
cent
implica
t
io
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add
option
-
-assume-loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add an o
p
tio
n
-
-no-i
m
p
l
i
ed to
t
urn of
i
m
pl
i
cati
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Ca
r
penter
imp
l
ied pools:
c
leanup how implied p
o
ols are created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
c
heck_memor
y
: separat
e
out a malloced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpent
e
r
All
along
I was addi
n
g th
e
pools
to th
e
w
r
ong place
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an
C
a
rpenter
C
lean up
.
Move a
couple i
f
d
e
fs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add a sanity c
h
eck
t
hat ->possible has a ->m
y
_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an
C
a
rp
e
nter
Clean up
.
Free
i
ng the sm_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Oring the sli
s
ts see
m
s like
m
erge_sl
i
st(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
pe
n
ter
Add a --debug
-
impli
e
d
o
p
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n
Carpe
n
ter
check_m
e
mory:
F
i
x segfau
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n Carpent
e
r
k
checker: hel
p
e
r
s
cript to invo
k
e smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpenter
check_memory: ne
w
code
.
n
ot used yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpenter
Fix bug i
n
compound conditions and
a
dd validation t
e
st
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
che
c
k_locking: handle functions with
no return st
a
temen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpe
n
ter
F
i
x
so se
c
urity_
f
ixup_op
s
()
doesn't t
r
i
gger th
e
OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Ca
r
p
enter
F
i
x 'or'i
n
g states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an
C
a
r
penter
Fi
x
NULL de
r
ef
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpenter
For some reason
smatch ca
n
't find these h
e
ader files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix str
i
ng memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
R
em
o
ve unneede
d
allocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
Remove outdated comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpen
t
er
Don't _
_
free_sm_s
t
at
e
() un
t
il end
of funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
f
r
ee_slist
(
)
a
fter calling get
_
a
l
l_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
do
n
't realloca
t
e the ->
p
ossible
st
a
t
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Ge
t
rid of unused line
h
istory
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
Fix some
memory leaks in __imp
l
ied
_
states_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
Carpenter
Add fre
e
_
t
rack
e
rs_and_list() and
f
ree_tracker_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
Add new free_stack() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
rename
d
el_slist_stack() to free_stack
_
and_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
e
nter
ren
a
me del_sli
s
t() -> free_slist(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
en
t
er
Free all the sm_stat
e
s at th
e
end of
e
a
c
h f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n Carpenter
Add
-
>
possible
to
_
_
p
r
i
nt_slist()
o
utpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan
C
arpenter
Save a
l
l the pools a
s
tate goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Add and fix smatch imp
l
i
ed t
e
sts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
er
Pre
s
erve the
-
>pools and ->possible for i
m
plie
d
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Car
p
enter
Fix handli
n
g mu
t
ually excl
u
s
ive
stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
pe
n
t
er
Get rid of redun
d
a
nt harmonize_sta
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpenter
Add function __set_true_false_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Onl
y
save an implied list i
f
a state has
b
e
en modified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
penter
Only i
m
plied state
s
that
a
r
en't already true
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take a p
a
r
a
meter inste
a
d of as
s
uming the output i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't check that there are both
t
rue
a
n
d false st
a
te
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
Th
i
s c
h
e
c
k_
o
rder() seems superfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carpenter
New
f
unction harmonize
_
s
t
ates
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Car
p
e
n
ter
c
a
ll __sp
l
it_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next