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
check_memory: Fix segfault
2009-03-04
D
a
n Carpen
t
e
r
c
h
eck_memory: Fix
s
e
gfault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Da
n
Carpente
r
kc
h
ecker: helper scr
i
pt
to invoke sm
a
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpent
e
r
check_mem
o
r
y
: new code
.
no
t
us
e
d y
e
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-04
Dan Carpenter
Fix bug i
n
compound c
o
nditions and add validat
i
on test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
c
heck
_
locking: han
d
l
e functions with
no return statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Da
n
Carpen
t
er
Fi
x
so security_fixup_
o
p
s
(
) doesn't tr
i
gger the OOM
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
er
Fi
x
'or
'
ing states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
D
a
n C
a
rpenter
Fix
N
ULL deref
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpenter
For some reason smatch can
'
t find these he
a
der files
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan
C
a
r
p
enter
Fix string memory lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
R
e
move unneeded allocati
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
R
emove o
u
t
d
ated co
m
me
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
D
on't __free_sm_state() until end of
func
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
fr
e
e_slist()
a
f
t
er c
a
ll
i
n
g
g
et_all_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
an Carpenter
don't realloc
a
te
t
he
-
>possibl
e
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
e
n
ter
Get
rid of unused line h
i
sto
r
y co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Ca
r
p
e
nter
Fix some m
e
mory lea
k
s in
_
_i
m
p
lied_states_ho
o
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpen
t
e
r
Add free_trackers_an
d
_list() an
d
free_tracker_li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpen
t
e
r
Add new free_stack() fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpent
e
r
rename de
l
_slist
_
sta
c
k() to free_stac
k
_and_slists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
r
ename del_sli
s
t(
)
-> free_slis
t
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpe
n
ter
F
r
ee all
t
he sm_states at the en
d
of
e
ach functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
an
C
a
r
pe
n
ter
Add ->
p
ossibl
e
to __pri
n
t_
s
li
s
t(
)
ou
t
p
u
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan
Carpe
n
te
r
Save al
l
the poo
l
s a
state 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
Preserve t
h
e -
>
po
o
ls and ->possib
l
e for
implied
s
tates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n Car
p
e
n
ter
Fix handling mutuall
y
exclusive stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpe
n
ter
Ge
t
rid of redun
d
ant harm
o
nize_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Add function __set_t
r
ue_f
a
lse_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan
C
arp
e
nter
Only sa
v
e an
i
mplied list if a st
a
te has been m
o
dified
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
D
a
n
C
a
r
p
enter
Onl
y
implied states t
h
at aren'
t
alr
e
ady tru
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carp
e
nter
Ta
k
e a parameter instead of assuming the output i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't check that there are bo
t
h true and false s
t
ates
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
Thi
s
check_orde
r
()
seems super
f
luous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
New fun
c
tion harmonize_states
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
an Carpenter
c
a
l
l
__s
p
lit_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
an Car
p
enter
rem
o
ve unneeded c
a
lls to
__use_cond_true
_
st
a
tes();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpente
r
Don't set
the implied state to &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
C
a
rpen
t
er
Make cmp_tracker() accessibl
e
to outs
i
de
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpenter
All
the states are implied
n
o
t
just unique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carp
e
nter
Improve lock chec
k
o
u
tput
.
A
dd more validatio
n
s
amp
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Car
p
enter
A
dd support for dow
n
_interr
u
pt
i
ble() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Fix the Un
c
lear locking
thing
.
A
g
ain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpent
e
r
Warn on double lock/unlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
Print fewer Unclear
l
ocking messag
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Ca
r
penter
if ((
1
)) {
.
.
.
is
a known_c
o
ndition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Ad
d
support for those funny gcc ({
.
.
.
}) bloc
k
s
tat
e
m
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Handle
declara
t
ions
i
nside
switch s
t
atement bl
o
cks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
C
l
eanup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Ca
r
penter
Add k
n
own_co
n
d
i
tion_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix handl
i
ng of continu
e
i
nside do wh
i
l
e
statement
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don't
s
et let people set states
for unreachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Small
c
l
e
anup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Handle the
ite
r
ator
s
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
e
n
te
r
Add support for "i
f
(a?b:c) {
.
.
.
" ternary c
o
nditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add
some s
u
pport for _spin
_
trylock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
i
f (a ||
b
)
{
a
->foo; sho
u
ld print an err
o
r
.
A
l
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpenter
This print
s
out error
messag
e
s all t
h
e t
i
me
that
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assi
g
nment
always
s
e
t
s
&isfreed to som
e
thing else
like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
D
o
n
't
p
rint cr
o
ss_func e
r
rors if the
c
alled function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Remove
c
a
ll to alloc_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Call
the merg
e
_h
o
ok
(
) instead of
setting
t
he
s
tate
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
O
o
p
s
.
Mean
t
to
c
om
m
it this
earlie
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arp
e
nte
r
Ad
d
the merge_hook()
b
ack in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clea
r
t
h
e return
s
lists at
the end of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the implication
s
che
c
king t
o
after
t
he scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
R
e
wr
i
te co
m
pletely with new
g
oal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Add some functio
n
s to handle t
r
a
c
ker li
s
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Don't s
e
gfault
a
ll the time
when checking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Test to see if we are
c
atc
h
ing cross fu
n
ction derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
t
er
Use the ->po
s
sib
l
e
s
tat
e
s and remove the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
"whi
l
e ((1))
{
" is a forever loop
.
Call strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpente
r
fix
e
s
t
o the
-
>
p
o
ssi
b
l
e sett
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
Merge branch 'master' into
nul
l
_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
Ad
d
validati
o
n script for check
_
nu
l
l_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carpenter
Clean up
.
new->possible is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Ca
r
pen
t
er
Oops
.
->possibl
e
s wasn't getting set correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpenter
U
se
strip_expr()
in sp
l
i
t
_
c
onditions(
)
instea
d
reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Add
s
o
m
e
more operations to g
e
t
_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
Return &mer
g
ed
i
nstead of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpe
n
ter
make get_valu
e
() return a value for bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
a
r
p
enter
Try agai
n
removing states fr
o
m pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carp
e
n
t
er
Revert "Re
m
ove a
s
tate
from it's ->pools w
h
en set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
El
i
m
i
nate a
w
a
r
ning
.
Probably the wrong wa
y
t
o do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Cle
a
n ups
.
Comments
.
Re
n
ame
s
list_stack t
o
n
a
med_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Ha ha
.
I
s
ti
l
l suc
k
at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
en
t
er
Cleanup
s
.
C
omments
.
R
e
move d
e
bug
g
i
n
g
code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Clean up
.
Also pr
e
serve
t
h
e
->
p
ools in one p
a
th of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carp
e
nter
Clean u
p
g
e
t
_
state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
rpenter
Rem
o
v
e
__overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an
Carpenter
There was debuggin
g
output
that
acc
i
dentally got c
o
mmit
t
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Remove a sta
t
e from
i
t's ->pools
w
hen
s
e
t_state()
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carp
e
nter
D
o
n't del
e
t
e
the ->pool
s
on mergi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try understand
the implic
a
tions from compo
u
nd co
n
d
i
t
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Create a state &
m
erg
e
d
.
When we merg
e
stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
arpen
t
er
Ok
.
Th
i
s
time smatch_impli
e
d
_
really_ does so
m
ething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Ca
r
pe
n
ter
I
g
nore
csc
o
p
e
file
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
a
r
penter
Small cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Whi
t
esp
a
ce
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
A
dd some mo
r
e lo
c
king funct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next