本文主要是收集和整理与符号执行相关的资料，包括学习资料，论文、工具等，旨在能更方便的学习符号执行技术，为后续做相关研究做铺垫。

Symbolic Execution Book

• 收集和整理符号执行技术学习的相关书籍

  xxxx

  xxxx

Symbolic Execution vidoe

• 收集和整理符号执行技术学习的相关视频

  xxxx

  xxxx

Course and Blog

• 收集和整理符号执行技术学习的相关课程和博客

  xxxx

  xxxx

Symbolic Execution Tools

• 收集和整理符号执行技术学习的相关工具

  Z3

>

属于SMT Solver，用于判定First Order Logic公式的可满足性。

相关资料：

1. Z3 – 指南](https://rise4fun.com/z3/tutorial/guide) – Z3入门指南：指南

SMT-LIB

>

旨在促进SMT研究与开发的国际计划。