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
Remove some false positives and enable the check.
2009-03-10
D
an Carpenter
Remove some false p
o
sitives and
e
nable the check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Ca
r
penter
Dem
o
te argument nul
l
d
e
r
e
f
s
to c
r
o
s
s
func null derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-10
Dan Carpe
n
ter
L
a
bel t
h
e output:
err
o
r,
warn, or info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carp
e
nter
Add a hac
k
to handle the kernel's redefined if
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-09
Dan Carpenter
Handle more co
m
par
i
sons than j
u
s
t
(fo
o
== 0) an
d
(foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
D
a
n Carp
e
nter
check
_
lo
c
king
:
a
merge with NULL is
a merge with the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpente
r
R
emove
un
n
eed
e
d c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Da
n
C
ar
p
ente
r
A
d
d l
i
ne number back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Use the m
o
st r
e
cent im
p
lications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
Add option --assum
e
-loop
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-08
Dan Carpenter
A
d
d an opti
o
n --no-implied to turn of implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-07
Dan Carpenter
i
m
plied pools
:
cleanup how im
p
lie
d
pools are created
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Dan Carpenter
check_memory: separate out a malloced s
t
ate
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-06
Da
n
Carpen
t
er
All along I was adding the pools
t
o the
w
rong
p
lace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan Carpenter
Clea
n
u
p
.
Mo
v
e a couple
i
fdefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan C
a
rpenter
Add a
sanity
c
heck that ->
p
ossible
h
a
s a ->my_p
o
ol
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
Carpenter
Clean u
p
.
Fre
e
in
g
the
s
m_states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
Dan
C
a
r
penter
O
r
i
ng th
e
s
l
i
sts see
m
s
like merge_
s
lis
t
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-05
D
an C
a
rpent
e
r
Add a
-
-debug-implied option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
D
an Carpenter
c
h
e
c
k_mem
o
ry:
F
ix se
g
fault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
k
checker: help
e
r
s
cript
t
o invoke smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
check_memo
r
y
: new code
.
not used yet
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fi
x
bug in co
m
pound conditions a
n
d a
d
d
v
a
l
i
dation test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
an Carpenter
ch
e
ck_
l
ocking: handle functions with
n
o re
t
u
r
n stateme
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
Fix so
s
e
c
urity_fixup
_
ops
(
) doesn't trigg
e
r
t
he OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carpen
t
er
Fix 'or
'
i
n
g stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n
C
a
rpenter
Fix NULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Ca
r
p
ent
e
r
For som
e
reason sm
a
tch can't find t
h
ese header files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
Carpenter
Fix st
r
ing mem
o
ry leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpe
n
ter
Remove unneeded all
o
cation
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
Remove outdated comm
e
nt
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Car
p
enter
Don't __free_sm_
s
t
a
t
e() until end
of function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
free_s
l
ist()
a
f
t
er calling
g
et_all_s
t
a
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 the ->possi
b
le
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Get
r
id of unuse
d
l
i
ne history code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Fix some memory leaks in __implied_st
a
tes_
h
ook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpente
r
Add
f
ree_trackers_and_list() and free_tracker_l
i
st
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Add
new fre
e
_stack() fu
n
ctio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
re
n
a
me d
e
l
_
slist_stack(
)
to free_stack_
a
nd_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpente
r
re
n
ame
d
e
l_slist() -> free_slist
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carp
e
n
ter
Free all the sm_st
a
t
es at the end
of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan C
a
r
pente
r
Add ->possib
l
e t
o
__print_slist() output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Save all
t
he
p
ools a
s
tate
goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
Add and fix smatch implied tests
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
P
r
e
serve t
h
e ->pools a
n
d ->po
s
sible
f
o
r i
m
plied
s
tates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Ca
r
p
e
nt
e
r
Fix handl
i
ng mutual
l
y exc
l
usive states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpenter
Ge
t
rid of redundant harmonize_state
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpen
t
e
r
Add func
t
i
o
n __set_true_false_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan C
a
rp
e
n
t
er
Only save an implied list if a state has bee
n
modifi
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n Carpenter
Only implie
d
states t
h
at aren't already t
r
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
arpenter
Take a paramete
r
instead o
f
assum
i
ng the
output
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don
'
t chec
k
that there are
b
oth true
a
n
d
false s
t
ates
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpente
r
This ch
e
c
k_order() se
e
m
s
superfluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
New fu
n
ction h
a
rmonize
_
states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
penter
call __
s
pli
t
_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n
Carpe
n
ter
remove u
n
n
e
eded calls to __use
_
cond_true_stat
e
s();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
Do
n
't
s
et the i
m
plied st
a
te to
&
me
r
ged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
M
a
ke cmp_tracker() accessible
to ou
t
side fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
nter
All the states ar
e
implie
d
not just unique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
r
p
e
nter
I
m
prove lo
c
k c
h
eck output
.
A
dd more vali
d
ation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
A
dd support
for dow
n
_interr
u
p
t
ible() and frien
d
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix the Uncle
a
r lockin
g
th
i
ng
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Warn on
d
ouble l
o
ck/u
n
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fe
w
e
r
Unc
l
e
ar loc
k
ing
messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
if ((1))
{
.
.
.
is a k
n
own_
c
ondition
_
tr
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
A
d
d sup
p
ort
f
or those funny gcc ({
.
.
.
}) block state
m
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
Handle
declar
a
tions
i
nside s
w
itch statement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpen
t
er
Cleanup is_ze
r
o()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Add
known_
c
ondition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix h
a
nd
l
ing
of continue inside
do whi
l
e
state
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
r
penter
Don't se
t
let p
e
ople set states for u
n
reac
h
able code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Handle t
h
e i
t
erators c
o
rrec
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpenter
Ad
d
s
upport
f
or "if (a?b:c) {
.
.
.
" ter
n
ary cond
i
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
Add some sup
p
ort for
_
spin_trylock
(
) and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
r
p
enter
if (a ||
b
)
{ a->foo; sho
u
ld print
a
n er
r
o
r
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rpen
t
er
Thi
s
prints out error messages all the ti
m
e
that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpent
e
r
A
s
signm
e
nt alw
a
ys sets
&isfreed t
o
something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
o
n
't
prin
t
cross_func erro
r
s if the called fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Rem
o
ve call to alloc_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Call
t
he merg
e
_hook() instead of s
e
tting
t
h
e state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
t
er
Oops
.
Meant to commit th
i
s earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Add the merg
e
_hook() back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Cle
a
r
the re
t
urns li
s
ts
at the end of
e
ach function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
M
ove th
e
im
p
lications
c
h
ecking to
a
fter the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Rewri
t
e completely
w
i
th new
g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Add some functions to handle track
e
r lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfa
u
lt all the
t
ime when
c
h
ecking forever
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to see if we are
catching cro
s
s
function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Use the
-
>pos
s
i
ble state
s
a
nd re
m
ove the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"wh
i
l
e ((1)) {" is a forever loop
.
C
a
ll str
i
p
_
expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
fixes to
the -
>
p
ossible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
r
p
e
nter
Merge bran
c
h
'master'
i
n
t
o null_dere
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpen
t
er
Add valid
a
tion script for ch
e
ck_null_de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
an C
a
rpenter
Cl
e
a
n
up
.
new->pos
s
ible is always nu
l
l here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
O
o
ps
.
-
>
p
ossib
l
e
s
wasn
'
t g
e
tting set c
o
rrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Use st
r
ip_expr() in
split_condit
i
ons()
i
nstea
d
reproducin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Add
some more ope
r
at
i
ons t
o
get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Ca
r
pe
n
ter
Return
&
merged instead of &und
e
f
ine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
make get_va
l
ue() return a
v
alue f
o
r bitwi
s
e
or ex
p
ressions
.
commit
|
commitdiff
|
tree
next