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
Clean up the conditional hook code.
2009-03-25
Dan Carpent
e
r
Cle
a
n
u
p
t
h
e cond
i
tional h
o
ok code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new api
:
add_conditional_hook(),
s
et_cond_s
t
ates();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
function_hooks:
pass th
e
functi
o
n n
a
m
e
as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan C
a
rpenter
do
n
't try return block things in ge
t
_va
r
iable_from_expr_
c
o
mp
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
D
an C
a
rpen
t
er
Add a lis
t
of noreturn type functio
n
s
t
hat n
u
l
l
i
fy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-24
Dan C
a
rpente
r
Me
r
ge branch 'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
penter
recompile the check_*
.
c
files if t
h
e s
m
atch headers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carp
e
nter
check_overflow: test copy_to
/
f
rom_user as well
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Carpenter
check_overflow: don't multiply t
h
e siz
e
of stri
n
gs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
t
e
r
assumed_nonnull c
r
ap
.
.
.
temp fix
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an Ca
r
penter
Add s
c
ript to gener
a
te the frees list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Ca
r
pent
e
r
rename r
e
gister_f
r
ees_
a
rgume
n
t
to c
h
eck
_
f
r
ees_argument
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpenter
f
i
x order of pr
o
cessing of comma
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
D
an
Car
p
en
t
er
get rid of FUNCTION_
C
ALL_AFTER_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
c
ha
n
ge or
d
er of c
o
n
d
ition processin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Da
n
Carpenter
get rid of ASSIGNM
E
NT_AFTER_HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
check_memory: read f
r
eei
n
g funct
i
ons from
fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carp
e
nter
c
heck_m
e
m
o
ry: read
f
r
eeing fu
n
cti
o
ns from
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-22
Da
n
Ca
r
penter
f
rees_argument
:
don't
cou
n
t fun
c
tions that
o
nl
y
free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Dan Carpenter
c
o
re: improve anding cond
i
tion
h
a
ndling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpente
r
chec
k
_
overfl
o
w: move to new add_function_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_locking:
mo
v
e to the new functi
o
n
hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_l
o
cking: fi
x
s
o
m
e
d
ouble unlock false
p
ositives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpenter
core: add_function_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpe
n
ter
make some va
r
s
static
.
other
r
andom sparse stu
f
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
rpenter
co
r
e: add_un
m
atched_st
a
te_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
ente
r
implied: r
e
-add th
e
d
e
bu
g
outp
u
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpenter
change conven
t
ion: regis
t
e
r_tem
p
la
t
e() -
>
chec
k
_template
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
locking: add some more m
u
tex functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpenter
Make -
-
known-conditions an
option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
arpenter
hand
l
e known cond
i
tions be
t
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
check_memory: add rudim
e
ntary valid
a
tion test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpe
n
ter
new scrip
t
to
print a list of funct
i
ons which free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
a
rpenter
check_
m
em
o
ry
:
mak
e
argumen
t
s static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
p
e
nter
te
m
plat
e
: fix memory
l
e
a
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
template: remove unused he
a
d
er, upd
a
te comme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Da
n
Carpenter
check_locking: add mutexes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
Carpent
e
r
check_memory: add kzall
o
c(), more compl
e
x variables
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpen
t
e
r
impl
i
e
d
: handle &undef
i
n
ed better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
info:
l
oop
could be replace
d
with i
f
state
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
kchecker: a
d
d "--sparse" option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpente
r
smat
c
h_implied/sl
i
st: move function
s
from slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Ca
r
penter
c
h
e
c
k
_m
e
mory: use complex variables in
s
tead of re
g
ular
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Carpenter
check_memor
y
:
assume pare
n
ts assig
n
ed on al
l
p
ath
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Carpe
n
ter
c
h
ec
k
_memory:
More changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
a
n Carpenter
assignments can a
d
d a par
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpente
r
Handle initializatio
n
in
t
he d
e
cla
r
ations;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
an Car
p
enter
Cu
t
down o
n
false positi
v
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
P
a
r
se t
h
e
r
et
u
rn statem
e
nt before ca
l
lin
g
the retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpente
r
Fix crashin
g
b
ug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Remove some fa
l
se pos
i
tives and enable t
h
e che
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpen
t
er
Demote argument n
u
ll derefs to cros
s
func null de
r
efs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Label
the ou
t
p
u
t
: error, warn, or info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Car
p
enter
Add a hack to handle the kernel's redef
i
ned if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Da
n
C
a
rpente
r
Hand
l
e
m
ore comparisons than
just (foo ==
0) and
(foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpenter
check_locking: a merge w
i
t
h
NULL
is a
m
erge with the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Remove u
n
neede
d
cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add line n
u
mb
e
r back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Car
p
enter
Use
t
he most recent imp
l
ications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carp
e
n
t
er
A
dd
o
p
tio
n
-
-as
s
ume-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add
a
n option --no-implie
d
to turn of implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpent
e
r
implied pools: cleanup
ho
w
im
p
l
ied poo
l
s
are c
r
eated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
chec
k
_mem
o
ry: separate out a malloced state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
All along I was ad
d
ing the pools to the wro
n
g
place
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
a
r
pe
n
t
e
r
Clea
n
u
p
.
Move a co
u
p
le if
d
efs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Add a sa
n
ity
c
heck that ->
p
ossible has a ->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Ca
r
penter
Clean up
.
Freeing
t
he
s
m_states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carp
e
nter
Or
i
ng the slists
s
e
e
ms
like
merge_sl
i
st()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Car
p
ent
e
r
Add
a
-
-debug-implied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan C
a
rpe
n
ter
check_
m
emory: Fix segfault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
k
c
he
c
ker: helper script
to i
n
voke smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
ar
p
ente
r
che
c
k_memo
r
y: ne
w
co
d
e
.
not used yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
D
an Carpenter
Fix bug in compound
c
o
n
ditions and
add v
a
l
idation test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n Ca
r
pen
t
er
check_lo
c
king: handle function
s
w
i
t
h
no re
t
urn s
t
a
tement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carp
e
nter
Fix s
o
secur
i
t
y
_f
i
xu
p
_ops() doesn't tri
g
ger t
h
e OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Car
p
ent
e
r
Fix 'or'ing sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
er
F
i
x NULL deref
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For
s
ome reason smatch
c
an't find these header files
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
e
r
Fix string memor
y
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
Rem
o
v
e
unnee
d
e
d allocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpe
n
t
e
r
Remove ou
t
dated com
m
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
Don't __
f
ree_s
m
_state() until
end
o
f functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
free_slist()
a
fter
c
alling
get_a
l
l_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
t
er
don't
r
eal
l
oc
a
te the -
>
p
o
ssible st
a
tes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
penter
Get rid of unused line
h
istory cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Fix some memory
l
eaks in __imp
l
ied_states_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
te
r
Ad
d
free_track
e
rs_a
n
d_li
s
t() and fre
e
_t
r
acker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
enter
Add
new free_stack() fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n
Carpen
t
er
ren
a
m
e del_sli
s
t_stac
k
(
)
to free_stack_and_slists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpenter
rename del_slis
t
() -> free_
s
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arp
e
nter
Free all the sm_states a
t
the en
d
of each
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Add ->po
s
s
ib
l
e to __pri
n
t_slist(
)
output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Da
n
Car
p
enter
S
a
ve all the pools a state goes through
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Ca
r
p
e
nter
Add and fix sm
a
tch implied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpenter
Preserve the ->pools and ->possible f
o
r imp
l
ied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
F
ix handling
mutual
l
y exclusive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
er
Get r
i
d of r
e
dund
a
nt harmonize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nte
r
Add func
t
ion __se
t
_t
r
ue_false
_
s
m
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Only save an
impl
i
ed list
if
a
stat
e
has b
e
e
n
mod
i
fied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpente
r
Only i
m
pli
e
d
states that aren'
t
already true
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next