Skip to content

Latest commit

 

History

History
40 lines (27 loc) · 927 Bytes

符号执行-学习资源汇总.md

File metadata and controls

40 lines (27 loc) · 927 Bytes
Raw

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

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研究与开发的国际计划。