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
Improve lock check output. Add more validation samples.
2009-02-24
D
a
n Carpenter
Imp
r
o
v
e lo
c
k c
h
eck output
.
A
dd mo
r
e validati
o
n samp
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support
f
or dow
n
_inter
r
u
ptible(
)
and frien
d
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpe
n
ter
Fix the Unclear
locking
t
hing
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
Wa
r
n on double
l
ock/unlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
Print fewer U
n
clear l
o
ckin
g
messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
if ((
1
)) {
.
.
.
is a known_condition_
t
rue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
Add support for
t
h
ose
f
u
nny gcc ({
.
.
.
})
block state
m
ent
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle d
e
c
l
a
r
ati
o
ns inside switch s
t
atement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpent
e
r
Cl
e
anu
p
is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
p
e
nter
Add kn
o
wn_condition_false
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Fix ha
n
dling of cont
i
nue inside do w
h
ile
stat
e
ments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Don't
s
et let
peopl
e
s
et states f
o
r unreachable
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Small cl
e
anup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Handle the iterators co
r
rect
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
d
d support for "if
(
a
?b:c) {
.
.
.
"
ternary cond
i
ti
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan C
a
rpenter
Add some
support f
o
r _spin_trylock() and
f
ri
e
nds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
e
r
if (a || b) {
a->foo; should print an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpente
r
T
his prints o
u
t error messages
a
l
l the time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpente
r
Assignment a
l
w
ays sets &isfr
e
ed t
o
s
o
me
t
hing e
l
s
e
like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
penter
Do
n
't print cross_f
u
nc errors if the
calle
d
f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
R
e
move call
t
o allo
c
_s
t
ate(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
t
e
r
C
all the merge_
h
ook
(
) inste
a
d of s
e
tting the sta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
Oo
p
s
.
Meant to commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Add the merge_
h
ook() back i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
Clea
r
the returns lists at
t
he e
n
d of each
f
uncti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the implications checking to after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
enter
R
e
wri
t
e
complete
l
y with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Car
p
enter
Add so
m
e functi
o
ns to hand
l
e
t
racker
l
ist
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpe
n
ter
Do
n
't
s
egfault all the ti
m
e when checking f
o
rever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Te
s
t to
see if
we are catch
i
ng cross function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->possible states
a
nd remove the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
"w
h
il
e
(
(1)) {" is
a f
o
r
e
v
e
r
loop
.
Call
s
tr
i
p_
e
xpr
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
ter
fixes to the
->
p
ossi
b
le settin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
M
e
r
g
e branch 'master
'
into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
A
dd validation script for
chec
k
_nu
l
l_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan C
a
rpenter
Clea
n
up
.
n
e
w->possi
b
le
i
s always
null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpe
n
ter
Oops
.
->possibles wasn
'
t g
e
tti
n
g
s
e
t co
r
rectl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
p
e
n
ter
Use
strip_expr() in split_co
n
d
i
tions(
)
i
n
stead reprod
u
cing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpent
e
r
Add some more operations to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
arpenter
Return &merged instead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Car
p
enter
m
a
k
e
g
et_value() return a value for bitwise
or expres
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Try again removing stat
e
s f
r
om pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "Re
m
ove a sta
t
e from i
t
's ->pools wh
e
n set_s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpe
n
ter
Eliminate a
w
arning
.
P
robably th
e
wron
g
way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
an
ups
.
Comments
.
Rename sli
s
t_stack
t
o
n
a
med_st
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
penter
H
a
h
a
.
I
still
s
uck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carp
e
nter
Cle
a
nups
.
Com
m
e
nts
.
R
e
m
ove
d
ebugging code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
en
t
e
r
Clean
u
p
.
Al
s
o prese
r
v
e
the ->po
o
l
s
in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
ar
p
en
t
e
r
Cle
a
n up get_st
a
te_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
nter
Remove
__
o
ve
r
write_cu
r
_slis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Th
e
r
e
was d
e
bugging output that a
c
c
i
dent
a
lly got
c
ommitted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
enter
Remove
a
st
a
te from
i
t
'
s ->pools wh
e
n
s
et_st
a
te()
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
pen
t
er
Don't de
l
ete the
-
>pools
o
n m
e
r
g
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Tr
y
u
n
derstand t
h
e
implication
s
fr
o
m compound conditi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Create a state
&
m
e
rged
.
When we merg
e
stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Ok
.
T
h
is ti
m
e smatch_implied _rea
l
ly_ do
e
s s
o
m
ething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Igno
r
e
cscope f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Small c
l
eanu
p
s
.
(White spa
c
e)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
White
s
pac
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpe
n
ter
Add some more locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Fix implied pools so that
at le
a
st it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carp
e
nter
It seem
e
d like t
r
acker_list
would be useful i
n
a
l
ot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Add a RE
A
DME describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script t
o
find
N
ULL dere
f
erenc
e
s between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
ente
r
Check fo
r
malloc() a
s
w
e
l
l as
kmall
o
c()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pente
r
F
i
x
segfau
l
t when handlin
g
i
mplic
i
t
ly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
an
C
arpenter
Warn
w
hen we do
n
't acquir
e
locks
when call
i
ng certai
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
an Ca
r
p
e
n
t
er
Tr
y
(and
f
ail) to find mem
o
ry leak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
lmost pr
i
nt a
m
essage when you
come
to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Carpenter
Add ch
e
c
k to look for double f
r
ees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking
f
or lock_kernel()
/
unl
o
ck_kern
e
l(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
arp
e
nter
Make
check_locking
c
h
e
c
k bo
t
h spinlocks
and
s
e
m
a
pho
r
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
en
t
er
Add
a
n
ew function slist_has_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If
t
here
is a
n
i++ then th
e
value of 'i' is undefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Ad
d
a
n
ew chec
k
_locki
n
g scr
i
pt th
a
t checks s
p
i
n
l
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Save the
possible states
instead
of jus
t
m
ergi
n
g them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Ca
r
penter
Ignore e
m
acs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
Merge branch 'ma
s
t
er' into pools5
commit
|
commitdiff
|
tree
2009-01-16
D
an Car
p
enter
We could save some me
m
o
r
y
b
y not
al
l
ocating new m
e
mory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpe
n
t
er
Ad
d
a comment showi
n
g wh
e
re the test
s
a
re suppo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
T
his is le
f
t over f
r
om
October a
s
part
of
the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Car
p
ente
r
Ad
d
ge
t
_
p
ossible
_
s
tates()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arp
e
nter
St
u
ff left over from October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpente
r
We cou
l
d save some memo
r
y
by
n
ot allocati
n
g new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
a
r
p
enter
Fix memory leak
.
Ad
d
m
ore comm
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
ent
e
r
Add a merge ho
o
k
.
Hand
l
e the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
strcmp() doe
s
n't accept N
U
LL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
e
r
rename t
w
o functions: get_variab
l
e_f
r
om_exp
r
_
s
imple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
p
e
nter
get_variable_from_expr() uses a sta
t
ic buffer and yo
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
Cre
a
t
e
a check_tem
p
late
.
c example script that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_
a
ll_stat
e
s() not segfault every
t
ime
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
F
ix
g
et_value() to return
neg
a
tive val
u
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ev
e
r
p
a
s
s one paramet
e
r
i
n
t
o
get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
r
penter
Fix get_all_sta
t
e
s
(
) t
o
match the function definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_s
t
ate() and state_define
d
() de
f
initions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
Clean u
p
.
F
i
x le
a
k
.
My proble
m
is that I don't
u
nderstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Initial commit
o
f the "impli
e
d st
a
te po
o
l
s
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carpenter
Doh
.
We haven't been
u
s
ing smatch_extr
a
for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get r
i
d
of path_h
i
story
.
It's n
e
ver going t
o
be
u
s
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next