数学建模社区-数学中国

标题: 跟踪访问冲突AVs的位置 [打印本页]

作者: 韩冰    时间: 2005-1-26 01:32
标题: 跟踪访问冲突AVs的位置

如果一个AV的起因源自于试图访问没有初始化的类的属性(或方法),在没有多少代码的情况下这是很容易识别的。但另一方面如果有一大堆代码时,或者AV出现在多次重复的循环体中的话,就相当有难度了。幸运的是,(C++Builder内或外的)AV的错误信息是通过窗口显示的。这有助于辨别由于非法内存访问引起的错误。有两件事必须在头脑中牢记:a)别让十六进制的符号吓倒你。b)更别害怕CPU窗口。

7 D' e- M- d$ T7 q

考虑如下的代码段:

# Y+ m4 M9 C2 _8 q

TEdit *EditBox;. C) L. f) t+ t/ G EditBox->AutoSelect = false;, b6 |' e8 \- K( S 这在语法上似乎是正确的,事实上编译器也不会报错。当然,问题在运行时就会暴露出来。运行时,会得到类似"Access Violation at (someaddress) in module Vcl40.bpl. Read of address 000001F4."的错误,试试看。

$ _( R [* H- a$ L0 g

发生什么了?Ok,在内存中一个对象(object)与数组是非常相似的。我们最好还是先看看一个数组吧。考虑如下的代码段:

- i. {) ?4 |- q

int myIntegerArray[10]; " V+ _+ ^' ^! y2 y5 b* j0 s$ Z; }myIntegerArray[0] = 6;2 v% V- F; _5 j& S0 ^1 i! D9 t3 j, D myIntegerArray[1] = 88 ( \, ]) w- t" C+ P当我们为(myIntegerArray[0])的第一个位置赋值时,我们实际上先将编译器为“myIntegerArray”分配的内存位置设为0。再将6移到这个内存位置。然后好心的编译器又分配(保留)了下9个int大小的内存单元准备给我们使用。所以,当我们给myIntegerArray[1]赋值88时,我们实际上在myIntegerArray指定的位置增加了sizeof(int)大小,再将88填入。一般的,myIntegerArray[n]可以被认为是myIntegerArray + (n*sizeof(int))。

1 ]8 Z1 l3 z: S6 X7 p/ w

实体(n*sizeof(int))可以(也应该)被想像为一个“偏移”(offset)。

1 Q0 I) N- q$ {5 c* }

这跟访问冲突access violations有什么关系呢?

g$ `0 W6 Y) x& z$ O: r1 m' p

前面'read of address' 的值(000001F4 and 000001F5)是来自EditBox的偏移! 回顾前面的代码片断,好心的C++Builder自动将EditBox初始化为0。当我们试图访问EditBox的一个属性时,我们实际上在类的基指针上加上了属性的偏移值(就象前面的数组一样)。但此时基指针的值为0!由于00000000 + AutoSelect 的偏移(000001F4)不是用户允许访问的绝对内存地址,我们得到了一个AV。

}1 e7 H$ Y6 \6 A

我们如何依据这些信息来解决AV?

9 Y) h& ?4 d* I$ _$ i$ J

首先也是最重要的,前面的介绍应该增加了您对各种AV的综合理解。其次,在AV消息框中提供的信息可以用来隔离导致问题的高级语言代码。下面就是详细的步骤:

: R# j+ `) u" f+ ~

1.) 记录下AV发生的地址。就是前面所讲的'(someaddress)'。

* M4 }; `% x6 K: J9 }

2.) 在运行的第一个构造函数处设置断点 (工程的主窗体main form)。

' E* D- a! v/ g1 V% w, [) O

3.) 运行工程。

2 d% M% X6 K: t A2 f9 e

4.) 当程序在断点处锁住时按下ctrl-alt-c,弹出CPU窗口。

! \( N1 U! ^! M& D

5.) 在左上角的包含了汇编代码的区域右击鼠标。

" t6 \& o% ~; f8 D+ u, x- s

6.) 从弹出菜单中选择'Goto Address'

. w% o$ @2 {) d5 y N+ D

7.)在弹出窗口的'Enter Address To Position To'处填入'0x(someaddress)'并回车

: G0 r' C$ F i! P

使用前面的Tedit例子您将会看到:

% m3 H* O' u1 m! |$ z

vcl40.@Stdctrls@TCustomEdit@SetAutoSize$qqr4bool

+ `) j. X$ Y, w- Z# [$ e; ]) E/ Y; L

意义很简单。我们正处在vcl40模块内并试图访问TCustomEdit+SetAutoSize 。 现在就可以开始隔离引起AV的罪魁祸首了。只需在TcustomEdit对象中排除啦。由于访问的是AutoSize属性。当你找到这些的时候,基本上可以肯定了你已经找到了引起Av的高级代码了!

/ ?+ s- l; b, s g

现在快抓住这个肮脏的AVs!






欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5