调用assert

有时,assert()宏的出现也是有用的:通常这个宏会泄漏源文件名,行号和条件。

最有用的信息包含在assert的条件中,我们可以从中推断出变量名或者结构体名。另一个有用的信息是文件名。我们可以从中推断出使用了什么类型的代码。并且也可能通过文件名识别出有名的开源库。

  1. .text:107D4B29 mov dx, [ecx+42h]
  2. .text:107D4B2D cmp edx, 1
  3. .text:107D4B30 jz short loc_107D4B4A
  4. .text:107D4B32 push 1ECh
  5. .text:107D4B37 push offset aWrite_c ; "write.c"
  6. .text:107D4B3C push offset aTdTd_planarcon ; "td->td_planarconfig == PLANARCONFIG_CON"...
  7. .text:107D4B41 call ds:_assert
  8. ...
  9. .text:107D52CA mov edx, [ebp-4]
  10. .text:107D52CD and edx, 3
  11. .text:107D52D0 test edx, edx
  12. .text:107D52D2 jz short loc_107D52E9
  13. .text:107D52D4 push 58h
  14. .text:107D52D6 push offset aDumpmode_c ; "dumpmode.c"
  15. .text:107D52DB push offset aN30 ; "(n & 3) == 0"
  16. .text:107D52E0 call ds:_assert
  17. ...
  18. .text:107D6759 mov cx, [eax+6]
  19. .text:107D675D cmp ecx, 0Ch
  20. .text:107D6760 jle short loc_107D677A
  21. .text:107D6762 push 2D8h
  22. .text:107D6767 push offset aLzw_c ; "lzw.c"
  23. .text:107D676C push offset aSpLzw_nbitsBit ; "sp->lzw_nbits <= BITS_MAX"
  24. .text:107D6771 call ds:_assert

同时google一下条件和文件名是明智的,可能会因此找到开源库。举个例子,如果我们google查找“sp->lzw_nbits <= BITS_MAX”,将会显示一些与LZW压缩有关的开源代码。