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
D
a
n
Carpenter
get
r
id of --
r
are option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpent
e
r
rename ge
t
_si
n
gle_val
u
e_from
_
range()
=> get_single_value_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
arpenter
for loops: add a sp
e
cial case
f
o
r
"for(i
=
0; i <
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Car
p
enter
check_sign
e
d: check int
types as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpenter
sm
a
tch
.
c: us
e
st
r
ncpy() in
s
tead
of strcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n
C
arpenter
d
ebug: rename __sm
a
tch
_
print_value() =>
__sma
t
ch_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
check
_
s
i
gned
:
e
x
pr->op is
t
ype
i
nt not char
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
Car
p
enter
Intro
d
u
c
e get_fuzzy
_
min()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
pre
c
edence: cut d
o
wn
a few false po
s
iti
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Ca
r
penter
*n
e
w*
c
heck_le16:
print
a
n
e
rror for double
cpu_to_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
*new* check_mo
d
_
t
imer: print an warning if someone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Carpenter
s
t
r
i
p_expr(): remove fo
r
ce casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Dan Car
p
enter
kpatch
.
s
h: fig
u
re the email address out automa
t
ically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan
C
arpenter
*new* sma
t
ch_scripts/kpa
t
ch
.
sh: script for mailing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
Print fewer messages about
unreache
d
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan
Car
p
enter
sm
a
t
c
h_condi
t
ions: smal
l
cle
a
nups an
d
add debug code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fix W
A
R
N_ON handl
i
n
g
s
ome mo
r
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan
Carpenter
sm
a
tch_template
:
small cha
n
ge
s
to
c
omments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan
C
arpenter
clean up
t
h
e
makefile a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Ca
r
p
enter
handle assi
g
n
m
ents li
k
e: foo =
x
< 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
smatc
h
_state
s
: white space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Ca
r
penter
smatc
h
is sup
p
osed to
b
e using "long lo
n
g" types internally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpe
n
ter
n
e
w_bugs
.
sh:
better
f
ilter
i
n
g of smatch
e
rro
r
s from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpente
r
handle stuff like the kernel's WARN_ON()
m
acro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
s
match_extra: foo = !!
x
; does
no
t
m
o
dify x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
Car
p
enter
han
d
le
a
ssignments l
i
ke: foo =
!
bar()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpente
r
c
h
eck_ove
r
flow: check for memset() issues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carpenter
aut
o
mat
i
cally generate the
l
ist of
functions wh
i
ch
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*
new* sma
t
ch_s
c
ripts/summa
r
ize_e
r
r
s
.
sh: scrip
t
for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Da
n
Carpenter
kern
e
l:
f
ix xfs
f
alse positiv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
c
heck_overflow: handle: "int
*p
=
&arra
y
;
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow: fix bug in g
e
t_array_size_byte
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Ca
r
p
ent
e
r
push
s
o
me more stuff on the b
i
g_expr
e
ssion_sta
c
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
check_
o
verfl
o
w: h
a
ndle ca
s
ts like ((char *)ar
r
a
y)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
check_over
f
l
ow
:
fix assigning arrays
to poi
n
te
r
s
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
ch
e
ck_overflow
:
fix
a
lignment bug
i
n
get_arra
y
_
s
ize_byt
e
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpe
n
ter
check_
o
verflow: prefer r
e
cent a
s
signments over
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carp
e
nter
A
d
d q
u
otes around string l
i
t
erals
i
n smatch ou
t
put
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
che
c
k
_
overflow: update strcpy() and strncp
y
() ch
e
ck
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
ke
r
nel
.
no_r
e
turn_funcs: __reiserfs_panic doesn't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
check_overflow:
s
tor
e
the size in bytes
instead
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
c
heck_overflo
w
: don't complain about if (pt
r
< &a
r
ray
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
smat
c
h_flo
w
: chan
g
e ho
w
the big expr
e
s
s
i
o
n stack
w
orks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carp
e
nter
ch
e
ck_overfl
o
w
:
rename my_decl_id
=
> my_size_id
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
chec
k
_overflow:
w
h
ite spa
c
e cha
n
ges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
check_
o
verflo
w
: us
e
th
e
_expr()
hoo
k
s
ins
t
e
a
d of do
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
chec
k
_o
v
e
r
flow: remove so
m
e old debugging c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
h
ec
k
_overflow: r
e
name dest => ar
r
ay_
e
x
pr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
pent
e
r
c
he
c
k_overflow:
g
et_initializer_by
t
es() => get_initializer_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
e
r
c
h
eck_overflow: opt
i
on_spam
m
y => option_i
n
f
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
rpenter
ch
e
ck_overflow: ha
n
dle i
n
d
exed array
i
nit
i
a
lizations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
check_overflow: fix endless l
o
op parsing "i
n
t x
=
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
fix
g
et_
i
mplie
d
_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
D
an Carpen
t
er
check_overf
l
ow: lots
o
f improvement
s
and also a validati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
f
ix crash call
i
n
g get_type() o
n
implicitly defi
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
Add sm
a
tch_data/ker
n
el
.
no_retu
r
n_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
function ho
o
ks: get rid of conditional
f
unction h
o
oks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
a
d
d
smatch_
s
cripts/new_
b
ugs
.
sh: prints the bugs introduced
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpen
t
e
r
err_
p
tr_deref: up
d
at
e
to u
s
e newer a
p
i
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan C
a
rpenter
unreachable cod
e
:
enab
l
e by defa
u
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carp
e
nter
s
h
ow_un
r
eachable
.
sh:
a
dd -k (kernel mode)
-
b (i
g
nore
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
un
r
e
ach
a
ble
c
od
e
: work
around gcc wor
k
a
r
o
u
nds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Car
p
enter
print an error message about unreached initia
l
izers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carp
e
nter
c
h
e
ck_stac
k
: tweak the ou
t
put a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Da
n
Carpent
e
r
N
e
w
che
c
k
_
sta
c
k
.
c: warn if kernel code puts too mu
c
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
A
dd
re
g
ister_projec
t
() to check_l
i
st
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpenter
up
d
ate th
e
d
o
c
umentati
o
n a bi
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpen
t
er
check_me
m
o
r
y: on
l
y l
o
ad
kernel
.
frees_argument whe
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n Carpenter
Create: smatch_proj
e
ct
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Ca
r
p
enter
b
ail if things are
t
aking too l
o
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n
Carp
e
nter
a
dd smatch_
s
cripts/filter_kerne
l
_deref_ch
e
ck
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
ch
e
ck_deref_check: do not complain
in l
o
op
p
re conditi
o
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
D
a
n Carpenter
tweak unrea
c
hable code m
e
ss
a
g
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
c
h
eck_signed: handle signed
1
bit valu
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Da
n
Carpenter
check_signed: don't
c
omplain about unsigned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpe
n
t
er
n
ew
function: ty
p
e_unsigned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan Car
p
enter
partly replace check_
n
u
ll_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
modifica
t
ion
hooks: only allo
w
one
ho
o
k per variab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpe
n
te
r
introduce: set_defaul
t
_
m
odification_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
a
n Ca
r
penter
cleanup:
get rid of smatch_containers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Carpenter
check_null_der
e
f
:
only the kernel ca
r
es abou
t
fa
i
led
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
Fix OpenBSD compile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpe
n
ter
check_signed:
clean ups
.
add check for impossibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Ca
r
pen
t
er
make everyth
i
ng
u
se smatch_
f
u
n
ction_
h
asht
a
ble
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
ad
d
smatc
h
_fun
c
ti
o
n_hashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan
C
arpenter
Move
e
verythi
n
g to
the new cwchash hash table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan C
a
rpenter
a
dd
cwchash ha
s
h table implementat
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
functi
o
n_implies_hook:
f
i
x
b
u
g
whe
n
a function has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Da
n
Carpenter
check_si
g
ned: wa
r
n on assigning ne
g
a
t
ive
to uns
i
gned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Make smatch
w
o
r
k
again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Ca
r
penter
Mer
g
e g
i
t://
g
it
.
k
erne
l
.
or
g
/pub/scm/devel/s
p
ar
s
e/chr
i
sl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carp
e
nter
Move
t
he ch
e
cks
o
u
t of smatch
.
c int
o
c
h
eck_l
i
s
t
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
an Carpenter
si
l
e
nc
e
some s
p
a
r
se warnings: (
)
=>
(v
o
i
d)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
an Ca
r
penter
introduce: t
y
p
e
_min() and ty
p
e_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
an Carp
e
nter
w
ine W
t
oA:
f
i
x crashing bu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
ne
w
fi
l
e:
s
match_scripts/gen_dma_funcs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpenter
show_ifs
.
sh: Add t
h
e -C
optio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
t
er
c
heck_
m
emory: eliminate some false pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpent
e
r
g
et_v
a
lue()
:
the ret
u
rn val
u
e was getting c
u
t off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpente
r
check_signed: c
l
arify
erro
r
message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next