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…
☆20Updated last year
Related projects ⓘ
Alternatives and complementary repositories for one-line-scan
- ☆15Updated 4 years ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 3 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆19Updated 4 years ago
- Heap analysis tooling for dlmalloc☆26Updated 2 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
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆32Updated 3 years ago
- Measure branching along code paths☆20Updated 8 years ago
- Kernel Test Framework☆140Updated 3 weeks ago
- A sample PoC for container-aware exec events for osquery☆23Updated 9 months ago
- Detect patterns of bad behavior in function calls☆25Updated 4 years ago
- Vine: The BitBlaze Static Analysis Component☆24Updated 10 years ago
- Sample CICD Pipelines for OneFuzz☆27Updated last year
- ☆35Updated 4 years ago
- ☆36Updated 2 years ago
- Heap analysis tooling for ptmalloc☆43Updated 2 years ago
- Debugging library to quickly get the minimal crashing test case☆34Updated 6 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 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
- Security-Oriented Analysis of Application Programs☆13Updated 5 years ago
- A tiny KVM hypervisor written in Python☆65Updated 5 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…☆57Updated 3 weeks ago
- (Linux Kernel) Stack Monitoring Tool☆42Updated 2 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month
- The Binary Mutation code based on Uroboros☆14Updated 5 years ago
- Dynamic binary translation framework for instrumenting x86-64 user space Linux programs☆39Updated 6 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆45Updated 2 years ago
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆20Updated 3 years ago