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
print an error message about unreached initializers
2010-02-11
Dan Car
p
ente
r
print an er
r
or message about un
r
each
e
d init
i
a
l
izers
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-10
Dan Carpenter
check_
s
t
a
ck: t
w
eak the output a b
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
D
a
n
Carpenter
New c
h
eck_stack
.
c: w
a
r
n if kernel co
d
e
puts
too much
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpenter
Add register_p
r
oject() to check_list
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-01
Dan
C
arpen
t
er
update t
h
e d
o
cu
m
entation a b
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-30
Dan C
a
r
p
enter
check_
m
e
m
o
r
y: only l
o
ad kern
e
l
.
f
r
ees_argument whe
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
Cr
e
a
t
e: sm
a
tch_
p
roj
e
ct
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
bail if thi
n
gs are taking
t
oo long
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
add
sm
a
tch_scripts/filter
_
kernel_deref_check
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-29
D
an Car
p
e
n
t
er
check_deref_
c
heck:
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 Car
p
enter
twea
k
un
r
ea
c
hab
l
e code messages
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
ch
e
ck_signed: handle si
g
ned 1 bit values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
a
n Carpenter
c
hec
k
_signed: don't complain
a
bout unsigned
i
n
t x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-27
D
an Carpent
e
r
new
function:
type
_
unsigned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-26
Dan
C
arp
e
nt
e
r
pa
r
tly replace check_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpe
n
ter
modificat
i
on hooks:
o
nly allow one hook p
e
r vari
a
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpen
t
er
introduce: se
t
_default_modifi
c
ation_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
Dan Ca
r
p
enter
cleanup: g
e
t
ri
d
o
f smatch_co
n
tain
e
rs
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-25
D
an Carpenter
che
c
k
_
nul
l
_deref: only the kernel cares about f
a
i
l
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Dan
C
arpe
n
ter
Fix OpenBSD
compile
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-23
Da
n
Carpenter
c
h
ec
k
_
s
igned
:
cle
a
n ups
.
add chec
k
for impos
s
ibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpe
n
ter
m
a
k
e
everything use smatch_function_hashtable
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
D
a
n
Carpenter
add sm
a
tch_function_hashtabl
e
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Ca
r
p
enter
M
o
v
e everything
t
o the
ne
w
cwch
a
sh hash table
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
add cwchash ha
s
h table imple
m
entation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Da
n
Carpenter
f
unct
i
on_impl
i
es
_
hook: fix bug
w
hen a f
u
nction has
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-21
Dan
C
a
r
penter
chec
k
_signed
:
warn on a
s
sign
i
n
g
nega
t
iv
e
to unsigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
r
penter
Make smatch wo
r
k again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan
C
arpenter
Merge git
:
//git
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpen
t
er
Move th
e
checks out of smatch
.
c
into chec
k
_
l
ist
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Ca
r
penter
s
il
e
nce some sparse warnings: () => (vo
i
d)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Ca
r
penter
introduc
e
: type_min()
a
nd type_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpen
t
er
wine WtoA: fix crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
new file: s
m
atc
h
_scripts/
g
en_
d
ma_func
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpenter
s
how_
i
fs
.
sh
:
A
dd the -C op
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpen
t
er
che
c
k_memor
y
: el
i
minat
e
some f
a
l
se
p
osi
t
i
ves
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Car
p
ent
e
r
get_v
a
lue(): the retur
n
va
l
ue was g
e
tti
n
g c
u
t o
f
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_signed: clarif
y
err
o
r message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
pen
t
er
wine_filehandles
:
if the file
handle gets r
e
as
s
ign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
a
r
penter
He
l
p kcheck
e
r and
w
ine_checke
r
.
sh f
i
nd the smatch bina
r
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
g
et_var
i
able_from
_
ex
p
r():
fix array display (even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpente
r
delete_state()
:
fix a bug calling d
e
le
t
e state inside
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Carpenter
get_va
r
i
a
b
le_from_expr(): use [] for arra
y
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpe
n
t
er
f
i
x "m
a
ke
i
nstall"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan
Carpenter
fix bug
i
n
p
rinti
n
g
fil
e
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpen
t
er
get_array_name()
:
r
e
turn t
h
e
s
tripped value
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Ca
r
p
enter
wi
n
e
:
pp_internal_error() does
n
't retur
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
ar
p
enter
unus
e
d ret
u
rn: warn
i
ng:
=> warn
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
pent
e
r
precedence:
make test s
t
ricter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
penter
__USE_ISOC99: s
i
l
enc
e
a gcc warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Car
p
enter
check
_
dev_queue_xmit: make
v
ali
d
_use
(
) static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
ch
e
ck_sig
n
ed:
c
hange some error: mes
s
ages
t
o warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
c
h
eck_signed: fi
x
and
t
u
rn o
n
by d
e
f
ault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_type(
)
: f
i
x
cast handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpenter
get_
v
alue(): add initia
l
support fo
r
ha
n
dling
c
asts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
whitespace
:
"
s
witch(
"
=
> "switch
("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpenter
get_type(): don't
i
g
n
or
e
casts!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpe
n
ter
e
l
iminate all
t
he "x
can't fit into 0" fa
l
se positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
an Carpenter
f
ix
get
t
i
ng
_
ad
d
re
s
s
() functions vs
p
are
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Ca
r
p
e
nter
a
d
d check_dev_
q
u
eue_xmit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpen
t
er
add -
-
rare op
t
ion for rare bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
introd
u
ce: ad
d
_modifi
c
ation_hook_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
implied
c
leanup: move pool_in_po
o
ls() and
i
s_chec
k
ed()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
C
a
rpenter
implied c
l
eanup: rename: get_eq_
n
e
q
(
)
=> separate
_
and
_
fil
t
er()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpe
n
te
r
i
mplied clea
n
up: separa
t
e do_compare
into
its own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
i
m
plied
c
l
eanup: m
o
ve
g
et_imp
l
ic
a
tions() lower in
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implie
d
clean
u
p:
1
=> LEF
T
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
im
p
lied cleanup: clean ha
n
dle_c
o
m
paris
o
n()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
ed
cl
e
anup: rename state => sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied clea
n
up: move check f
o
r !
i
s_merged()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impli
e
d cl
e
anup: r
e
na
m
e l
e
ft => l
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cl
e
anup: r
e
name some sm_states:
s
tate
=> sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
ed
c
l
eanup: move some
f
unction
s
around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
implied
cleanup
:
comm
e
nts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an
C
arpe
n
te
r
implied
c
leanup: crea
t
e print_on
c
e(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
implied cleanup: g
e
t rid of
s
o
me curly braces
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup
:
move vari
a
ble d
e
claratio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
A
d
d validation/s
m
_array_over
f
l
ow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpenter
clean
u
p
r
emov
e
false_on
l
y_stac
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpenter
F
i
x bug in handli
n
g fo
r
loop
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-10
Dan
Carpe
n
te
r
foo(&bar) means bar is mod
i
fied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan C
a
r
p
enter
c
h
eck
_
memory: add_modification_hook isfr
e
e => unfree
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Car
p
e
nte
r
move modif
i
cat
i
o
n
hook to the front of the hook list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
D
an Carp
e
nter
clean
up
:
move everyt
h
i
n
g to
g
et_
d
info(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan C
a
r
pe
n
t
e
r
intro
d
uce: get_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
c
heck_overflow
:
handle
a
ddresses differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
a
rpenter
smatch_extra: clean up
.
state can
n
e
ver be &merged
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
c
heck_
o
verflow: igno
r
e the
last m
e
mber of
st
r
ucts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
ter
s
m
a
t
ch_ex
t
ra
:
I don
'
t like empty ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carp
e
nter
a
dd s
m
a
tc
h
_scripts/g
e
n_array_bounds
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan C
a
rpenter
sm
a
tch_data/kerne
l
.
array_b
o
unds
.
remove
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan
Carpenter
check_overflow: an
a
n "er
r
or
:
" prefix to a pri
n
tf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carp
e
nter
smatch_
s
cripts/show_un
r
ea
c
hable
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Car
p
en
t
e
r
new script: show_ifs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
introd
u
ce getting_addre
s
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
an Ca
r
penter
update smatch_s
c
ripts/ because of --info format ch
a
n
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
check of
f
s
e
t
a
fter use: ignore foo = &array[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
e
nter
check_overflo
w
:
mov
e
some
more
s
tuff
under the --info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpente
r
c
l
ean up out
p
ut:
warning: => war
n
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
a
r
penter
modifica
t
ion_hook:
-- a
n
d ++ a
r
e modi
f
ications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next