elm3nt / argon-cliLinks
An automation tool to generate, obfuscate, compile and run symbolic execution on c source files
☆14Updated 4 years ago
Alternatives and similar repositories for argon-cli
Users that are interested in argon-cli are comparing it to the libraries listed below
Sorting:
- A set of programs used for benchmarking the strength of obfuscation☆91Updated 7 years ago
- Utilities for generating dynamic traces☆93Updated 6 months ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆177Updated 3 years ago
- Neural Variable Renaming for Decompiled Binaries☆44Updated 5 years ago
- ☆44Updated 3 years ago
- Repository for understanding and writing LLVM passes.☆34Updated 6 years ago
- Binary Code Similarity Analysis (BCSA) Tool☆124Updated 5 months ago
- CRETE under development☆59Updated 5 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆82Updated 5 years ago
- A repository with binaries for angr tests and examples.☆63Updated this week
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++☆45Updated 3 years ago
- ☆86Updated 11 months ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆48Updated 8 years ago
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆64Updated 2 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 6 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 6 years ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆95Updated 2 weeks ago
- Automatic Identification of Cryptographic Primitives in Software☆31Updated 10 years ago
- AFL coverage tool using Clang SanitizerCoverage☆37Updated 8 years ago
- This repository contains several examples of logic bomb.☆112Updated last year
- Compiler-assisted Code Randomization (CCR) Toolchain☆63Updated 3 years ago
- IDA plugin for software complexity metrics assessment☆60Updated 7 years ago
- Source code of HAL-fuzz☆154Updated 4 years ago
- Code for the paper "Investigating Graph Embedding Neural Networks with Unsupervised Features Extraction for Binary Analysis"☆64Updated 3 years ago
- Flex 'em lexers☆40Updated 5 years ago
- ☆73Updated 5 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆262Updated 4 months ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago