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
D
an Carpenter
check_overflow: malloc() => __allo
c
_smatch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpenter
sm
a
tch
.
c
:
don
'
t l
e
ak those
1
0
byt
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpenter
assigned_exp
r
: fix memory l
e
a
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpent
e
r
kerne
l
:
f
r
e
e_area() doesn't call kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n Carpenter
*new*
check_return
.
c: compl
a
in i
f
y
o
u
don'
t
c
h
eck the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an C
a
r
p
e
nter
math: mak
e
get_i
m
plied_value() work for poin
t
e
r
s
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpent
e
r
math:
c
lean
u
p
:
create separate _
g
et_i
m
p
lied_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpent
e
r
math
:
handle modulus '%'
o
perations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
a
rpen
t
er
math: handle
E
XPR_POST
O
P
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpe
n
ter
math: cleanup: make handling binops a swit
c
h()
s
tate
m
ent
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: c
l
eanup create
s
eparate
handl
e
_
b
inop() func
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
C
a
r
p
enter
ma
t
h:
c
leanup
.
us
e
cas
t
_
to_
t
ype() instead o
f
re-implimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
mat
h
: clean
u
p
.
sep
a
rate handle_preop(
)
into it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
e
quiv
:
fix cras
h
ing bug in
t
roduced
in 8c358
8
83
a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Create
s
ep
a
rate sm
a
tch_math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pe
n
ter
update s
m
atch_data/
for 2
.
6
.
34-r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pente
r
impl
i
ed: clean up make a separate ha
n
d
le_zero_
c
om
p
aris
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: han
d
le compariso
n
s with zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
equi
v
: cleanup separate set
_
extra_tru
e
_false()
i
nto
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pente
r
equiv, impli
e
d
: fix handling borrow
e
d implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
an C
a
rpenter
impl
i
ed: d
o
n
't update the e
q
u
ivel
e
nt states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
an C
a
r
p
ent
e
r
rm
v
a
lidati
o
n/
s
ma
t
ch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
e
quiv: don't overwrite the impl
i
catio
n
in
f
ormation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
Car
p
enter
re
n
ame __set_state() => __
s
e
t_sm(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
re
n
ame clone_
s
t
a
te() =>
c
l
o
n
e
_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpenter
equiv: preserve ->equiv across merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use the equivalen
t
v
a
r
i
ab
l
e code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
r
e
move
trackers
from ->equiv when they
a
re no lo
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpe
n
t
e
r
Fix crashing bug caused
b
y last c
o
mmit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
C
arpenter
st
o
re inf
o
rmation in the
n
e
w
d
inf
o
->equiv
t
h
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
a
r
p
e
n
ter
introdu
c
e add_tra
c
ker_ex
p
r
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpenter
make set_state() and
f
ri
e
nds
ret
u
rn the
n
ew sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introdu
c
e clone_tracker_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpenter
add "equiv
"
field t
o
st
r
uct d
a
ta_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carpenter
move th
e
a
lloc_di
n
fo
(
) functions
t
o sm
a
tc
h
_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
check_signed
:
warn about comparing
(un
s
igned
v
ar
i
abl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
update validation/s
m
_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
Carpent
e
r
*new* sma
t
ch_scripts/show_errs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rpenter
*new
*
s
matc
h
_
s
cripts
/
whitespase_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an C
a
rpenter
a
dd -
n
o-linen
o
option to
s
parse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carp
e
nter
validation/sm_re
d
undant_chec
k
.
c no
w
it's
"
info" n
o
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpent
e
r
c
h
eck_preced
e
nce:
print one warning m
e
ssage inste
a
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_signed: handle unsign
e
d 64 bi
t
variables bette
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan
C
ar
p
enter
get_
v
alue() handle s
o
me mor
e
m
a
t
h
o
perations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
make redu
n
dant null
checks
b
e
fore kfr
e
e
() a
n
"info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
check_si
g
ned:
Eliminat
e
some fa
l
se positiv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpen
t
e
r
pre
c
ede
n
ce: c
h
e
ck for
&& vs
&
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nter
i
m
plic
a
t
i
o
ns: improve handling of
compa
r
isons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
u
s
e implications from POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n
Carpenter
conditions
:
pa
r
se
EXPR_
P
O
STOPs after evalu
a
ting the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
ente
r
ch
e
ck_overflow: remove false positive
s
caused by print
k
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
f
l
ow: i
m
p
rove handlin
g
of while(i--) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpen
t
er
remo
v
e
strange loop me
s
sage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
kpa
t
ch
.
sh
:
ask about a
l
l
oc() fai
l
ures
specific
a
lly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpenter
ch
e
ck_deref: handle __GFP_NOFAIL (remove false po
s
it
i
ves)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
D
an
C
arpente
r
check_deref: ha
n
dle pointers used as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpen
t
er
smatch_flow: clean up
.
m
erge
common code
i
n
h
andle_pre_loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan C
a
rpenter
impr
o
ve
imp
l
i
ed_condition
_
tru
e
() for
pre
and
p
ost ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
C
arpenter
whi
l
e countdown
loops: handle lo
o
p
s where the
sta
r
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
handle for loops whe
r
e we don't know th
e
upper l
i
mit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan C
a
rpenter
smatch_f
l
ow: handling
p
r
e
l
oo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Da
n
Carpenter
e
xtra: co
m
p
a
ring somethi
n
g to zer
o
do
e
sn't
m
ean
i
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan
C
arp
e
n
t
er
check_o
v
e
r
flow: relax rules on if (p
t
r <
&
ar
r
a
y
[ma
x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
D
a
n
Carpenter
extra: handle loo
p
s like while(i
-
-
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpent
e
r
clean up:
m
erge
a
couple f
u
nc
t
ion
f
or handling
for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n
C
arpenter
fix handling of (
2
<= x)
c
omparis
o
ns where the var
i
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpente
r
c
h
eck_signed: disable most of
the new
warni
n
gs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
D
an
Carp
e
nter
get_type() fix
crash on getting po
i
nter typ
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
t
e
r
g
e
t_value(
)
more int
to long long mop
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
ter
get
_
type() fix pointe
r
handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
pe
n
t
er
Fix get_v
a
l
ue() for ((
u
nsigned
int) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpen
t
e
r
t
y
pe
_
max(): handle unsigned lo
n
g long
.
(sor
t
of)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpe
n
ter
ge
t
rid of
-
-rare
option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpenter
rename
get_sin
g
le_valu
e
_from_
r
an
g
e()
=>
get_singl
e
_valu
e
_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
ter
for loops: add a
spe
c
ial case fo
r
"fo
r
(i = 0;
i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
check_sign
e
d: check int type
s
as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
s
match
.
c
: use strn
c
py() instead of strcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
C
a
rpenter
d
e
b
u
g: rename __smatch_print
_
value() =>
__sm
a
tch_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Carpent
e
r
check_s
i
gned: exp
r
->op is t
y
pe i
n
t
n
o
t
char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n Carpenter
I
n
trod
u
ce g
e
t
_
fuzzy_min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Car
p
enter
p
r
e
c
e
dence:
cut down a few fal
s
e po
s
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
Carpenter
*new* ch
e
c
k
_le16: print an error for double
c
pu_to_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Da
n
Carpenter
*new* check_mod_t
i
mer: print
an w
a
rning if so
m
eon
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
Carpenter
strip
_
exp
r
(): remove force casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpe
n
ter
kpatch
.
sh: figure th
e
email ad
d
ress out aut
o
matically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
an Carpenter
*new* smatch_scrip
t
s/kpat
c
h
.
sh: script for mail
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpe
n
t
e
r
Prin
t
fewer messages a
b
out unreached
c
ode
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
an Carp
e
nter
smatch_c
o
ndition
s
: smal
l
c
leanups and ad
d
de
b
ug code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpent
e
r
fix WARN
_
ON handl
i
ng some mo
r
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan C
a
r
p
enter
smatch
_
template: sm
a
ll changes to
c
om
m
e
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
cle
a
n
up the makefile a
bi
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
h
a
ndle assignm
e
n
t
s
like: foo = x < 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan C
a
r
p
enter
smatch
_
states: whi
t
e
s
pace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
smatc
h
i
s supposed
t
o be
using "l
o
ng long" types internally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Ca
r
penter
new_bugs
.
s
h
: better f
i
ltering
o
f
smatch er
r
ors from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
handle stuff like the kernel's WARN_ON() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
en
t
er
sm
a
tch_extra: foo = !!x; does
not
modify
x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
C
arpenter
handle
assignments lik
e
:
foo = !bar
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
check_ov
e
rfl
o
w: check for memset(
)
issue
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpenter
automati
c
ally generate the lis
t
of f
u
nctions
whic
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next