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
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- Various utilities useful for developers writing BPF tools☆31Updated last year
- The Binary Mutation code based on Uroboros☆14Updated 6 years ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 3 years ago
- 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…☆77Updated 4 years ago
- Borrowed Instructions Synthetic Computation☆70Updated 10 years ago
- Linux rootkit experimentations☆18Updated 9 years ago
- Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…☆18Updated 12 years ago
- Proof of concept implementation of fuzzing workload using AFL as the fuzzer and Terraform to codify infrastructure☆31Updated 5 years ago
- A C++ library that parses debug information encoded in BTF format☆25Updated last year
- Laniakea is a utility for managing instances at various cloud providers and aids in setting up a fuzzing cluster.☆27Updated 3 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆24Updated 3 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆45Updated 2 years ago
- IPE is a Linux Security Module (LSM), which allows for a configurable policy to enforce integrity requirements on the whole system. IPE b…☆60Updated 2 months ago
- A simple, self-contained regression test suite for the Linux Kernel's audit subsystem☆22Updated 6 months ago
- Fuzz targets for OSS-Fuzz☆23Updated 6 years ago
- ☆24Updated 9 years ago
- Dynamic binary translation framework for instrumenting x86-64 user space Linux programs☆39Updated 6 years ago
- Sample CICD Pipelines for OneFuzz☆27Updated 2 years ago
- ☆13Updated 5 months ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Updated last year
- retrace is a versatile security vulnerability / bug discovery tool through monitoring and modifying the behavior of compiled binaries on …☆61Updated 3 years ago
- Linux-KVM with rVMI extensions☆22Updated 7 years ago
- Write ups of solution for CTF challenges I solved☆25Updated 3 years ago
- Automated dynamic security analysis by emulation of IoT firmware images in CI-pipelines.☆11Updated 3 years ago
- Basic x86 Symbolic Execution for educational purposes☆18Updated 7 years ago
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆22Updated this week
- ☆26Updated 8 years ago