• • 作者：高林哲、鵜飼文敏、佐藤祐介...等/合著
  • 譯者：Studio Tib.
  • 出版社：歐萊禮
  • 出版日期：2013年05月30日
  • 語言：繁體中文 ISBN：9789862767665
  • 裝訂：平裝

本書的主題是底層的程式開發技術。
　　底層指的是接近「赤裸」的電腦硬體。

　　軟體的世界是藉著不斷堆疊「抽象化」而進步的。組合語言是機械語言的抽象化、C 語言是組合語言的抽象化。而在 C 語言之上，還有許多以 C 實作的各種 script 語言。抽象化可將底層的複雜部份隱藏起來，為開發者提供更具生產力、安全性更高的程式開發手段。

　　但是，也不能因為這樣就認為把底層的技術完全忘光也能開發程式。若想追求性能極限、盡可能提高可靠度、想解決偶爾發生的「神秘錯誤」，就不得不面對底層細節了。可惜的是，抽象化並非萬全的解決之道。

　　比如說，Ruby 與 Perl 寫的 script 若是發生 segmentation fault 異常結束的話，就需要下到 C 語言這層尋找原因。有時也會遇到特殊的問題，需要發揮「在執行的時候改寫程式自己的機械碼」這種棘手的技巧。如果不知道底層技術的話，就沒辦法面對這些問題了。

　　本書的目標，就是介紹這些場面之中能夠發揮威力的眾多訣竅，也就是「Binary Hacks」。Binary Hack 的名稱是來自 0 與 1，也就是程式開發時位於最底層的 binary 觀念。本書把 Binary Hacks 定義為「運用底層軟體技術的程式設計訣竅」，廣泛涵蓋了基本工具的使用方式、安全議題、以及運用 OS 與處理器功能等進階議題。

　　以往，這類訣竅都沒有整理起來，像是「知道的人就會知道」的東西。本書就是嘗試把這些訣竅集合起來，使它們成為誰都可以運用的工具。本書主要是收集在實際情形下幫得上忙的 hacks，但也提到不少沒什麼用、卻很有趣的 hacks。希望您能透過本書學到有用的訣竅、體會底層技術的趣味。

推薦序 
執筆群 
寫在前面

Chapter 1 概論 
1. Binary Hack 入門 
2. Binary Hack 用語的基礎知識 
3. 以 file 檢查檔案種類 
4. 以 od 傾印 binary 檔

Chapter 2 Object File Hacks 
5. ELF 入門 
6. 靜態函式庫與共享函式庫 
7. 以 ldd 檢查共享函式庫的依存關係 
8. 以 readelf 顯示 ELF 檔案的資訊 
9. 以 objdump 傾印 object file 內容 
10. 以 objdump 反組譯 object file 
11. objcopy 對執行檔嵌入資料 
12. 以 nm 檢查 object file 內含的 symbols 
13. 以 strings 抽出 binary 檔案內的字串 
14. 以 c++filt 將 C++ 的符號 demangle 
15. 以 addr2line 把位址轉換成檔名與行號 
16. 以 strip 移除 object file 的 symbols 
17. 以 ar 操作靜態函式庫 
18. 將 C 與 C++ 程式互相連結時的注意事項 
19. 注意連結時的 symbol 衝突 
20. 為何在製作 GNU/Linux 共享函式庫的時候要以 PIC 編譯 
21. 以 statifier 為動態連結的執行檔模擬靜態連結

