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_signed: check int types as well
2010-01-18
Da
n
Carp
e
n
t
e
r
de
l
ete_st
a
te(): fix a b
u
g c
a
l
l
ing delete
s
t
a
te
i
nside
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpe
n
t
er
get_
v
ariable_from_exp
r
(): use
[
] for
a
rrays
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Ca
r
penter
fix
"
make
inst
a
ll"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan C
a
rpenter
fix bug in
p
rin
t
i
ng fi
l
e names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
D
a
n Carpent
e
r
get_array_name(): re
t
urn t
h
e
stripped
va
l
ue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carpenter
wine:
pp_intern
a
l_error(
)
doesn't r
e
tur
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpe
n
t
e
r
unused return: warning: => warn
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n Carpenter
precedence:
m
ake test s
t
ricter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
a
r
p
ent
e
r
_
_USE_ISO
C
99: silence
a
gc
c
warnin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Car
p
enter
c
h
eck_dev_que
u
e_xmit:
m
ake valid_use() st
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpent
e
r
check_signed:
c
hange
s
ome
error: me
s
sages to war
n
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
an Carpe
n
ter
ch
e
ck_sign
e
d
:
fix and tu
r
n on
by
default
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n
C
arpenter
get_type
(
): fix
cast
hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
an Carp
e
nter
get_value(): add initial supp
o
r
t for hand
l
i
n
g casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
rpenter
whitespac
e
: "switch(" => "switch ("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
an
Carpe
n
ter
get
_
type():
don't ignore casts!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
e
liminat
e
all the "x can't fit into 0" false positi
v
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n
Carpenter
fix
gett
i
ng_address() fun
c
tions vs parens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
a
dd
chec
k
_
d
e
v
_queue_xmit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carp
e
nter
add --rare option for rar
e
bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Ca
r
p
e
nter
int
r
o
du
c
e: add_m
o
difi
c
ation_
h
o
o
k_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
i
m
plied clean
u
p
:
move pool_in_pools() and is_che
c
ked()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Carpenter
implied
clean
u
p: r
e
name: get_eq_n
e
q() => separat
e
_and
_
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied c
l
e
a
nup: separate do_compare in
t
o its o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
p
e
n
t
er
implied cle
a
nu
p
:
move ge
t
_implications()
lower in th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
an Carpenter
implied cleanup:
1
=> LE
F
T
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
i
mpl
i
ed cleanup:
c
le
a
n ha
n
dle_com
p
arison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Ca
r
penter
implie
d
cleanup: ren
a
me
stat
e
=> sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
implied cleanup:
m
ove ch
e
c
k for
!
i
s_merg
e
d()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arp
e
nter
implied cleanup: ren
a
me le
f
t
=
>
lr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
impl
i
ed
clea
n
up: renam
e
so
m
e s
m
_sta
t
es: state =>
sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpente
r
implied clea
n
up: m
o
v
e some fu
n
ctions around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
implied
c
lean
u
p: com
m
en
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n Carpenter
implied
c
l
e
anup: creat
e
pr
i
n
t
_
on
c
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
e
n
ter
impli
e
d
c
l
eanup: ge
t
rid of some cu
r
ly braces
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Ca
r
p
e
nter
implied clea
n
up
:
move v
a
ri
a
ble declarations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
n
t
er
Add val
i
dation/sm_ar
r
ay_overflo
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Ca
r
pent
e
r
c
l
e
anup remove false_on
l
y
_
stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpenter
Fix
b
ug in
handl
i
ng fo
r
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carpenter
f
o
o(&bar) mea
n
s bar is modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpe
n
te
r
check_memo
r
y
:
add_modificati
o
n_
h
ook
i
sfree
=
> unfree
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpe
n
ter
m
o
ve modific
a
tion h
o
ok
to the front of th
e
hook l
i
st
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
D
a
n Carpent
e
r
cl
e
an up: move everything to get_dinf
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpente
r
i
n
troduce: get_dinfo(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
c
h
eck
_
overflow
:
h
a
ndle
a
d
d
resses differ
e
ntly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan
C
arpenter
sm
a
tch_extra: cle
a
n up
.
state
c
an never
b
e &me
r
g
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carpenter
check_overflow: ignore the
last mem
b
er
of str
u
cts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
ter
smat
c
h_extra: I
do
n
't
l
i
k
e
empty ran
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
add smatch_scripts/gen_array_b
o
unds
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
smatch_data/kernel
.
array_bounds
.
remove
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpent
e
r
check_overflow: an
a
n "erro
r
: "
p
refix to a pr
i
n
t
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carp
e
n
t
er
s
match_scripts/show_u
n
reachab
l
e
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
new
s
c
r
ip
t
: s
h
ow
_
ifs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Ca
r
pe
n
ter
introduce g
e
tting
_
address
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
up
d
ate
s
m
atch_scripts/ because of --info format
c
hanges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
che
c
k offset a
f
ter use: igno
r
e foo = &array[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
an Carpenter
ch
e
ck_overflow: mov
e
so
m
e more s
t
uff u
n
der the --info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
clean up outp
u
t
: warning: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
modif
i
ca
t
i
o
n_hook: -- a
n
d ++ are modifications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
Da
n
Carpente
r
I
t
ma
k
es sense to check an array offset if i
t
has b
e
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
check_overflow: separ
a
te
the t
w
o
types of
s
tates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
Fix prece
d
ence/crashing
b
ug
check_overflow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpen
t
er
check_overflow: check for
limiting
o
ffset
after
using it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan
C
a
rpe
n
ter
introduce alloc_state_
n
um()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
Ca
r
pen
t
er
clea
n
up: ren
a
me allo
c
_state() => alloc_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Car
p
enter
introduce get_fuz
z
y_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpente
r
c
a
ll_tree
.
pl:
make it an interactive
p
rogram
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Ca
r
penter
create get_implied_range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
ar
p
enter
s
m_i
n
fo: f
i
x
f
o
rma
t
ting
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
call tree:
initi
a
l upl
o
ad
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
dma on st
a
ck: mov
e
d
a
ta to smatc
h
_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
t
r
ace_p
a
rams
.
pl: rewrot
e
s
o it's faster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
add --param-
m
apper back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpenter
c
l
e
anup up option parsin
g
a little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
C
arpenter
add option: --info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
C
a
rpen
t
er
redo h
o
w options are p
a
rs
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup: debug_implied_s
t
ates => op
t
ion_debug_
i
mplied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an
C
arpenter
cleanup: deb
u
g_states => opt
i
on_
d
ebug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
p
a
ram_map
p
er
:
add --param-
m
ap
p
er option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma o
n
stack: eliminate some fals
e
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpenter
Add dma fun
c
t
i
on
s
t
h
a
t
map to us
b
_
control_ms
g
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpe
n
t
e
r
add smatch_scripts/trace_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
param_mappe
r
:
initial c
o
mmit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpente
r
d
m
a_on_stack: &f
o
o mea
n
s it's an error too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan C
a
rp
e
nter
upda
t
e smatch_data to 2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan
Carpenter
c
h
e
c
k_
o
verflow:
fix cra
s
hing bug (divide by zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpe
n
te
r
check_ov
e
r
fl
o
w:
f
ix crash
i
ng bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
D
a
n Ca
r
pent
e
r
add a chec
k
for passing s
t
ack variables to dma functio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Ca
r
p
enter
check_used_ret
u
rns: i
g
no
r
e inb, inw,
and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpen
t
e
r
up
d
ate validation tes
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Ca
r
pen
t
er
ch
e
ck_overfl
o
w: handl
e
ar
r
ays inside structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Ca
r
p
enter
F
ix
crashing
bug: func(a & b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
D
a
n Carpe
n
ter
warn abou
t
if(x); t
y
pe code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpen
t
er
pr
e
cedenc
e
: warn about: i
f
(!a & b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpe
n
ter
err_ptr: it's
p
e
r
fectly ok
to
return both null and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arpenter
white
s
pace chang
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpen
t
er
Remove hack for handling S
t
eve
R
o
s
t
e
dt's if con
d
i
ti
o
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
c
he
c
k_unuse
d
_ret
.
c:
f
ix che
c
k
f
o
r
local
v
ariab
l
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpenter
c
heck_unused_ret
.
c: i
g
nore
u
nreachable assignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
I
f
--
d
ebug is passed the
messages
f
r
o
m the firs
t
pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next