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
check_overflow: check for memset() issues
2010-02-17
D
an Carpenter
ch
e
ck_overflo
w
: check
f
or
memset() i
s
su
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carp
e
n
ter
au
t
omati
c
all
y
gener
a
te the l
i
st o
f
functions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
*new* smatch_scr
i
pts
/
summariz
e
_err
s
.
sh: script for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Da
n
Carpenter
k
e
rnel:
fix xfs fal
s
e positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carp
e
nter
ch
e
ck_overflow: handle: "int *p = &arra
y
;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
check_ove
r
flow: fix bu
g
in get_
a
rray
_
s
i
ze_
b
y
t
es()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Ca
r
pent
e
r
push so
m
e more
stuff on the big_expre
s
sion_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_over
f
low: handle
casts
lik
e
((char
*)arra
y
)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow: fix assigning arrays to pointer
s
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
e
r
check
_
overf
l
ow
:
fix ali
g
nment bug in get
_
array_
s
ize_bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Carpenter
check_o
v
erflow: prefer recent assi
g
nm
e
nts
ove
r
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
C
a
r
penter
Ad
d
quotes around stri
n
g l
i
teral
s
in smat
c
h
o
u
tput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflo
w
:
u
p
d
a
te
strcpy() and str
n
c
py
(
)
ch
e
cks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
Carpenter
kernel
.
no_return_funcs: __rei
s
erfs_panic
d
oe
s
n't
retu
r
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpe
n
ter
check_overflow:
s
tore th
e
size
in bytes inst
e
ad of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
che
c
k_overflow: don't complain about
i
f (ptr < &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
smatch_flow: change
how the bi
g
expres
s
ion
s
ta
c
k w
o
rks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
D
an C
a
rpent
e
r
check_overflo
w
: rename my_de
c
l_id
=> my_size_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_ov
e
r
flow: white
s
pace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Carpenter
check_overf
l
ow:
u
se the
_
e
xpr() hooks
i
nste
a
d of doin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow
:
remove
some old debugging code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
che
c
k_over
f
low:
rename dest => array_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflo
w
:
g
e
t_i
n
i
t
iali
z
er_bytes() => get_initiali
z
er_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
Car
p
en
t
er
check_over
f
low: option_spammy => option_
i
nfo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
check_ov
e
rf
l
ow: han
d
le indexed array ini
t
i
al
i
zations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpen
t
er
check_overflow: fix en
d
less loop parsi
n
g
"
in
t
x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
fi
x
g
et_implied
_
max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan
Carpenter
c
h
eck_ove
r
flow:
lo
t
s of improvement
s
and also a val
i
dat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
fix cr
a
s
h call
i
ng
get_ty
p
e() on
i
mplicitly defined
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Car
p
en
t
er
Add smatch_
d
ata/
k
ernel
.
n
o_r
e
turn_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carp
e
nter
fun
c
tion hook
s
: get rid of co
n
dit
i
onal functi
o
n hooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpent
e
r
add sm
a
tch_s
c
ripts/new_bugs
.
sh:
p
rints the b
u
gs introduce
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
err
_
ptr_deref: updat
e
to use newer ap
i
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
C
a
r
penter
unrea
c
hab
l
e code:
e
nable by
def
a
ult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Ca
r
penter
s
h
o
w_
u
nreachable
.
s
h
: add -k
(
kernel mode) -b
(ignore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
a
n
Carpenter
unreachable code: work a
r
ound
gc
c
work aroun
d
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
D
an Carpenter
p
rint a
n
err
o
r message about u
n
r
e
a
ched initializers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carp
e
n
t
er
check_stack: tweak t
h
e output a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan
C
ar
p
en
t
er
New
c
h
e
c
k
_stac
k
.
c: w
a
rn if
ker
n
el code puts
t
oo much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Da
n
Carpent
e
r
Add
reg
i
s
te
r
_pr
o
ject()
to
check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Car
p
enter
updat
e
the do
c
umentatio
n
a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
check_m
e
mory: only load kernel
.
frees_argumen
t
w
h
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan
Car
p
enter
C
rea
t
e: smatch_
p
rojec
t
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
bail if
things are tak
i
ng too l
o
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan
C
arp
e
nt
e
r
a
dd smatch_scripts/filter_kernel
_
deref_check
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carp
e
nter
c
heck_deref_ch
e
ck: do not co
m
plai
n
in loo
p
pre conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
D
a
n Ca
r
penter
tweak
u
nreachable co
d
e messages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
a
n
C
a
rpenter
check_signed: handle si
g
ned 1 bit valu
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Da
n
Carpenter
c
heck_signed: don
'
t comp
l
ain about unsigned
i
nt x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
an
Carpenter
new function: type
_
unsigned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan Carpenter
part
l
y replace che
c
k_null_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan
C
arpenter
m
o
d
i
fication
h
o
o
k
s
: only a
l
low
o
ne hoo
k
per vari
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpente
r
introduce: se
t
_defaul
t
_modification_ho
o
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan C
a
rpent
e
r
c
l
eanup: get ri
d
of smatch_contai
n
ers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
an C
a
r
p
enter
check
_
null_deref: only the kernel care
s
about
failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Car
p
enter
Fix OpenBSD
compile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
D
a
n Carpenter
c
heck_sign
e
d: clean
u
ps
.
add
c
heck for impossibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Car
p
enter
m
ake everything use smatc
h
_f
u
nc
t
ion_
h
ashtab
l
e
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpent
e
r
a
dd
smatch_function_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Ca
r
penter
Move everyt
h
i
n
g
to th
e
ne
w
c
w
c
hash hash tabl
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan C
a
rpe
n
ter
a
d
d cw
c
hash has
h
ta
b
le implementation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan C
a
rpenter
function_imp
l
ie
s
_hoo
k
:
f
ix bug when a function
h
as
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
che
c
k_sig
n
ed: warn on assignin
g
ne
g
ative
t
o
unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n Carp
e
nter
M
ake smatch work
a
gai
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
Me
r
ge
gi
t
:
//git
.
kernel
.
or
g
/p
u
b
/
s
cm/de
v
el/sparse/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Move the c
h
ecks ou
t
of smatch
.
c into c
h
eck_lis
t
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
an Carpenter
s
il
e
nc
e
some spa
r
s
e
w
a
rn
i
ngs: () => (void)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
rpenter
intro
d
uce: type_min()
a
nd
type_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Carpent
e
r
wine WtoA:
fix crashin
g
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
new
file: sma
t
ch_scripts/gen_dma_funcs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
show_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
c
h
eck_
m
emory: el
i
m
i
nate
s
o
me false positi
v
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_value(): the ret
u
rn value was get
t
ing
cu
t
off
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
n
t
er
check_si
g
ned: clar
i
fy error m
e
ssage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpent
e
r
wi
n
e_filehandles: if the
file hand
l
e
g
ets re
a
ssigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
Help kchecke
r
a
n
d wine_checke
r
.
sh
find the smatch binary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Ca
r
pe
n
ter
ge
t
_variab
l
e_f
r
om_expr(): fi
x
array disp
l
ay (
e
ven
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpente
r
delete_state(): fi
x
a bug calli
n
g delete
s
t
ate in
s
ide
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Ca
r
penter
get_variable_from_expr(): u
s
e
[] for arr
a
y
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan
Car
p
enter
fix
"
m
a
ke
i
nstall"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
fix bug in
prin
t
ing
f
ile names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
get_a
r
ray_na
m
e(): return t
h
e stripp
e
d
value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carp
e
nter
wine: pp_internal_error() doesn't re
t
urn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
arpenter
unuse
d
ret
u
rn: warning: =>
w
arn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
precedence: make
t
est
stricter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
_
_USE_ISOC99: silence a gcc warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpente
r
ch
e
ck_dev_qu
e
u
e_xmit: make valid_us
e
()
static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpent
e
r
check_
s
igned: chang
e
some error: messages to warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpenter
check_si
g
ned: fix and t
u
r
n
on by defaul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Car
p
enter
g
e
t_type(): fix cast handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpenter
get_va
l
ue():
add initial sup
p
ort fo
r
h
a
ndli
n
g casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
whitesp
a
c
e
: "swi
t
ch(" => "switch
(
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_
t
ype(): don't
i
gno
r
e
cas
t
s!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arpenter
eliminate all the
"x
can't
fit into 0" false
positi
v
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Da
n
Carpen
t
er
fix get
t
ing_ad
d
ress() fu
n
c
tio
n
s vs parens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n C
a
rpe
n
ter
add check_dev_queue_x
m
it
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpen
t
er
add
-
-rare option for
rare bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
a
rpente
r
int
r
oduce:
add_modifi
c
at
i
on
_
hook_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
e
d
cleanup: move pool_in_pools(
)
and is_
c
heck
e
d()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
impl
i
ed clean
u
p: rena
m
e: get_eq_neq() =>
s
eparate_and_filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next