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_overflow: malloc() => __alloc_smatch_state()
2010-03-19
Dan Carpente
r
check_o
v
erflow: mallo
c
(
)
=> __alloc_smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
sm
a
tch
.
c: do
n
'
t
leak those 10 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
a
rpenter
assigned_expr: fix memory le
a
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpe
n
ter
kernel
:
free_ar
e
a()
doesn't ca
l
l
kfre
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpe
n
ter
*new* check_
r
e
t
urn
.
c: complain if you do
n
'
t
c
heck
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
a
rpenter
math: make get
_
implied_value() work for poi
n
ters bet
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rp
e
n
t
er
math
:
cle
a
n
u
p: create separate _get_implied_value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
math: handle
m
odulus
'
%' operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
m
a
t
h
: hand
l
e
EXPR_P
O
S
T
OP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arp
e
n
t
er
math: cleanup: make handli
n
g b
i
nops a switch() statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
math: cleanup create separate han
d
le_binop() func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Ca
r
penter
m
a
th: cl
e
a
nup
.
use cast_t
o
_type() instead of re-implime
n
ting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
t
h
: clean
u
p
.
separa
t
e ha
n
dl
e
_pre
o
p() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
enter
equiv: fix c
r
ashing bug
i
ntr
o
d
u
c
ed in 8c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
C
r
eate s
e
para
t
e smat
c
h
_
math
.
c
f
ile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
update
smatch_
d
ata/
f
or 2
.
6
.
34
-
rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
an
Carpen
t
er
implied: clean up
make a
separate handle_
z
er
o
_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carpente
r
equiv:
h
andle comparisons
w
i
th zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpent
e
r
equiv: cleanup s
e
parate se
t
_extr
a
_true_fals
e
() in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
equiv, implied: fix han
d
ling
b
o
r
rowed impli
c
ations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
impl
i
ed: don
'
t update th
e
equi
v
elen
t
states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Ca
r
pent
e
r
rm
v
a
l
idat
i
o
n
/s
m
atch_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n Carpenter
equiv: don't ove
r
write t
h
e
implication
i
nformati
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename
__set
_
state() =
>
__set_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
re
n
ame clone_state(
)
=> clon
e
_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpenter
equiv: preserve ->equiv across merg
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use the equivalent
variable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
remove trackers from ->equiv when
t
hey ar
e
no long
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
Car
p
en
t
er
Fix cr
a
shi
n
g b
u
g caused
by las
t
commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpent
e
r
store information in the new din
f
o->equiv thin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
i
n
t
roduce add_tracker_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpe
n
ter
make set
_
state() and f
r
iend
s
return the new sm
_
state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Ca
r
p
e
nter
introduce clone_tracker_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
a
d
d "equiv"
field to struct
data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
m
o
ve the al
l
oc_di
n
f
o
() funct
i
on
s
to s
m
atch_ext
r
a
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan C
a
rpenter
check_
s
i
g
n
e
d: war
n
ab
o
ut
comp
a
r
ing
(unsigned
variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
upda
t
e vali
d
a
t
i
o
n/sm_casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
te
r
*new* sm
a
t
ch_scrip
t
s/show_errs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
r
p
enter
*new* smatc
h
_scrip
t
s/whitespase_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
add -no-lineno opt
i
on to
s
parse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
validation/sm_redundant_check
.
c
n
ow i
t
's "info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
Ca
r
penter
check_pre
c
eden
c
e: p
r
int o
n
e
wa
r
ning message in
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Car
p
enter
che
c
k
_
si
g
ne
d
: ha
n
dle
u
nsigned 64 bit variables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
ge
t
_value() handle
s
ome
m
o
re ma
t
h operat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Da
n
Carpe
n
ter
make redund
a
n
t null check
s
before kfre
e
(
) an "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
Carpe
n
ter
check_signed: Elim
i
nate some false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Ca
r
p
e
n
ter
p
r
ec
e
dence: check f
o
r
&& vs
&
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
i
mpl
i
catio
n
s: imp
r
ov
e
handli
n
g
of
c
omp
a
risons with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
use implicat
i
ons fro
m
POSTO
P
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
conditions: parse EXPR_POSTO
P
s after evaluat
i
ng the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
chec
k
_overflow
:
remove false positives caused by
prin
t
k
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
flow: improve
h
andling
of while(i
-
-)
{ loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpe
n
ter
rem
o
ve
s
trange loop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
kpa
t
ch
.
sh:
a
sk about alloc() fa
i
lure
s
specificall
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpenter
chec
k
_der
e
f
:
h
andle __GFP
_
N
O
FAIL (r
e
move f
a
lse
p
ositives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpe
n
ter
ch
e
ck_deref
:
han
d
le pointers
u
se
d
as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
n
t
er
smatch_
f
low: clean up
.
merge common
c
o
de in
h
a
ndle_pre
_
l
o
op()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Car
p
enter
improve impli
e
d_conditi
o
n
_tr
u
e() for pre and post ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Ca
r
pe
n
ter
while countdown
loops: handle loops where the start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
handle for
loops where
we don'
t
kno
w
the upper
l
imit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan
Carpenter
smatch_flow: handlin
g
pre
l
oops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Ca
r
pente
r
extr
a
: com
p
aring somethi
n
g to
z
e
ro doesn'
t
mean it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
check_ov
e
rf
l
ow:
relax
rules
o
n if (p
t
r
<
&ar
r
ay
[
m
a
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan C
a
rpe
n
ter
extra: handle loops
l
ik
e
while(i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n
Car
p
enter
clea
n
up: merge a couple f
u
nction for handling for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n Carpen
t
er
fix handling of (2
<= x
)
c
o
mpari
s
ons
w
here the variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
D
a
n Carpenter
check_signed: disable most o
f
t
h
e new warnin
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
get_type() fix cra
s
h on getting pointe
r
types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_value() more int to l
o
ng long m
o
p up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carpenter
get_type() fix
p
o
i
nter han
d
ling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
n
t
e
r
Fix get
_
v
a
lue() for ((unsigned i
n
t) -1
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
type
_
m
ax(): hand
l
e unsigned
long long
.
(sort o
f
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get rid of --rare
option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Carp
e
n
t
er
r
e
na
m
e get_sin
g
le
_
value_f
r
om_range() =
>
get_single
_
valu
e
_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
for l
o
ops: add a spe
c
ial
c
a
s
e fo
r
"f
o
r(i =
0; i
<
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
c
h
ec
k
_signed: ch
e
ck int
t
y
p
e
s as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpenter
smatch
.
c: use
strncpy
(
) i
n
s
t
ead of st
r
cpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carp
e
nter
debu
g
: r
e
n
a
me __smat
c
h
_
print_value() => __smatch_value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
ch
e
c
k
_s
i
gned:
expr->op is
type
i
nt not ch
a
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
Introduce g
e
t_fuz
z
y_m
i
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carp
e
nter
precede
n
ce: cut down
a
few
f
alse
pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carp
e
nter
*n
e
w* ch
e
ck_le16: pr
i
nt
an error for
d
oubl
e
cpu_t
o
_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpen
t
er
*new*
c
heck_mod_
t
i
m
er:
print
a
n warning if
s
o
m
eone
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
strip_exp
r
(): remo
v
e force casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
Ca
r
pe
n
ter
k
p
atc
h
.
sh: fig
u
re the
email address out automatic
a
lly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
Carpenter
*
new* sm
a
tch_scripts/kpatch
.
sh: sc
r
ipt
for mailing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Da
n
Carpe
n
ter
Print
f
ewer messag
e
s
a
bout unreached code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n
Carpente
r
sm
a
tch_condit
i
ons: small clean
u
ps and a
d
d debug
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
arpenter
f
ix WARN
_
ON handl
i
ng
some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Ca
r
penter
smatch_template: sma
l
l changes to comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
clean up the makefile a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
arpe
n
ter
handle assi
g
n
men
t
s like: foo = x < 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smat
c
h_
s
tates: white s
p
ace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
a
r
penter
sm
a
tch is
s
upposed to be using "long long" types internally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
ne
w
_bugs
.
sh: better fi
l
tering
o
f smatch errors fro
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
penter
handle stuff
l
ike
t
he kern
e
l's WARN_ON() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
s
m
atch_extra: foo = !!
x
;
d
oes n
o
t modify x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Carpenter
hand
l
e assignments l
i
k
e
: foo
=
!bar()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nter
c
h
eck_overflow: check
f
o
r m
e
mset()
i
ssues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
an Car
p
en
t
er
au
t
oma
t
icall
y
generate the
list of func
t
ions whic
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next