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
precedence: cut down a few false positives
2010-02-23
Dan Carpent
e
r
preced
e
nce: cut down a few false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
D
a
n C
a
rpenter
*new* check_le16: pri
n
t an error for
do
u
ble cpu_to_le16
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan
C
arpenter
*new* check_mod_timer: print an wa
r
ning if so
m
eone
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
Da
n
Car
p
enter
st
r
i
p_
e
xp
r
(
): remove force cas
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-22
D
a
n
Ca
r
penter
k
p
at
c
h
.
sh: figure the emai
l
addres
s
out automaticall
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Ca
r
pe
n
ter
*new* sma
t
ch_scr
i
pt
s
/kpatc
h
.
sh: script f
o
r mailing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
Print fe
w
er messages
a
b
out unreached
c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
D
a
n Carpe
n
ter
smat
c
h_condition
s
:
small cleanups and
a
d
d debug c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-19
Dan Carpenter
fix
W
A
R
N
_ON handling some
m
ore
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
D
a
n Car
p
e
nte
r
smatch_templa
t
e: small changes t
o
comm
e
nts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Ca
r
penter
clean up t
h
e makefile
a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-18
Dan Carpen
t
er
han
d
le
a
ssignments lik
e
: foo = x < 1;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Car
p
enter
smatch_states: white space
chan
g
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
smatch is supposed
to be using "long long" types inter
n
ally
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
new_bugs
.
sh:
b
e
t
ter fi
l
tering
o
f
smatch errors from
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
a
n Carpenter
handle stuff
like
t
he kernel's WARN_ON() ma
c
ro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
D
an Carp
e
nter
sma
t
ch_extra: foo = !!x; does n
o
t
mo
d
ify x
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpenter
handle
a
s
signments like: foo = !bar()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan
C
arpente
r
check_overflow: check fo
r
m
e
m
s
e
t
(
) issues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-17
Dan Carpen
t
er
automatically generat
e
t
he list of functions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
D
an Carpent
e
r
*ne
w
* smatch_scrip
t
s/summarize_errs
.
s
h
: script
f
or
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpe
n
t
e
r
kernel: fix xfs fal
s
e positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan C
a
rpen
t
er
c
heck_overflow
:
handle: "int *p = &array;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_overflow
:
fix bug in ge
t
_
a
r
ray_size_bytes
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an C
a
rpe
n
t
e
r
push som
e
m
o
re stuff
on t
h
e bi
g
_express
i
on_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpent
e
r
chec
k
_
overf
l
ow: handle casts
l
ike ((char *)array)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Da
n
C
arpent
e
r
check
_
overflow:
fix
assign
i
ng arrays t
o
p
o
i
nters of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpent
e
r
c
h
eck_overflow:
f
ix
a
l
ignment bug in get_array
_
size_by
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
c
he
c
k_overflow: prefer
r
ecent
a
ssig
n
ments ove
r
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an
C
arpente
r
Add
q
uotes
a
r
ound
s
tring li
t
e
rals in smatch
output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
c
h
eck_overf
l
ow: upda
t
e
strcpy()
a
nd
s
trncpy() checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpent
e
r
k
e
rnel
.
no_retur
n
_
fu
n
cs: __reiserfs_panic
d
oesn't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n C
a
r
penter
check_ov
e
rflo
w
: store the size in bytes inst
e
ad
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check
_
o
v
erflow: do
n
'
t
complain abou
t
if (ptr
<
&
array
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpen
t
er
sma
t
ch
_
flow: ch
a
n
ge h
o
w the big expr
e
ssion stack
w
o
r
ks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
check_overflow
:
r
en
a
me my
_
decl_id => my_size_i
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
c
h
eck_overflow: white spa
c
e changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
check_ove
r
flow: use t
h
e
_ex
p
r()
hoo
k
s
instead
o
f
doing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
en
t
er
chec
k
_overflow: remove
s
ome old debugging code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
ente
r
c
h
eck_overflow: rename dest => ar
r
ay_expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
pent
e
r
ch
e
ck_over
f
low: get_initia
l
izer_bytes() => get_initia
l
iz
e
r_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
c
heck_ove
r
flow:
o
ption_spammy =>
option_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
check_overflow: handle index
e
d array
i
n
iti
a
l
izations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpent
e
r
check
_
o
v
erflow: fix endless loo
p
parsing "i
n
t
x
=
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carpenter
f
i
x get_implied_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpe
n
ter
c
h
eck_
o
verflow:
l
ots of improvements
a
n
d
also
a validation
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
D
a
n
Carpent
e
r
f
i
x cras
h
c
a
lling
g
et_type() on
impli
c
itly def
i
ned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Ca
r
pente
r
A
dd
s
match_data
/
k
e
rnel
.
no_return_funcs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
fu
n
c
tio
n
hooks: get r
i
d
of co
n
d
it
i
onal func
t
i
on
hook
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Da
n
Carpenter
add sm
a
t
ch_sc
r
ipts/new_bugs
.
sh: prin
t
s the bugs
introduced
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
err
_
ptr_deref: update to
us
e
newer api
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
unrea
c
hable code: enab
l
e
b
y
default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
show_unreachable
.
sh: add -
k
(kernel m
o
de) -b (i
g
nore
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpen
t
er
unreachab
l
e code: work around gcc wo
r
k arou
n
ds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
print an error messag
e
a
b
o
u
t unreached in
i
tializers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
D
an
C
arpenter
check_s
t
ack: tweak the output a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
D
an
Carpenter
N
ew check_
s
tack
.
c
: warn if
k
erne
l
code puts too muc
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
D
a
n Carpente
r
Add register_project() to
c
heck_l
i
s
t
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carp
e
nter
up
d
ate the docume
n
tat
i
o
n a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
D
a
n
C
a
r
penter
chec
k
_memor
y
:
only load kerne
l
.
frees_a
r
gume
n
t wh
e
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
an Carpente
r
C
r
eat
e
:
s
match_
p
roject
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
b
a
il if thin
g
s are
t
aking t
o
o long
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Car
p
enter
a
d
d
smatc
h
_scrip
t
s/filter_kernel_deref_check
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpente
r
ch
e
ck_dere
f
_check: do not com
p
lai
n
in
lo
o
p pre conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
D
a
n
C
arpenter
tweak unreach
a
bl
e
code messages
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
D
an
C
arpenter
check_signed: handle
signed 1 bit values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Da
n
Carpenter
check
_
signed: do
n
't com
p
lain about unsigned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carp
e
nter
new function: typ
e
_unsigned
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan
C
arpente
r
pa
r
tly r
e
place ch
e
ck_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
Car
p
enter
modification
hooks
:
only allow
on
e
hook p
e
r vari
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Carpenter
introduce:
s
et_default
_
modificat
i
on_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
cleanup: get r
i
d of
smatch_containers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan C
a
rpenter
ch
e
ck
_
null_d
e
ref:
o
nly the kernel
c
ares
about failed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan
Carpenter
Fi
x
O
penBSD c
o
mpile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan C
a
rpent
e
r
c
heck
_
s
i
g
ned
:
clean ups
.
add
check for impo
s
sibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
make ever
y
th
i
ng use smatch_fun
c
ti
o
n_h
a
shtable
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan
Carpe
n
t
er
add smat
c
h_
f
u
n
ction_hash
t
a
ble
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpent
e
r
Move e
v
eryt
h
ing to the
new cw
c
hash hash
table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n Ca
r
pe
n
ter
add c
w
chash
h
ash table i
m
ple
m
entati
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan
C
a
rpenter
function_implies_hook
:
fix bug when a func
t
ion has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan C
a
rpenter
check
_
signed: warn on assigning nega
t
ive t
o
unsigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpent
e
r
Make smatch wor
k
aga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpente
r
Merge git://git
.
k
ern
e
l
.
or
g
/
p
u
b/scm/devel/sp
a
rse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
M
o
ve
the checks o
u
t of smatch
.
c in
t
o check_
l
i
s
t
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
an Carpen
t
er
silence som
e
sparse warni
n
gs: () =
>
(void)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpente
r
introduce: t
y
pe_min() and type_
m
ax()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n C
a
rpe
n
ter
wi
n
e WtoA: fix crashi
n
g bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
p
enter
ne
w
fil
e
: s
m
atch_scripts/ge
n
_dma_
f
un
c
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
show
_
ifs
.
sh: Add the -C
o
ption
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Ca
r
penter
check_m
e
mory
:
eliminate s
o
me fals
e
p
o
sitive
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpent
e
r
get_value
(
): the ret
u
rn
v
alue wa
s
getting cut of
f
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpen
t
er
c
heck_signed: cla
r
ify err
o
r messa
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpenter
wine_fileha
n
d
les: if the file han
d
le gets
r
eassign
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
Help kchecker
and wine_c
h
ecker
.
sh find the smatc
h
bin
a
ry
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
get_va
r
ia
b
le_fro
m
_expr(
)
:
fix
a
rray display (even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Carpenter
del
e
te_state
(
):
fix a bu
g
ca
l
ling delete state
i
n
side
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
get_var
i
able_from
_
expr():
u
se [] for arra
y
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n
Car
p
enter
fix "make instal
l
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan
C
arp
e
nter
f
ix bug in printing
f
ile names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan
C
arpenter
get
_
arra
y
_
n
a
m
e():
return th
e
stripped value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next