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
frees_argument: don't count functions that only free on error paths
2009-03-22
Dan Carpenter
frees_argum
e
nt:
d
on't co
u
n
t
f
unctions that only free
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-21
Da
n
Carpenter
core: improve an
d
ing cond
i
tion han
d
ling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Dan Car
p
enter
check_
o
verflow:
move
to new
a
d
d_function_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpenter
check_locking:
move to the
n
ew f
u
nctio
n
hook
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
a
n Carpenter
c
heck_
l
ocking:
f
ix some do
u
ble u
n
l
o
ck false positives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-19
D
an
C
a
r
p
enter
core: add_
f
unction_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
make some vars stati
c
.
o
t
her
r
andom sparse stuff
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
Carpenter
c
o
re: add_unmatche
d
_state_h
o
ok
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpe
n
ter
i
m
plie
d
: re-add the debug output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
a
rpente
r
c
h
ange
convention
:
registe
r
_
t
emplate() -> check_template
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
D
an Carp
e
nt
e
r
locking:
ad
d
some more mutex functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-18
Da
n
Carpenter
M
ake --know
n
-conditions a
n
opti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carp
e
n
t
er
h
and
l
e known condi
t
ions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan
C
a
rp
e
nte
r
check_memory: add r
u
dimentar
y
vali
d
ati
o
n
t
est
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
n
e
w
sc
r
ip
t
to
p
r
int a list of functions which f
r
ee
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
che
c
k_
m
emory: m
a
k
e
a
r
g
u
ments
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 Ca
r
p
enter
template: remo
v
e u
n
u
s
ed header, upd
a
te comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpente
r
check_
l
o
cking: ad
d
m
utexes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Carpenter
c
h
ec
k
_m
e
mory: add kzalloc(),
m
ore
c
o
m
plex
variables
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-17
Dan Ca
r
penter
implied
:
hand
l
e &undefi
n
ed better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan Car
p
enter
i
n
fo: loop
c
ould be replaced
w
i
t
h if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Da
n
Carpente
r
kche
c
ker: add
"
-
-
s
parse
"
option
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
a
n
Carpenter
smatch
_
imp
l
ied/
s
l
i
st: m
o
ve functions from slist to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
Dan
C
arpenter
check_memory: use comp
l
ex
v
ariabl
e
s instead of
regul
a
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-16
D
an Carpenter
ch
e
c
k
_
memory:
assume
p
a
rents assigned on
all paths
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
D
an Carpente
r
check_memory: More chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Da
n
Car
p
en
t
e
r
ass
i
g
nment
s
ca
n
add a
parent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan Carpenter
Han
d
le ini
t
ial
i
zation in the declarations;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan C
a
rpenter
Cut down on false
p
o
sitives
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-11
Dan
Carpenter
Parse t
h
e return s
t
a
tement before calling
the return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
a
n Carpent
e
r
Fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
D
an Carpenter
Remove some
fa
l
se
pos
i
tives and enable the c
h
eck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Da
n
Carpen
t
er
D
emote
a
rgument nul
l
derefs to cross f
u
nc
n
ull
d
erefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpenter
Label the output: error, warn, or
info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Add
a
h
a
ck to handle
the ker
n
e
l
's rede
f
ined if
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-09
Da
n
C
a
rpenter
H
a
ndle more compariso
n
s than j
u
st (
f
oo
=
=
0
)
a
n
d
(f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
check_locking: a
m
erge with NU
L
L
is a m
e
rge with the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Remo
v
e unneeded code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpen
t
er
Add
line number back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan C
a
rpen
t
er
Us
e
the most re
c
ent implicati
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan
Carpenter
A
d
d op
t
ion
--as
s
ume-loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add an op
t
ion --
n
o-impl
i
e
d
to turn of im
p
licat
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-07
D
an Ca
r
pen
t
e
r
imp
l
ie
d
p
o
o
ls: cleanup ho
w
impl
i
ed pools are created
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
Dan Ca
r
p
e
nter
ch
e
ck_memory
:
sep
a
ra
t
e out a mall
o
ced s
t
ate
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-06
D
an Carpenter
All al
o
ng I w
a
s
a
dding t
h
e
pools to t
h
e wrong pla
c
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
D
a
n Carp
e
nter
Cle
a
n up
.
Move
a c
o
uple ifdefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
arpente
r
Add a sani
t
y check that ->possib
l
e has a ->my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Car
p
e
n
ter
C
l
e
a
n up
.
Freeing
the sm_states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpen
t
er
O
r
i
n
g the slists seems like merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
rpen
t
er
Add a --de
b
u
g
-
implied option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carp
e
n
ter
chec
k
_m
e
m
o
ry:
Fix segfa
u
lt
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Da
n
Carpenter
kchecker: helper
sc
r
ip
t
t
o
invok
e
smat
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpe
n
te
r
che
c
k
_
memory
:
new code
.
not used yet
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-04
Dan
C
arp
e
nte
r
Fix bu
g
in comp
o
und conditions and add validation tes
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpente
r
chec
k
_locking:
handle
f
u
nctions wi
t
h no return stat
e
me
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
pent
e
r
Fix so security_fixup_ops() doe
s
n
't trigger
t
he OOM
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
e
r
Fi
x
'
or'ing
states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpent
e
r
F
ix
N
ULL de
r
e
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n
C
a
rpenter
For some reason smatch
can't find the
s
e hea
d
e
r
file
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix
string memory lea
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Remove unneeded allocation
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Carpenter
Re
m
ove outdated comment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
D
o
n't __free_sm_state() unt
i
l end of functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
Ca
r
penter
free_slist()
after call
i
ng get_all_st
a
tes(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
d
o
n't
r
e
a
llocate the ->possib
l
e sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Ca
r
p
en
t
er
G
e
t rid
o
f u
n
us
e
d line history cod
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fix so
m
e memory le
a
k
s in __implied_states_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Ad
d
fre
e
_
tra
c
kers_an
d
_list() and free_tracker_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
Add
n
e
w free_stack() func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
a
r
pent
e
r
rename del_slis
t
_stac
k
(
)
to free_stack_and_
s
l
ists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpe
n
ter
ren
a
me del_sli
s
t() -> free_slist
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
Free all the sm_states at the
end o
f
each
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
A
d
d
->possi
b
le to __print_slist() o
u
tp
u
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Sav
e
all the poo
l
s a sta
t
e
g
oes thr
o
ugh
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add and fix sma
t
ch implie
d
t
ests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpent
e
r
Pres
e
rve th
e
->pool
s
a
n
d ->pos
s
ible for implied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Fix
handli
n
g
m
utually exclusive state
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Carpent
e
r
G
e
t rid
o
f redundant h
a
rmonize_st
a
tes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carp
e
nter
Add functio
n
_
_
set_true_f
a
lse_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
a
r
p
enter
Only sav
e
an i
m
plied list
if a stat
e
has bee
n
m
o
dified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carp
e
n
t
er
Only i
m
plied s
t
ates
t
h
at aren'
t
a
lready
t
rue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
an Carpenter
Ta
k
e a par
a
m
e
t
er instead of assuming the ou
t
put is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n C
a
rp
e
nter
Don't check that th
e
re ar
e
both true and false stat
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
pente
r
This ch
e
c
k
_o
r
der() seems
s
u
p
erfluo
u
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpenter
Ne
w
funct
i
on harmonize_sta
t
es()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpenter
cal
l
_
_
split_e
x
pr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpenter
rem
o
ve unn
e
eded
c
alls to __us
e
_cond_t
r
ue_s
t
ates();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpente
r
D
on't set the
im
p
lied state to &merge
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Ma
k
e cm
p
_tr
a
c
ker() accessible to ou
t
side fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Carpenter
All the s
t
at
e
s are implied not just uniq
u
e one
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpent
e
r
Improve lock c
h
e
c
k
ou
t
put
.
A
dd more
v
alidation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpente
r
Ad
d
suppo
r
t for down_in
t
errupt
i
ble() and fri
e
n
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpenter
Fix the Uncl
e
ar lock
i
n
g t
h
ing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
W
a
rn on doub
l
e l
o
ck
/
unlo
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
P
rint fewer Unclear loc
k
ing mess
a
ges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
if ((1)
)
{
.
.
.
is a kn
o
w
n
_con
d
it
i
on
_
true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
C
arpenter
Add
support f
o
r those
funn
y
g
c
c ({
.
.
.
}) block sta
t
ements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Handle declarations
i
nside
swi
t
ch st
a
t
e
ment blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cleanup is_zer
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next