fix

README.md

@@ -52,6 +52,7 @@
   - [5.2 Pin 动态二进制插桩](doc/5.2_pin.md)
   - [5.3 angr 二进制自动化分析](doc/5.3_angr.md)
   - [5.4 反调试技术](doc/5.4_antidbg.md)
+  - [5.5 Symbolic Execution 符号执行技术](doc/5.5_symbolic.md)
 
 - [六、附录](doc/6_appendix.md)
   - [6.1 更多 Linux 工具](doc/6.1_Linuxtools.md)

doc/1.5.1_c_basic.md

@@ -236,9 +236,9 @@ int vsnprintf(char *str, size_t size, const char *format, va_list ap);
 --- | ---
 `+` | 总是表示有符号数值的 '`+`' 或 '`-`' 号，缺省情况是忽略正数的符号。仅适用于数值类型。
 *空格* | 使得有符号数的输出如果没有正负号或者输出 0 个字符，则前缀 1 个空格。如果空格与 '`+`' 同时出现，则空格说明符被忽略。
-`-` |	左对齐。缺省情况是右对齐。
-`#` |	对于 '`g`' 与 '`G`'，不删除尾部 0 以表示精度。对于 '`f`', '`F`', '`e`', '`E`', '`g`', '`G`', 总是输出小数点。对于 '`o`', '`x`', '`X`', 在非 0 数值前分别输出前缀 `0`, `0x` 和 `0X`表示数制。
-`0`	| 如果 `宽度` 选项前缀为 `0`，则在左侧用 `0` 填充直至达到宽度要求。例如 `printf("%2d", 3)` 输出 "`3`"，而 `printf("%02d", 3)` 输出 "`03`"。如果 `0` 与 `-` 均出现，则 `0` 被忽略，即左对齐依然用空格填充。
+`-` | 左对齐。缺省情况是右对齐。
+`#` | 对于 '`g`' 与 '`G`'，不删除尾部 0 以表示精度。对于 '`f`', '`F`', '`e`', '`E`', '`g`', '`G`', 总是输出小数点。对于 '`o`', '`x`', '`X`', 在非 0 数值前分别输出前缀 `0`, `0x` 和 `0X`表示数制。
+`0` | 如果 `宽度` 选项前缀为 `0`，则在左侧用 `0` 填充直至达到宽度要求。例如 `printf("%2d", 3)` 输出 "`3`"，而 `printf("%02d", 3)` 输出 "`03`"。如果 `0` 与 `-` 均出现，则 `0` 被忽略，即左对齐依然用空格填充。
 
 - （可选）宽度
 
@@ -253,13 +253,13 @@ int vsnprintf(char *str, size_t size, const char *format, va_list ap);
 字符 | 描述
 --- | ---
 `hh` | 对于整数类型，`printf` 期待一个从 `char` 提升的 `int` 整型参数。
-`h`	| 对于整数类型，`printf` 期待一个从 `short` 提升的 `int` 整型参数。
-`l`	| 对于整数类型，`printf` 期待一个 `long` 整型参数。对于浮点类型，`printf` 期待一个 `double` 整型参数。对于字符串 `s` 类型，`printf` 期待一个 `wchar_t` 指针参数。对于字符 `c` 类型，`printf` 期待一个 `wint_t` 型的参数。
+`h` | 对于整数类型，`printf` 期待一个从 `short` 提升的 `int` 整型参数。
+`l` | 对于整数类型，`printf` 期待一个 `long` 整型参数。对于浮点类型，`printf` 期待一个 `double` 整型参数。对于字符串 `s` 类型，`printf` 期待一个 `wchar_t` 指针参数。对于字符 `c` 类型，`printf` 期待一个 `wint_t` 型的参数。
 `ll` | 对于整数类型，`printf` 期待一个 `long long` 整型参数。Microsoft 也可以使用 `I64`。
-`L`	| 对于浮点类型，`printf` 期待一个 `long double` 整型参数。
-`z`	| 对于整数类型，`printf` 期待一个 `size_t` 整型参数。
-`j`	| 对于整数类型，`printf` 期待一个 `intmax_t` 整型参数。
-`t`	| 对于整数类型，`printf` 期待一个 `ptrdiff_t` 整型参数。
+`L` | 对于浮点类型，`printf` 期待一个 `long double` 整型参数。
+`z` | 对于整数类型，`printf` 期待一个 `size_t` 整型参数。
+`j` | 对于整数类型，`printf` 期待一个 `intmax_t` 整型参数。
+`t` | 对于整数类型，`printf` 期待一个 `ptrdiff_t` 整型参数。
 
 #### 例子
 ```c

doc/5_advanced.md

@@ -4,3 +4,4 @@
 - [5.2 Pin 动态二进制插桩](5.2_pin.md)
 - [5.3 angr 二进制自动化分析](5.3_angr.md)
 - [5.4 反调试技术](5.4_antidbg.md)
+- [5.5 Symbolic Execution 符号执行技术](5.5_symbolic.md)