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
delete the old check_locking.c
2009-08-03
D
a
n Carpen
t
er
Random ugly ch
a
nges to c
h
eck_over
f
l
ow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
Carpenter
S
to
p
printing so muc
h
info all th
e
time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carp
e
nter
New opti
o
n: -
-
s
pammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
D
a
n Carpen
t
e
r
Remove optimizat
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
a
r
pent
e
r
Add check
_
a
s
s
igned_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpe
n
ter
fix cal
c
ulating sizeof()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arp
e
nte
r
r
e
tur
n
UNDEFINED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Talk about
s
m
a
tch_
s
cripts/kchecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Imp
r
ove get_imp
l
ied
_
v
a
l
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan C
a
rpenter
correct format
.
warning:
=
> warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpent
e
r
Add
some st
r
ip_expr()
c
a
l
ls to the functio
n
hooks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
penter
Improve
b
u
f
fer overflow check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Dan
C
arp
e
nter
intr
o
d
u
ce
s
m
atch_containe
r
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan C
a
rp
e
n
t
er
introduc
e
s
e
t
_state_expr
(
)
a
nd frien
d
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Car
p
enter
ad
d
check_deref_ch
e
ck
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
added
c
heck_initialize
r
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan
Carpente
r
new hook
:
add
_
modification_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Car
p
enter
mo
v
e some decla
r
ations out of smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-21
D
a
n Carpenter
Update sma
t
ch_dat
a
for 2
.
6
.
31-pre3
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
D
a
n Carpenter
Improve th
e
displa
y
ed variabl
e
names
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
f
i
x
b
u
ffer overflow
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-15
Dan
Carpente
r
Add check_balanced
.
c and smatch_data/kern
e
l
.
bal
a
n
ced_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan
C
a
r
pent
e
r
PTR_ERR(
E
RR_P
T
R
(
-
4
2
)
) is
non zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpe
n
ter
check
_
memory
.
c:
u
s
e
the add
_
scope_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Da
n
Carpente
r
A
dd scoped_st
a
te() an
d
add_scope_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Da
n
C
arp
e
n
t
er
s
match
_
im
p
lied: only print the nr_children mes
s
age
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpen
t
e
r
s
match_ex
t
ra: fix (foo != 42) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
Fix overlap
p
ing ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
check
_
memory
.
c:
f
i
x reversed
if sta
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
Fix another bug
c
a
us
e
d by
funny tmp_ra
n
ge_l
i
st
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Merge
b
ranch 'new_implicatio
n
s' i
n
t
o
devel2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
D
an C
a
r
p
enter
F
i
x c
r
ashin
g
bug c
a
used by t
h
e switch
c
hanges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpente
r
debugging: print the
l
i
n
e number
s
i
n m
e
rg
e
_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carp
e
nte
r
Make switch st
a
t
ements work aga
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Car
p
enter
clean up
.
use true/false_compa
r
ison_ran
g
e_lr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
cod
e
churn: re
n
ame -
>
pre_lef
t
=> ->
l
ef
t
, ->
p
re_
r
ight
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan
C
arpen
t
er
Put a cap on implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
D
a
n Carpenter
Improve
d
e
b
ugging
.
Don't overwrite
s
m->l
i
ne
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpenter
Mi
c
ro optimization
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
clean up in merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan
Carpenter
check for out_of_memor
y
() less
often and only
a
fter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
D
a
n Carpenter
Bett
e
r debu
g
ging for check_memory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Carpenter
A
d
d switch testi
n
g
test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carp
e
nter
Do
h
.
Too many
i
mp
l
ied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n Carpenter
Remove clone_slist_and_states() and merge_s
l
ist_clone(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n Carp
e
nter
R
emove swit
c
h c
l
oning complexi
t
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an C
a
rpen
t
er
two
i
s always non-null these d
a
ys
.
don't check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
C
arpenter
remove
u
nused merge_pool
s
()
fun
c
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
don't p
r
int "list" variab
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
Mak
e
my_
p
ools => my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
er
i
n
troduc
e
cl
o
ne_poo
l
_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpe
n
ter
cl
o
ne_state()
d
o
esn't
c
opy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Car
p
enter
Rewor
k
implication
s
to use ->pre_left and ->pre_ri
g
ht
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
two
i
s always non-null th
e
se days
.
don't check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan C
a
rpenter
Int
r
oduce ->pre_left and ->pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
Ma
k
e
the
R
AM
l
imit more accurate and flexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpente
r
Only
c
lo
n
e the sta
t
es if it is a switch statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
D
o
n'
t
clo
n
e the false st
a
tes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't clone a
l
l the states for every
c
ase st
a
t
e
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Make
the valid
a
ti
o
n
t
e
st h
a
rde
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
P
r
e
ve
n
t some endless loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpenter
Putting parens a
r
o
u
nd som
e
thing do
e
sn't mak
e
it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
Car
p
ent
e
r
F
i
x
memory le
a
k
.
f
r
ee_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
a
r
penter
Make struct
s
m_state mo
r
e compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
e
n
te
r
smatch_s
l
ist
.
c
n
o longer needs any funct
i
ons from
smatc
h
_extra
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
C
arpenter
Del
e
te all
t
h
e anding co
m
p
oun
d
c
o
ndi
t
ions code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpente
r
check de
b
ug is
useful for debug
g
in
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
po
t
ent
i
al bug fix f
o
r gotos with implicatio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n
Carpenter
Make va
l
i
dation test hard
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Rework s
m
atch
i
mpl
i
ed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
D
an
Carpenter
g
e
t_value(): handle a
couple
more bit operat
o
rs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpenter
Set th
i
ngs
in s
m
atch extra instead
of smat
c
h
i
mplied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpente
r
Handle switch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpent
e
r
Revert "Don't the implica
t
ions fo
r
t
he state determin
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Da
n
Carp
e
nter
Rever
t
"Here is a bug in handling
c
ompound
c
o
nditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
han
d
le if((
f
oo = down
_
tryl
o
ck()) < 0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_is_
m
er
g
e
d
_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
Dereferen
c
ing a
v
ariable doesn't m
a
ke it undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Re
d
o
c
h
ecking
f
o
r
ou
t
of range
args to ERR_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan
Carpenter
Here is
a
bug i
n
handli
n
g comp
o
und conditio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
Carpente
r
Hand
l
e
s
t
r
aight forward co
m
pa
r
isons to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
rpenter
S
t
ore the implications for return_implies_
s
tate
(
) assignments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
C
arpenter
Add: return_implies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
e
r
Rename smatch_ext
r
a
_
helper
.
c
to
s
mat
c
h
_
r
ange
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carp
e
nter
Eliminate set_cond_states() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
S
mall clean up
.
Alloca
t
ing filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
ar
p
enter
Verif
y
th
a
t the
value passed to ER
R
_PTR
(
) isn
'
t too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix co
m
piler
in
t
<->ptr conver
s
ion warnings
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpente
r
Merge adja
c
e
n
t ranges
.
1-
2
,3-4 becomes 1-
4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
Sa
v
e some al
l
ocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Fix strncat() bugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpenter
Improve handlin
g
of
f
or
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle once through
l
oops differen
t
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpenter
F
i
x
m
e
rging ra
n
ge
s
.
Completely
br
o
ke
n
before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpenter
Typo: <=
i
nstead of >=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n C
a
rpenter
Reverse a
l
l
the ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpen
t
er
Don't the implications for
th
e
state deter
m
ining the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Ca
r
pen
t
er
match_com
p
ari
s
on
t
o
handle less than, greater than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Change l
o
cking ou
t
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Ca
r
pen
t
e
r
D
on'
t
a
l
locate so
man
y
extra_u
n
de
f
i
n
ed states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next