Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
☆35May 11, 2025Updated 9 months ago
Alternatives and similar repositories for empc
Users that are interested in empc are comparing it to the libraries listed below
Sorting:
- Binary Code Summarization☆14Apr 3, 2025Updated 11 months ago
- FirmSec Dataset☆12Sep 1, 2021Updated 4 years ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Mar 11, 2025Updated 11 months ago
- A static code analysis tool☆17Mar 17, 2025Updated 11 months ago
- ☆17Jan 17, 2024Updated 2 years ago
- exploit code for a bpf heap overflow vulnerability☆28Sep 3, 2019Updated 6 years ago
- ☆30Sep 13, 2024Updated last year
- ☆47May 27, 2023Updated 2 years ago
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- This repository contains different code examples.☆11Aug 24, 2025Updated 6 months ago
- Algorithms & Data Structures Course. MIPT.☆12Sep 26, 2025Updated 5 months ago
- ☆10Mar 16, 2023Updated 2 years ago
- Deep Generative Models course, 2025☆11Jun 5, 2025Updated 9 months ago
- read and write operations across cloud providers☆11Apr 23, 2019Updated 6 years ago
- Firmrec is a recurring vulnerability detector for embedded firmware.☆51May 9, 2025Updated 9 months ago
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆42Sep 16, 2019Updated 6 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- Real firmware fuzz-tested with uEmu☆13Mar 22, 2023Updated 2 years ago
- ☆12Nov 8, 2024Updated last year
- ☆10Jun 28, 2022Updated 3 years ago
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Mar 29, 2023Updated 2 years ago
- repo about binary exploitation☆12Dec 5, 2023Updated 2 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆10May 10, 2017Updated 8 years ago
- ☆16Jan 23, 2026Updated last month
- ☆10Jan 7, 2026Updated last month
- convert luac to lua source☆11Dec 20, 2024Updated last year
- ☆11Apr 18, 2024Updated last year
- LLVM-based ROP obfuscated compiler☆13Mar 24, 2022Updated 3 years ago
- ☆10Oct 31, 2022Updated 3 years ago
- CTF writeups☆16Nov 25, 2025Updated 3 months ago
- ☆12Oct 21, 2020Updated 5 years ago
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 3 months ago
- Markdown Templates for Offensive Security OSCP, OSWE, OSCE, OSEE, OSWP exam report☆11Nov 28, 2024Updated last year
- I am still working on it☆12Apr 30, 2020Updated 5 years ago
- The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）☆12Dec 30, 2018Updated 7 years ago
- Framework for testing the reachability of native functions in Android applications.☆11Aug 30, 2023Updated 2 years ago
- Real-time multi-language unit test generation tool via LSP☆32Updated this week
- ☆43Jul 6, 2023Updated 2 years ago
- 通过python3.6编程，利用DQN算法实现机器学习避开障碍走到迷宫终点。（Through python3.6 programming, I use DQN algorithm to achieve machine learning and avoid obstacles…☆10Apr 15, 2018Updated 7 years ago