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 comment. get_value returns UNDEFINED on error.
2009-03-25
Dan Carpente
r
A
d
d comment
.
get_v
a
lue returns
UNDEFINED on err
o
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
an Carp
e
n
ter
function_hooks: bump the number of entries in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new: add_func
t
ion_assi
g
n_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan C
a
rpenter
Clean up the conditio
n
a
l
hook c
o
de
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpente
r
ne
w
a
p
i: add_condition
a
l_hook(), set_cond
_
s
t
ates();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
arp
e
nter
functi
o
n
_
hooks:
p
ass t
h
e
func
t
ion name a
s
we
l
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Carpenter
don't try return block things in g
e
t_variable_from_expr_c
o
mp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
C
arp
e
nter
A
d
d
a lis
t
of noreturn type f
u
nct
i
ons that nullify
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Car
p
en
t
er
Mer
g
e branch
'
devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arp
e
nter
r
e
c
omp
i
le the
check_*
.
c
fi
l
es i
f
t
he smatch he
a
de
r
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
check_overflo
w
: test copy_to/
f
rom_user as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n C
a
rpenter
c
h
eck_overflow: don
'
t multiply t
h
e size of strings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
as
s
umed_nonnull c
r
ap
.
.
.
t
emp
f
i
x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
Add scri
p
t to generate
t
he f
r
ees lis
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
rename
register_fr
e
es
_
argumen
t
to check_frees_arg
u
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
fix order of proce
s
s
i
ng of commas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
get rid of FUNCTION_CALL_AFTER_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
change order of cond
i
tion proces
s
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
g
et
r
id of ASSIGNMENT_
A
F
TER
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
check_me
m
ory:
r
ead
f
reeing functions from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
D
an
Carpen
t
er
c
heck_memory: r
e
ad freein
g
functio
n
s f
r
om file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan
C
arpen
t
er
frees
_
argument: don't count functi
o
ns
t
hat only
f
r
ee
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpen
t
er
core: im
p
rove anding
conditi
o
n handli
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
an
Car
p
e
nter
check_overflow: move
t
o new
add_
f
unction_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carp
e
nter
check_lo
c
k
i
ng: move
t
o t
h
e
n
e
w
f
unction hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Ca
r
pen
t
er
check_locking: fix some double
u
nlock fals
e
positive
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
c
ore: add
_
f
u
n
c
ti
o
n_hoo
k
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n
Car
p
en
t
er
make some vars stat
i
c
.
other random
s
parse stuf
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Carpenter
core:
a
d
d_unmatc
h
ed_state_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
rpe
n
ter
i
m
plied: re
-
add the
d
eb
u
g outp
u
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpenter
c
h
a
nge conve
n
ti
o
n
:
regi
s
ter_templa
t
e()
-
> check_template()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
locking:
a
dd some more mutex func
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Carpent
e
r
Ma
k
e --known-conditions an option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpente
r
ha
n
dle kno
w
n con
d
i
t
i
ons bet
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
pe
n
ter
check_memory: add rudimenta
r
y validatio
n
test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpente
r
new script to print a
l
ist of f
u
nctio
n
s
whi
c
h free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpen
t
er
ch
e
ck_memory:
make
a
rgument
s
stati
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpe
n
ter
template: fix
me
m
ory
l
e
a
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
Carpent
e
r
template: remove un
u
se
d
header, u
p
date commen
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpent
e
r
check_locking: add m
u
texes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpente
r
c
h
ec
k
_
m
emor
y
: add kzall
o
c(), more compl
e
x variables
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
implied:
hand
l
e
&
undefined bet
t
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
i
nfo: loop could be rep
l
ace
d
with if
s
tatement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
kchecker: add "
-
-sparse" option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
smatch
_
i
m
p
l
ied/slist: move functions f
r
om slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
ch
e
ck
_
memory: us
e
compl
e
x variables
instead of r
e
g
u
lar
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
Carpenter
check_memory: assume parent
s
assig
n
ed on all paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
rpenter
check_memor
y
: More changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
assignments can add a parent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
H
andle initialization in the declarations;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
C
arpen
t
er
C
u
t down
o
n fals
e
po
s
itives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carp
e
nter
Parse the return statement be
f
ore c
a
lling the return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Fix
c
r
a
shing b
u
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carp
e
nter
Remove
s
o
m
e false positives and enable th
e
chec
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n
C
a
rpente
r
D
e
mote arg
u
ment null derefs to cross func n
u
ll
d
erefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
an Ca
r
penter
Label the output: err
o
r,
warn, or info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
D
a
n C
a
rp
e
nter
Add a
hack to handle the kernel's redefined
if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Ca
r
penter
H
a
n
d
l
e
mor
e
comparisons than just (foo == 0) an
d
(fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpente
r
c
h
eck
_
locking: a merge with
N
ULL is a merge w
i
th
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpente
r
Remove unne
e
ded code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n
C
a
rpe
n
ter
Add li
n
e number back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpe
n
t
er
Us
e
the m
o
st r
e
c
en
t
i
mplicati
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carp
e
nt
e
r
Add
option --assume-loo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Ca
r
penter
Add an
option --no-imp
l
ied t
o
turn
of impl
i
cations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carp
e
nter
impli
e
d p
o
ols:
c
le
a
nup how imp
l
ie
d
pools a
r
e created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carp
e
nter
check_
m
emory: separa
t
e
o
u
t
a ma
l
loce
d
st
a
te
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
All
along I wa
s
adding the pools to the wrong p
l
ace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Car
p
enter
Clean up
.
M
ove a co
u
ple i
f
defs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add a sanity check th
a
t ->p
o
ssibl
e
has a
-
>my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
an Carpente
r
Clean u
p
.
Freeing t
h
e sm_states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpent
e
r
Oring the slist
s
seems like merg
e
_
sli
s
t
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
Carp
e
nter
Add a --deb
u
g-implied op
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
che
c
k_memory: Fix segfaul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpe
n
ter
kchecker:
h
el
p
er
sc
r
ip
t
to i
n
voke smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
check_mem
o
ry: n
e
w code
.
n
o
t used yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n Carpenter
Fix bu
g
in comp
o
und conditions and a
d
d valida
t
ion te
s
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpenter
check_lockin
g
: ha
n
dle functions
w
it
h
no retu
r
n
s
t
at
e
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix s
o
security_f
i
xu
p
_ops
(
) doesn't tr
i
g
ger the
OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpent
e
r
Fix 'o
r
'in
g
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fi
x
NULL deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
pente
r
For some reason smatch can't find th
e
s
e
header files
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpente
r
Fix st
r
ing
m
emory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove unneeded alloc
a
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
Remove outdated
comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
Don't __free_sm_state() un
t
i
l
end
of functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
free_slist() after calling get_all_state
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
a
r
p
enter
don't reallocat
e
the ->possibl
e
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
G
et rid o
f
unused line h
i
stor
y
c
o
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
F
ix
s
o
m
e memory leaks in
_
_impl
i
ed_states_
h
ook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
Add fr
e
e_trackers_and_list() and
f
ree_tracker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
A
d
d new free_stack() funct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an
C
arpenter
rename d
e
l
_
slist_stac
k
() to
f
ree_stack_and_s
l
i
sts()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rena
m
e del_slist()
-
>
free
_
sl
i
st()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
Fr
e
e
all the s
m
_states
a
t the end of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan
C
arpenter
Add ->possible to __pri
n
t_slist() output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpent
e
r
Save all the pools a state go
e
s through
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
A
dd an
d
f
i
x smatch impli
e
d tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
P
re
s
erve th
e
->
p
ools and ->possib
l
e
for impl
i
ed sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpent
e
r
F
i
x handling mutually ex
c
l
us
i
v
e
stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Da
n
Carpenter
Ge
t
rid of redundan
t
harmoniz
e
_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next