avatartwo / avatar-qemuView external linksLinks
QEmu backend for avatar²
☆22Mar 29, 2025Updated 10 months ago
Alternatives and similar repositories for avatar-qemu
Users that are interested in avatar-qemu are comparing it to the libraries listed below
Sorting:
- DEPRECATED avatar-panda repository; please use https://github.com/panda-re/panda☆13Mar 19, 2021Updated 4 years ago
- Examples demonstrating the usage of avatar²☆28Dec 9, 2023Updated 2 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆51Jan 19, 2016Updated 10 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 10 years ago
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆11Jul 16, 2024Updated last year
- ☆43Jun 14, 2022Updated 3 years ago
- A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).☆12Jul 12, 2025Updated 7 months ago
- Self-hosting binary instrumentation framework for security research☆12Apr 10, 2023Updated 2 years ago
- ☆14Dec 27, 2020Updated 5 years ago
- A python module that monkey patches pexpect mainly for binary transfers.☆18Feb 28, 2019Updated 6 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 6 years ago
- Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware☆12Mar 6, 2024Updated last year
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- Convert a raw firmware image to an ELF file.☆13Feb 6, 2019Updated 7 years ago
- The central ASPIRE framework repository, start here if you want to use our tools (this contains all tools and documentation)☆13Apr 17, 2021Updated 4 years ago
- ☆164Oct 6, 2021Updated 4 years ago
- Symbolic Execution of Android Framework☆15Jun 25, 2017Updated 8 years ago
- ☆12Jul 3, 2019Updated 6 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- User defined static call-tree constraints in C++. This is the implementation of the tool for my masters thesis.☆14Sep 25, 2018Updated 7 years ago
- Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers☆16Dec 22, 2025Updated last month
- Neural Network Semantic Parser for Almond☆15Apr 11, 2019Updated 6 years ago
- ☆20Oct 14, 2024Updated last year
- binary->LLVM->circuits☆19Feb 26, 2024Updated last year
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆21Mar 24, 2021Updated 4 years ago
- Extracting high level semantic information from binary code☆67Jun 13, 2019Updated 6 years ago
- ☆17Dec 9, 2022Updated 3 years ago
- Host-based vulnerability scanner. Find installed packages on the host, ask their vulnerabilities to vulmon.com API and print vulnerabilit…☆16Apr 20, 2019Updated 6 years ago
- Process-Aware Stealthy Attack Detection☆15Oct 17, 2018Updated 7 years ago
- ☆19Dec 19, 2019Updated 6 years ago
- SootDiff - Bytecode Comparison Across Different Java Compilers☆18May 24, 2024Updated last year
- ☆67Sep 3, 2020Updated 5 years ago
- obfuscation that aims to not stand out☆23Mar 27, 2022Updated 3 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 5 years ago
- Diablo is a retargetable link-time binary rewriting framework☆79Dec 21, 2020Updated 5 years ago
- x86-64 Automated test data generator☆26Aug 18, 2025Updated 5 months ago
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analyst…☆27Dec 17, 2019Updated 6 years ago
- An optimizing decompiler (modified to use remill semantics)☆30Jan 4, 2019Updated 7 years ago