awslabs / one-line-scanLinks
With this tool, projects can be compiled easily for fuzzing with AFL or for static code analysis with tools like CBMC. One-line-scan hooks into the compilation process and wraps calls to the compiler with other compilers. Besides the compilation wrappers, one-line-scan ships with basic analysis jobs, that allow to analyze a project right after c…
☆21Updated 2 years ago
Alternatives and similar repositories for one-line-scan
Users that are interested in one-line-scan are comparing it to the libraries listed below
Sorting:
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Updated 5 years ago
- A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…☆78Updated 4 years ago
- ☆27Updated 6 years ago
- ☆15Updated 5 years ago
- ☆27Updated 8 years ago
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆29Updated 3 weeks ago
- Automated dynamic security analysis by emulation of IoT firmware images in CI-pipelines.☆12Updated 3 years ago
- Diary of a reverse-engineer blog☆20Updated last year
- Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.☆28Updated 9 years ago
- estimate peak virtual memory use☆18Updated 2 months ago
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆23Updated this week
- gopclntab finder and analyzer for Radare2☆20Updated 4 years ago
- Dynamic instrumentation of the Linux kernel☆40Updated 10 years ago
- Automatic Binary Parallelisation☆43Updated 4 months ago
- IPE is a Linux Security Module (LSM), which allows for a configurable policy to enforce integrity requirements on the whole system. IPE b…☆64Updated 2 months ago
- Heap analysis tooling for dlmalloc☆31Updated 3 years ago
- Bash script to test executable properties like (PIE, RELRO, PaX, Canaries, ASLR). (Version derivated from the original one trapkit.de/too…☆21Updated 11 years ago
- AFL++ with support for FormatFuzzer☆13Updated last month
- Build custom Docker seccomp profiles for containers by finding syscalls it uses.☆90Updated 4 years ago
- Example program using eBPF to log data being based in using shell pipes☆41Updated 4 years ago
- Laniakea is a utility for managing instances at various cloud providers and aids in setting up a fuzzing cluster.☆27Updated 4 years ago
- Fork of KVM with Virtual Machine Introspection patches☆36Updated last year
- Clonewise - Detecting Package Clones and Inferring Security Vulnerabilities on Entire Linux Distributions.☆24Updated 12 years ago
- Inspect your builds to look for changes in filesystem, network traffic and running processes.☆13Updated 6 years ago
- TRACER Symbolic Execution Tool☆28Updated 5 years ago
- Dynamic binary translation framework for instrumenting x86-64 user space Linux programs☆39Updated 7 years ago
- ☆20Updated 7 years ago
- Common dependency management for various Trail of Bits C++ codebases☆33Updated last year
- Kernel Test Framework☆143Updated 4 months ago
- Generic server for collaborative code analysis☆13Updated 8 years ago