📊
CTF-All-In-One
search
⌘Ctrlk
📊
CTF-All-In-One
  • 简介
  • 前言
  • 一、基础知识篇
  • 二、工具篇
  • 三、分类专题篇
  • 四、技巧篇
  • 五、高级篇
    • 5.0 软件漏洞分析
    • 5.1 模糊测试
    • 5.2 动态二进制插桩
    • 5.3 符号执行
      • 5.3.1 angr
      • 5.3.2 Triton
      • 5.3.3 KLEE
      • 5.3.4 S²E
    • 5.4 数据流分析
    • 5.5 污点分析
    • 5.6 LLVM
    • 5.7 程序切片
    • 5.8 SAT/SMT
    • 5.9 基于模式的漏洞分析
    • 5.10 基于二进制比对的漏洞分析
    • 5.11 反编译技术
  • 六、题解篇
  • 七、实战篇
  • 八、学术篇
  • 九、附录
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. 五、高级篇chevron-right
  2. 5.3 符号执行

5.3.4 S²E

  • 参考资料

hashtag
参考资料

  • S²E: A Platform for In-Vivo Analysis of Software Systemsarrow-up-right

Previous5.3.3 KLEEchevron-leftNext5.4 数据流分析chevron-right

Last updated 4 years ago