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
math: cleanup: make handling binops a switch() statement
2010-02-15
D
a
n Carpenter
Add quotes ar
o
und
st
r
ing l
i
ter
a
ls in
s
match output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n
C
a
r
penter
check_ove
r
flo
w
: up
d
at
e
s
t
r
c
py()
a
nd strncpy() ch
e
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
kernel
.
no_
r
eturn_f
u
ncs: __reiserfs_panic doesn't
r
e
t
u
rn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
check_overflow: store t
h
e size in bytes
i
nstead of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
arpenter
c
h
eck_over
f
low: don'
t
co
m
plain about if
(
pt
r
<
&array
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
sma
t
ch_flow: chan
g
e how the big ex
p
r
ession stack works
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow:
rename my_decl_id => my_size_id
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
e
n
ter
check_overflow:
w
hite sp
a
ce
chan
g
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
C
a
rpen
t
er
check_o
v
e
r
f
l
ow: u
s
e the
_
expr() ho
o
ks in
s
te
a
d of doi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
c
heck_overfl
o
w: re
m
ove some old deb
u
ggin
g
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_
o
verfl
o
w:
r
e
n
ame dest
=
>
a
r
ray_expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
rp
e
nt
e
r
check
_
over
f
low:
get
_
i
n
i
tia
l
i
zer_byt
e
s() => get_initializer_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
c
h
eck_o
v
erflow:
option_spa
m
my
=> op
t
ion_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Car
p
enter
check_overflow: handle ind
e
xed arr
a
y initializat
i
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n
Carpente
r
check_overflow: fix endle
s
s loop parsing "int x =
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
fix get_imp
l
i
ed_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
check_overf
l
ow: lots of imp
r
ovement
s
and
a
l
s
o a valid
a
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
D
an Carpenter
fix
c
r
as
h
calling get_type()
o
n implicitly defin
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
Add
s
ma
t
ch_
d
a
t
a/kernel
.
no_ret
u
rn_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Car
p
enter
function hooks: get rid
of cond
i
tion
a
l fun
c
t
ion ho
o
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpe
n
t
er
add
s
m
a
tch_s
c
ripts/
n
ew_bugs
.
sh: p
r
ints the b
u
gs int
r
oduced
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n
Carpenter
e
rr
_
ptr_d
e
r
ef: update to
use newer api
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
unreachable code: enable by default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan
Carpenter
show_unreachable
.
s
h
: add -k (kernel mode) -b (i
g
n
ore
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
unr
e
achable
c
o
de:
work around gc
c
w
ork arou
n
ds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
D
a
n Carpenter
print
a
n error
m
es
s
age about un
r
eached i
n
itializers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carpenter
che
c
k_stack: tweak the ou
t
put
a
bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Christ
o
pher Li
Pointer don't
i
n
here
n
t the alignmen
t
f
r
om base
t
ype
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpent
e
r
New check_stack
.
c:
w
arn i
f
kernel code puts too much
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
A
dd r
e
gi
s
ter_p
r
oject(
)
to check_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpente
r
up
d
ate the documentat
i
on a
b
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
Da
n
Carpe
n
ter
ch
e
ck_me
m
ory: only
load kernel
.
frees_argument when
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n Carpenter
Create: smat
c
h_p
r
oject
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
b
a
il if things are
t
aking too
lo
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Ca
r
p
e
nter
a
d
d smatch_scripts/f
i
lter_ke
r
ne
l
_de
r
ef_check
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
an C
a
r
p
enter
c
heck_deref_
c
heck: do n
o
t com
p
lain in loop pre co
n
dition
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
Dan Carpenter
tweak unreach
a
ble
code
messa
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan
C
arpenter
chec
k
_
s
igned: handle sig
n
ed 1 bit values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan
C
arp
e
n
t
er
check_signed:
don't co
m
plain
about unsigned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
new
fun
c
tio
n
:
type_uns
i
gned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan
Carpenter
par
t
l
y replace che
c
k_null_de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Carpe
n
ter
m
o
d
i
fication
h
ooks: only allow one
ho
o
k
per variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
C
arpenter
introduce:
s
et_
d
e
f
ault_m
o
d
if
i
cation_hoo
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
an C
a
rpenter
cleanup: get rid of smatch
_
conta
i
ners
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
Carpente
r
c
h
eck_null_dere
f
: only t
h
e
k
e
r
n
e
l
cares about failed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
Fix
O
p
e
n
BSD compil
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan C
a
r
pe
n
ter
check_si
g
ned: c
l
ea
n
ups
.
add check for impossibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
Carpenter
make ever
y
thing use smatch_func
t
ion_hashtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Da
n
Carpent
e
r
add
s
match_fun
c
tion_ha
s
htable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan
C
ar
p
enter
Mo
v
e everything to the new cwchash
h
ash table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add cwchash hash t
a
ble impl
e
mentat
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Robert
Bedichek
Novafora
license gra
n
t using MIT licens
e
.
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpent
e
r
functio
n
_implies_ho
o
k:
fix
b
u
g
w
h
e
n a function has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpente
r
check
_
signed: w
a
rn on
a
ss
i
gning n
e
gative to unsigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Make smatc
h
wo
r
k again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carp
e
n
t
er
Merg
e
git://git
.
ke
r
nel
.
o
r
g
/
pub/scm/devel/spar
s
e/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carpe
n
ter
Move t
h
e
c
hecks out o
f
s
m
atch
.
c into check_lis
t
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
silence
s
ome s
p
arse warning
s
: ()
=>
(
v
oid
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
introduce: type_
m
in
(
) and t
y
pe_
m
ax()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
arpenter
w
i
ne
WtoA: fi
x
crashing bu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
n
ew file: smatch_scripts/gen_dma_fu
n
cs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
Carpenter
show_
i
fs
.
s
h: Add the -C option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_
m
emory:
e
l
iminate
s
ome f
a
lse posi
t
ives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpenter
get_value(
)
: the re
t
u
r
n v
a
lue was getti
n
g
cu
t
off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
check_signe
d
: clar
i
fy
e
rro
r
message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
t
e
r
wine_filehandle
s
: if the fil
e
h
a
ndle gets
r
eassign
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
H
elp
k
c
hec
k
er
a
nd
w
ine_checker
.
sh find t
h
e smatch b
i
nary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_va
r
iable_fr
o
m
_
ex
p
r(): fix
a
rray displa
y
(
even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpe
n
ter
delete_state(): fix a bug calling
del
e
te state inside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carp
e
nter
get
_
variab
l
e_fr
o
m_expr():
u
s
e
[] for ar
r
ays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
f
i
x "make inst
a
l
l
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
f
i
x bug i
n
prin
t
ing file names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan C
a
rpenter
g
e
t_ar
r
ay_name()
:
return the stripped
value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
wine: pp_internal_
e
r
ro
r
(
)
do
e
s
n
't r
e
turn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Da
n
Ca
r
penter
u
n
used retur
n
:
w
arning: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
precedence:
make t
e
st stricte
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n Carpente
r
__U
S
E
_
I
S
OC99: si
l
ence
a g
c
c warni
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
an Carpente
r
check_dev_q
u
eue_xmit: m
a
k
e
valid_use
(
)
s
tatic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
check_si
g
ned
:
change some err
o
r: me
s
sages to wa
r
n:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
ch
e
c
k_signed: fix and turn on by d
e
fault
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
rpenter
get_type(): fix cast handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
nter
get_value
(
):
add initial
s
upp
o
rt for handling
casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
w
h
itespace: "swi
t
c
h(" => "switch ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
get_t
y
p
e()
:
don
'
t
i
gnore casts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
eliminate
a
l
l
the "x can'
t
fit
i
nto 0" false posit
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpente
r
fix ge
t
ti
n
g_addre
s
s
() funct
i
ons vs
parens
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carp
e
nt
e
r
add
c
h
e
ck_dev_queue_xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
Carpent
e
r
add --rare option
f
or ra
r
e
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Da
n
Carpenter
introduce: add_modifica
t
io
n
_hook
_
ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
a
r
penter
impl
i
ed clea
n
up: mo
v
e pool_in_pools(
)
and is_ch
e
cked(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
im
p
lied cleanup:
rename:
g
e
t_eq_neq() => separate_and_filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
im
p
lied clea
n
up:
sepa
r
a
t
e do_compare
in
t
o its ow
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
implied cleanup: move get_
i
mplica
t
io
n
s() lower in th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: 1 => LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
i
mpl
i
ed cleanup: clean hand
l
e
_
comparison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: r
e
name
s
tate
=>
sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
i
m
plie
d
clea
n
up:
move check for !is_merged()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpe
n
t
e
r
implied
c
leanup: r
e
n
a
me left => lr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
implied cleanup: r
e
na
m
e some s
m
_s
t
ates: state =>
s
m
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
pent
e
r
implied
cleanup: move
s
ome
functions ar
o
und
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next