iOS野指針定位總結

野指針就是指向一個已刪除的對象或者受限內存區域的指針。
我們寫C++的時候強調指針初始化爲NULL,強調用完後也爲其賦值爲NULL,誰分配的誰回收,來避免野指針的問題。
比較常見的就是這個指針指向的內存,在別處被回收了,但是這個指針不知道,依然還指向這塊內存。
MRC 時代因爲引用計數手動控制,所以內存很容易在別處被回收。ARC解決了大部分這種問題。、
在iOS9之前,系統庫的delegatetarget-action有一部分是assign(unsafe_unretain)的形式,這時候如果內存在別處被回收了,也是會出現野指針的。
所以iOS9之後這些地方就改成了weak內存修飾符,內存被回收的時候通過weak表,把這些指針設爲nil。也大幅度減少了野指針的出現。

如果現在在工程中依然頻繁出現野指針,幾乎可以肯定是錯誤地使用了內存。

表現:Crash

對於MachUnixNSException三種不同層級的crash,NSException比較好說,可以直接定位到OC代碼。問題主要來自EXC_BAD_ACCESS(SIGSEGV)這種異常,難以在我們的應用代碼中定位。

image

  • SIGILL 執行了非法指令,一般是可執行文件出現了錯誤
  • SIGTRAP 斷點指令或者其他trap指令產生
  • SIGABRT 調用abort產生
  • SIGBUS 非法地址。比如錯誤的內存類型訪問、內存地址對齊等
  • SIGSEGV 非法地址。訪問未分配內存、寫入沒有寫權限的內存等
  • SIGFPE 致命的算術運算。比如數值溢出、NaN數值等

實際我們遇到Mach Exception絕大部分都是野指針的問題。SIGSEGV/SIGABRT/SIGTRAP 比較多見。
野指針問題表現千奇百怪,而且因爲崩潰的地方並不是造成野指針的地方,而且難以重現,所以問題往往難以定位。

image


騰訊Bugly的這張圖可以看到,野指針幾乎可以造成各種類型的Mach Exception

 

定位工具

Zoombie Object

這是目前幫助最大的調試模式。實現原理就是 hook 住了對象的dealloc方法,通過調用自己的__dealloc_zombie方法來把對象進行殭屍化。

id object_dispose(id obj)
{
    if (!obj) return nil;

    objc_destructInstance(obj);    
    free(obj);

    return nil;
}

正常的對象釋放方法如上,但是殭屍對象調用了objc_destructInstance後就直接return了,不再free(obj);。同時生成一個"_NSZombie_" + clsName類名,調用objc_setClass(self, zombieCls);修改對象的 isa 指針,令其指向特殊的殭屍類。
如果這個對象再次收到消息,objc_msgsend的時候,調用abort()崩潰並打印出調用的方法。

野指針指向的內存沒有被覆蓋的時候,或者被覆蓋成可以訪問的內存的時候,不一定會出現崩潰。這個時候向對象發送消息,不一定會崩潰(可能剛好有這個方法),或者向已經釋放的對象發送消息。 但是如果野指針指向的是殭屍對象,那就一定會崩潰了,會崩潰在殭屍對象第一次被其它消息訪問的時候。

Zombie Object without Xcode

殭屍對象必須在連接Xcode中debug的時候使用,如果我們想跟我們的崩潰收集工具集成在一起,就需要自己實現類似Zombie Object的東西。
邏輯是通過hook住NSObject的根類的dealloc方法,然後在新的dealloc方法中將本來即將釋放的對象的isa指針改爲指向我們創建的一個新的殭屍類。

iOS使用代碼排查野指針錯誤
開發自己的NSZombie這兩篇文章裏介紹了在代碼裏實現類似Zoombie Object的方法,然而實際上是無法使用的,這兩種實現跟 Zombie Object 實現上不小的區別,實際應用中有大量誤判的情況。

