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
Major memory saving.
2009-04-01
Dan Carpen
t
er
M
a
j
or me
m
ory saving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
ter
--debug mean
s
print the
i
mplicat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpente
r
A
dd --no-implied to the h
e
l
p
t
ext
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Save memory
.
Don't cop
y
the state
n
ame so m
u
c
h
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan
C
arpenter
Add check_type
.
c (disa
b
led)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Car
p
ent
e
r
k
r
e
f_put() and kobje
c
t
_pu
t
() are b
a
sica
l
ly like
a
free
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan
Carpenter
Don't dereference fre
e
d
m
emory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpent
e
r
A
d
d all the allocation fu
n
c
t
ion
s
t
o check_leak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Car
p
enter
Gener
a
te a l
i
st of fun
c
t
i
o
n
s that
allocate data
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan
C
arpenter
U
p
d
a
te the gen_
f
rees_
l
ist
.
s
h a
n
d the ge
n
erated d
a
ta
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Da
n
Carpe
n
t
e
r
S
a
v
e function lists in smatch_data
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
D
an Carpenter
new (disabled)
script: chec
k
_leak
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan C
a
r
pent
e
r
i
mplie
d
: add ge
t
_implication
s
() f
o
r scripts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Add comment
.
get_val
u
e returns UNDEFINED on
error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
f
u
nction_hooks:
b
u
mp
the
n
umber
of entries
i
n
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
n
ew: add_fu
n
ction_assign_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
arpenter
C
l
ea
n
up th
e
cond
i
t
i
onal hook code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpen
t
er
new
api: add_cond
i
tional_hook(
)
, se
t
_con
d
_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpe
n
ter
func
t
ion
_
h
ooks: p
a
s
s
the f
u
n
ction name as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Ca
r
pente
r
don't tr
y
return bloc
k
things i
n
get
_
v
a
r
iab
l
e_from_expr_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
an Carpenter
Add
a
list of n
o
r
e
t
u
rn t
y
pe fu
n
ctions th
a
t nullify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Car
p
en
t
e
r
Merge
br
a
nch 'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
recompile t
h
e c
h
eck_*
.
c f
i
les if the smatch hea
d
ers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_over
f
low:
tes
t
copy_to/fr
o
m_user as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
check
_
ove
r
f
low:
don't m
u
l
tiply the size
of stri
n
gs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
assumed_
n
onnull crap
.
.
.
temp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
ar
p
en
t
e
r
Add script to genera
t
e
the frees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpe
n
t
er
rename regi
s
ter_frees_arg
u
ment to che
c
k_frees_argume
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
fix or
d
e
r of process
i
ng of co
m
mas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an C
a
rpenter
get rid
of
FUNCTION_CALL_AFT
E
R_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpente
r
chang
e
o
r
d
e
r of
con
d
ition process
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get rid
o
f
ASSIGNMENT_AFTER_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Ca
r
penter
check_memory:
r
ea
d
freeing functions from fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
check_me
m
ory: r
e
ad freeing fu
n
ctions from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan
Car
p
enter
frees_argument: don't
c
o
u
nt functions t
h
a
t
only free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpente
r
core: improve andi
n
g cond
i
tion h
a
ndling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Ca
r
p
enter
chec
k
_overf
l
ow
:
move to new ad
d
_function_ho
o
k()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_locking: move
to the new function hook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Car
p
enter
c
h
eck_locking: fix some
d
o
uble unloc
k
f
a
lse positive
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n
Car
p
e
nter
core: add_fun
c
tion_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpen
t
e
r
make some
v
ars s
t
ati
c
.
oth
e
r rando
m
sparse st
u
ff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
an Carpe
n
ter
core:
ad
d
_
u
nmatc
h
e
d
_state_h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
enter
implied: re-a
d
d the
debug
out
p
u
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
D
an Carpenter
c
h
a
n
ge convention: regis
t
er_template() -> che
c
k_t
e
mp
l
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
locking: ad
d
some more mut
e
x f
u
nctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
Ma
k
e
--known-cond
i
tions
a
n
option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
C
a
r
pen
t
er
handle known c
o
ndit
i
o
n
s
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
Carpen
t
er
check_memory: add rudimen
t
ary validation te
s
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpente
r
new script to
p
rin
t
a l
i
st of
f
unc
t
ions which
f
ree
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n Carpenter
c
h
eck_mem
o
r
y
: m
a
ke
a
r
g
u
ments
s
ta
t
i
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
template: fix mem
o
ry l
e
ak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpent
e
r
temp
l
ate:
re
m
ove u
n
used header, update
c
omments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
te
r
chec
k
_locking:
add
m
utex
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_memory:
add
kzalloc(),
m
ore co
m
plex
v
ar
i
able
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rp
e
nter
implie
d
:
h
andle &undefined better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
info:
l
oop coul
d
b
e
re
p
laced with if
statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
kchecker:
add "--s
p
arse" option
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpenter
smatch_imp
l
ied/sli
s
t: move functio
n
s
fro
m
s
l
is
t
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
a
rpenter
c
heck_mem
o
ry: use complex variables
i
n
stea
d
of r
e
gular
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-16
Dan Ca
r
pente
r
check_m
e
mory: ass
u
me pa
r
ents
a
ssign
e
d on all paths
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
rpenter
c
heck
_
m
e
mory: More
c
hang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
a
ssignments
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 i
n
itializatio
n
in
th
e
d
e
clarations
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpen
t
er
C
u
t
down
on false positives
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Parse t
h
e re
t
u
r
n stat
e
ment befor
e
cal
l
ing the return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Fix crashing
bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Car
p
enter
Re
m
ove some
false po
s
it
i
v
es and enab
l
e
t
he
c
heck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpe
n
ter
Demote argumen
t
n
u
ll
d
er
e
fs to c
r
oss
f
unc
null derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Da
n
Carpenter
L
abel the output: error, warn,
or
i
nfo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Add a hack to handle
t
he kerne
l
's rede
f
ined if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan C
a
r
pent
e
r
Handle more comp
a
risons than
j
u
s
t (
f
oo
=
=
0) and (foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
C
a
r
p
enter
ch
e
ck_locking:
a merge with NULL is a merge
with the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
a
rp
e
nter
Remove unne
e
d
e
d
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
arpenter
Add line num
b
er back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Use the most
r
ecent i
m
p
l
ications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
A
d
d option --as
s
ume-l
o
op
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add an opt
i
on --no-im
p
l
ie
d
to turn of implicat
i
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
D
an Carpenter
i
m
plied pools: cleanup ho
w
i
mplied p
o
ols
are created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan C
a
r
penter
check_mem
o
ry:
s
ep
a
rate out
a
mal
l
oced stat
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpen
t
er
All
a
long I was addi
n
g
the
pools t
o
the wrong place
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpent
e
r
Clean up
.
Move a
couple ifdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add
a
s
an
i
ty c
h
eck
t
hat ->
p
o
s
s
ibl
e
has a
->my_p
o
o
l
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpe
n
ter
Clean up
.
Fr
e
e
ing the sm_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
rpenter
Oring the s
l
ists seems
like merge_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carpenter
Add a --debug-implied option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpe
n
ter
che
c
k
_
memory: Fix segfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n
Carpent
e
r
k
c
hecker: helper
s
cript to inv
o
ke smatc
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n
Ca
r
pent
e
r
check_memory: new
code
.
n
o
t
us
e
d yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpent
e
r
Fix bug in compound co
n
d
i
tions and
ad
d
validation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
pen
t
er
check_locking: handle functions with no return
s
tatement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
enter
Fix s
o
security_fixup_ops() doe
s
n't trigger the
O
OM
.
.
.
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 Carpe
n
ter
Fix NUL
L
deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n
Carpenter
F
o
r some
r
eason sma
t
ch can
'
t f
i
nd
these
h
eader
files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix stri
n
g memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpe
n
ter
Remove
u
n
n
eeded
allo
c
ation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
Rem
o
v
e outdated c
o
mment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
Don't __free
_
sm_
s
tate
(
) un
t
il
end of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Car
p
enter
free_slist() after calling get_all_sta
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pen
t
er
don't reallocate
t
he ->possible states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next