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
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- (Linux Kernel) Stack Monitoring Tool☆47Updated 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 5 months ago
- Detect patterns of bad behavior in function calls☆25Updated 5 years ago
- ebpfpub is a generic function tracing library for Linux that supports tracepoints, kprobes and uprobes.☆117Updated 2 years ago
- Proof of concept implementation of fuzzing workload using AFL as the fuzzer and Terraform to codify infrastructure☆31Updated 6 years ago
- ☆82Updated last month
- A C++ library that parses debug information encoded in BTF format☆28Updated 2 years ago
- A sample PoC for container-aware exec events for osquery☆24Updated last year
- Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.☆29Updated 10 years ago
- Automated dynamic security analysis by emulation of IoT firmware images in CI-pipelines.☆13Updated 4 years ago
- A system call interception tool☆58Updated 9 months ago
- Linux-KVM with rVMI extensions☆22Updated 8 years ago
- TRACER Symbolic Execution Tool☆28Updated 5 years ago
- Linux rootkit experimentations☆19Updated 10 years ago
- AFL++ with support for FormatFuzzer☆14Updated 3 months ago
- Example program using eBPF to log data being based in using shell pipes☆41Updated 4 years ago
- The public release of LeftoverLocals code☆68Updated last year
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆46Updated 8 years ago
- MASCAB: a Micro-Architectural Side-Channel Attack Bibliography☆41Updated 7 years ago
- ☆17Updated 6 years ago
- Crowdsourced fuzzing cluster. 🚀☆21Updated 4 years ago
- Sample CICD Pipelines for OneFuzz☆28Updated 2 years ago
- Build custom Docker seccomp profiles for containers by finding syscalls it uses.☆90Updated 5 years ago
- Borrowed Instructions Synthetic Computation☆70Updated 10 years ago
- iknowthis Linux SystemCall Fuzzer☆20Updated 6 years ago
- Vine: The BitBlaze Static Analysis Component☆25Updated 10 years ago
- LKRG bypass methods☆73Updated 5 years ago
- ☆26Updated 9 years ago