誤判的原因主要是dealloc的實現和殭屍類的實現跟Zombie Object不一樣。
參考Apple的源碼,可以看到Apple是完全調用了objc_destructInstance函數的。而其它人的實現要麼沒有調用這個函數,要麼只做了一部分。對於一個OC對象的dealloc來說,主要包括兩部分,一部分是objc_destructInstance,一部分是free(self)objc_destructInstance裏包括了移除弱引用,移除關聯對象,c++析構等等。這些邏輯不能省略。

- (void)dealloc
{
    const char *className = object_getClassName(self);
    char *zombieClassName = NULL;
    do {

        //...
        Class zombieClass = objc_getClass(zombieClassName);

        objc_destructInstance(self); //關鍵

        object_setClass(self, zombieClass);

    } while (0);

    if (zombieClassName != NULL)
    {
        free(zombieClassName);
    }
}

而對於殭屍類的實現,Zombie Object的實現簡潔而且有效。不像其它人的實現那麼臃腫。就只是申明瞭一個沒有任何方法的根類而已,所以任何消息發給它都會crash。

NS_ROOT_CLASS
@interface _NSZombie_ {
    Class isa;
}

@end

所以我從Apple的源碼中提取出來的一套實現NSZombie,跟Zombie Object的實現保證完全一致,解決誤判的情況。

Scribble

Scribble 工具能夠在alloc的時候填上0xAA,dealloc的時候填上0x55,就是對象釋放後在內存上填上不可訪問的數據,如果再次訪問對象就會必現crash。

Bugly的這篇文章如何定位Obj-C野指針隨機Crash 就是採用這種方式提高crash率,來方便定位問題。
爲了不限制在xcode中使用,自己在代碼中實現了類似的邏輯。通過fishhook去hook free函數的方法,實現如下:

void safe_free(void* p){
    size_tmemSiziee=malloc_size(p);
    memset(p,0x55, memSiziee);
    orig_free(p);
    return;
}

雖然已經給被釋放的對象寫上了0x55,但是如果是內存在被訪問(觸發crash)之前被其它覆蓋了,則可能無法觸發crash。 這種情況也不少見。 所以Bugly爲了內存不被覆蓋,就不再調用free來釋放這個內存。保持這個內存一直在。 這樣的原理就非常類似Zombie Object了。

製造crash的方式也是採用修改rsa指針的方式,當對象收到消息的時候abort()。

Address Sanitizer

malloc/free函數進行了替換。在malloc函數中額外的分配了禁止訪問區域的內存。 在free函數中將所有分配的內存區域設爲禁止訪問,並放到了隔離區域的隊列中(保證在一定的時間內不會再被malloc函數分配)。 如果訪問到禁止訪問的區域,就直接crash。

對CPU影響2~5⨉, 增加內存消耗 2~3⨉。

能夠檢查出來的問題:

  • 訪問已經dealloc的內存/dealloc已經dealloc的內存
  • dealloc還沒有alloc的內存(但不能檢查出訪問未初始化的內存)
  • 訪問函數返回以後的棧內存/訪問作用域之外的棧內存
  • 緩衝區上溢出或下溢出,C++容器溢出(但不能檢查integer overflow)

不能用於檢查內存泄漏。有些文章說ASan能檢查內存泄漏是不對的,Google的LSan可以,但是Xcode的Asan不行。

Malloc Stack

之前介紹的工具都是提高崩潰概率,以拿到崩潰的對象和內存地址。拿到崩潰的對象之後也很難定位,因爲崩潰地方離釋放的地方已經很遠了。而且有些對象在工程中初始化了很多個,不知道是對應的哪個地方出了問題。所以如果能知道對象是在哪初始化的就好了。
Malloc Stack 能夠記錄下來所有對象的malloc調用時的堆棧信息。然後我們執行命令:

script import lldb.macosx.heap
malloc_info --stack-history 0x7fbf0dd4f5c0

就可以在lldb中打印出來該對象初始化位置的堆棧信息。
Malloc Stack但是有兩個巨大的缺點,一個是只能在模擬器上使用,第二是沒有打印出dealloc的信息。如果想在真機上使用需要越獄。

