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
fix buffer overflow.
2009-06-17
Dan Carpent
e
r
fix
b
uf
f
e
r overflow
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-15
Dan Car
p
en
t
er
Add check_
b
al
a
nced
.
c and
s
match_data/kernel
.
balanced_
f
u
nc
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
D
a
n Carpent
e
r
PTR_E
R
R(
E
RR_
P
TR(-42))
i
s non zer
o
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
ch
e
ck_m
e
mory
.
c
:
use the add_scope_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan
C
ar
p
enter
Add scoped
_
state()
and add_scope
_
hook
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
smatch_implied:
o
n
ly p
r
int the nr
_
children message
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
smatch_extra: fix
(foo
!
= 42) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
D
an Carpenter
Fix o
v
erlap
p
i
n
g ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
check_memor
y
.
c: fix rever
s
e
d
if
statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan
Carp
e
n
ter
Fix
another bug cau
s
e
d
b
y fu
n
ny tmp_r
a
nge_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Da
n
Ca
r
pent
e
r
M
erge b
r
an
c
h 'n
e
w
_imp
l
ications' into d
e
vel2
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
arpenter
Fix
c
r
ashing bu
g
caused
by the switch cha
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan C
a
rpenter
deb
u
gging: p
r
i
nt the line number
s
i
n merge_sm_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Make switc
h
statements w
o
rk again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan
C
ar
p
enter
clea
n
up
.
use true/false_
c
o
mparison
_
r
a
ng
e
_lr(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Ca
r
penter
code chur
n
: rename
-
>p
r
e_left
=> ->left, ->pre_right
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpe
n
ter
Put a cap o
n
impl
i
cations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Ca
r
pent
e
r
Improve de
b
uggi
n
g
.
Don't overwrite sm->li
n
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpenter
Micro
optimizatio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carp
e
nter
clean
up in merge
_
slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
D
a
n Carp
e
nter
check
f
or out_
o
f_memory() less often and only
a
fter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
B
etter
debugging
f
or check_mem
o
ry
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Ad
d
switch testing te
s
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
D
an Ca
r
pent
e
r
Doh
.
Too ma
n
y
i
m
plied state
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan
C
a
r
pente
r
Remov
e
c
lone_slist_and
_
states
(
)
and
m
erge_sl
i
s
t_cl
o
ne()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Remove
s
witch cloning c
o
mplexity
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
two
i
s always non-nu
l
l these days
.
don'
t
c
heck it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpenter
remo
v
e unused merge_pools(
)
fu
n
ction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
nte
r
don't pr
i
nt "
l
ist" vari
a
bl
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
Mak
e
my
_
pools => my
_
p
ool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpenter
int
r
oduce clone_pool_have
r
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Car
p
enter
clo
n
e
_st
a
te()
d
oesn't copy my_poo
l
s
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Rework imp
l
i
cations to use ->pre_lef
t
and ->pre_ri
g
ht
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpe
n
ter
two i
s
always non-null the
s
e days
.
don't check it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan C
a
rpenter
In
t
ro
d
u
ce ->pre_left and ->
p
re
_
r
i
ght
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Make the R
A
M
l
imit more
a
ccurate
and flexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
D
an
Carpenter
Only clone the states if it is a
sw
i
tch
statemen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
D
o
n't clone
t
he false states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
D
an C
a
rpenter
Do
n
't
c
lo
n
e all
the states for e
v
ery c
a
s
e statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
an Carpent
e
r
Make the validation test harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
Carpenter
Prevent so
m
e
endle
s
s loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Putti
n
g
pa
r
ens around something
d
oesn
'
t make it undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpent
e
r
F
i
x memory leak
.
free
_
slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpenter
Make struct sm_state more co
m
p
act
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Da
n
Carpenter
smatch
_
slist
.
c no longer needs any
f
un
c
tions from smatch
_
extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Dele
t
e all the anding compound conditions code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
arpenter
check
d
ebug is usef
u
l
fo
r
de
b
ugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
enter
potential b
u
g
fix for gotos with implica
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carp
e
n
te
r
Make validation test h
a
rde
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nt
e
r
Rewor
k
smatch
implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan C
a
rpenter
get
_
value(): handle a cou
p
le more bit operators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Set thing
s
in smat
c
h extra instead of smatch implie
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
an Carpenter
Handle switch state
m
ents
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Da
n
Car
p
e
n
t
er
R
e
v
ert "Do
n
'
t
t
h
e implications for the state
determin
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
Revert "Here is a bug
i
n
hand
l
ing compound conditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan
C
arpen
t
er
h
a
n
d
le if((
f
oo = down_trylock()
)
<
0
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Ca
r
p
e
nter
a
dd_is_
m
erged_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
Der
e
ferenci
n
g
a vari
a
ble doesn't
m
ake it undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan Car
p
enter
Red
o
checking for out
o
f
range args to
E
RR_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
D
an Car
p
en
t
er
Here
i
s
a
bug i
n
handling compou
n
d con
d
itions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Ca
r
penter
H
andle
s
traight forward c
o
mparisons to z
e
ro
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n
C
a
r
p
enter
Store the implicat
i
o
ns for return_implies_state()
assign
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n Carpent
e
r
Add: re
t
urn_implies_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
r
p
enter
Ren
a
me smatch_extra_hel
p
e
r
.
c to smatch_ranges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
E
li
m
inate set_cond
_
s
tates() functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nt
e
r
Small clean
u
p
.
Al
l
ocati
n
g f
i
lter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpente
r
V
erify that the value
passed to
E
R
R_PTR() isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Fix
compiler int
<
->ptr conver
s
ion warnin
g
s
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
p
e
nt
e
r
Merge a
d
jacent ranges
.
1-2,3-4
becomes
1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arp
e
nter
S
ave some allocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix strncat() bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpent
e
r
Improve handling of fo
r
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carp
e
nter
Handle on
c
e through loops diff
e
rently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpen
t
e
r
Fix
merg
i
ng ranges
.
Completely broken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
T
ypo:
<=
in
s
tead of >
=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Revers
e
all the ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Don't the implic
a
tions for the state determining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
C
a
r
p
enter
match_compar
i
so
n
to h
a
ndle less t
h
an, greater than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Ca
r
p
e
nter
Change lockin
g
outpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
penter
Don't
a
llocate
s
o many
e
xtra_undefined st
a
t
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
C
arpenter
create allo
c
_extra_state_empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpenter
remove true_co
m
parison() an
d
do_comparison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
m
o
ve (true|false)
_
c
o
m
parison_range() to sm
a
tch_
e
xtra_h
e
lper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
cl
e
a
r ->my
_
l
ist
s
for &ign
o
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
P
rint
m
ore --
d
ebug-impli
e
d informati
o
n w
h
e
n
--
d
ebug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
Removed hard code
d
options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Ca
r
penter
Fi
x
r
a
nge comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Car
p
enter
remove unused function: rang
e
_list_inte
r
section()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carp
e
n
t
e
r
Hand
l
e UNDEFINE
D
range
and dis
p
lay the name c
o
rrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Fix
state names fo
r
ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Carpenter
Implied ranges
.
Part #3
.
Range Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Update data files for 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpenter
smat
c
h_ex
t
ra
.
save
o
ther comparisons b
e
sides ju
s
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carpenter
handl
e
: if ((foo = try_lock()))
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carp
e
nter
rename
:
expr_to_val() -> get_
i
mplied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
Fix ha
n
dl
i
n
g
of if
(
IS_E
R
R(foo
=
bar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpe
n
te
r
hand
l
e
i
f
conditiona
l
functi
o
ns
a
re a
s
signed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Carpenter
A
dd new r
e
stricted known_condition_tru
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
re
n
ame known_condition_true() to implied_
c
on
d
i
t
io
n
_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
pen
t
er
Add
E
RR_P
T
R() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next