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: malloc() => __alloc_smatch_state()
2010-02-16
D
an Carpe
n
ter
*new
*
smatch_scripts
/
summ
a
riz
e
_errs
.
sh:
s
cript for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-16
Dan Carpenter
kernel: fix xfs false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
enter
c
h
eck_overflow: handle: "int
*p = &array;"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpenter
c
heck_overflow: fix bug in g
e
t
_ar
r
ay_size_byte
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
push
some more
s
tuff on the big_
e
xpress
i
on_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
e
r
che
c
k_overf
l
ow: hand
l
e c
a
sts
like (
(
char *)array)
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
check_over
f
low
:
fix
a
ssigning
arr
a
ys to
p
o
inters of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
en
t
er
ch
e
ck_overflow: fix align
m
ent bug
i
n
get_array_s
i
ze
_
bytes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpente
r
check_overflow
:
pref
e
r re
c
ent ass
i
gnments ove
r
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
Add q
u
otes around string
li
t
erals
i
n
smatch
o
utput
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpent
e
r
check
_
o
v
erfl
o
w
:
u
pdate st
r
cpy()
a
nd strncpy() checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-15
Dan Car
p
e
n
t
e
r
ker
n
el
.
no_ret
u
rn_fu
n
cs:
_
_
reiser
f
s
_panic doesn't re
t
ur
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
enter
c
heck_overflow: st
o
re
the size in bytes ins
t
ead of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: do
n
't co
m
pla
i
n about if (pt
r
< &array
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
sm
a
tch_flow: change how the bi
g
expression s
t
ack works
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
penter
check_overflo
w
:
rename my
_
de
c
l_id =>
my_siz
e
_id
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan
C
a
rpen
t
er
check_overflow: white space
change
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nte
r
check_o
v
e
rflow
:
u
se th
e
_expr() h
o
oks instead of doing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
enter
ch
e
ck_overflow: remove so
m
e old d
e
b
ugging code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
che
c
k_
o
verflow:
ren
a
me dest => array_expr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Da
n
C
a
rpen
t
er
check_ove
r
flow
:
get_initializer_
b
y
tes() => ge
t
_init
i
alizer_
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan C
a
rpenter
check_overflow
:
option_spammy => option_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overfl
o
w: handle
i
ndexed
array initializa
t
ion
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
chec
k
_overflow: fix end
l
e
ss loop parsing "int x =
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
enter
f
i
x get_i
m
plied_max
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
ch
e
ck_overflow
:
lots of improveme
n
ts an
d
also a validation
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Ca
r
p
e
nter
fix crash
calling
g
et_type() on
i
mplicitl
y
defined
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
Add smatch_da
t
a/kernel
.
no_return_fun
c
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpenter
fu
n
ction hook
s
: get rid
o
f
con
d
ition
a
l fun
c
tion
h
ooks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan C
a
rpenter
add smatch_scripts/new_bugs
.
sh: pr
i
n
t
s the bu
g
s introduced
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carpe
n
ter
err_p
t
r
_
deref: update to use newer api
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
Dan
C
arpent
e
r
unreachable code
:
enable by defaul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-12
D
a
n Carpenter
show_
u
nreach
a
ble
.
sh: add -k (ke
r
nel mode) -
b
(i
g
nore
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpenter
unr
e
achable co
d
e: work around
g
cc work a
r
ou
n
ds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-11
Dan
C
ar
p
enter
p
rint an error
messag
e
about unreached initia
l
i
z
er
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan Car
p
enter
ch
e
ck_stack: tweak the
o
utput a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
D
an Carp
e
nter
New check_stack
.
c: warn if
k
ernel code puts too much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan
C
a
rpenter
Add
r
egister_projec
t
(
) to
check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan Carpenter
up
d
ate the
d
ocumenta
t
ion a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
c
h
eck_memory: on
l
y load ker
n
el
.
frees_argume
n
t
w
h
en
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
Cre
a
t
e
: smatch
_
projec
t
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan
C
arpenter
bail if things a
r
e ta
k
i
ng too long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carp
e
nter
add smatch_scripts
/
filter_kernel_der
e
f_check
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Carp
e
nter
c
h
e
c
k_deref_check:
do not co
m
pl
a
in in loo
p
pre
c
onditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-28
Dan Ca
r
pe
n
ter
twe
a
k
u
n
reach
a
ble code
message
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
check_signed: han
d
le s
i
g
ne
d
1
bit
v
a
lues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan C
a
rpe
n
ter
check_s
i
gned: don't co
m
pla
i
n a
b
out unsigned int
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
a
n Carpenter
new func
t
ion: typ
e
_
u
nsigned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan Ca
r
pent
e
r
p
a
rtly replace check_null_de
r
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
m
o
d
ification ho
o
ks: only allo
w
on
e
h
o
o
k per variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan C
a
rpenter
i
n
troduce:
s
e
t
_de
f
ault_
m
odificati
o
n
_
hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Da
n
Carpen
t
er
c
l
e
anup: get rid o
f
smatch_conta
i
ners
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Ca
r
pen
t
er
check_null_d
e
ref: only the kern
e
l care
s
about failed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan
Carpent
e
r
Fix O
p
enBSD comp
i
le
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan Carpenter
c
h
e
ck_
s
igned: clean up
s
.
a
d
d check for impossi
b
ly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
make everything use smatc
h
_function_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add smat
c
h_
f
unction_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan
C
arp
e
nter
Move
e
v
e
rything to
the new cwchash has
h
t
a
ble
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Car
p
e
n
ter
add cwchash hash table implementa
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpenter
func
t
ion_implies_hook: fix bug w
h
en a function h
a
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan
Carpenter
check
_
signe
d
: wa
r
n o
n
assi
g
ning ne
g
ative to
u
nsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Make smatch
w
o
rk aga
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
r
penter
Merge git://git
.
kernel
.
org
/
pu
b
/scm/d
e
vel
/
s
parse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Move the checks
out of smatch
.
c into c
h
e
ck_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
silence
s
ome s
p
ar
s
e
warni
n
gs: () =>
(
v
o
i
d)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
Carpe
n
ter
introduce: type_min()
a
nd t
y
pe_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
D
an Carpe
n
ter
wine WtoA: fix crash
i
n
g
bu
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
ne
w
file: smat
c
h_scri
p
ts/gen_dma_funcs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpenter
show_i
f
s
.
s
h
:
Add th
e
-C
option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_memory: eliminate some false po
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_
v
al
u
e
(
): the return value was getting cut
o
f
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpen
t
er
c
h
e
ck_si
g
ned: clari
f
y
error
m
essage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
w
ine_fil
e
hand
l
es: if the file handle gets r
e
assig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
H
elp kchecker and wine_
c
hec
k
e
r
.
s
h
find the smatch bina
r
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Car
p
enter
get_variable
_
from
_
expr(): fix ar
r
ay
displa
y
(e
v
en
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Da
n
Carpenter
dele
t
e_state():
f
i
x a bug calling delet
e
s
tat
e
inside
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carp
e
nter
get_variable_from_expr(): us
e
[] for arrays
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carp
e
nter
f
i
x
"make install"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
fix
bug in
p
rinting f
i
l
e names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan C
a
rpenter
get
_
arr
a
y_name(): r
e
t
urn the stripp
e
d value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan C
a
r
penter
wine: pp_internal_error() doesn't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
unu
s
ed return
:
warning
:
=> warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpent
e
r
p
r
e
cedence: make
test stricter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
arpenter
__USE_
I
SOC99
:
s
il
e
nce a gcc warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n Car
p
ente
r
c
heck
_
de
v
_queue_xmit: make
v
alid_
u
s
e() stati
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
c
hec
k
_
s
i
gned: change some
e
rror: messag
e
s to
w
arn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpen
t
er
chec
k
_si
g
ned: fix an
d
turn on by defaul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_type(): fix cast hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
n
ter
g
e
t
_value(): ad
d
initial s
u
pport for handling casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpent
e
r
whitespace:
"s
w
itch("
=
> "switch ("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carp
e
nt
e
r
get_type(): don't
i
g
nore casts!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
eliminate all the "x
c
an't fit int
o
0" false posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
fix
g
et
t
ing_address()
f
unctions vs
p
arens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add check_dev_queue_xmit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add
-
-
rare opti
o
n for
rare bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Car
p
enter
int
r
odu
c
e
:
add_modification_h
o
ok_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: move
p
ool_in_poo
l
s() and i
s
_c
h
ecked
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpente
r
impli
e
d
cleanup: re
n
a
me: get_eq_n
e
q()
=
> se
p
a
r
a
te_and_
f
ilter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
implied cleanup: separate do
_
c
o
m
p
are into its
own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
implied cle
a
nup: mo
v
e ge
t
_i
m
p
l
ica
t
i
o
ns() lower
i
n the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next