S2E plugins library
☆17Jan 7, 2020Updated 6 years ago
Alternatives and similar repositories for libs2eplugins
Users that are interested in libs2eplugins are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- libs2e.so☆18Dec 19, 2020Updated 5 years ago
- Run android with S2E☆31Dec 11, 2014Updated 11 years ago
- x86 Dynamic Binary Translator Library☆33Dec 19, 2020Updated 5 years ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆96May 24, 2026Updated 5 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆23Jul 30, 2016Updated 10 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- Branch based windows debugger☆22Jul 30, 2019Updated 7 years ago
- A C/C++ code obfuscator based on llvm/clang technology☆16Sep 19, 2014Updated 12 years ago
- Automatically exported from code.google.com/p/kemufuzzer☆26Mar 17, 2015Updated 11 years ago
- Symbolic Execution of Android Framework☆15Jun 25, 2017Updated 9 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 6 years ago
- QEMU VM with generic KVM extensions for symbolic execution☆27Oct 17, 2026Updated last week
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆23Jun 16, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated 2 years ago
- eyuyan image rebuild tools source code☆13Sep 1, 2016Updated 10 years ago
- CRETE under development☆60Jun 30, 2020Updated 6 years ago
- ☆30May 23, 2017Updated 9 years ago
- deprecated☆27Mar 20, 2019Updated 7 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆73May 24, 2019Updated 7 years ago
- ☆15Jun 24, 2017Updated 9 years ago
- Windows Kernel Driver - Create a driver device in intermediate layer of Windows kernel based on NDIS, which communicates with and connect…☆35Jul 21, 2014Updated 12 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Sep 27, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 7 years ago
- ☆14Feb 14, 2018Updated 8 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 8 years ago
- ☆13Feb 25, 2014Updated 12 years ago
- A c++, QT gui based memory engine☆13Mar 6, 2018Updated 8 years ago
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆29Mar 6, 2024Updated 2 years ago
- Black Hat 2016 Slides, Paper and Code☆83Aug 10, 2016Updated 10 years ago
- Common Malware Techniques☆13Mar 26, 2023Updated 3 years ago
- Semantic Differential Repair☆11Oct 31, 2014Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13May 8, 2017Updated 9 years ago
- Seeding fuzzers with symbolic execution☆202Oct 20, 2017Updated 9 years ago
- ☆16Mar 23, 2018Updated 8 years ago
- Archive of the almost up to date version of OpenNT publicly available.☆14Jan 13, 2018Updated 8 years ago
- A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).☆12Jul 12, 2025Updated last year
- Securing Data Analytics on Intel SGX using Randomization☆13Aug 30, 2017Updated 9 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 8 years ago