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 Carp
e
nter
wine WtoA: fix crash
i
ng bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan Car
p
enter
new f
i
le:
smatch_scr
i
pts/ge
n
_dm
a
_
f
un
c
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
Carpenter
show_if
s
.
s
h
:
Add the -C opti
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Ca
r
penter
c
heck_memor
y
: elimin
a
te
some false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
an Carpe
n
ter
get_value(): the return v
a
lue was getting c
u
t of
f
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Car
p
e
nter
check_sig
n
ed: c
l
ar
i
fy er
r
or me
s
sage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Dan
C
arpenter
wine
_
fil
e
handles: if the file hand
l
e
gets r
e
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
D
a
n Ca
r
penter
Help kch
e
cker and wine_checke
r
.
sh find the smatc
h
b
i
nary
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-19
Da
n
Car
p
enter
get_variable_
f
rom_expr(): fix array
d
isplay
(
even
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Dan
C
arp
e
nter
delete_state(
)
:
fix a b
u
g
calling delete state i
n
side
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Da
n
Ca
r
pe
n
ter
get_v
a
ri
a
ble_fr
o
m_expr(): u
s
e []
f
or arra
y
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-18
Da
n
Carpen
t
er
fix "m
a
ke inst
a
ll"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan Carp
e
n
t
e
r
fix bug in printing file names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Dan C
a
rpe
n
ter
get_array_name(): return
t
h
e
strippe
d
va
l
ue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-17
Da
n
C
arpenter
wine
:
pp_internal_error()
doesn't
r
etur
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
unused r
e
tur
n
:
w
arning: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
D
a
n Carpen
t
er
pre
c
edence: make test st
r
icter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan
Car
p
en
t
er
__USE_ISOC99: s
i
lence
a
gcc warning
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-16
Dan Carpenter
c
hec
k
_dev_queue_xmit
:
make valid_use
(
)
s
tatic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpenter
check_signed: chang
e
some erro
r
: mes
s
age
s
to w
a
r
n:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan
C
arpenter
check_signed: fix
a
nd t
u
rn on by
de
f
ault
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpenter
get
_
t
ype(): fix cast handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
an Ca
r
penter
get_value(): ad
d
ini
t
ial supp
o
rt for ha
n
dl
i
ng cas
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carpenter
whitespace:
"
s
witc
h
(" => "switch
(
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
Dan Carp
e
nter
get_type
(
): don't i
g
n
ore
casts!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-15
D
a
n Carpenter
elim
i
nate all
t
he "x ca
n
't fit into 0" false po
s
it
i
ve
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan
C
arpe
n
ter
fix gett
i
n
g
_address() functions vs parens
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add check_d
e
v_queu
e
_xm
i
t
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
Dan Carpenter
add -
-
rar
e
option for rare
bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-14
D
a
n
C
a
rpenter
introduce: add_modi
f
ic
a
tion_hook_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
enter
impl
i
e
d
c
l
ea
n
up: move pool
_
in_pools() and is_
c
hecked()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
D
a
n
Carpen
t
er
impl
i
ed cleanup: r
e
name: get_eq
_
neq() => separate_a
n
d
_
fil
t
er()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpe
n
t
er
i
m
plied cleanu
p
: separate
d
o
_co
m
pare
into its own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
implie
d
c
leanup: move get_implications() lower in the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
r
p
enter
i
m
plied cleanup: 1 => LEFT
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpente
r
i
m
p
l
i
ed cle
a
nup:
cle
a
n handl
e
_comparison()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpenter
imp
l
ie
d
cl
e
anu
p
:
rename
s
tate => sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
Ca
r
penter
impli
e
d
cleanup: move check f
o
r !is_merged()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan C
a
rp
e
nter
imp
l
ied clea
n
up: ren
a
m
e
left => lr
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Car
p
ent
e
r
implied cleanup: rename
some
s
m_state
s
:
state => sm
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Ca
r
penter
implied cle
a
nup
:
move some fu
n
c
t
ions around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpent
e
r
implied cleanup: comments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
a
r
penter
i
mp
l
ied c
l
e
a
n
u
p: create pri
n
t_once()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan Carpen
t
er
imp
l
ied cl
e
anup: get rid of some curly braces
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
implied cl
e
anup: move v
a
riab
l
e d
e
c
laratio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-13
Dan
C
arpenter
Add v
a
lidation
/
sm
_
array_o
v
erflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Carpenter
cle
a
nup re
m
ove false_only_stac
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-12
Dan Ca
r
p
enter
F
i
x
bug in ha
n
dl
i
ng for
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-10
Dan Carpenter
f
oo(&bar) means bar is modifie
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Ca
r
pe
n
ter
check_m
e
mory: add_m
o
difi
c
ation_hook isf
r
ee =>
u
nfree
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan Carp
e
nter
move modificat
i
o
n
h
o
ok to the front of the hook l
i
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-09
Dan C
a
r
p
ent
e
r
c
l
e
a
n up: mo
v
e everythi
n
g to g
e
t_din
f
o()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
introduc
e
: get_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
c
h
eck_overflo
w
: han
d
le addresses differently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Car
p
enter
smatch_extra:
clean up
.
s
t
a
te
c
a
n nev
e
r be
&merged
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Ca
r
penter
che
c
k_overflow:
ignore
th
e
last memb
e
r
o
f st
r
ucts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Da
n
Carp
e
nter
smatch_extr
a
:
I
do
n
'
t like empty
r
a
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Car
p
enter
a
d
d s
m
atch_scripts/gen
_
a
r
r
a
y
_bou
n
ds
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Car
p
e
n
ter
smatc
h
_data
/
ker
n
el
.
array_bounds
.
re
m
ove
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
c
h
eck_overfl
o
w:
a
n
an "error:
" prefix to
a
printf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
s
m
atch_scripts/sho
w
_unrea
c
h
able
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carpenter
n
e
w script: sh
o
w_ifs
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
enter
introduce ge
t
ting_addr
e
ss()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
an
C
ar
p
enter
up
d
ate sm
a
tch_scripts
/
bec
a
use of
-
-info
f
ormat
c
h
a
n
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
an Carpen
t
er
che
c
k o
f
fset af
t
er use: ignore fo
o
= &array[b
a
r];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
check_overf
l
ow:
move some
m
ore stuf
f
under
t
he --info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpente
r
c
lean up outpu
t
: war
n
i
n
g
: => wa
r
n
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
a
r
pe
n
t
er
m
o
dification_hook: -- and
+
+ are modifica
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
D
a
n Carpen
t
er
It makes
s
ense to check an ar
r
ay offset i
f
it has been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
check_overflow
:
se
p
arate the two t
y
pes
o
f
s
tates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
Fix preced
e
n
c
e/crashing b
u
g chec
k
_overflow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan
Carpenter
c
h
e
ck_
o
verflow: check
for lim
i
t
i
ng offse
t
after using i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
D
a
n Carpenter
introduce alloc_
s
tate_num()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Car
p
en
t
er
cleanup: re
n
ame a
l
loc
_
stat
e
() => alloc_sm_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
an
C
arpenter
i
ntroduce get_f
u
zzy_
m
a
x()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
cal
l
_tree
.
pl: make it an int
e
ractive p
r
ogr
a
m
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
an Ca
r
penter
create get_i
m
p
l
i
ed_ra
n
ge_list
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpen
t
er
s
m
_
info
:
fix fo
r
m
atting
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
D
an Carpenter
call tre
e
:
ini
t
ial
upl
o
ad
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
dma o
n
stack:
m
ove
d
at
a
to smatch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan C
a
rpent
e
r
tra
c
e_params
.
pl:
rew
r
ote
s
o it's
f
aster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
C
arp
e
nter
add
-
-param-mapp
e
r
b
ack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
p
enter
clea
n
up up option pa
r
sin
g
a litt
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpent
e
r
add option: --info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
redo how optio
n
s
a
re parsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpenter
c
lea
n
up: debug_implied_stat
e
s
=> o
p
tion_de
b
ug_i
m
p
l
ied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
cleanup: debug_states =>
option_d
e
bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param_mapper
:
add -
-
param
-
mapper op
t
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dma
on
stack:
e
liminate
some fal
s
e positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
en
t
e
r
A
dd dma
functions t
h
at map to usb_control_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rp
e
nter
a
d
d
smatch_scripts/tr
a
ce_para
m
s
.
p
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
pa
r
am_mapper: initi
a
l c
o
m
m
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
dma_on_
s
tack: &foo means it's
a
n error too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Car
p
en
t
er
updat
e
sm
a
tch_data t
o
2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan
C
a
rpenter
c
heck_overflow: fix cras
h
ing bug (divide by zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan
Carpente
r
chec
k
_
o
v
er
f
low: fix crash
i
ng bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpenter
add
a check for p
a
ssing stack
v
a
ria
b
les to d
m
a fu
n
ctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Da
n
Ca
r
penter
check_us
e
d_returns: ignore inb,
i
nw, and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
updat
e
validation te
s
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
c
h
eck_overflow
:
handle arr
a
ys i
n
side s
t
ructs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next