Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: s2e
ut-issl/s2e-core
Spacecraft Simulation Environment Core codes
Language: C++ - Size: 6.49 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 41 - Forks: 17
ut-issl/s2e-ff
S2E user side repository for Formation Flying study
Language: C++ - Size: 614 KB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 4 - Forks: 3
ut-issl/s2e-aobc
S2E for AOCS module
Language: C++ - Size: 602 KB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 4 - Forks: 2
ut-issl/s2e-user-example
An example of S2E user side repository
Language: C++ - Size: 55.7 KB - Last synced: 9 days ago - Pushed: 10 days ago - Stars: 1 - Forks: 0
Wiznet/WIZ750SR
WIZnet Serial to Ethernet(S2E) module based on W7500 chip, WIZ107/108SR S2E compatible device
Language: C - Size: 4.51 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 17 - Forks: 19
ut-issl/s2e-documents
Documents for Spacecraft Simulation Environment
Language: C - Size: 7.95 MB - Last synced: 14 days ago - Pushed: 14 days ago - Stars: 12 - Forks: 7
S2E/s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
Language: C++ - Size: 11.3 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 398 - Forks: 87
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)
Language: C++ - Size: 4.18 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 95 - Forks: 16
SQLab/CRAX Fork of S2E/s2e-old
CRAX: software CRash analysis for Automatic eXploit generation
Language: C - Size: 53.1 MB - Last synced: about 2 months ago - Pushed: almost 9 years ago - Stars: 46 - Forks: 12
ut-issl/s2e-aobc-example
An example of user settings repository for s2e-aobc
Language: CMake - Size: 57.6 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0
ut-issl/s2e-user-for-c2a-core
C2A CoreにあるC2A sampleでSILSを組むためのS2E user
Language: C++ - Size: 110 KB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 4 - Forks: 1
Wiznet/WIZ550S2E
Serial to Ethernet Module based on W5500 & Cortex-M0
Language: C - Size: 3.51 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 9 - Forks: 10
Wiznet/WIZ550S2E-Modbus
Serial to Ethernet Module based on W5500 & Cortex-M0
Language: C - Size: 514 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 4 - Forks: 5
adrianherrera/malware-s2e
Code for my blog post on using S2E for malware analysis
Language: C++ - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 24 - Forks: 4
Wiznet/WIZ550SR
Serial to Ethernet Module based on W5500 & Cortex-M3
Language: C - Size: 6.12 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 5 - Forks: 5
adrianherrera/kaitai-s2e
Code for my blog post on combining S2E and Kaitai Struct
Language: C++ - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 14 - Forks: 1
adrianherrera/unbreakable-ctf-s2e
Code for my blog post on solving Google's Unbreakable CTF challenge with S2E
Language: C++ - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 3 - Forks: 0
Pipeliner/s2e-apps
Utils and test apps for Selective Symbolic Execution.
Language: C - Size: 111 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 1 - Forks: 1