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
Dan Carpen
t
e
r
*new* smatch_scripts/summarize_errs
.
s
h
:
sc
r
i
pt f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-16
Dan C
a
rp
e
nter
kernel: fix
xfs f
a
lse positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpenter
chec
k
_
ov
e
r
f
low: ha
n
dle: "int
*p
= &
a
rray;"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpen
t
er
check_overf
l
ow
:
f
i
x
bug i
n
get_array
_
size_byte
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpent
e
r
p
u
sh some more st
u
ff on
t
he big_expression_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
check_ove
r
f
l
o
w
: handle casts
l
i
ke (
(
c
ha
r
*)array)
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpenter
check_overflo
w
: fix assi
g
n
i
ng arrays to point
e
rs of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
an Carpe
n
t
er
c
h
ec
k
_overflo
w
: fix alignment bug in ge
t
_a
r
ray_size_
b
y
t
e
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan
Carpen
t
e
r
check_ove
r
flow:
p
refer recent assignme
n
t
s
ove
r
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
D
a
n Ca
r
penter
Add quotes around
string l
i
t
erals in sm
a
t
ch outpu
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpenter
che
c
k
_
overflow: updat
e
strcpy() an
d
s
trncpy() checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-15
Dan Carpe
n
ter
kernel
.
no_re
t
urn
_
f
u
n
cs:
__reiserfs
_
panic
doesn't re
t
u
rn
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carp
e
nter
check_overfl
o
w: stor
e
the
size in by
t
e
s
instead of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
c
h
eck_overflow: don'
t
complain about
if (ptr < &array
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Car
p
enter
smatch_flow: cha
n
ge ho
w
the big expression sta
c
k w
o
rks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: ren
a
m
e m
y
_decl_id => my_size_id
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Ca
r
pent
e
r
c
h
eck
_
ove
r
flow: whi
t
e space chang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan
Carp
e
n
te
r
check_overf
l
ow: use t
h
e
_
exp
r
(
) hooks
instea
d
of doing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpent
e
r
check_ove
r
flow: remo
v
e som
e
old
d
e
b
ugging
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpente
r
che
c
k
_
overfl
o
w: rename
dest
=> array_expr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
a
n Carpenter
check_overflow: get_initia
l
izer_by
t
es() => get_initializ
e
r_
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
check_overflow: option_spam
m
y
=
>
option_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
D
an Carp
e
nter
check_overflow:
ha
n
d
l
e indexed
a
rray in
i
t
i
alizations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
che
c
k
_
overflow: f
i
x
endles
s
loop
p
a
r
sing "int x =
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-14
Dan Carpenter
f
ix get_implied_
m
ax(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
D
a
n
Carpente
r
ch
e
ck_overflow: lots of impro
v
ements and also a valid
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
Dan Carpenter
fix crash calling get_type() on
i
mplicit
l
y
d
efined
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-13
D
an C
a
rpe
n
te
r
Add smatch_data/
k
ernel
.
n
o_
r
eturn_func
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
Dan Carp
e
nter
func
t
i
o
n hooks:
get rid of c
o
ndi
t
i
onal
f
unction hooks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-12
D
an Carpenter
add smat
c
h_scri
p
ts/new
_
b
u
g
s
.
sh: pri
n
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 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 Car
p
enter
show
_
unre
a
c
h
able
.
sh: add -k (kernel mo
d
e
)
-
b (ignore
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan Carpent
e
r
un
r
e
achab
l
e code
:
work
aroun
d
g
cc work arounds
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-11
Dan C
a
rpenter
print an error message
about unreached
initializers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carpent
e
r
check_stack
:
tweak the o
u
tput a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
Chri
s
t
opher Li
Pointer
d
on't in
h
erent the
alignment from
b
a
s
e
t
ype
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpen
t
er
New ch
e
ck_stac
k
.
c: warn i
f
kerne
l
code
p
uts too
much
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan
C
a
rpenter
A
d
d r
e
gister_project() t
o
check_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
D
an Carpente
r
update the do
c
umentation a bi
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
D
an Car
p
e
nter
ch
e
ck_mem
o
ry: only load
k
ernel
.
frees_
a
rgu
m
ent when
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
Create: sm
a
t
ch_project
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carp
e
nte
r
ba
i
l
i
f things are taking too long
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
D
a
n Ca
r
penter
add sm
a
t
c
h_scripts/fil
t
er_ker
n
el_deref_check
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan C
a
rpenter
c
h
eck_
d
eref_check: d
o
not compla
i
n in loop pre conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
Dan Carpenter
tweak u
n
reacha
b
l
e
code m
e
ssages
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carp
e
nter
ch
e
c
k_s
i
gne
d
: handle signed 1 b
i
t values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
D
a
n C
a
rpenter
chec
k
_signed: don't complain about unsigned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan C
a
rpenter
new
f
u
n
c
tion: type_unsigned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan
C
arpenter
partly
replace chec
k
_null_de
r
e
f
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Car
p
enter
mo
d
ification hooks: only allow one hook per variab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Ca
r
penter
introduce: se
t
_
default_
m
odification_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan C
a
rpenter
cleanup: get rid of smat
c
h_con
t
ainers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan
Carpenter
check_null_
d
er
e
f: onl
y
the kerne
l
car
e
s about failed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
D
a
n
Car
p
enter
Fix
O
penBSD
c
ompile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
D
an
C
a
rp
e
nter
check_si
g
ned: clean ups
.
add 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_hasht
a
ble
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpente
r
add
s
match_fu
n
c
t
i
on_hasht
a
ble
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
Move
e
verything to
the new cwchash hash
table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Ca
r
penter
add cwchash hash table im
p
lementation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Robert Bedichek
N
o
vafora l
i
cense gra
n
t using MI
T
license
.
commit
|
commitdiff
|
tree
2010-01-21
Da
n
Carp
e
n
t
er
fun
c
t
ion_implies_hook: f
i
x bug when a function
has
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
D
an Carpe
n
ter
check_sig
n
ed: w
a
r
n on a
s
s
i
gning negative to unsigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
p
e
n
t
er
Make smatch w
o
rk a
g
ain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Me
r
ge git://git
.
kerne
l
.
org/p
u
b/scm/devel/spa
r
s
e
/
c
hrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Move the checks out of s
m
atc
h
.
c
into ch
e
ck_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
a
rpe
n
ter
silen
c
e
s
ome s
p
arse w
a
rni
n
g
s
: () => (
v
oid)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpen
t
er
i
ntrodu
c
e: type_min() and type_max
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
C
a
rpenter
wine WtoA: fix cr
a
s
h
i
n
g b
u
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpente
r
ne
w
fil
e
: smatch_scripts/gen_d
m
a_f
u
ncs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
show_ifs
.
sh:
A
dd the -C option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
ter
check_m
e
m
ory: eliminate some fals
e
positiv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n
Carpenter
get_value(): the ret
u
rn val
u
e
wa
s
ge
t
ting
cut
o
f
f
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
che
c
k
_
s
igned: clarify er
r
or
m
essag
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpenter
wine_filehandles: if the file
h
a
nd
l
e gets r
e
assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
Help
k
c
h
e
cker and wine_checke
r
.
s
h
find t
h
e sma
t
ch
b
inary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpenter
get_variable_fr
o
m_expr():
f
i
x array
di
s
play (
e
ven
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Car
p
enter
d
elete_state():
fix a
bug callin
g
delet
e
st
a
t
e
inside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan
Ca
r
pe
n
te
r
g
e
t
_
variabl
e
_from_expr()
:
use [] for arrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Ca
r
penter
f
ix "
m
a
k
e install"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan C
a
rpenter
fix bu
g
in printin
g
fil
e
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
g
e
t
_array
_
nam
e
(): retur
n
the stripped value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Da
n
Carpenter
wine: pp_internal_error() doesn't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n
Carpenter
unused re
t
urn
:
w
a
r
ning: => w
a
r
n
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
precedence: make test stri
c
ter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n Carpe
n
ter
__USE_ISOC99: si
l
ence a
gcc w
a
rning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n
C
a
rpenter
chec
k
_
de
v
_queue_xmi
t
:
m
ake valid_use() s
t
atic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Car
p
ente
r
check_sign
e
d:
chang
e
some error: messages to w
a
rn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n C
a
rpenter
check_signed: fix and turn on by
default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpenter
get_type(): fix
c
ast handl
i
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_va
l
u
e
(): add initial sup
p
ort for ha
n
dling ca
s
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
whitespace:
"
s
witch(" => "s
w
itch ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Car
p
enter
ge
t
_type(
)
: don't ign
o
re casts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
eliminate all th
e
"
x
can't fi
t
i
n
t
o
0
" fals
e
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carp
e
nter
fi
x
getting_address()
func
t
ions vs pare
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
arpent
e
r
ad
d
check_dev
_
queue_xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add --rare option for rare
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Car
p
e
n
ter
introduce: add_mod
i
f
i
cation_
h
ook_
e
xpr
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
p
e
nter
implie
d
cl
e
anu
p
: m
o
ve pool_
i
n_poo
l
s() and is_che
c
ked
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
implied c
l
eanup:
r
ename: ge
t
_eq_neq() => separa
t
e_and
_
fi
l
ter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next