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
Generate a list of functions that allocate data.
2009-03-28
Dan Carpenter
Generate a list
of functio
n
s that alloca
t
e data
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-27
Dan
Carpenter
Up
d
ate the g
e
n_frees_list
.
sh and the gene
r
ated data
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpent
e
r
Save func
t
ion list
s
in sm
a
tc
h
_
data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpen
t
er
new
(
disabl
e
d) scr
i
pt: check_leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-26
D
a
n
Carpenter
impli
e
d: add get_implications() for scripts to us
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Ca
r
penter
Add comment
.
g
et_val
u
e returns UNDEFINED on error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
arpenter
function_hooks: bump t
h
e
n
umber of entr
i
es in th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan C
a
rpenter
ne
w
:
a
dd_
f
u
n
ction_ass
i
gn_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Carpente
r
Cle
a
n up
t
he c
o
nditiona
l
hoo
k
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Da
n
Carpenter
new
a
pi: a
d
d_con
d
itional_hook(
)
, set_cond_states();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
arpente
r
f
unction_hooks: pas
s
th
e
function n
a
me as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
arpenter
don't try r
e
turn block thin
g
s
i
n
get_variable_from_expr_comp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
arpente
r
Add a list of noreturn type functions that nu
l
lif
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpe
n
te
r
M
e
rge branch 'devel
'
commit
|
commitdiff
|
tree
2009-03-23
Da
n
C
arpenter
rec
o
mpile the
check_*
.
c files if the smat
c
h he
a
d
e
r
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
check_overfl
o
w
:
test cop
y
_to/fr
o
m_user as
well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_
o
verflow
:
don
'
t
m
ultipl
y
the
s
ize
o
f strings
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n C
a
rpenter
a
ssumed_n
o
nnull crap
.
.
.
t
emp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
ent
e
r
Add
s
cript to g
e
nerate t
h
e frees list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
pente
r
r
ename reg
i
ster_fre
e
s_argument to chec
k
_frees_argum
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
fix order of
p
ro
c
es
s
ing
of comm
a
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get rid of FUNCT
I
ON_CALL_AFTER_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
pe
n
ter
change
order of
co
n
d
i
tion processing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
get rid of ASSIGNMENT_A
F
TER_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
check_
m
emory: read freeing func
t
ions from file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Da
n
Carpenter
check_memo
r
y:
r
ead
fr
e
ein
g
f
unctions from fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan
Carpenter
frees
_
argument: don't count funct
i
ons that only free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Car
p
enter
core: improve anding co
n
d
it
i
on handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_overflow: mo
v
e to new
add_
f
u
nc
t
ion_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_loc
k
i
ng
:
move to t
h
e
new
function hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan C
a
rpe
n
ter
check_lo
c
king
:
fix some dou
b
le u
n
lock false positive
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpenter
core: add_
f
un
c
tion_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
rpen
t
er
mak
e
s
o
me
v
ars
static
.
oth
e
r rand
o
m
s
parse stuf
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Carpenter
core:
ad
d
_un
m
atched_state_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
impli
e
d
:
re-add the d
e
bug output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
c
hange conventi
o
n: register_tem
p
la
t
e() -> check_template()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpe
n
ter
locking
:
add
some
m
o
re mutex f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
a
n Carpent
e
r
Make --known-condit
i
ons an
o
ption
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
p
enter
hand
l
e known condit
i
ons
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
D
an Carpenter
check_memory: add rudimentary v
a
lidation t
e
s
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpente
r
new s
c
ript to
p
rint
a list
of functions w
h
ich
fre
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
c
heck_memory: m
a
ke ar
g
uments static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
template: f
i
x
memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpent
e
r
template:
r
e
move
unused
h
e
a
der, up
d
ate comme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpente
r
check
_
locking: a
d
d mute
x
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan C
a
rp
e
nter
check_memory: add kzalloc(), mo
r
e complex variabl
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
implied: handle &undefined be
t
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
i
nfo: loop
could be replaced with
i
f
s
t
a
tement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpe
n
ter
kch
e
cker: add "--s
p
arse" opti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpen
t
er
smat
c
h_imp
l
ied
/
slist:
m
o
v
e funct
i
ons from slis
t
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpente
r
c
h
eck_memory
:
u
se comp
l
ex variabl
e
s instead of regular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
check_
m
emo
r
y: a
s
sume
p
aren
t
s assigned o
n
all pa
t
hs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Ca
r
penter
ch
e
ck_memory: More changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
Carpenter
assignments can
add a
par
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Handle initial
i
zat
i
o
n in the
decla
r
ations;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
an
Carpenter
Cut down on fa
l
se posi
t
ives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carp
e
nter
Parse the return st
a
tement b
e
fo
r
e callin
g
the return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan
C
arpenter
F
i
x cr
a
s
hing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carp
e
n
ter
Rem
o
ve so
m
e
false positives and
enable the check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan
Ca
r
penter
D
emote argument null derefs to cr
o
ss
f
unc n
u
ll derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n Carp
e
nter
Label the outpu
t
: error, warn
,
or inf
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpe
n
t
er
Add
a
hack to hand
l
e
the kernel's redefined if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Hand
l
e more comparisons than just (foo == 0) and
(
f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpen
t
er
c
h
eck_locking: a m
e
r
ge wit
h
NULL
is a me
r
ge with
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpente
r
Remove unn
e
ede
d
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add l
i
n
e
n
umber back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carp
e
nter
Use
the most recent im
p
lications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
C
arpent
e
r
Add option --assume-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpente
r
Ad
d
an option
-
-
n
o-implie
d
to t
u
rn
of implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpen
t
e
r
implied pools:
c
leanup how
i
mplied poo
l
s are created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan
Carpenter
check_mem
o
ry:
separate o
u
t a malloced state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
All along I was add
i
n
g
the pools to t
h
e wrong place
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carpenter
Clean up
.
Mov
e
a
couple ifd
e
fs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpe
n
t
er
Add a sanity c
h
eck that ->
p
o
ssible h
a
s
a ->my_poo
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Cle
a
n up
.
Freeing
the sm_state
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
O
rin
g
the sli
s
t
s
seems
l
ike
m
er
g
e_slis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
Add a --debu
g
-
implied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
Carpen
t
er
che
c
k_
m
e
m
ory
:
Fix segfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan C
a
rpenter
kc
h
ec
k
er: helper sc
r
ipt to i
n
v
oke sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpent
e
r
check
_
memory:
n
ew code
.
not
u
s
e
d
y
et
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
an Carpenter
Fix
bug in
c
ompound conditions and
add val
i
dation
test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
enter
check_
l
ocking:
h
andle functions with no return
s
t
a
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carp
e
nter
Fix so sec
u
rity_fixup_op
s
() doesn't trigger the OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
arpenter
Fix 'o
r
'ing states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan C
a
r
pent
e
r
Fix NULL deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
F
o
r som
e
reason
s
match can't find
t
h
ese head
e
r
files
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
C
a
rp
e
nter
Fix
s
t
rin
g
memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpente
r
R
emove unneeded
a
lloc
a
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
R
emov
e
outda
t
ed comme
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
pe
n
ter
Don't __free_sm_
s
tate() until end of function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
te
r
free_slist
(
) after c
a
lling get
_
all_s
t
ates()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Ca
r
penter
d
o
n't realloc
a
te th
e
->possib
l
e
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Get rid of unused l
i
n
e
h
i
story code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Car
p
e
n
ter
Fix some memo
r
y leak
s
i
n
__i
m
plied_states_
h
ook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
er
Add free
_
tr
a
ckers_and_list()
a
n
d free_tracker_l
i
st
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
ar
p
enter
Add new free_st
a
ck() funct
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
te
r
rename del_slist_stack() to free_sta
c
k
_and_slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename del_s
l
ist(
)
-> f
r
ee_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fre
e
all th
e
sm_states at the end of
each f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
A
d
d ->po
s
sib
l
e to __print_slist() output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next