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
move the alloc_dinfo() functions to smatch_extra.c instead of smatch_range.c
2010-03-12
Dan
C
a
r
penter
m
o
ve the alloc_d
i
n
fo() functions to smatch
_
extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Dan
C
a
r
penter
check_
s
igned:
warn abo
u
t compa
r
ing (unsigned
variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
e
r
update validation/s
m
_casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
an
C
arpenter
*
n
ew
*
smatch
_
s
cr
i
p
t
s/
s
how_errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new
*
sma
t
ch_script
s
/white
s
pase_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Car
p
enter
ad
d
-no-lineno
o
p
t
ion to sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpent
e
r
validation/
s
m_r
e
dundant
_
ch
e
c
k
.
c
now
it's "info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arp
e
nter
check
_
prec
e
dence: pr
i
n
t one warning message inste
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_signed:
h
andl
e
unsigned 64 bit variables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Car
p
enter
get_value() handle some more m
a
th operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Da
n
Ca
r
penter
make redund
a
nt null checks before kfree()
a
n "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
check_si
g
ned: Eliminate s
o
m
e
false positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
precedence: ch
e
ck
for && vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
i
m
p
l
i
cat
i
ons: improve han
d
ling of comparisons with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n
Carpenter
u
se imp
l
i
c
ations from
P
OSTOP
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
c
o
nditions: parse E
X
PR_POSTOP
s
after evalua
t
i
ng the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
check_overflow: remove
f
al
s
e
p
ositi
v
es caused
b
y
print
k
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
flow: improve han
d
ling o
f
while(i--) {
l
oo
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpenter
rem
o
ve strange
l
oop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpen
t
er
k
p
atch
.
sh: ask about allo
c
() failu
r
e
s
s
p
e
cifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
check_de
r
ef: handle
_
_GF
P
_
N
O
FAIL (remove
fal
s
e positi
v
es)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
D
a
n
Carpenter
check_der
e
f:
han
d
le pointers
us
e
d as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
smat
c
h_flow: clean
u
p
.
mer
g
e common cod
e
in
h
andle_pre_loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
i
m
prove
im
p
l
ied_condition_true
(
) for
p
r
e and pos
t
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Car
p
enter
while countdown loops
:
handle loops where the start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n
C
arpenter
handle for loops where w
e
don't know the
u
pper
l
i
mit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nter
s
match_flow: handling
p
re loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan
Ca
r
pen
t
er
extra: com
p
aring some
t
h
ing to zero doesn't mean
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan C
a
rp
e
nter
check_ove
r
flo
w
: relax rules on if (pt
r
< &array[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Car
p
enter
extra: hand
l
e loops lik
e
while(i--)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
an Carpenter
clean up:
merge a couple function fo
r
handl
i
ng for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan
Ca
r
penter
fi
x
h
a
ndling of (2 <=
x) comparisons where the
v
a
r
iable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
D
a
n C
a
rp
e
nter
ch
e
ck
_
signed: disable
most of the new warn
i
ngs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan
Carpenter
get_type() fix crash
o
n get
t
ing pointer ty
p
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
p
e
nte
r
get_value
(
) more
int to
long long mop up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carp
e
nter
get_type() f
i
x pointe
r
h
andl
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
Fix get_value() for ((unsigned i
n
t) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
type_m
a
x(): handle unsigned long
long
.
(sort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Carpenter
get rid of
-
-rar
e
option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Car
p
enter
r
ename get_single_value_from_range() => get_single_value_fr
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
C
arpenter
fo
r
loops:
ad
d
a
s
pecial case for "
f
or(i = 0; i <
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
check_signed:
c
h
e
c
k
i
n
t
types as well
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
smatch
.
c: use strnc
p
y() instead of
s
t
r
c
p
y()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
Carpenter
debug: rena
m
e __smatch_p
r
int_val
u
e() => _
_
smatch_valu
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
D
an
Carp
e
nter
check_signed:
expr-
>
op is ty
p
e int not
c
har
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpen
t
er
Introduce
g
et_
f
uzzy_min()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carp
e
n
t
er
pre
c
edence:
c
ut down a few false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*
n
ew* check_le16: pr
i
nt an err
o
r for dou
b
l
e
c
pu_
t
o_le16
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpenter
*new*
check_
m
o
d
_ti
m
er: print an warning if someo
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
D
an Ca
r
penter
strip_expr
(
): remove
f
orce
c
asts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpent
e
r
k
p
a
t
ch
.
sh: figur
e
the emai
l
ad
d
ress o
u
t
automatically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpe
n
ter
*new* smatch_scripts
/
kpat
c
h
.
sh: scrip
t
for mail
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
arpen
t
er
Print fewer messages about
unreach
e
d
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
s
m
atch_conditions
:
small cleanups and
a
dd debug code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-19
D
an Carpenter
fix WARN_O
N
handling some more
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Da
n
Car
p
enter
sma
t
ch_tem
p
l
a
te: small
cha
n
ges to comme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
D
a
n
C
a
r
pent
e
r
cl
e
an up the makefile a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-18
Dan Ca
r
penter
ha
n
dle assignments
l
ike:
foo = x
< 1;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
p
e
n
ter
smatch_states: whit
e
space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Da
n
Ca
r
penter
smatch i
s
s
u
pp
o
sed to
be using "long long" types internally
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n
Carpenter
n
ew_bugs
.
sh:
b
etter fi
l
tering of smatch e
r
rors from
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
handle stu
f
f li
k
e the
kernel's WARN_ON() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
smatch_extra:
f
o
o =
!!x;
d
oes not
mod
i
fy x
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
nter
handle assignments l
i
ke:
foo
=
!bar()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Carp
e
nter
check_overflow: check f
o
r memset() issu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
e
r
aut
o
matically gen
e
rat
e
the li
s
t
o
f functions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carp
e
n
t
e
r
*new*
smatch_s
c
r
i
p
t
s/summarize_errs
.
sh
:
scri
p
t for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carp
e
nter
kernel: fix xfs fals
e
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow: handle
:
"int *
p
= &array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
a
r
penter
check_overflow: fix bug in get_
a
r
r
a
y
_size_
b
ytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
pu
s
h som
e
more s
t
uf
f
on
t
h
e
b
ig_expressi
o
n_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
ter
check_o
v
e
r
flow
:
handle c
a
st
s
like ((char *)array)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow: fix assig
n
i
ng arrays t
o
pointers of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nter
check_ove
r
flo
w
: fix alig
n
ment bug in get_a
r
ray_
s
ize_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpent
e
r
check_o
v
erflow: prefer rec
e
nt assignm
e
n
t
s over
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpente
r
Add quote
s
around string
literals
i
n
smatch output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_
o
verflow:
u
pdate strcpy(
)
and
s
t
r
ncpy() c
h
ecks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpen
t
e
r
k
ern
e
l
.
no_return_funcs: __reiserfs_pa
n
ic doesn't retur
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
e
n
t
e
r
check_o
v
erflow
:
store the size in bytes
i
nstead
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
r
p
enter
check_
o
v
erflow: don't complai
n
about if (ptr < &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
s
m
atch_flow
:
change how the b
i
g express
i
on s
t
ack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
ch
e
ck_overflow:
r
ena
m
e m
y
_decl_id => my_
s
iz
e
_
i
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_ove
r
flow:
white space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpente
r
ch
e
ck_overf
l
ow: use t
h
e _exp
r
()
h
o
oks i
n
stead o
f
doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
c
h
e
c
k_overflow: remove some
old debugging code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpente
r
chec
k
_o
v
e
r
f
l
ow
:
renam
e
dest => array_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Car
p
e
nt
e
r
check_overf
l
ow:
get_initial
i
ze
r
_bytes() => get_initializer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
ch
e
ck
_
overflow: op
t
ion_spammy => opt
i
on_inf
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
chec
k
_overflow: handle indexed ar
r
ay
i
ni
t
ializations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
c
heck_overflow:
f
i
x
endless loop par
s
i
ng "int x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
fix get_implied_ma
x
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Car
p
enter
check_ov
e
rfl
o
w
: lots
o
f im
p
r
o
vements and
a
l
so a valid
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
fix crash calling get_type() on implicit
l
y de
f
i
ned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carp
e
nt
e
r
Add smatch_d
a
ta/
k
ernel
.
no_return_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan C
a
rpente
r
f
u
nc
t
ion ho
o
ks: get ri
d
of condit
i
on
a
l
function hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n
C
arpente
r
add
s
m
a
t
ch_s
c
rip
t
s/new_bu
g
s
.
s
h: prints the bu
g
s
i
ntr
o
du
c
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
C
ar
p
ente
r
err_ptr_deref: update
t
o use newer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpent
e
r
unr
e
achable
c
ode: enab
l
e
b
y default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
s
h
ow_
u
nreac
h
ab
l
e
.
sh:
ad
d
-k (kernel mode) -b (ignore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan
C
a
rpenter
unreac
h
able
c
o
d
e
: work a
r
ound gcc w
o
rk around
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next