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
wine WtoA: fix crashing bug
2010-01-20
Dan Car
p
enter
wine WtoA:
f
i
x cra
s
hin
g
b
ug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Carpenter
n
e
w file: smat
c
h_scripts/gen_dma_funcs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpenter
sh
o
w_ifs
.
sh:
Add the
-
C option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
check_memory: elim
i
nate
some false
p
os
i
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpenter
get_value(): t
h
e return
v
a
lue was get
t
in
g
cut of
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Ca
r
penter
check_signed: clarif
y
error m
e
s
s
age
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
win
e
_
f
ilehandles: if the
fil
e
handl
e
gets reassig
n
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
C
arpen
t
er
H
e
lp kchecker
and wine_
c
hecker
.
sh fin
d
the smat
c
h binar
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Carpenter
ge
t
_var
i
able_fr
o
m
_
ex
p
r(): fi
x
array dis
p
lay (e
v
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Carpenter
d
elete_state
(
)
: fix a bug c
a
lling
d
elete stat
e
inside
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Da
n
Carpen
t
er
get_va
r
iable_from_expr(): use [] for arrays
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan Car
p
enter
fix
"make in
s
tall"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Car
p
enter
f
i
x bu
g
in
p
rinting file
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Ca
r
pent
e
r
get_array_name()
:
return
t
he strippe
d
v
alue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
D
an Carpenter
wine: pp_intern
a
l_e
r
ror() does
n
't r
e
turn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Car
p
e
n
ter
unuse
d
r
e
turn: w
a
rning: =>
warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carp
e
nter
precedence:
m
ak
e
test str
i
c
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Ca
r
p
e
nter
__USE_ISOC99: silence a g
c
c w
a
rning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
C
arp
e
nter
check_dev_
q
ueue
_
x
mit:
make valid
_
use() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpente
r
check_signed:
cha
n
ge
s
o
me er
r
o
r
: me
s
s
age
s
t
o
w
ar
n
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
check_si
g
ned: fix a
n
d
turn on by defau
l
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arpenter
get_
t
ype(): fix c
a
st h
a
nd
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpent
e
r
get_v
a
l
u
e():
ad
d
initial support for handling casts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Da
n
Carpe
n
ter
whitespac
e
: "switch(
"
=> "switch ("
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
get_type(
)
: do
n
'
t
i
g
nore casts!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan C
a
r
p
ente
r
elimina
t
e
a
l
l
the "x can't
f
it into 0" false
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
arpenter
f
i
x getting_a
d
dress()
f
unctions vs parens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
arpenter
add check_dev_queue
_
xmit
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Ca
r
pent
e
r
add --rare option
f
or
rare bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carp
e
nter
introduce:
add_modifi
c
atio
n
_hook_exp
r
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
implied
cleanup: mo
v
e p
o
ol_in_pools()
a
nd
is_chec
k
ed()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
a
r
penter
impli
e
d cleanup: rename: get_eq_neq()
=
>
separate_and_
f
i
lte
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
impl
i
ed cleanu
p
: separate do_com
p
are
into its o
w
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
impl
i
e
d
cl
e
anup: move get_implicatio
n
s() l
o
wer in t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Carpenter
implied cl
e
anup: 1 => LEFT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carp
e
nter
impli
e
d cle
a
nup:
c
lean hand
l
e_co
m
pari
s
o
n
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
a
rpenter
i
mplied cleanup: ren
a
me state => s
m
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpent
e
r
implied cleanup
:
move check
f
or !i
s
_merged()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cleanup:
ren
a
m
e left =>
l
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied cleanup: renam
e
some sm_
s
ta
t
es: state
=
> sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implied cl
e
a
n
up: mo
v
e
some functions
a
r
o
und
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rpenter
implied cleanup: comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
implie
d
c
lean
u
p: create print_once
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpe
n
ter
implied cleanup:
g
et rid
of some curly brace
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
i
mplied
c
leanup
:
move variabl
e
declarations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
Add valid
a
tion
/
sm_
a
rray_overflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan
Carpenter
cle
a
nup r
e
move fa
l
s
e
_only_stack
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan
Car
p
enter
Fix bug in handling f
o
r
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carpenter
foo
(
&bar
)
means bar is modified
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carpente
r
check_memo
r
y:
add_modification_hook
i
s
free => unfree
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan C
a
rp
e
nter
mov
e
m
odif
i
catio
n
hoo
k
t
o
t
h
e front of
t
he hook list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Car
p
enter
clean up: m
o
v
e
e
v
e
rything to get_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
introduce: get_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
check_overfl
o
w
:
handle addr
e
sses d
i
f
f
eren
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpente
r
smatc
h
_extra: clean up
.
st
a
te can never be &merged
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Car
p
enter
check_overflow: i
g
nore the last member
o
f structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n
C
a
rp
e
nt
e
r
smatch_extra: I don't li
k
e emp
t
y ra
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
a
d
d smat
c
h_scripts/gen_array
_
bo
u
n
ds
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpe
n
ter
smatch_data/kerne
l
.
array_
b
ounds
.
remov
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carpenter
check_overf
l
ow: an an "error: " pref
i
x to
a
printf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
te
r
s
m
a
tch_scripts/show
_
un
r
eachable
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
new scr
i
pt: show_ifs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpenter
introduce gett
i
ng_address()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
an Carpenter
update sm
a
tch
_
script
s
/ becaus
e
of
-
-info format changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
c
he
c
k offset
a
fter use: ignore
foo = &array[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carpenter
check_overfl
o
w: mo
v
e so
m
e more
stuff under the --info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carp
e
nter
clean up outpu
t
: war
n
in
g
: => wa
r
n:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
modification_
h
ook: -- an
d
+
+ are mo
d
ifications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
Dan Ca
r
pente
r
It makes sense to check
an arr
a
y offset if it h
a
s
been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan
C
a
r
penter
check
_
o
verflow:
s
epara
t
e
t
he two ty
p
es
of st
a
te
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
Fix p
r
eceden
c
e/crashing
b
u
g
check
_
o
v
erfl
o
w
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan
C
arpe
n
ter
che
c
k
_overflow: check for limiting offset after u
s
ing it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carp
e
nter
i
nt
r
oduce alloc_
s
tate_num()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
D
an
C
arpenter
cleanu
p
: ren
a
me alloc_st
a
te()
=
>
a
lloc_sm_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
C
a
rpenter
intro
d
uce g
e
t_fuz
z
y_max(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
call_tree
.
pl
:
ma
k
e it an i
n
teracti
v
e
program
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
Carpe
n
ter
crea
t
e
g
et_implied_range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
s
m
_info: fix formatting
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
c
all
tree:
i
nit
i
al
upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
dma on s
t
ack: m
o
ve data to s
m
atch_
d
a
t
a
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan
Carpente
r
t
race_param
s
.
pl:
rew
r
o
t
e so it's faster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
C
a
rpenter
ad
d
--param-ma
p
per back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
e
n
t
e
r
cl
e
anup u
p
op
t
ion
p
a
r
sing a
little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpenter
a
d
d
option:
-
-
info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
e
n
ter
re
d
o how
o
ption
s
a
r
e
parsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
cleanup: d
e
bug_implied_stat
e
s
=> op
t
ion_debug_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
cl
e
anup: d
e
bu
g
_s
t
ates => o
p
t
ion
_
debug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nt
e
r
param_mapp
e
r:
ad
d
--param
-
map
p
er option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Car
p
ent
e
r
dma on stack:
e
liminate some
f
alse positive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n C
a
r
penter
A
dd
d
ma functions that map to usb_
c
ontrol_
m
sg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add sma
t
ch_
s
cripts/trace_params
.
p
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpenter
param_mapper: initia
l
commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Car
p
e
nter
d
ma_on_sta
c
k:
&foo
m
eans it's a
n
error too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Ca
r
penter
update smatch_data t
o
2
.
6
.
3
3
-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpe
n
ter
c
heck_overflow:
f
ix crashing b
u
g (divide by zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan
C
a
rpe
n
ter
chec
k
_overflo
w
:
fix
crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Ca
r
pente
r
ad
d
a chec
k
for passing
s
tack variabl
e
s
to
dma
f
unct
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
ch
e
ck_used_returns:
igno
r
e inb, i
n
w, a
n
d
i
nl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan
Carpenter
update val
i
datio
n
tests
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
c
heck_overflow: handle ar
r
ays insi
d
e str
u
cts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next