lzMalloc

公司內部的大神開發的的lldb插件,基於Malloc Stack開發的,通過調用私有函數拿到Malloc Stack記錄的數據。能夠支持真機調試,能夠打印出dealloc的堆棧信息。
能打印出dealloc的原因是hook了-dealloc方法,調用__disk_stack_logging_log_stack函數記錄當前的堆棧信息。

幾個野指針的例子

錯誤的內存修飾符

遇到的這個例子可能是比較經典的野指針,崩潰日誌中出現了各種各樣的表現。

第一種表現是dealloc對象時崩潰:

0 libsystem_kernel.dylib 0x252fac5c __pthread_kill + 4
1 libsystem_c.dylib 0x2528f0ac abort + 103
2 libsystem_malloc.dylib 0x25324ef6 free + 431
3 libobjc.A.dylib 0x24e13e08 object_dispose + 19
4 Foundation 0x25de3cf2 -[NSIndexPath dealloc] + 66
5 libobjc.A.dylib 0x24e24f66 objc_object::sidetable_release(bool) + 150
6 libsystem_blocks.dylib 0x25243ac2 _Block_release + 215
7 CoreFoundation 0x25583384 -[__NSArrayI dealloc] + 64
5 libobjc.A.dylib 0x24e24f66 objc_object::sidetable_release(bool) + 150
9 UIKit 0x29e934f2 __runAfterCACommitDeferredBlocks + 310
10 UIKit 0x29e9f7da __cleanUpAfterCAFlushAndRunDeferredBlocks + 90
11 UIKit 0x29bddb1c __afterCACommitHandler + 84

可以看到這裏完全是系統library的崩潰,跟工程代碼毫無關係,最開始也是一頭霧水。
這裏只有兩個線索,一個是NSIndexPath,另一個是隻發生於10.3.3之前的iphone5機型上。
因爲10.3.3是iphone5支持的最後一個版本,所以用戶量並不少。

第二種表現是objc_msgsend, isEqual:是通過讀取ARM寄存器lr獲取到的方法名,這個是Bugly幫我們查到的。

0 libobjc.A.dylib 0x1a1b0dd6 objc_msgSend (isEqual:) + 15
1 UIKit 0x201afdfa -[UICollectionReusableView _setLayoutAttributes:] + 60
2 UIKit 0x209d0280 -[UICollectionView _applyLayoutAttributes:toView:] + 138
3 UIKit 0x209daf26 ___88-[UICollectionView _dequeueReusableViewOfKind:withIdentifier:forIndexPath:viewCategory:]_block_invoke + 28
4 UIKit 0x2015b5c2 +[UIView(Animation) performWithoutAnimation:] + 84
5 UIKit 0x209dae40 -[UICollectionView _dequeueReusableViewOfKind:withIdentifier:forIndexPath:viewCategory:] + 2156
6 UIKit 0x201af68a -[UICollectionView dequeueReusableCellWithReuseIdentifier:forIndexPath:] + 160
7 XXXXXXProject 0x00404c02 -[XXXXXXCollectionView collectionView:cellForItemAtIndexPath:] (XXXXXXClass.m:77)
8 UIKit 0x209cf850 -[UICollectionView _createPreparedCellForItemAtIndexPath:withLayoutAttributes:applyAttributes:isFocused:notify:] + 420
9 UIKit 0x201af5e0 -[UICollectionView _createPreparedCellForItemAtIndexPath:withLayoutAttributes:applyAttributes:] + 42
10 UIKit 0x201ad7f6 -[UICollectionView _updateVisibleCellsNow:] + 4076
11 UIKit 0x201a83d6 -[UICollectionView layoutSubviews] + 398
12 UIKit 0x2014b482 -[UIView(CALayerDelegate) layoutSublayersOfLayer:] + 1224

