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
rename known_condition_true() to implied_condition_true()
2009-04-07
Dan Carpen
t
er
rename kn
o
wn_con
d
ition_true() to
im
p
l
i
ed
_
condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
C
a
r
penter
Add ERR_PT
R
() c
h
e
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
__module_pu
t
_a
n
d_ex
i
t()
doesn't retu
r
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
S
e
p
arate
t
h
e lis
t
of freed argumen
t
s from decremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
C
arpenter
W
rite a scri
p
t to pr
i
nt function
s
tha
t
return
NU
L
L
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carpenter
Don't free bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Oop
s
.
Co
m
mit these e
s
sential files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Handle know
n
c
o
n
ditions when they are
a
simpl
e
val
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Da
n
Carpenter
Add CASE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Fix memory lea
k
s found by val
g
rind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
alloc_string() -> alloc_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpenter
Put s
o
me validation scripts
in the closet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
I
m
plied range
s
.
Part #2
.
Fi
l
t
ers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
arpenter
Silenc
e
the mutually excl
u
sive output aga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpe
n
ter
Free al
l
data_info
at
t
h
e
en
d
of a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Ca
r
penter
A
d
d --no
-
data option an
d
w
a
rning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Da
n
Carpenter
r
ange fix
.
anding slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpe
n
te
r
clea
n
u
ps from clone
_
slist(
)
cha
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
Implied
r
a
nges
.
P
art
#1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpente
r
Add th
e
a
l
lo
c
ation func
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Car
p
e
n
ter
f
r
ee_scq i
s
def
i
ned
2
times quite d
i
ffere
n
tly
.
I
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Fix
i
m
p
licat
i
ons (fall
o
ut from clone_s
l
ist() change
s
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpent
e
r
M
a
jo
r
memory s
a
ving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
--debug mean
s
prin
t
the impl
i
cations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
ar
p
en
t
er
Add --no-impl
i
ed to the help text
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
an Ca
r
penter
S
a
ve memory
.
Don't
c
o
py the
state name so
m
u
ch
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpe
n
t
er
Add check_t
y
p
e
.
c (disabled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
kref_put() a
n
d kobject_put
(
)
a
re bas
i
ca
l
ly like a free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpente
r
Don't dereference freed memo
r
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan C
a
r
penter
Add all
t
he all
o
c
ation
funct
i
on
s
to check_leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
D
an Carpe
n
ter
G
ene
r
ate a list
o
f functions that allocate d
a
ta
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Carpenter
Updat
e
the gen_fr
e
es_list
.
sh a
n
d
the generated data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
Save fu
n
ction li
s
ts in
s
m
atc
h
_data
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpe
n
ter
new (disabled) sc
r
ipt:
check_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
D
a
n Ca
r
pente
r
implied:
a
d
d
get_impli
c
a
tions
(
) for scripts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpent
e
r
Ad
d
comment
.
ge
t
_
v
a
l
u
e
ret
u
rn
s
UNDE
F
I
N
E
D
on
error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
fu
n
ctio
n
_hooks: bump the number of entries in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpent
e
r
new:
add_function_assign_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carp
e
nter
Clean up
the
c
onditional h
o
ok code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
an Carpe
n
ter
ne
w
api: a
d
d_conditio
n
a
l
_
hoo
k
(), set_co
n
d_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
func
t
io
n
_hooks
:
pass
the func
t
i
o
n name
a
s
well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Car
p
enter
don't try r
e
tur
n
blo
c
k things in get_variable_
f
rom_expr_
c
omp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Add a list of
n
o
r
eturn type functions
t
h
a
t nullify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
an Carp
e
nter
M
e
rge b
r
anch 'de
v
el'
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
recompile the che
c
k_*
.
c files if t
h
e smatch headers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carp
e
nter
check_overfl
o
w: test copy_to/from_us
e
r as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_overflo
w
: d
o
n't
multiply the
s
i
ze of stri
n
gs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpent
e
r
assumed_n
o
nnull crap
.
.
.
temp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
enter
Add script to ge
n
erate the
frees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
er
r
e
name register_f
r
ees_a
r
gum
e
nt
t
o check_f
r
ees_argum
e
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
rpenter
fix order
of pr
o
cessing of commas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
get rid of FUNC
T
ION_CALL_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Carpenter
c
hange order of condition processing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
get r
i
d
of AS
S
I
G
NMENT
_
AFTER_
H
OOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
e
n
ter
check_memory:
r
ead freeing functio
n
s from
f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
D
an Carpenter
check_memory: r
e
ad freeing
f
u
ncti
o
ns f
r
om file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Ca
r
penter
frees_argument: don't co
u
nt functions that only free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
D
a
n C
a
r
penter
cor
e
: improve an
d
i
n
g conditio
n
handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpenter
check_overflow:
m
ove to
new add
_
funct
i
on_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpen
t
er
ch
e
ck
_
loc
k
ing: move to the ne
w
function hoo
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
C
arp
e
n
te
r
chec
k
_loc
k
i
ng: fix some doubl
e
unlock
f
alse
po
s
itives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpenter
c
o
re: add_function_
h
ook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Ca
r
pe
n
ter
make some v
a
rs static
.
other random sp
a
rse
s
tuff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
ar
p
e
nter
core:
a
d
d_unmatched_state_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Carpenter
implie
d
: re-ad
d
t
h
e debug output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
cha
n
ge convention: register_tem
p
late(
)
->
check_template()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
an C
a
rp
e
nter
l
o
c
king: add
some more
m
utex f
u
nc
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
enter
Ma
k
e
--know
n
-condit
i
ons an option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
handle known cond
i
t
i
ons
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
check_memory: a
d
d
rudimentary val
i
dation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
new
scri
p
t to print a list
o
f functions wh
i
ch free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
Carpenter
check_me
m
ory: ma
k
e argu
m
ents static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpenter
t
e
mplate:
f
ix
m
e
mory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carp
e
nter
template
:
remove unus
e
d header,
u
pda
t
e
comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_locking: add mutexes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Ca
r
pe
n
ter
chec
k
_memory:
add kzallo
c
(
)
,
m
o
r
e com
p
lex variables
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carp
e
nter
i
m
plied
:
han
d
le &u
n
define
d
bette
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Carpenter
info: loop could be replac
e
d with if s
t
a
t
e
m
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Car
p
ente
r
kchecker: add "--sp
a
rse"
o
ption
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n
Ca
r
pe
n
ter
s
m
atc
h
_implied/slist:
mo
v
e fun
c
tions from
slist
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Ca
r
penter
check_memor
y
: use complex va
r
iables instead
o
f
reg
u
l
a
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
arpe
n
ter
c
he
c
k_mem
o
ry: a
s
sume p
a
r
en
t
s assigned
on all paths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan
Ca
r
p
e
nter
check_me
m
ory
:
More
ch
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
assignments can add a paren
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpent
e
r
Hand
l
e
initialization in the de
c
larat
i
ons;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan
Carpenter
Cut down on false positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Parse the return sta
t
ement before calling the return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
an Ca
r
penter
Fix cra
s
hin
g
bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n
Carpente
r
R
emove some false positives an
d
enable the check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carp
e
nter
De
m
ote argument nu
l
l de
r
efs to cross func null de
r
efs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Ca
r
penter
Label the output: error, warn, or info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpe
n
ter
Add a hac
k
to ha
n
dle the
kern
e
l's redefined if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
D
a
n Ca
r
penter
H
a
ndle m
o
re co
m
p
a
r
isons t
h
an j
u
st (foo == 0) a
n
d
(
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
check_locking: a m
e
r
g
e w
i
th NULL is a
m
erge
w
ith the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
an Carpenter
Remove unne
e
ded code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carpenter
Add
li
n
e
number back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n
Carpenter
Use the
most r
e
c
e
n
t
i
m
pl
i
cations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carpenter
Add op
t
ion --assume-loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Ca
r
penter
Add an o
p
ti
o
n -
-
no-
i
mplied to t
u
rn
o
f impl
i
cations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpenter
implied pools: cleanup how i
m
pli
e
d pools
a
re created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next