Chapter 3 GNU Programming Hacks 
22. GCC 的 GNU 擴充功能入門 
23. 使用 GCC 的行內組譯功能 
24. 透過 GCC 內建函式活用最佳化 
25. 在不使用 glibc 的前提下寫 Hello World 
26. 使用 TLS (thread local storage) 
27. 以 glibc 根據系統類型切換要載入的函式庫 
28. 根據連結的函式庫改變程式運作 
29. 限制函式庫對外公開的 symbols 
30. 為函式庫對外公開的symbols 加上版本以控制運作 
31. 在 main() 之前呼叫函式 
32. 以 GCC 產生的程式碼在執行時產生程式碼 
33. 許可或禁止 stack 上的程式碼 
34. 執行 heap 上的程式碼 
35. 建立 PIE ( 位置獨立執行格式) 
36. 以 C++ 寫 synchronized method 
37. 以 C++ 寫 singleton 
38. 理解 g++ 的例外處理機制 (throw 篇) 
39. 理解 g++ 的例外處理機制 (SjLj 篇) 
40. 理解 g++ 的例外處理機制 (DWARF2 篇) 
41. 理解 g++ 處理例外的成本

Chapter 4 Secure Programming Hacks 
42. GCC 安全程式設計入門 
43. 以 -ftrapv 偵測整數運算溢位 
44. 以 Mudflap 偵測緩衝區溢位 
45. 以 -D_FORTIFY_SOURCE 偵測緩衝區溢位 
46. 以 -fstack-protector 保護 stack 
47. 以無號整數定義 bitmask 常數 
48. 注意太大的 shift 移位 
49. 注意 64-bit 環境下 0 與 NULL 的不同 
50. POSIX 的 thread-safe 函式 
51. 如何撰寫安全的 signal handler 
52. 以 sigwait 同步處理異步 signal 
53. 以 sigsafe 安全地處理 signal 
54. 以 Valgrind 偵測記憶體洩漏 
55. 以 Valgrind 偵測記憶體操作失誤 
56. 以 Helgrind 偵測 multi-thread 程式的臭蟲 
57. 以 fakeroot 模擬 root 權限執行程式

Chapter 5 Runtime Hacks 
58. 程式如何執行到 main() 
59. 系統函式的呼叫過程 
60. 以 LD_PRELOAD 抽換共享函式庫 
61. 以 LD_PRELOAD 包裝現有函式 
62. 以 dlopen 在執行時動態連結 
63. 顯示 C 的 backtrace 
64. 檢查執行中的 process 的路徑 
65. 檢查目前載入的共享函式庫 
66. 掌握 process 與動態函式庫映射的記憶體 
67. 以 libbfd 取得 symbol 一覽 
68. 執行時將 C++ symbol 進行 demangle 
69. 以 ffcall 動態決定函式 signature 進行呼叫 
70. 以 libdwarf 取得 debug 資訊 
71. 以 dumper 將結構內容以更容易看懂的方式顯示 
72. 自力載入 object file 
73. 以 libunwind 控制呼叫串列 
74. 以 GNU lightning 可攜地在執行時產生程式碼 
75. 取得 stack 範圍的位址 
76. 以 sigaltstack 處理 stack overflow 的狀況 
77. 附掛在函式的 enter/exit 
78. 從 signal handler 改寫程式的執行環境 
79. 取得 program counter 的值 
80. 改寫自身程式碼以改變程式行為 
81. 以 SIGSEGV 檢查位址是否有效 
82. 以 strace 追蹤系統呼叫 
83. 以 ltrace 追蹤共享函式庫呼叫 
84. 以 Jockey 紀錄、重現 Linux 程式執行狀況 
85. 以 prelink 加速程式啟動 
86. 以 livepatch 改寫執行中的 process

Chapter 6 Pro_ler．Debugger Hacks 
87. 以 gprof 量測執行效能 
88. 以 sysprof 輕鬆量測系統效能 
89. 以 oprofile 詳細量測系統效能 
90. 以 GDB 操作執行中的 process 
91. 使用硬體的除錯功能 
92. 在 C 程式中設定中斷點

Chapter 7 其他 Hacks 
93. Boehm GC 的機制 
94. 注意 process 的 memory ordering 
95. 以 Portable Coroutine Library (PCL) 進行輕量的平行處理 
96. 計算 CPU 的 clock 數 
97. 浮點數的 bit 表示法 
98. x86 擁有的浮點數運算指令的特殊之處 
99. 運算結果等於無限大或 NaN 的時候引發 signal 
100. 文獻介紹

索引