這裏線索就比較豐富,可以找到對應的類了,XXXXXXProject 是我們的工程,明顯崩潰在UICollectionView中。在重用collectionViewCell的過程中,調用_setLayoutAttributes 的方法,在+60的位置調用了isEqual:,經過反編譯這個方法得知調用isEqual:的對象的是UICollectionViewLayoutAttributes(反編譯過程省略)。
這裏也是隻發生於10.3.3之前的iphone5機型上。所以基本確定是同一個問題。

但是並沒有什麼了卵用,正如之前所說的,野指針崩潰的地方跟出錯的地方相去甚遠。
唯一能確定的地方,就是引起崩潰的對象是NSIndexPath

第三種表現比較奇怪,報[UITransitionView initialize] unrecognized selector,這個類一臉懵逼。不知道在哪使用過

Exception Type: NSInvalidArgumentException(SIGABRT)
Exception Codes: -[UITransitionView initialize]: unrecognized selector sent to instance 0x165f22c0 at 0x1c4d1acc
Crashed Thread: 0
0 CoreFoundation 0x1cd03b3d ___exceptionPreprocess + 129
1 libobjc.A.dylib 0x1bf8b067 objc_exception_throw + 31
2 CoreFoundation 0x1cd08fd1 ___methodDescriptionForSelector + 1
3 CoreFoundation 0x1cd070c3 ____forwarding___ + 697
4 CoreFoundation 0x1cc2fdc8 _CF_forwarding_prep_0 + 24
5 libobjc.A.dylib 0x1bf8bbad _CALLING_SOME_+initialize_METHOD + 23
6 libobjc.A.dylib 0x1bf8bdf3 __class_initialize + 579
7 libobjc.A.dylib 0x1bf92c15 _lookUpImpOrForward + 173
8 libobjc.A.dylib 0x1bf92b65 __class_lookupMethodAndLoadCache3 + 27
9 libobjc.A.dylib 0x1bf991af __objc_msgSend_uncached + 15
10 UIKit 0x21f98167 -[UICollectionViewLayoutAttributes isEqual:] + 95
11 UIKit 0x21f97dfb -[UICollectionReusableView _setLayoutAttributes:] + 61
12 UIKit 0x227b8281 -[UICollectionView _applyLayoutAttributes:toView:] + 139
13 UIKit 0x227c2f27 ___88-[UICollectionView _dequeueReusableViewOfKind:withIdentifier:forIndexPath:viewCategory:]_block_invoke + 29
14 UIKit 0x21f435c3 +[UIView(Animation) performWithoutAnimation:] + 85
15 UIKit 0x227c2e41 -[UICollectionView _dequeueReusableViewOfKind:withIdentifier:forIndexPath:viewCategory:] + 2157
16 UIKit 0x21f9768b -[UICollectionView dequeueReusableCellWithReuseIdentifier:forIndexPath:] + 161

看下面的堆棧就發現還是同一個問題,但是爲啥會報這麼奇怪的錯? 這就是野指針的表現。這一塊內存被別的東西覆蓋了。

實際上還有其它的表現,但是比較具有代表性的就這三個了。從崩潰日誌中只能得到有限的信息,一個是這個是野指針問題。第二個是這個野指針對象很可能是一個NSIndexPath對象(也不能完全確定)。

如果不知道是野指針的問題,就很容易誤入歧途,花大量時間在研究UICollectionView 或者在研究UITransitionView上。其實都是浪費時間,因爲造成野指針的地方地方已經很遠了。

正如Bugly這篇文章說的,定位野指針最重要還是增大野指針出現的概率。 所以這次我是採用Zombie Object,並且限制在iPhone5 和 iOS10.3.3的情況下重現的。

經過多次重現,確定了是NSIndexPath的問題,而且所有的UICollectionViewUITableView都受到了影響。所以我開始懷疑是不是工程中有全局的代碼被hook了。果然不出所料:

