s2e
Here are 18 public repositories matching this topic...
S2E user side repository for Formation Flying study
-
Updated
Jun 16, 2024 - C++
Spacecraft Simulation Environment Core codes
-
Updated
Jun 17, 2024 - C++
Documents for Spacecraft Simulation Environment
-
Updated
Jun 12, 2024 - C
WIZnet Serial to Ethernet(S2E) module based on W7500 chip, WIZ107/108SR S2E compatible device
-
Updated
May 10, 2024 - C
An example of user settings repository for s2e-aobc
-
Updated
Jan 19, 2024 - CMake
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
-
Updated
Jan 13, 2023 - C++
Serial to Ethernet Module based on W5500 & Cortex-M0
-
Updated
Aug 26, 2022 - C
Serial to Ethernet Module based on W5500 & Cortex-M0
-
Updated
Jan 7, 2022 - C
Serial to Ethernet Module based on W5500 & Cortex-M3
-
Updated
Jun 8, 2020 - C
Code for my blog post on using S2E for malware analysis
-
Updated
Jul 16, 2019 - C++
Code for my blog post on combining S2E and Kaitai Struct
-
Updated
Jun 1, 2019 - C++
Code for my blog post on solving Google's Unbreakable CTF challenge with S2E
-
Updated
Apr 25, 2019 - C++
CRAX: software CRash analysis for Automatic eXploit generation
-
Updated
Aug 19, 2015 - C
Improve this page
Add a description, image, and links to the s2e topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the s2e topic, visit your repo's landing page and select "manage topics."