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_memory: eliminate some false positives
2010-01-19
Da
n
Car
p
enter
c
heck_memor
y
: eliminate some fals
e
positi
v
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
get_value(): the return valu
e
was g
e
tting
c
ut off
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan C
a
rpenter
check_si
g
ne
d
:
c
larify
error messa
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carp
e
nter
wine_f
i
leh
a
ndles:
i
f
t
h
e file
h
an
d
le gets re
a
ssigne
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpe
n
ter
Help kchecker and wine_ch
e
cker
.
sh find the smatch binary
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carp
e
nter
get_va
r
iab
l
e_from_expr():
f
ix array display (eve
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Car
p
enter
delete_state(): fix a
bug calling dele
t
e
s
tate inside
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
D
a
n Carpente
r
get
_
va
r
iable_
f
rom_expr(): use [] f
o
r ar
r
ays
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-18
Dan Ca
r
p
enter
fix "make i
n
stall"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan
Carpenter
fix bug in printing fi
l
e names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
D
a
n Carpenter
get_array_name(
)
:
r
etu
r
n the stri
p
ped value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-17
Dan 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 Car
p
enter
unused return:
w
arning: => war
n
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
an Ca
r
p
e
n
ter
pre
c
ed
e
nce: mak
e
t
e
st stricter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
D
an Carp
e
nte
r
_
_
USE_
I
SOC
9
9
:
silence a gcc
w
arning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-16
Da
n
Carpenter
c
h
eck_de
v
_queu
e
_xm
i
t: make
val
i
d
_
use() s
t
ati
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carp
e
nter
c
h
e
ck_signed: change som
e
e
rror: messages
t
o
w
arn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan
Carpenter
check_signed: fix and tur
n
on b
y
default
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpent
e
r
g
et_type()
:
fi
x
cast
h
andlin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_valu
e
(): add in
i
tial support
f
or handling casts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpen
t
er
wh
i
tespace:
"switch(" => "s
w
itch ("
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpenter
g
e
t
_type():
d
on't ignore ca
s
ts!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpent
e
r
e
li
m
in
a
te all the "x
can'
t
fit into
0" false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
arpenter
f
i
x
g
etting
_
add
r
ess(
)
functions vs parens
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
a
d
d
c
heck_dev
_
q
u
eue_xmit
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpe
n
ter
a
dd
--rare optio
n
for
r
are bug
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpe
n
ter
i
ntr
o
duce:
a
dd_modifica
t
ion_hook_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Carpenter
implied
cleanup: move pool
_
in_pool
s
() and
is_ch
e
cked()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
i
mplied cleanup
:
r
e
name: get_eq_neq() => separate_and_filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Ca
r
penter
implied cleanup: sepa
r
ate d
o
_compare into its ow
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carp
e
nter
implied cl
e
anup: move get_implications() lower in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Da
n
Ca
r
penter
implied cle
a
nup: 1 => LEFT
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
implie
d
cle
a
nup: cle
a
n handl
e
_c
o
mpa
r
ison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Ca
r
penter
implied cleanu
p
: re
n
ame state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanu
p
:
m
o
v
e
check for !i
s
_me
r
ged()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
implied
cle
a
nup:
r
e
nam
e
l
e
ft
=
> lr
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
r
p
enter
implied cl
e
anup:
r
enam
e
some s
m
_stat
e
s: state => sm
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
implied cle
a
nup:
move s
o
me fu
n
ctions a
r
o
u
nd
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup:
comments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
i
m
plie
d
cleanup: crea
t
e pri
n
t_once()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cle
a
nup: get
rid o
f
s
o
me curly brace
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
implied c
l
e
anup: mov
e
v
ariable
d
ecl
a
rations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
Add va
l
idation
/
sm_array_o
v
erflow
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
D
a
n Carpenter
clean
u
p remove fa
l
se_only_sta
c
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carp
e
nt
e
r
Fix bu
g
in handling for loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carpe
n
ter
foo(&b
a
r) means bar
i
s modi
f
ie
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Ca
r
penter
c
h
eck_memory: add_modifi
c
ati
o
n
_hook isfree
=> unfree
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan
C
arpenter
move mo
d
i
fication hook t
o
the front of the hook list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpenter
clea
n
up: m
o
ve everything to get_dinf
o
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carpenter
introduce: get_dinfo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
chec
k
_overflow:
handl
e
addr
e
sse
s
differ
e
n
t
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
smatch_extra: clean up
.
state can
n
ever be
&
merged
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpent
e
r
check_overflow: ignore the
last member of struct
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Car
p
enter
sm
a
tch_
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
a
dd
s
match_scrip
t
s
/gen_array_bounds
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
C
a
rpenter
smatch_data/kernel
.
array_bounds
.
remove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpenter
c
heck_overflow: an an "err
o
r: " prefix
t
o a prin
t
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
smat
c
h_scripts/show_unreachable
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an
C
a
r
p
enter
n
ew
s
c
r
ipt: s
h
ow_if
s
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
introduce gettin
g
_
a
d
dress()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpent
e
r
u
pdate smatch_scripts/ becaus
e
of -
-
i
n
fo format cha
n
ges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
c
h
eck offset after u
s
e: ignor
e
f
o
o = &array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
c
heck_o
v
erflow: mov
e
some
more stuff under t
h
e --i
n
f
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpent
e
r
clean up output:
w
arning
:
=> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
modification_hook: --
and ++ are modifica
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpenter
I
t
m
ake
s
sense
to c
h
e
c
k an array o
f
fset if it
h
a
s
be
e
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
D
an Carpenter
check_overflow: sep
a
rate the t
w
o type
s
of state
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpen
t
er
Fix preced
e
nce/crashing
bug che
c
k
_overf
l
o
w
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
check_overf
l
ow:
check for lim
i
ting of
f
set aft
e
r
usi
n
g it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
Carpenter
i
ntroduce all
o
c_state_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan C
a
rpenter
cl
e
anup:
rena
m
e alloc_state
(
)
=
> alloc_
s
m_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Car
p
en
t
er
introd
u
ce get_fuzzy_ma
x
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
an Carp
e
nter
call_tree
.
pl: make it a
n
interactive pro
g
ram
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpent
e
r
create get_implied_range_l
i
st()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
a
r
p
e
n
t
e
r
sm_
i
n
f
o: fix f
o
rma
t
t
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carp
e
nter
call tree: initial upl
o
ad
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpente
r
dm
a
on stack:
mov
e
data to
s
match_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
D
a
n Carpenter
t
r
ace_pa
r
a
ms
.
pl: rew
r
ote so it's faste
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Car
p
enter
add -
-
p
aram-ma
p
per b
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpe
n
ter
c
le
a
nup up option parsing a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
add op
t
ion:
--info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
red
o
how options are parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup: de
b
ug_implied_states => option_debug_i
m
plied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
cleanup: debug_stat
e
s
=> option
_
deb
u
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carp
e
nter
param_mapper: add
--param-mapper option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpen
t
er
d
m
a
on stack
:
eliminate so
m
e fa
l
s
e positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
Add dma functions that map
t
o
us
b
_control_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carp
e
nter
a
d
d smatch_
s
c
ripts/t
r
a
ce_params
.
p
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
n
t
er
p
a
r
a
m
_
mapper
:
init
i
a
l
c
o
mm
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
dma
_
o
n
_stack
:
&foo means it's
an error too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
update
s
mat
c
h_data to
2
.
6
.
33-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Ca
r
penter
ch
e
c
k_o
v
erflo
w
:
fix crashing bug (divide b
y
zero)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
a
n Carpent
e
r
check_overf
l
ow: f
i
x crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
D
an Carpenter
add a ch
e
ck for
p
a
ssing stack variables
t
o dma functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan
Carpenter
c
he
c
k_
u
s
e
d_returns: ignore inb, i
n
w, and inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
D
an Carpenter
update validation tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan
C
arpente
r
ch
e
ck_overflow: han
d
le arrays inside
structs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpent
e
r
Fix cras
h
ing bug
:
func(
a
& b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan C
a
r
p
enter
warn a
b
o
u
t if(x); type
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
prece
d
ence:
w
arn about: if
(
!a &
b)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next