- (void)forwardInvocation:(NSInvocation *)invocation
{
    [invocation invokeWithTarget:self.target];
    if (kiOS9Later) {
        if ([NSStringFromSelector(invocation.selector) isEqualToString:@"collectionView:didSelectItemAtIndexPath:"]) {
            //無痕打點
            __unsafe_unretained UICollectionView *collectionView = nil;
            id indexPath;
            [invocation getArgument:&collectionView atIndex:2];
            [invocation getArgument:&indexPath atIndex:3];
            [FPPVHelper reportMTAEventId:[collectionView hotTagId] Index:[indexPath row] info:nil];
        }
    }
}

這是某一段神奇的打點代碼,不知道誰寫的。很明顯indexPath此處的修飾符應爲__unsafe_unretained,如果爲strong的話對象在這裏就會被ARC釋放掉,然而因爲傳遞的是C指針,其它地方的某個指針不知道這裏釋放了,依然指向了這裏。產生了野指針。

 

iOS9之前的delegate 崩潰

在iOS9之前的tableview的delegate和datasource都是assign內存修飾符的。iOS9之後才使用weak

// iOS 8 之前
@property(nonatomic, assign) id<UITableViewDataSource> dataSource
@property(nonatomic, assign) id<UITableViewDelegate> delegate
// iOS 9 之後
@property(nonatomic, weak, nullable) id<UITableViewDataSource> dataSource
@property(nonatomic, weak, nullable) id<UITableViewDelegate> delegate

這種情況,如果delegatetableview本身更早被釋放,此時的dataSource就會成爲一個野指針。常見的情況比如block調用延長了tableview的生命週期,就可能會發生這種情況,導致野指針crash。 一般崩潰日誌裏是objc_msgsend + 15 的崩潰,崩潰在delegate或者datasource的方法裏。

解決方法也很簡單,在dealloc的時候把dataSource和delegate設爲nil即可。

- (void)dealloc
{
    _tableView.delegate = nil;
    _tableView.dataSource = nil;
}

iOS9 之前的target-action崩潰

崩潰堆棧也是最常見的objc_msgSend,這裏可以看到是工程中hook的某個方法崩潰了

libobjc.A.dylib objc_msgSend (pv_gestureRecongizerAction:)
UIKit -[UIGestureRecognizer _updateGestureWithEvent:buttonEvent:]
UIKit ____UIGestureRecognizerUpdate_block_invoke662
UIKit __UIGestureRecognizerRemoveObjectsFromArrayAndApplyBlocks
UIKit __UIGestureRecognizerUpdate
SEGV_ACCERR

我們自己的代碼如下,就是在addGestureRecognizer方法中加了一層調用,加了一層target-action。這相當於是給gestureRecognizer加了兩個target-action

-(void)pv_addGestureRecognizer:(UIGestureRecognizer *)gestureRecognizer {
    [gestureRecognizer addTarget:self action:@selector(pv_gestureRecongizerAction:)];
    [self pv_addGestureRecognizer:gestureRecognizer];
}

由於target對於gesture來說在iOS8上也是類似assign的,所以這裏就是self被釋放了,變成野指針了,但是gestureRecognizer的target依然指向了self的內存。 當self已經被釋放了,但是gestureRecognizer還沒被釋放的時候就會發生這種情況。

總結

野指針定位有幾個關鍵:

  • 第一是意識到這是野指針的問題:Mach Exception大多數都是野指針的問題,崩潰日誌裏最多見objc_msgSendunrecognized selector sent to等等。而且往往跟iOS SDK版本和iphone型號有關。 認識到野指針的問題後,就不必要拘泥於崩潰日誌,因爲崩潰的地方離崩潰的原因比較遠了。
  • 第二是儘可能重現。利用Zombie Object/Scribble/Aasn 都可以。個人認爲自己實現的Zombie Object最好,既可以脫離Xcode debug的限制,使用又比較簡單。
  • 第三是根據野指針指向的對象來判斷出錯的位置,而不是崩潰的方法。因爲崩潰的方法離崩潰的原因比較遠了,但是野指針指向的對象多半還是出錯的對象(有時也可能被覆蓋了)。
  • 第四是利用malloc stack/lzMalloc找到野指針指向對象初始化的位置和dealloc的位置,判斷是否過早釋放等。
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章