seclab-ucr / IncreLuxView external linksLinks
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
☆33Apr 6, 2022Updated 3 years ago
Alternatives and similar repositories for IncreLux
Users that are interested in IncreLux are comparing it to the libraries listed below
Sorting:
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Sep 5, 2021Updated 4 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆89Sep 18, 2025Updated 4 months ago
- Disassemblers with various trimming methodologies☆15Jan 1, 2025Updated last year
- Ghidra analyzer for UEFI firmware.☆18Jun 24, 2023Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆75Sep 5, 2022Updated 3 years ago
- ☆38Nov 30, 2020Updated 5 years ago
- A framework to test the correctness of the Linux kernel patch.☆22Sep 29, 2023Updated 2 years ago
- ☆20Mar 10, 2022Updated 3 years ago
- ☆69Mar 27, 2019Updated 6 years ago
- ☆42Oct 26, 2022Updated 3 years ago
- ☆11Feb 2, 2024Updated 2 years ago
- This is the NoSql database used by CrossLine and other tools by Rochus☆10Mar 21, 2025Updated 10 months ago
- ☆25Jun 16, 2021Updated 4 years ago
- ☆24Aug 24, 2025Updated 5 months ago
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆83Jan 20, 2025Updated last year
- Janus: a state-of-the-art file system fuzzer on Linux☆234Dec 23, 2019Updated 6 years ago
- PoC multi-layer protector for ELF32 x86 binaries☆12Feb 26, 2022Updated 3 years ago
- Code Repository for DataGuard Framework☆13Jul 11, 2023Updated 2 years ago
- [ICSE2020] UAFL DataSet☆12Dec 10, 2022Updated 3 years ago
- Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity☆11Jul 2, 2023Updated 2 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆35Apr 26, 2022Updated 3 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 4 years ago
- ☆263May 7, 2023Updated 2 years ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆473Jul 8, 2024Updated last year
- K-Miner☆74Jun 5, 2019Updated 6 years ago
- My solutions for HackSys Extreme Vulnerable Driver☆12Apr 22, 2018Updated 7 years ago
- Public repository of the dynamic binary analysis framework WEASEL. WEASEL's main purpose is the identification and elimination of backdoo…☆15Nov 10, 2020Updated 5 years ago
- ☆11Apr 7, 2022Updated 3 years ago
- A bunch of sample codes related to kernel fuzzing☆12Feb 7, 2019Updated 7 years ago
- A data-flow-guided fuzzer☆124Aug 19, 2023Updated 2 years ago
- ☆57May 10, 2024Updated last year
- DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers☆337Apr 30, 2022Updated 3 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 2 years ago
- ☆14Sep 26, 2021Updated 4 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 5 years ago
- Automatic Disassembly Desynchronization Obfuscator☆15Apr 14, 2022Updated 3 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆91May 7, 2024Updated last year
- ViDeZZo source code.☆39Apr 15, 2025Updated 9 months ago