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
white_spaceonly: allow header files
2010-03-23
Dan Carpenter
white_sp
a
ce
o
nly: allow header file
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Ca
r
penter
*new* strip_whitespace
.
p
l: removes all the whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new
*
check_resourc
e
_
s
ize(): prod peo
p
l
e to use re
s
o
u
rce_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan
C
arpente
r
extra: ass
u
me impossible things
a
re impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpen
t
er
err_ptr
:
fix btrfs false pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Da
n
Carpen
t
er
err_ptr: handle when an
err_
p
tr is reassigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpente
r
*n
e
w* ch
e
ck_
d
b_info
.
c prin
t
s out st
u
ff that
will b
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
cle
a
nup: move
s
tuff from smatch_extra
.
c t
o
smatch_mat
h
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
w
hitesp
a
ce changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
r
p
enter
equiv: fix crashing
b
ug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
check_ov
e
rflow: malloc() => __alloc_smat
c
h_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
n
t
er
smatc
h
.
c:
d
on't lea
k
tho
s
e 10 byte
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assigned_
e
xpr: fix memo
r
y leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Ca
r
penter
kernel: fre
e
_
are
a
() doesn't call
k
free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n Carpenter
*new* ch
e
ck_return
.
c
:
complain if
you do
n
't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: make ge
t
_implied_value() work for poi
n
ters
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
m
a
th: cleanup
:
cr
e
ate separate _get_
i
mplied_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handle modulus '%' op
e
r
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
math:
handle EXPR_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup: make handlin
g
bin
o
ps a switc
h
()
statemen
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
c
leanup create separate
handl
e
_binop()
function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
mat
h
:
clea
n
u
p
.
use cast_to_type() instead of re-implim
e
n
ting
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
math: cleanup
.
separate handle_pr
e
op() into it's
o
wn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
ar
p
enter
equ
i
v
:
fi
x
crashin
g
bug introduc
e
d in 8c358883
a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpe
n
te
r
C
r
eat
e
separate smatch_math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
upd
a
t
e
sm
a
tc
h
_
d
ata
/
for 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Ca
r
p
e
nter
implied: clean
u
p make a separate ha
n
dle_
z
ero
_
c
o
m
p
a
r
ison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
ar
p
enter
equiv: handle
co
m
p
ar
i
sons with ze
r
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equi
v
: cl
e
anup separate
s
et_ex
t
ra_true_false()
i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carpenter
equiv,
imp
l
i
ed: fix handling borrowed
implic
a
tio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
an Carpenter
im
p
lied: don't updat
e
th
e
equivelent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
r
m
valid
a
tion/
s
m
a
tch_cl
o
set/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
an Carpenter
equiv: don't overwrite the implica
t
i
o
n
informati
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
Carpenter
rename __set_state() => __set
_
sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nter
r
e
name cl
o
n
e
_state() => clo
n
e
_
sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
equiv: p
r
eserve ->equ
i
v ac
r
oss merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
enter
Use the equivale
n
t variable
co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
enter
remove
t
r
a
ck
e
rs from -
>
e
quiv when they are
n
o lo
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix crashing bu
g
cau
s
ed by
l
a
st commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpenter
s
t
ore inform
a
tion in the new di
n
fo->eq
u
iv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
introduce
a
d
d_tracker_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
penter
make
s
et_state
(
) and f
r
ie
n
ds return the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce clone_trac
k
er_list(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
enter
a
d
d "equiv
"
fiel
d
to
struct data_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Ca
r
pente
r
move the all
o
c_din
f
o()
functio
n
s to sm
a
tch_
e
xt
r
a
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
check_s
i
gned:
w
arn about c
o
mparing (unsi
g
ned variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
update validatio
n
/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch_scr
i
pts/sh
o
w
_errs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch
_
script
s
/w
h
i
tespase_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
a
d
d -no-l
i
neno option t
o
sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
validation/sm_red
u
ndant_che
c
k
.
c now
i
t's "info
"
not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_precedence:
p
r
int one warnin
g
message instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
check_signed: ha
n
dle unsign
e
d
64 bit varia
b
les bet
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan C
a
r
p
enter
get
_
value() handle so
m
e m
o
re math op
e
ration
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpent
e
r
ma
k
e
re
d
undant null checks before
k
free() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
an Carpenter
check_signed:
E
li
m
inate some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Ca
r
pent
e
r
pre
c
e
dence: c
h
ec
k
for && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
i
m
p
lications:
impro
v
e
handl
i
ng of
c
omparison
s
w
i
th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
t
e
r
use implication
s
fr
o
m POSTOP
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpente
r
c
on
d
ition
s
: parse EXP
R
_PO
S
TOPs after evaluatin
g
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
chec
k
_overflow: remove fa
l
se p
o
sitives ca
u
sed by printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
flo
w
:
im
p
r
o
ve handling
of while
(
i--) {
l
oo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpent
e
r
remove strange loop message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
kpa
t
c
h
.
s
h
: ask about alloc() fai
l
ures
s
p
e
cif
i
ca
l
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_deref
:
h
a
ndle __GFP_NOFA
I
L (remov
e
false posit
i
ves)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan C
a
r
penter
check_d
e
r
ef:
handle pointers used as
a
rrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
penter
s
m
atch_
f
low: cl
e
a
n up
.
merge common code in handle_pre_loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
improve implie
d
_condition_true() for
pre and p
o
st o
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
an Carpenter
w
hile countdo
w
n
loop
s
: hand
l
e loops
w
here
the start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpen
t
e
r
hand
l
e
for loops wh
e
re we d
o
n't
k
now th
e
upper limit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
smatch_fl
o
w: hand
l
ing
pr
e
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpe
n
ter
e
xt
r
a: comparing somethin
g
t
o zero doesn't
m
ean it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpent
e
r
chec
k
_overflow: relax rul
e
s on if
(ptr < &ar
r
ay[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpe
n
ter
ext
r
a: ha
n
dle lo
o
ps like while
(
i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
D
an
C
a
rpenter
c
lean up
:
m
e
rge a
c
o
u
ple
f
unc
t
ion for
handling for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpen
t
er
fix handl
i
ng of (2 <= x) co
m
parisons where the varia
b
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Da
n
Carpe
n
ter
check_
s
igned:
d
isa
b
le
most of the new warnin
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
g
et_type() fix crash
o
n
getting
p
o
int
e
r typ
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
an Carp
e
nter
ge
t
_value() more int
to
l
ong long mop up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpenter
g
et_type() fix poi
n
ter han
d
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
arpe
n
ter
Fix ge
t
_v
a
lue()
for ((unsign
e
d
i
nt) -
1
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Carpenter
t
y
pe_max(): han
d
le
uns
i
g
ned lo
n
g long
.
(sort o
f
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
g
et rid of --
r
are option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
penter
r
ename get_single_
v
alue_from_range()
=
>
get_single_value_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
n
t
er
f
o
r
loops:
add a s
p
e
c
ia
l
case for "for(i =
0; i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
check
_
signed:
check int typ
e
s as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
smatch
.
c: use strncpy() i
n
stead o
f
st
r
cpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
d
e
bug: rena
m
e __smatc
h
_print_v
a
lue() => __smatc
h
_va
l
ue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpe
n
ter
check_signed: e
x
pr->op is type
i
n
t not cha
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
I
n
trodu
c
e get
_
fuzzy_
m
i
n()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
precede
n
ce:
cut down a few false posi
t
ives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new* ch
e
ck_le16:
print
an err
o
r
for double
cpu_to_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new*
che
c
k_mod_timer: p
r
int an warning if
s
omeon
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Ca
r
pent
e
r
strip_expr(): remo
v
e force casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n
Carpenter
kpat
c
h
.
s
h
: figure the email address out
a
uto
m
a
t
ically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan C
a
rpen
t
er
*new* smatch_script
s
/kpa
t
ch
.
sh: script for
m
ail
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpent
e
r
Print fe
w
er mess
a
g
es about unreached code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
an Carpenter
smatch_c
o
n
d
itions: small
c
leanups and add debug cod
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
an Carpenter
fix WAR
N
_ON handling
s
o
m
e more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
s
m
a
tch
_
template:
sm
a
ll cha
n
ge
s
to comme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next