S2E /s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
C++528
s2e 开源项目推荐（18 个）
s2e 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
18收录项目
852Star 总量
3覆盖语言
相关标签
热门项目 全部 18
GitHub 共 18 个仓库，已全部展示
SQLab /CRAXplusplus
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
C++105
ut-issl /s2e-core
Spacecraft Simulation Environment Core codes
C++63
SQLab /CRAX
CRAX: software CRash analysis for Automatic eXploit generation
C53
adrianherrera /malware-s2e
Code for my blog post on using S2E for malware analysis
C++25
ut-issl /s2e-documents
Documents for Spacecraft Simulation Environment
C17
adrianherrera /kaitai-s2e
Code for my blog post on combining S2E and Kaitai Struct
C++15
Wiznet /WIZ550S2E
Serial to Ethernet Module based on W5500 & Cortex-M0
C12
Wiznet /WIZ550S2E-Modbus
Serial to Ethernet Module based on W5500 & Cortex-M0
C7
Wiznet /WIZ550SR
Serial to Ethernet Module based on W5500 & Cortex-M3
C7
ut-issl /s2e-aobc
S2E for AOCS module
C++5
ut-issl /s2e-ff
S2E user side repository for Formation Flying study
C++5
ut-issl /s2e-user-for-c2a-core
C2A CoreにあるC2A sampleでSILSを組むためのS2E user
C++3
adrianherrera /unbreakable-ctf-s2e
Code for my blog post on solving Google's Unbreakable CTF challenge with S2E
C++3
ut-issl /s2e-user-example
An example of S2E user side repository
C++2
ut-issl /s2e-aobc-example
An example of user settings repository for s2e-aobc
CMake1
Pipeliner /s2e-apps
Utils and test apps for Selective Symbolic Execution.
C1
Wiznet /WIZ750SR
WIZnet Serial to Ethernet(S2E) module based on W7500 chip, WIZ107/108SR S2E compatible device
C0
关于这个话题
- 清单取自 GitHub 话题页并按 Star 数排序，每次展示前 18 个项目；原始页面见 https://github.com/topics/s2e。
- 该话题在 GitHub 上共有 18 个仓库， 本站收录的是其中最热门的 18 个，不是全量列表。
- Star / Fork 每日自动刷新一次，实时数据以 GitHub 为准。
- 当前 18 个项目累计 852 Star，覆盖 3 种主要语言，数据更新于 2026-11-07。
- 中文介绍来自 GitHub 官方话题说明（github/explore）的机器翻译，可点「查看原文」对照；译文缺失时会先展示原文。