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
extra: use the fake assignments instead of the initializer
2010-02-24
Dan Carpent
e
r
get rid
of
--rare optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
penter
r
e
na
m
e get_sin
g
le_value_f
r
om_range() => get_
s
ing
l
e_value_f
r
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpent
e
r
for loops: add
a special case for "f
o
r(i = 0; i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpente
r
check_sig
n
ed: che
c
k int
t
ype
s
as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
smatch
.
c
: use
s
trncpy()
i
nstead
of
s
trcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an
Car
p
en
t
er
de
b
u
g
:
re
n
ame
__smatch_print_value()
=
> _
_
smat
c
h_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpen
t
er
c
heck_signed: expr->o
p
is t
y
pe
i
nt no
t
c
har
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpent
e
r
Introduce get_fuzzy_min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
pr
e
cedence:
cut down a
few
fa
l
se
p
o
si
t
ive
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an Car
p
ent
e
r
*
new* check_l
e
16: print
an error for
d
ouble c
p
u_to_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
an Carpen
t
er
*new
*
check
_
m
od_timer: pr
i
nt an
w
arning if
s
omeone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpen
t
er
strip
_
expr(): rem
o
v
e
force
cas
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
Carpen
t
er
kpa
t
ch
.
sh: figure the
em
a
i
l a
d
dress out
a
u
t
o
m
atically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
*
new* smatch_scri
p
ts
/
kpatch
.
s
h:
sc
r
ipt
for
m
ailing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carp
e
nter
P
r
int fewer message
s
about un
r
eached code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
s
m
atc
h
_conditions: sm
a
ll cle
a
nups and add
debug
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n Carp
e
nter
fix WARN_ON handling s
o
me more
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
a
r
penter
sma
t
ch_
t
emplat
e
: small changes to comme
n
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carp
e
n
t
er
clean
up the makefile a bi
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpenter
handle a
s
signments like: foo
=
x
< 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpen
t
e
r
s
match_states: white
s
p
a
c
e changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpent
e
r
sm
a
tch is
suppo
s
ed t
o
b
e using "l
o
n
g
lon
g
" types
i
n
t
er
n
all
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
n
e
w
_
bugs
.
sh: bett
e
r filtering of smatch errors from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpenter
h
andle stuff like the kernel'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
o
es not modify
x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpenter
handl
e
assignments like: fo
o
= !b
a
r(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpenter
check_
o
verflow: che
c
k for
m
emset(
)
i
s
sues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpent
e
r
aut
o
matically generat
e
the list of functio
n
s which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Ca
r
pente
r
*new*
s
match
_
scr
i
p
t
s/summarize_errs
.
sh
:
script for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan
C
a
rpente
r
ker
n
el: fix xfs fal
s
e pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
check_overflow: han
d
le: "int *p =
&array;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
C
arpenter
chec
k
_overf
l
ow: fix
b
ug in get_array_
s
ize_byte
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
push some more s
t
u
ff on the big
_
expr
e
ssion_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpente
r
check_
o
verflow: ha
n
dle cas
t
s
l
ike ((char *
)
array)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
penter
check
_
overf
l
ow: fi
x
ass
i
gnin
g
arrays
to poi
n
ters of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
p
enter
chec
k
_overflow: fix alignment bug
i
n g
e
t_array_size_
b
y
tes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
check
_
overflow: prefe
r
rece
n
t
assignmen
t
s over the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carp
e
nter
Add quotes
around
s
tring li
t
erals in smatch outpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_over
f
l
o
w: upd
a
te str
c
py()
a
nd strncpy
(
)
chec
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
kernel
.
no
_
ret
u
r
n
_
funcs: __reiserfs_
p
anic doesn't retur
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
C
arpenter
che
c
k
_
overflow: store th
e
size in
b
ytes in
s
tead of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
ch
e
ck_overflow: don't co
m
plain about
if (ptr < &ar
r
ay
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
smatch_
f
low: c
h
ange
how the big expression stack wo
r
ks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
heck_
o
ve
r
f
l
ow: renam
e
my_decl_id => my_size_id
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpente
r
c
h
eck_overflow: white sp
a
ce changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: use the _expr() hook
s
instead of doing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
chec
k
_overflow: remo
v
e
some old debuggin
g
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
chec
k
_overflow: rename dest
=>
array_expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
check_overflow:
g
e
t_init
i
alize
r
_bytes()
=> get_initialize
r
_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
chec
k
_over
f
low: optio
n
_
s
p
ammy => option_
i
nfo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
enter
chec
k
_overflow: handle
i
ndexed array i
n
i
t
ializat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an
Carp
e
nter
check_ove
r
f
l
ow: fix e
n
dles
s
loop pars
i
ng "int x =
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
fix g
e
t
_i
m
plied_
m
ax()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpente
r
check_
o
verflow:
l
o
ts
of i
m
p
rovements and also a v
a
lidation
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
fix c
r
ash
c
alling get_type(
)
on implicitly defined
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpente
r
A
d
d smatch_dat
a
/kernel
.
no_re
t
urn_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpente
r
functio
n
hooks:
get rid o
f
c
o
n
ditional func
t
ion hooks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
Ca
r
penter
add smatch_s
c
ripts/
n
ew_bugs
.
s
h
: pr
i
nts the b
u
gs introduc
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpente
r
err_ptr_deref: update to
use
n
ewer api
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan
C
a
rpen
t
e
r
unrea
c
hable cod
e
:
enable by defa
u
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carp
e
nt
e
r
sho
w
_u
n
r
eachable
.
sh: add -k (ke
r
n
e
l mode) -b (ignore
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Da
n
Carpenter
unreachable code:
w
ork around g
c
c work aro
u
n
d
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
print an error message about unreached initializers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
D
an Carpenter
check_stack: tweak the output a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan Car
p
enter
New check_
s
tack
.
c: warn if kernel
c
ode
puts too much
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan Car
p
enter
Add
r
egister_proj
e
c
t
() to
ch
e
ck_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
Dan
C
ar
p
enter
update t
h
e documentation
a
bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
check_memo
r
y: only load ker
n
e
l
.
f
r
ees_
a
r
g
ume
n
t when
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Ca
r
penter
C
r
eate: s
m
atch_project
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
b
a
il if things are taking too lo
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
add smatch_scripts/fil
t
er_kern
e
l
_deref_check
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan
Car
p
enter
check_d
e
ref_check: do not complain in
l
o
o
p pre con
d
itions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
Dan Carpenter
tw
e
ak u
n
reachable
c
o
de message
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan C
a
rpenter
check_signed: ha
n
dle
signed 1 bi
t
valu
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
check_signe
d
:
d
on't comp
l
ain
a
bou
t
unsi
g
ned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
ne
w
function: type_unsigned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan
C
arpenter
partly rep
l
ace check_n
u
ll_de
r
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpent
e
r
modifi
c
ation hoo
k
s: only allow one hook pe
r
variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
C
arpenter
introduce: set_
d
efault_
m
odificat
i
on_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Car
p
en
t
e
r
cl
e
anu
p
:
get
r
id of smatch_containe
r
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
C
ar
p
en
t
er
check
_
null_deref: only
the kernel
c
ares about fa
i
led
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Da
n
Carpenter
Fix OpenBS
D
comp
i
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan
C
arpenter
c
h
e
c
k_sig
n
ed: clean ups
.
add check for impossibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
m
ak
e
eve
r
ything
u
s
e
smat
c
h_function_hashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan C
a
rpenter
add smatch_function_hashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Carpe
n
ter
Move
e
veryt
h
ing to the new cwchash hash table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan C
a
rpente
r
add
cwchash hash
t
able
i
mplementation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
D
an Carpe
n
ter
function_imp
l
ies
_
h
o
ok: f
i
x
b
u
g wh
e
n a function h
a
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan
C
arpenter
c
h
e
c
k
_signed: wa
r
n
on ass
i
gn
i
ng negativ
e
to unsigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Make smatch work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Merge git:
/
/git
.
k
e
rne
l
.
org/pub/
s
cm/deve
l
/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carp
e
n
ter
Move the checks
o
ut of smatch
.
c into
c
heck_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
silenc
e
some s
p
a
rse
w
arnings: () =
>
(
v
oid)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Car
p
enter
i
n
troduce: type_min() a
n
d type_m
a
x()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carpen
t
er
wine
W
toA
:
f
i
x cr
a
shing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
new file:
sm
a
tc
h
_scripts/
g
en
_
dma
_
f
u
n
cs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpen
t
er
sh
o
w
_
i
f
s
.
sh: Add the
-
C
opt
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
Carpenter
ch
e
ck_memory: elimina
t
e
some false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
get_value(): the retu
r
n value
w
as get
t
ing
c
ut off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
check_signed: clarify error message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next