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 all the allocation functions to check_leaks.
2009-03-28
Dan Carpe
n
ter
Add all the allocation function
s
to check_l
e
a
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpente
r
Generate a list o
f
fu
n
ctions t
h
at
allocate
data
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan
C
arpenter
Update the gen_frees_li
s
t
.
s
h and
t
h
e gene
r
a
ted da
t
a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
Save
function lists in smatch_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
new (disabled) script: ch
e
ck_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Ca
r
pente
r
implied:
a
dd
g
et_implications()
for scripts to us
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpe
n
ter
Add co
m
m
e
nt
.
get_val
u
e returns UNDEFINED on error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpe
n
ter
function
_
h
o
oks: bump the n
u
m
b
e
r of entrie
s
in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
arpe
n
ter
new: add_function_assign_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
C
a
rpent
e
r
C
l
e
a
n up the conditional ho
o
k code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
C
a
rpenter
new
a
pi: add_c
o
n
d
i
t
i
o
nal_hook(), set_co
n
d_states
(
);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n
Car
p
e
n
t
e
r
function_hooks: pass th
e
f
u
nction na
m
e as wel
l
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan C
a
rpenter
don't
t
r
y
r
eturn blo
c
k things in get_v
a
r
i
able
_
from_expr_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Add a list
of noreturn type functions that
n
ullify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Merge branch
'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
r
ec
o
mpile the check_*
.
c files if th
e
smatch hea
d
er
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpente
r
check_overflo
w
: test copy
_
to/from_u
s
er as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Car
p
enter
check_overf
l
ow: don
'
t multi
p
ly the size o
f
strings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
r
penter
assume
d
_non
n
u
ll cr
a
p
.
.
.
temp f
i
x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
Add script to generate
t
h
e frees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
rename r
e
gister_frees_argument to check_f
r
ees_argument
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n
Carpenter
f
ix order o
f
processin
g
of co
m
mas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
e
n
ter
get rid of FU
N
CTION_CALL_
A
FTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
change order of condition
proces
s
in
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get rid of ASS
I
G
N
MENT_A
F
T
ER_
H
OOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_memory: read freeing functions from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Car
p
enter
check_memory: re
a
d freeing functions from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
f
rees_arg
u
ment: don't count functions that only free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
core: improve
andi
n
g condition handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan
C
arpente
r
check_over
f
low
:
move to new add_functi
o
n_hook(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carp
e
nter
check_locking
:
m
ove to the new function hook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
c
h
e
ck_locking: fi
x
some d
o
u
b
l
e unlock false posi
t
ives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
core: a
d
d_fu
n
c
t
ion_hoo
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
r
p
enter
make
s
ome vars
s
t
atic
.
other ran
d
om
sparse stuff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
core: add_u
n
matc
h
ed_s
t
a
te_ho
o
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
C
a
rpenter
implie
d
: re-add the debug output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpen
t
er
change
conventio
n
:
register_templat
e
() ->
check_temp
l
at
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Car
p
enter
l
ocking:
add some more mu
t
e
x
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
M
ake --
k
nown-con
d
itions an optio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
handle
k
nown conditions bet
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_memory: add rudime
n
tary vali
d
ation
t
est
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
new scr
i
pt
t
o pri
n
t a
l
ist of functions w
h
i
c
h
free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
c
h
eck_me
m
ory:
make arguments static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
C
arp
e
nter
tem
p
late: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpenter
template: remove unused h
e
ader, update co
m
m
ents
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
r
p
en
t
er
c
h
eck_lock
i
ng:
add mutexes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpenter
check_mem
o
ry: add kzalloc(), more complex
v
a
r
i
ables
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
implied:
handle
&und
e
fined better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n
Carpent
e
r
in
f
o:
l
o
op could be r
e
placed with
if statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpen
t
er
k
c
hec
k
e
r
: add "--sparse" option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpenter
sm
a
tch_impli
e
d/s
l
ist: move fu
n
ction
s
from sl
i
s
t to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
check_mem
o
ry: use co
m
plex
va
r
iabl
e
s instead of re
g
ula
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
che
c
k
_
memor
y
:
assume p
a
rents as
s
igned on all
p
aths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
check
_
memory:
M
ore changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
a
r
penter
as
s
ignment
s
can add a p
a
rent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Car
p
enter
Handle in
i
tia
l
izat
i
on
i
n the
declarations;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpe
n
t
e
r
Cu
t
down on
f
alse positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpen
t
er
Parse the return statemen
t
before calling the return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
an Carpenter
F
i
x crashing b
u
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n Carpe
n
ter
Remove
s
o
me false positive
s
and enable the ch
e
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Demote argument nul
l
derefs to
c
ross func null derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
an
Carpenter
L
a
be
l
the outp
u
t:
error, warn, or in
f
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Da
n
Carp
e
nter
A
dd a
h
ack to
h
andl
e
the k
e
rnel's redefi
n
ed if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Ca
r
pent
e
r
Hand
l
e more com
p
a
r
isons tha
n
just
(
fo
o
== 0) and (foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpe
n
te
r
check_locking:
a merge with NULL is a mer
g
e with the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpenter
Remo
v
e
unnee
d
ed c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add l
i
ne nu
m
ber
back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carp
e
nter
Use
the most recent imp
l
ications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carpente
r
Add option -
-
a
s
sume-loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Carp
e
nter
A
d
d an option -
-
no-impl
i
ed to turn of im
p
lication
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Da
n
Carpe
n
ter
i
m
plied pool
s
: cl
e
anup how implied p
o
o
l
s are
created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan C
a
rpenter
check_
m
e
mory: s
e
p
arate
out a malloced state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpe
n
ter
Al
l
along I
was adding t
h
e pools
t
o the wrong p
l
ace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
a
rpenter
Clean up
.
Move a coup
l
e ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carpenter
Add a
sanity c
h
eck that ->
p
ossible has a
-
>my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carp
e
nter
Clean u
p
.
Freei
n
g the sm_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carp
e
nter
Oring the slist
s
seems like m
e
rge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carp
e
nter
Add a --debug-implied opti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
check_memory: Fi
x
segfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n Carpen
t
er
kchecker: h
e
lper script to
invoke smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpente
r
check
_
memory: new code
.
not used yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n
C
a
rpenter
F
ix bug in
c
ompound conditions and add v
a
lidation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n
Carpe
n
ter
check_lock
i
ng
:
handle funct
i
ons wi
t
h
n
o retur
n
statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
e
n
ter
Fix so security
_
fixup_ops() doesn't trigger the OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
Fix 'or'i
n
g states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix NULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
F
o
r some reason smat
c
h can'
t
find these header files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpenter
Fix string memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
C
a
rpenter
Remove unneeded allocation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove outdated
comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpen
t
e
r
Don't __free_sm_
s
tate(
)
until
end of func
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
free_slist
(
) after calling get_all_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
don't reallocate
the ->po
s
s
i
ble
state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rp
e
nter
Get r
i
d o
f
unused
line hist
o
ry code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
Fix s
o
me
m
emory
le
a
k
s
in __imp
l
i
ed_state
s
_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
Add free_trackers_and_list()
and free_track
e
r_l
i
st
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add new free_stac
k
() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
rename del_
s
l
i
st_stack() to
f
re
e
_sta
c
k
_and_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
re
n
ame del_slist() -
>
free_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fre
e
all the s
m
_state
s
at the
e
nd
of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next