awslabs / one-line-scan
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
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆19Updated 5 years ago
- ☆15Updated 4 years ago
- A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…☆75Updated 4 years ago
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆22Updated 4 months ago
- AFL++ with support for FormatFuzzer☆12Updated 2 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆57Updated 8 months ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- The Binary Mutation code based on Uroboros☆14Updated 5 years ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 3 years ago
- ☆13Updated 3 months ago
- Clonewise - Detecting Package Clones and Inferring Security Vulnerabilities on Entire Linux Distributions.☆24Updated 11 years ago
- retrace is a versatile security vulnerability / bug discovery tool through monitoring and modifying the behavior of compiled binaries on …☆61Updated 2 years ago
- A dynamic analysis framework for C and C++ programs☆27Updated 8 months ago
- Targeted patcher for CGC binaries. CGrex was used only during the CGC qualifier event, and is OBSOLETE. For the CFE, we used patcherex (g…☆14Updated 8 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- ☆36Updated 2 years ago
- Vine: The BitBlaze Static Analysis Component☆25Updated 10 years ago
- Default query sets for Joern☆26Updated 3 years ago
- ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.☆115Updated last year
- fuzzing framework based on libfuzzer and clang sanitizer☆165Updated 5 years ago
- Scripts to show tool impact on recent linux kernel development☆13Updated 6 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- Fuzz targets for OSS-Fuzz☆23Updated 6 years ago
- Static Program Analysis for Reliable Trusted Apps☆22Updated 6 years ago
- ☆10Updated 3 years ago
- Automated dynamic security analysis by emulation of IoT firmware images in CI-pipelines.☆11Updated 3 years ago
- A system call interception tool☆54Updated last month
- ☆63Updated 5 years ago
- Static code analysis of refpolicy style SELinux policy☆42Updated 3 weeks ago
- Downloader for Firefox/jsshell builds for fuzzing.☆37Updated last month