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
Update the gen_frees_list.sh and the generated data file.
2009-03-27
Dan
C
a
r
p
ent
e
r
Upd
a
te the gen_frees_list
.
sh and t
h
e generated data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
D
a
n Carpenter
Save func
t
i
on list
s
in smat
c
h_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
new (dis
a
b
l
ed)
script: check_lea
k
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
im
p
lied: add get_im
p
lications() f
o
r scripts to u
s
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpen
t
er
Add comment
.
get_
v
alue ret
u
r
n
s U
N
DE
F
IN
E
D on e
r
ror
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
an Carpenter
function_hooks: bump the number
o
f ent
r
ies in th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
Car
p
en
t
er
n
ew:
a
d
d
_funct
i
o
n_assign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Clean up the
cond
i
t
i
onal hook code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Car
p
ent
e
r
n
e
w
a
pi: add_condit
i
onal
_
hook(), set_con
d
_
sta
t
es
(
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
Carpen
t
er
funct
i
on_ho
o
ks: pa
s
s the function name as w
e
ll
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
don't
t
ry ret
u
rn block
t
hings in get_
v
ariable_from_expr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n
C
arpenter
Ad
d
a list of
n
oreturn type funct
i
on
s
that n
u
llify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
arpenter
Merge
bra
n
c
h
'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
reco
m
pile t
h
e check_*
.
c files if the
s
m
atc
h
headers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
p
e
n
ter
check_o
v
erflow: test
c
opy_to/from
_
user
as wel
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
c
h
eck_overflow: don't multipl
y
the
size of
s
trings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Ca
r
penter
assumed_nonnull crap
.
.
.
t
e
mp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
ar
p
enter
A
d
d s
c
r
ip
t
to gen
e
rate the
f
rees list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
r
enam
e
reg
i
s
t
er_frees_argu
m
en
t
to check_
f
r
e
es_argument
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
fix
o
rder of proc
e
ssi
n
g of commas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
g
e
t
rid of F
U
NCTION
_
C
A
LL_AFTER_H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
change o
r
der of c
o
ndit
i
on
p
rocessing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
get rid
o
f ASSIGNMENT_
A
FTER_H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
c
heck_mem
o
r
y
: read free
i
ng functions from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Car
p
enter
check_memor
y
: read free
i
ng functions from f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpen
t
er
frees_argume
n
t
: don't count
functions th
a
t only free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
D
an Carpent
e
r
co
r
e:
i
mprove anding condition h
a
ndling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpenter
check_
o
v
e
rflow:
m
ove to new ad
d
_funct
i
o
n
_hook
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_locking: m
o
ve to the new f
u
ncti
o
n hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_lock
i
ng:
f
ix some
double unlock false positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
core: add
_
function_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Carpenter
m
ake s
o
me vars sta
t
i
c
.
o
ther
r
a
ndom sparse stuf
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
core:
a
dd_unmat
c
hed_state_
h
ook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpen
t
er
implied: r
e
-add the deb
u
g
o
u
t
p
ut
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carp
e
nter
change
c
on
v
ent
i
on
:
register_template() -
>
check_template
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
C
arpenter
locking: a
d
d so
m
e more
m
ute
x
funct
i
on
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
M
a
ke --known-conditions
an opti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
enter
handle
k
nown conditi
o
ns b
e
tter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
an Carp
e
nter
check
_
memory: add
ru
d
imentary va
l
i
dation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
ar
p
ent
e
r
new script to print a list of functions w
h
ich free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
check_m
e
mory: make arguments
s
ta
t
ic
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
:
rem
o
ve unused header, update comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpente
r
chec
k
_
l
ock
i
ng:
add m
u
t
e
xes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Car
p
enter
c
h
e
c
k
_
m
emory: a
d
d
k
zall
o
c
(), more comple
x
variables
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
im
p
lied:
h
andle &unde
f
ined better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpen
t
e
r
info: loo
p
co
u
ld be
r
eplaced w
i
th
if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Carpe
n
ter
k
c
hecker: add "--sparse
"
o
ption
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
a
rpente
r
smatch
_
implied/slist:
m
ove
functio
n
s
f
r
om slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carp
e
nt
e
r
check_
m
emory:
use complex variables instead
of regular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
arpenter
ch
e
c
k
_m
e
mory: a
s
sume parents
assigned on
a
ll p
a
ths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
rpenter
check_m
e
mor
y
: More
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
r
p
enter
a
ssignm
e
nts can
a
dd
a parent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
an Ca
r
pent
e
r
Handle
i
n
itial
i
z
a
tion i
n
th
e
decl
a
rations;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
Carpenter
Cut down
o
n false positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
C
a
r
p
ente
r
Parse the ret
u
rn
st
a
teme
n
t
before ca
l
l
i
ng
t
he return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpen
t
er
Fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan
C
arpente
r
Remove
s
o
me false
p
o
sitives
a
n
d e
n
able
the
c
heck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carp
e
nter
De
m
ote argument
n
ull derefs to cross func
null der
e
fs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Labe
l
the output
:
error, warn
,
or info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
D
a
n Car
p
enter
Add a hack
to handl
e
the kernel's rede
f
ined if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Car
p
enter
Handle more com
p
ari
s
ons than just
(foo ==
0) and (foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpenter
c
h
eck_locking: a merge with N
U
LL is a merge
w
ith the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Remove unneeded c
o
de
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n
Carpenter
Add
l
ine n
u
mber b
a
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
arpenter
Use the most recent implicati
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpen
t
er
Add option --assum
e
-l
o
ops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
D
an
Carpenter
Add an option --
n
o-implied
t
o
t
u
rn
of
i
mpl
i
cations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Da
n
Carpenter
implied
pools: cleanup ho
w
implie
d
pools are
c
reated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpen
t
er
check_memo
r
y
: separ
a
te o
u
t a malloced state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Da
n
Carpenter
A
l
l along I was add
i
ng the
p
ools t
o
the wrong pl
a
ce
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carpenter
Cl
e
an up
.
Move
a
c
o
uple ifd
e
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
a
r
p
enter
Add
a
s
a
nit
y
c
h
eck
t
ha
t
-
>possibl
e
has
a
->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n C
a
r
p
enter
C
lean u
p
.
Freeing the sm_states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Ca
r
penter
Oring t
h
e
slists seem
s
like merge
_
slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Carpente
r
Add a --debug
-
implied
option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
che
c
k
_
memory: Fix segfau
l
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpenter
kc
h
ecker: hel
p
er s
c
ript to invoke s
m
atch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpe
n
ter
c
h
eck_me
m
or
y
:
new
c
ode
.
not u
s
ed yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fix bu
g
in compou
n
d con
d
i
tions
a
nd
a
d
d
validati
o
n test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
check
_
locking: handle function
s
wi
t
h no return st
a
te
m
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carp
e
nt
e
r
F
ix so securit
y
_fi
x
u
p_ops(
)
does
n
't tri
g
ger t
h
e
OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
a
r
p
enter
Fix 'or'ing st
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carpenter
Fix NUL
L
d
eref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpe
n
t
er
For some reason smatch can't find th
e
s
e
header fil
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
F
i
x string memory lea
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpe
n
ter
Remov
e
unne
e
d
ed
a
llocatio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Remove
o
utdated comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carp
e
nter
Don't __f
r
ee_sm_state
(
) unt
i
l end of functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
f
r
ee_slist() after cal
l
ing get_all_sta
t
e
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpen
t
er
do
n
't
reallocate the -
>
p
ossible states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpente
r
Get rid of
unused lin
e
history cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an
C
a
r
pente
r
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
an Carpen
t
er
Add free_trackers_and_list() and f
r
ee_tracker_l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
A
d
d new free_st
a
ck() functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
r
ena
m
e
del_slis
t
_stack() to free
_
stac
k
_and_slis
t
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
ren
a
me del_slist()
-
> free_sli
s
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
Free a
l
l the sm_states at the end of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan
Carpenter
Add ->possib
l
e to __print_slis
t
() output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n Carpenter
Save all the
poo
l
s a sta
t
e
g
oes
thr
o
ugh
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next