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 sample PoC for container-aware exec events for osquery☆24Updated last year
- This repository contains the companion code from the "All your tracing are belong to BPF" blog posts☆18Updated 2 years ago
- Proof of concept implementation of fuzzing workload using AFL as the fuzzer and Terraform to codify infrastructure☆31Updated 5 years ago
- Detect patterns of bad behavior in function calls☆26Updated 5 years ago
- Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.☆28Updated 9 years ago
- (Linux Kernel) Stack Monitoring Tool☆45Updated 3 years ago
- Heap analysis tooling for ptmalloc☆45Updated 3 years ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 3 years ago
- Quality assurance testing for the curl project☆92Updated this week
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates☆20Updated 8 years ago
- Example program using eBPF to log data being based in using shell pipes☆41Updated 4 years ago
- Heap analysis tooling for dlmalloc☆32Updated 3 years ago
- ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.☆117Updated 2 years ago
- TRACER Symbolic Execution Tool☆28Updated 5 years ago
- ☆82Updated 10 months ago
- Boring tool to launch multiple afl-fuzz instances☆51Updated 7 years ago
- A system call interception tool☆57Updated 8 months ago
- ☆15Updated 5 years ago
- ☆17Updated 6 years ago
- Borrowed Instructions Synthetic Computation☆70Updated 10 years ago
- My solutions for HackSys Extreme Vulnerable Driver☆10Updated 7 years ago
- Lab Mouse Security research pertaining to RISC-V☆11Updated 8 years ago
- ☆13Updated 5 years ago
- A smart file fuzzer.☆26Updated 8 years ago
- An automated setup for fuzzing Redis w/ AFL++☆34Updated 3 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- ☆74Updated 3 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…☆65Updated 3 months ago