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 Carpe
n
ter
Merge b
r
anch 'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
rec
o
mp
i
le the check_*
.
c files i
f
the sm
a
tch headers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpente
r
c
heck_
o
ver
f
l
ow: t
e
s
t copy_to/from_user as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Ca
r
penter
c
h
e
ck_overfl
o
w: don't mult
i
ply the siz
e
o
f
strings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
assum
e
d_nonnull
c
rap
.
.
.
te
m
p fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
Carpenter
A
d
d
s
crip
t
to ge
n
erate the frees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
rename register_fr
e
es_argumen
t
to che
c
k_free
s
_arg
u
men
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n C
a
rpent
e
r
fix order of p
r
o
cessi
n
g of
c
o
m
m
a
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpente
r
get rid of FUNC
T
I
O
N_CALL_AFTER_
H
O
OK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
change order
o
f
c
ond
i
tion pro
c
es
s
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an
Carpenter
get r
i
d of A
S
SIGNME
N
T_AFTER_
H
OO
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
check_memory: read freei
n
g
functions from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Da
n
Carpenter
c
heck_m
e
mo
r
y: read freeing functions fr
o
m
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Da
n
Carpente
r
frees_ar
g
um
e
nt: don't
count
functions that onl
y
fr
e
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Ca
r
pent
e
r
core
:
im
p
rove and
i
n
g con
d
ition
handl
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpenter
check_overflow: mov
e
to new add_function_ho
o
k()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
chec
k
_
lo
c
king:
move
to the new function hook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Ca
r
pe
n
te
r
check_locking:
fix
s
ome doub
l
e unlock false positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan C
a
rpe
n
ter
core: add_fu
n
c
t
i
on_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
e
nter
m
a
ke s
o
me vars st
a
tic
.
o
t
h
e
r random sparse stuff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Carpenter
core: add_unmatch
e
d_state_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
an Carpen
t
er
implie
d
: re-add th
e
debug output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
change
convention: regist
e
r_templ
a
te() -> c
h
e
c
k_templ
a
t
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
Carpenter
locking: add some mo
r
e mutex function
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
Ma
k
e --known-co
n
di
t
ions
a
n
op
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
h
a
ndle kno
w
n c
o
ndit
i
on
s
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
t
e
r
c
he
c
k_
m
e
mory: add ru
d
imentary
valid
a
tion test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
r
pen
t
er
new script to
p
rin
t
a lis
t
of functi
o
ns
which
free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
a
r
pe
n
ter
c
heck_me
m
ory: ma
k
e arg
u
ments static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
template: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
template: r
e
move unu
s
ed header, updat
e
commen
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpent
e
r
check
_
locking: add mutexes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carp
e
nter
check_memory: add
k
zall
o
c(), more complex v
a
r
i
ables
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
implied: han
d
le &u
n
defin
e
d better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Ca
r
penter
info: loop
c
ould be replaced wi
t
h if
s
t
atement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n
Car
p
enter
kchec
k
er: a
d
d "--sp
a
r
se" option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpe
n
ter
s
m
atch_implied
/
slist: mov
e
funct
i
ons from slist to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpenter
check_
m
em
o
ry: use com
p
lex variable
s
instead of regu
l
ar
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Carpen
t
er
check_memory:
a
ssume parents assigned on
all pa
t
h
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpen
t
er
ch
e
ck_memory: Mo
r
e changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
assignments can add a p
a
rent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpen
t
er
Ha
n
dle
in
i
t
ial
i
zation in
t
he declaratio
n
s
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
C
ar
p
ente
r
Cu
t
dow
n
on false positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpent
e
r
Pars
e
the return s
t
a
tement befor
e
call
i
ng th
e
retur
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan
Carpente
r
Fix crashing
bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Remo
v
e
some fal
s
e po
s
iti
v
e
s
and
enable
t
h
e chec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpent
e
r
Demote argument null
derefs to cross func null derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Label the
o
utput: e
r
ror, warn, or info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
D
a
n C
a
rpenter
Ad
d
a h
a
ck to han
d
le
the k
e
r
n
el's redefined if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Car
p
e
n
ter
Handle more comparisons
t
han just
(foo
=
=
0
) and (foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carp
e
n
t
er
c
heck_
l
o
ck
i
ng: a
m
erge
wi
t
h NULL is
a merge wit
h
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carpent
e
r
Remove u
n
n
e
e
de
d
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add line
num
b
er ba
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Us
e
the
m
ost
recent
i
mp
l
ications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
a
r
penter
Add option --ass
u
me-loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Ca
r
penter
Add
an o
p
tion --no-implied to
turn of
implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carp
e
n
t
er
implied pools: c
l
e
anup how impl
i
ed pools are crea
t
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carp
e
nter
check_memo
r
y:
s
epa
r
ate out a m
a
lloced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
D
an Carp
e
nter
All along I was adding the pools
t
o th
e
w
r
ong place
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an
Carp
e
nter
Cl
e
an up
.
Move a couple ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
penter
Add a sanity check t
h
a
t
->
p
os
s
ible has a ->my
_
pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
a
r
penter
Clean up
.
Freei
n
g t
h
e
sm_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Or
i
n
g
the
slists seems
l
ike merge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carpenter
Add a --debu
g
-impl
i
ed op
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
ch
e
ck_memory: Fi
x
segfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
k
checker: hel
p
er script to invoke
smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpen
t
er
che
c
k_
m
e
m
or
y
: new code
.
no
t
used yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Car
p
enter
Fix bug
i
n compou
n
d conditions and
a
dd va
l
idati
o
n
t
est
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
enter
ch
e
ck_locking: han
d
l
e functions wi
t
h
n
o retur
n
statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
arpenter
Fix
s
o secur
i
ty_fixup_ops() doesn't tr
i
g
ger
t
h
e OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carpent
e
r
Fix 'or'ing states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan C
a
rpenter
Fi
x
NULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For some reason smatc
h
can't find the
s
e header
files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
arpe
n
ter
Fix strin
g
me
m
ory
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
Remove unneeded allocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
C
ar
p
enter
Remove ou
t
dated com
m
ent
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
D
on't __
f
ree_sm_state() until end
o
f function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
free_slist() after calling get
_
all
_
states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
e
n
ter
don'
t
reallo
c
ate the
->pos
s
i
b
le stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
Get rid of unused line hi
s
tory code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
F
i
x som
e
mem
o
ry le
a
ks in __i
m
plied_states_
h
ook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpe
n
ter
Ad
d
free_trackers_a
n
d_list() and free_tracker_list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Car
p
e
nte
r
Add new free_
s
tack(
)
funct
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
ren
a
me
d
el_sl
i
st_stack() to free_stack_and
_
s
l
ists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpen
t
er
rename
del
_
slis
t
(
) -> free_sli
s
t
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Free all the sm_states at the end of each f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n Carpenter
Add ->
p
ossible to _
_
print_slist()
o
utput
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Da
n
Carpenter
Save
all the p
o
o
ls a state
goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpente
r
Add and fix smatch implied te
s
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carp
e
n
t
er
Preser
v
e
t
h
e ->pools
and ->possib
l
e
f
o
r
imp
l
i
e
d sta
t
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
penter
F
i
x handling mutu
a
ll
y
exc
l
usive
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpen
t
er
G
et
r
i
d of re
d
unda
n
t harmo
n
ize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n
C
arpenter
Add func
t
io
n
__set_true
_
false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Onl
y
save a
n
implied list if a sta
t
e has been modi
f
ied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
Carpente
r
Only i
m
plied
s
tates that aren't a
l
r
ea
d
y tru
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Ca
r
penter
Tak
e
a parameter in
s
tea
d
o
f
assumi
n
g
t
he output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
a
rp
e
n
ter
Do
n
't check that there are both true and fals
e
state
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
This ch
e
c
k_order() seems
s
u
p
erfl
u
ous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
New function harmonize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
er
call _
_
split
_
ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next