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
cleanups from clone_slist() changes.
2009-04-03
Dan Car
p
enter
cle
a
nups from c
l
o
n
e_slist() changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-03
Dan Car
p
enter
Im
p
lied ranges
.
P
a
r
t #1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpe
n
te
r
Add the al
l
ocation fun
c
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpe
n
ter
free
_
scq i
s
defined 2 time
s
qu
i
te differently
.
It
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nter
Fix implica
t
i
ons
(
fallout from
c
lone
_
sli
s
t(
)
c
h
a
nges)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpente
r
Major
mem
o
ry sav
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carp
e
nter
--debug means print the im
p
li
c
ati
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carpenter
Add -
-
no
-
implie
d
t
o
the
h
elp
text
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Save
m
em
o
ry
.
D
o
n't copy the state name
s
o m
u
ch
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n
Car
p
enter
Add check_
t
y
pe
.
c
(
disa
b
led)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-30
Dan C
a
rpe
n
ter
k
ref_put() and kob
j
ec
t
_put() a
r
e
basicall
y
like a
free()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-29
Dan
C
arpent
e
r
Don'
t
d
e
r
ef
e
rence f
r
ee
d
memory
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
D
a
n Carpenter
Add all
t
he
allocatio
n
fu
n
ctions to check_leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-28
Dan
Carpenter
Gen
e
rate a list of
f
unctions that allocate dat
a
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Da
n
Carp
e
nter
Update the gen_frees_l
i
st
.
s
h an
d
the g
e
nerated
data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
S
ave function lists in smatc
h
_d
a
ta
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
new (disab
l
ed) script:
c
h
e
ck_leak
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Da
n
Carpe
n
te
r
implie
d
: add
get_implic
a
t
i
ons() for scripts to u
s
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpenter
A
d
d c
o
m
ment
.
get_value ret
u
rns U
N
D
EF
I
N
ED on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carp
e
nter
function_hooks: bump
t
h
e number o
f
entries in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new: add_func
t
ion_assign_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Ca
r
pe
n
ter
Clean u
p
the co
n
ditional h
o
ok code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpent
e
r
new api: add_
c
onditional
_
ho
o
k(), set_c
o
nd_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
a
r
penter
function_hooks: pass the
f
unction name as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
don'
t
try return block
things
i
n get_vari
a
ble_from_expr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n Carpenter
Add a
l
i
s
t of noreturn type
function
s
that nul
l
if
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Carpenter
Merge branch 'de
v
el'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
recompile t
h
e
check_*
.
c files if the sma
t
ch heade
r
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
check_overflow: test cop
y
_
t
o/from
_
user as
w
ell
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Ca
r
pe
n
ter
c
h
eck_overflow:
d
on
'
t mult
i
ply
t
h
e size of
s
trings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
as
s
umed_nonnull cr
a
p
.
.
.
t
e
mp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
Ad
d
s
c
ript to generate the frees list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
p
ent
e
r
rename
regis
t
er_fr
e
es_argument to c
h
e
c
k_free
s
_argument
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Ca
r
pe
n
ter
fix
o
rder
o
f pr
o
cessing of commas
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get rid of
F
UNCTIO
N
_CALL_AFTER_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
chan
g
e
order of condition processing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
pente
r
get rid of ASSIGNMEN
T
_AFTER_
H
OO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
check
_
memory: read freeing func
t
ions
from fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
D
an Carpenter
check
_
memory: read fre
e
ing fu
n
ction
s
from fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan
Carpenter
f
r
ees_
a
rgument: don't cou
n
t functions t
h
a
t
only free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Car
p
ente
r
core: improve
a
nding condition h
a
ndling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check
_
overflow:
move
t
o n
e
w add_func
t
ion_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan
Carp
e
nter
check_locking
:
move to the new fun
c
tion
h
o
o
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n
C
arpente
r
c
heck_
l
o
ck
i
ng:
f
ix some
d
ouble unloc
k
false positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Car
p
enter
c
ore: ad
d
_
f
unction_hoo
k
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
make
s
om
e
v
ars static
.
other rando
m
sparse stuff
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
core:
a
dd_unmatched_state_
h
ook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpenter
implied: r
e
-ad
d
t
he debug
o
utput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
r
pen
t
er
chan
g
e conven
t
ion: registe
r
_template()
-> check_templat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
locking:
a
dd
s
o
me
more mutex f
u
nctio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
Make --
k
no
w
n-conditi
o
ns
a
n option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
ha
n
dle k
n
own condit
i
ons better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
an
C
arpenter
ch
e
ck_
m
emory: add rudimentary validation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
n
ew s
c
ript to pri
n
t a list of functions which free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
te
r
check
_
memory: make a
r
g
u
me
n
ts
s
tatic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpent
e
r
template: fix m
e
mory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpente
r
template: remove unu
s
ed head
e
r,
u
p
d
ate comme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
check_lo
c
king
:
add
m
utexe
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
check_
m
emory: add kzalloc(), more comple
x
variables
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpe
n
ter
implie
d
: h
a
ndle &
u
ndefined better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n Carpen
t
er
info
:
l
o
op could be
r
eplaced with if state
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
C
arpenter
kchecker: add "--spars
e
" opt
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
arpenter
smatch_i
m
plied/slist: move fun
c
tions
from slist
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpe
n
ter
check_m
e
mory: u
s
e complex v
a
riables in
s
tead of r
e
gular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpent
e
r
c
h
eck_memory: assume
pare
n
ts assi
g
n
ed on
al
l
path
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
c
h
eck_memory: Mo
r
e changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
rpe
n
t
er
assignments can
a
d
d
a
p
ar
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
an C
a
rpenter
Handle initializat
i
on in the declarations;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Carpenter
Cut do
w
n on false
p
ositiv
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Carp
e
nter
P
a
rse th
e
ret
u
r
n statem
e
nt befo
r
e
c
alli
n
g the
re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan
Carpen
t
e
r
F
i
x cr
a
shing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Re
m
ove some f
a
l
se positives an
d
enable the check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carp
e
n
t
er
Demote argument null derefs to cross func null derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
La
b
e
l the out
p
ut:
e
rror,
w
arn,
o
r info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Add a hack t
o
handle th
e
kernel's red
e
fined if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpent
e
r
H
a
ndle mo
r
e compa
r
isons than ju
s
t (foo == 0) and (foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
check_locking: a merge w
i
th NULL is
a merge
w
ith the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Rem
o
ve unneeded cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add line
n
umber back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Use
the mo
s
t recent implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add option --as
s
ume-
l
oops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
Carpenter
Add an opt
i
o
n --no-implied to tur
n
of implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Da
n
Carpenter
impl
i
ed po
o
ls: cleanu
p
h
o
w impl
i
ed pools
are created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Ca
r
pe
n
t
er
check_memory:
separate out a
malloced st
a
te
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan
C
a
r
p
enter
All along I was adding
the pools to t
h
e wrong plac
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carpent
e
r
C
l
e
an
up
.
Move a cou
p
le ifdefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
Add a san
i
ty ch
e
c
k
th
a
t
->p
o
ss
i
ble has
a ->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Da
n
Car
p
enter
Clean up
.
Freei
n
g the sm_
s
ta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpe
n
ter
Oring
the slists seems
like merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpen
t
er
Add
a --debug-implied
o
pt
i
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
an C
a
rpe
n
t
er
c
heck_memory: Fix
segfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Car
p
enter
kchecker: hel
p
er scri
p
t
to invoke smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
a
n
Carpen
t
er
check_memory: new co
d
e
.
not used yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arpe
n
ter
Fix bug
in compound co
n
d
i
tions
and add validation
te
s
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpe
n
ter
check_lockin
g
: han
d
le functio
n
s
w
ith
n
o r
e
turn
s
tatement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Carpenter
Fix so sec
u
rity_fixup_ops() doesn
'
t trigger th
e
OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n C
a
rpenter
Fix 'or
'
ing st
a
t
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpenter
Fix NULL
d
ere
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
er
For some reason s
m
at
c
h
can't find these
he
a
der fi
l
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fi
x
strin
g
memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next