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
Dan Carpenter
di
s
able
s
matc
h
_con
t
a
i
ners
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
D
a
n Carpenter
R
andom ugly changes
to
chec
k
_ov
e
rflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan C
a
rp
e
nter
Sto
p
pr
i
n
t
ing so much info all the t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Ca
r
penter
New option: -
-
spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpente
r
Remove
optimizat
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpe
n
ter
Add ch
e
c
k_assigned_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan C
a
rpe
n
ter
f
ix cal
c
u
lating s
i
zeof()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
return UNDEFINED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpe
n
ter
Talk a
b
o
ut smatch_s
c
ripts/k
c
hecker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Impro
v
e get_implied_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
Carpenter
c
o
rrect format
.
warning: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan C
a
rpenter
Add so
m
e
s
tr
i
p_expr() calls to
the func
t
ion
h
ooks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Impro
v
e buf
f
er o
v
erflow check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Dan C
a
rpenter
intro
d
uc
e
smatch
_
conta
i
ners
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan
Ca
r
penter
intr
o
duce set_s
t
ate_expr() and fr
i
ends
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpen
t
er
add check_der
e
f_check
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
added check_i
n
itializer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
new h
o
ok
:
add_
m
odification_hook
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
move
s
ome declarati
o
ns o
u
t of smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-21
Dan Carpe
n
ter
Upd
a
t
e
s
match_dat
a
for 2
.
6
.
31-pr
e
3
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carp
e
n
t
er
Improve
the disp
l
ayed
var
i
able name
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carpenter
f
i
x buffer ov
e
r
f
lo
w
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-15
Dan C
a
rp
e
n
ter
A
d
d check_
b
alance
d
.
c and smatc
h
_
d
at
a
/
k
e
rnel
.
balanc
e
d
_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpente
r
PT
R
_ERR(ERR_
P
TR(-42)) is no
n
zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
che
c
k
_memor
y
.
c
:
u
s
e
t
he add_scop
e
_
ho
o
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Da
n
Carpenter
Ad
d
scoped_stat
e
()
a
n
d add_
s
cope_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
D
an Car
p
enter
smatch_
i
mplied
:
o
n
ly print the nr_chil
d
ren message
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Ca
r
pent
e
r
smatch
_
ex
t
ra: fi
x
(foo != 42)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carp
e
nter
Fix ov
e
rlapping ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
c
h
ec
k
_memory
.
c:
f
ix
r
eversed if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
D
an
Carpenter
F
ix another b
u
g
caus
e
d by
funny tmp_range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Car
p
enter
M
erge branch 'new_implic
a
tions' into
devel2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan C
a
r
penter
Fix crashing bug
caused
b
y the switch
chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
debugging:
p
r
int the line
n
umbers in
merg
e
_s
m
_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
M
ake swit
c
h s
t
ateme
n
ts work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
clean
u
p
.
use tr
u
e/
f
al
s
e_comparis
o
n
_
range_lr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
a
n Carpenter
code
c
hurn: rena
m
e ->p
r
e_left => ->left, ->pre_right
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
Put a cap
on
i
mp
l
ications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Da
n
Carpent
e
r
Improve debugging
.
Don't o
v
erwrite sm
-
>line
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
D
an Carpent
e
r
Mi
c
r
o optimization
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan
C
arpente
r
clean up in merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Da
n
Carp
e
nter
check
f
or out_of_
m
emo
r
y() less often an
d
onl
y
a
f
ter
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
Better deb
u
gging
for c
h
ec
k
_memory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carp
e
nter
Add switch
testing
tes
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Ca
r
pen
t
er
D
o
h
.
Too m
a
n
y impl
i
ed sta
t
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Remove clon
e
_slist_and_states()
a
n
d merge_
s
list_clone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan C
a
rpenter
Remo
v
e
swi
t
c
h
cloning complexi
t
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
t
wo is always non-null
th
e
se days
.
don
'
t
check i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an Car
p
e
n
ter
remo
v
e
u
nused mer
g
e_pools() fu
n
ction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpenter
don'
t
print "list" variable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpenter
Make my
_
pools
=> m
y
_poo
l
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpente
r
introduce
c
lone_po
o
l
_
haver
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
clon
e
_sta
t
e() doesn't copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Rework imp
l
ications t
o
use ->pre_left and ->p
r
e_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpenter
two
is always non-nu
l
l these days
.
don't
check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Da
n
C
arpenter
Introduc
e
->pre_left
and
-
>pre_r
i
ght
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
D
an Carpenter
Ma
k
e the RAM limit more accurate
a
nd flexi
b
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan C
a
r
p
enter
Only clone t
h
e st
a
tes if it is a
s
w
i
tch statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan C
a
rpenter
D
o
n
't clone th
e
false s
t
ates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
D
an Carpenter
D
on't
c
l
o
n
e all the states for every case statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rp
e
n
t
er
Make th
e
validation test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpen
t
er
Pr
e
ven
t
some endles
s
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Putting parens a
r
ound s
o
mething does
n
't make
i
t
u
ndefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
Fix memory leak
.
free_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpen
t
er
M
a
ke struct sm_state more
c
om
p
act
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpen
t
er
smatch_slist
.
c
no longer needs any
f
unc
t
ions fr
o
m s
m
a
t
ch_ext
r
a
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Delete a
l
l the anding compoun
d
conditions code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
check debu
g
is useful
fo
r
debugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpente
r
poten
t
ial
b
ug fix f
o
r gotos wit
h
implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
rpenter
Make val
i
dation test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpe
n
ter
Rework
s
m
atch imp
l
ied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpent
e
r
get_value()
:
handle a couple more bit operators
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpente
r
Set thin
g
s in
smatch ex
t
ra i
n
stead of smatch implied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan
Carp
e
nter
Hand
l
e
switch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpente
r
Revert
"Do
n
't the impli
c
ati
o
ns for the
s
t
a
t
e determi
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan C
a
rpenter
Revert "Her
e
is a bug in han
d
ling compound conditio
n
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
handle if((foo = dow
n
_trylock()
)
< 0) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_i
s
_merged_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Dan
C
arpenter
Der
e
fere
n
c
i
ng a
variable do
e
sn't make it undefi
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
D
an Carp
e
nter
Redo c
h
eckin
g
fo
r
o
u
t of
r
ange args to ERR_PTR()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan C
a
rpen
t
e
r
H
ere
is a bug in
h
andling compound con
d
itions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
C
ar
p
enter
Handle straight f
o
rw
a
rd comparisons to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpente
r
Store
t
he implic
a
tions fo
r
re
t
urn_im
p
lies_state(
)
assig
n
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
C
arpenter
A
d
d:
r
eturn_implies
_
sta
t
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpent
e
r
Renam
e
smatch_extra_helper
.
c to smatch_r
a
ng
e
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
a
r
pente
r
Eliminate se
t
_c
o
nd
_
states() fun
c
t
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
enter
Small cl
e
an up
.
Allocating filter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Ve
r
ify
t
hat the
value p
a
ssed to
E
RR_PTR
(
) isn't too
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix co
m
p
iler int<
-
>ptr c
o
nvers
i
on
warnings
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carp
e
n
ter
Merge ad
j
a
cent ranges
.
1-2,3-4 becomes
1-4
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpenter
S
a
ve s
o
me
a
llocations
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpente
r
Fix strnc
a
t
() bu
g
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpe
n
ter
Improve handling of
for
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
H
a
ndle once through loops
differe
n
tly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpent
e
r
Fix mer
g
i
n
g
r
a
nges
.
Completely b
r
oken before
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Typ
o
: <= instead of
>
=
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carp
e
n
t
er
R
e
verse all th
e
ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-12
Dan Car
p
enter
Don'
t
the im
p
lications
for the state determ
i
ning the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
rpenter
match_compa
r
ison to ha
n
dle less than, greater than
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-11
D
an
C
arpente
r
Chang
e
locking outpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next