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
Da
n
Carpenter
print an error messa
g
e abo
u
t unreached initializers
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-10
D
a
n Carpenter
check_s
t
ack:
tweak
the output
a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
D
a
n Carpenter
New
check_stack
.
c: warn if kernel code puts too much
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-08
Dan Carpent
e
r
A
dd regis
t
er
_
project()
t
o check_
l
ist
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-01
Dan C
a
rpenter
up
d
ate th
e
documentat
i
on a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-30
Dan Carpenter
check_memory:
only load kernel
.
f
rees_
a
rgument w
h
en
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
Create:
s
match_project
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpenter
ba
i
l if t
h
ing
s
are taking t
o
o long
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Dan Carpen
t
er
add smatch_scripts
/
filter_ke
r
ne
l
_der
e
f
_c
h
e
ck
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-29
Da
n
Carpen
t
e
r
check_deref_check:
do not com
p
lain in loop
p
re cond
i
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-28
D
a
n
Carp
e
nter
tweak unreachable code me
s
s
ages
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan Carpenter
check_signed: handle
sig
n
e
d
1 b
i
t
va
l
ues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Dan
C
arpenter
check_si
g
ned: don't complain about uns
i
gned int x
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-27
Da
n
Carpenter
n
ew function:
type_un
s
igned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-26
Dan Ca
r
penter
partly
r
eplace che
c
k_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpe
n
ter
modificati
o
n
hooks
:
onl
y
a
llo
w
one hook
per vari
a
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
D
an Carp
e
n
t
er
int
r
od
u
ce: set
_
defaul
t
_
m
o
d
if
i
c
ation
_
hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Carpenter
cleanup: get rid of sma
t
ch_conta
i
ners
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-25
Dan Car
p
enter
c
h
ec
k
_nu
l
l_deref:
only t
h
e
k
e
rn
e
l cares
a
bout
f
a
i
led
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Da
n
Carpen
t
er
Fix OpenBSD compile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-23
Dan
C
arpenter
check_signed:
clean
u
ps
.
add
check fo
r
impossibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carp
e
nter
make everyt
h
ing use smatch_func
t
i
o
n_
h
a
s
htab
l
e
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpenter
a
d
d
smatch_functi
o
n
_hashtabl
e
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan Carpent
e
r
Move everythi
n
g to the new cwchash hash table
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-22
Dan
Carpenter
add cwchash hash
t
a
b
le imp
l
ementation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan Carpente
r
f
u
nction_impli
e
s_hook
:
fix bug when a funct
i
on h
a
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-21
Dan C
a
rpen
t
er
check_signed
:
war
n
on assigning negative to unsig
n
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Car
p
enter
Make
smatc
h
wor
k
a
gain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
D
a
n C
a
rpenter
Merge
git://git
.
kernel
.
org/pub/scm/devel/sparse/chr
i
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpenter
Mo
v
e
the checks out of
smatch
.
c into ch
e
ck_list
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Da
n
Carpenter
silenc
e
some
sparse warnings: () => (void)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan C
a
rpenter
intro
d
uce:
type_min
(
) an
d
type_ma
x
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-20
Dan Carpe
n
ter
wine WtoA:
fix cra
s
hing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Carpenter
new file: smatch_scripts/g
e
n_dm
a
_fun
c
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
show_ifs
.
s
h: Add
t
he -C option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
ch
e
ck_mem
o
ry: elim
i
nate some fals
e
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
pente
r
g
e
t
_value(): the return
v
alu
e
was ge
t
ting cut off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_s
i
gned: clarify erro
r
mes
s
ag
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
D
an
C
arpenter
wine
_
fil
e
han
d
les: if t
h
e f
i
le handle gets
reassigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpenter
Help kchecker and wine_checker
.
sh
fi
n
d
t
he sm
a
tc
h
binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
get
_
var
i
able_
f
rom_
e
xpr(): fix array d
i
splay (even
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
delete_state(): f
i
x
a
bug
c
alling delete
state ins
i
de
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
get_variable_from_expr():
u
se
[] for arrays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
fix "m
a
ke ins
t
all"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan
Carpenter
f
i
x bug in printing file nam
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpente
r
g
e
t_ar
r
ay_name(): return
t
he s
t
r
ipped value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan
Carpenter
win
e
: pp_interna
l
_
e
rro
r
() doesn't r
e
turn
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 Carpen
t
er
precede
n
c
e
: make
t
e
st stricter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
an Ca
r
penter
__USE_ISOC99: sile
n
ce a
gcc warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n
C
arpen
t
e
r
check_dev_queue_xmit: mak
e
valid_use() static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
nter
check_signed:
c
h
a
n
ge som
e
e
r
r
o
r: me
s
sa
g
e
s
to warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
check_s
i
gne
d
:
fix and t
u
rn o
n
by default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
pe
n
ter
g
et_type(): fix cast handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
penter
ge
t
_v
a
l
ue(): add initial support for
h
andlin
g
c
a
sts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
white
s
pace:
"switch
(
" => "switch ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpen
t
er
get_
t
ype(): don't ign
o
re casts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Ca
r
p
ente
r
eliminate a
l
l the "x
c
an't fit into 0" false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan C
a
r
pen
t
er
f
i
x getting_address(
)
functions vs parens
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpe
n
t
er
a
dd check_dev_
q
ueue_x
m
it
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add --rare option for
r
ar
e
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan C
a
r
p
enter
introd
u
ce: add_modification_ho
o
k_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
impl
i
ed cleanup: mov
e
pool_
i
n_pools(
)
and is_che
c
k
e
d()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
e
n
ter
implied cleanup:
rename: get_eq_neq() =>
s
eparate_and_filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
impl
i
ed
c
l
e
a
nup:
sepa
r
ate do_compar
e
into its ow
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cle
a
n
up: move get_impl
i
cations()
lower
i
n
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
C
a
rpenter
implied clea
n
u
p
: 1 => LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
an
Carpente
r
implied cleanup: c
l
ean handle_comparison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
implied cl
e
anup:
r
ena
m
e stat
e
=> sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied c
l
eanup
:
mo
v
e check for !is_merged()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup: re
n
ame left => lr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
i
m
plie
d
cleanup: renam
e
som
e
sm_states: s
t
ate => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
C
ar
p
e
n
ter
implied clean
u
p
:
mo
v
e some functions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
im
p
lied clean
u
p:
comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
implied cle
a
nup:
c
reate pri
n
t_o
n
ce(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mp
l
ied cleanup: g
e
t rid of some curly braces
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implie
d
clea
n
u
p
: mov
e
v
a
riabl
e
declarations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carp
e
n
t
er
Ad
d
validation/sm_array_overflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan C
a
rpenter
c
lea
n
up remove f
a
lse_onl
y
_stack
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
D
a
n Carpenter
Fix
b
ug in handling for loop
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carpenter
foo(&bar)
m
e
ans bar
i
s mod
i
fied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Da
n
C
arpenter
check_memory: add_modifi
c
ation_hoo
k
i
sfree =
>
unfree
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpente
r
m
o
ve modificati
o
n ho
o
k to the
f
ront
of t
h
e hook lis
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Da
n
Carpenter
clean up
:
move eve
r
yth
i
ng to get_d
i
nfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
a
rpenter
introduce
:
get
_
d
i
nfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
ter
c
h
eck_overfl
o
w: handle addre
s
s
e
s
d
iffer
e
ntly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
er
smat
c
h_extr
a
: c
l
ean up
.
stat
e
can neve
r
be
&
merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carpenter
chec
k
_overflow: ignore the last mem
b
er of stru
c
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan
Carpenter
smatch_
e
xtra:
I
d
o
n
't like empty ranges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carpenter
add smatch_
s
cr
i
pts/gen_a
r
ra
y
_bounds
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Ca
r
penter
smatch_data/kernel
.
array_bounds
.
re
m
ove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpe
n
ter
c
heck_overflow: an
an
"error: "
p
r
e
fix to a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
smatch_scripts/sho
w
_unreachable
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an
Ca
r
penter
new scr
i
p
t
: sho
w
_ifs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpente
r
i
ntro
d
uce getti
n
g_addr
e
ss()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
upd
a
t
e
s
match_sc
r
ipts/ because of
--info format changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n
Carpe
n
ter
check of
f
set afte
r
use:
i
gnore foo = &ar
r
a
y[bar
]
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
p
e
nter
check_overflow: mov
e
some more stuff under the --in
f
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
penter
clea
n
u
p
output:
warning:
=
> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nt
e
r
mod
i
fication
_
hook: -- and ++ are mo
d
ificati
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next