seclab-ucr/IncreLux external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

seclab-ucr/IncreLux

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/seclab-ucr/IncreLux)

Close

seclab-ucr / IncreLuxView on GitHubMore

• External links
• Readme badge

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

• RiS3-Lab / kubo

  View on GitHub
  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
• seclab-ucr / SUTURE

  View on GitHub
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆90Sep 18, 2025Updated 5 months ago
• KennethAdamMiller / superset_disassembler

  View on GitHub
  Disassemblers with various trimming methodologies
  ☆15Jan 1, 2025Updated last year
• retrage / efiSeek

  View on GitHub
  Ghidra analyzer for UEFI firmware.
  ☆18Jun 24, 2023Updated 2 years ago
• MelbourneFuzzingHub / aflteam

  View on GitHub
  AFLTeam Collaborative Parallel Fuzzing
  ☆75Sep 5, 2022Updated 3 years ago
• chenyueqi / SLAKE

  View on GitHub
  ☆38Nov 30, 2020Updated 5 years ago
• securesystemslab / PKRU-Safe

  View on GitHub
  ☆20Mar 10, 2022Updated 3 years ago
• wupco / KLAUS

  View on GitHub
  A framework to test the correctness of the Linux kernel patch.
  ☆22Sep 29, 2023Updated 2 years ago
• securesystemslab / periscope

  View on GitHub
  ☆69Mar 27, 2019Updated 6 years ago
• AceSrc / GiantSan-Artifact

  View on GitHub
  ☆11Feb 2, 2024Updated 2 years ago
• seclab-ucr / UBITect

  View on GitHub
  ☆42Oct 26, 2022Updated 3 years ago
• SoftwareLanguagesSecurityLab / ConFIRM

  View on GitHub
  ☆25Jun 16, 2021Updated 4 years ago
• ZHYfeng / Dependency

  View on GitHub
  ☆24Aug 24, 2025Updated 6 months ago
• plummm / SyzScope

  View on GitHub
  SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.
  ☆85Jan 20, 2025Updated last year
• sslab-gatech / janus

  View on GitHub
  Janus: a state-of-the-art file system fuzzer on Linux
  ☆234Dec 23, 2019Updated 6 years ago
• SZU-SE / UAF-Fuzzer-TestSuite

  View on GitHub
  [ICSE2020] UAFL DataSet
  ☆12Dec 10, 2022Updated 3 years ago
• Lightninghkm / DataGuard

  View on GitHub
  Code Repository for DataGuard Framework
  ☆13Jul 11, 2023Updated 2 years ago
• silverbullettt / scaler

  View on GitHub
  Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
  ☆11Jul 2, 2023Updated 2 years ago
• ulexec / ElfLocker

  View on GitHub
  PoC multi-layer protector for ELF32 x86 binaries
  ☆12Feb 26, 2022Updated 4 years ago
• doyensec / vbox-fuzz

  View on GitHub
  Companion to the "Introduction to VirtualBox security research" Blog Post
  ☆35Apr 26, 2022Updated 3 years ago
• bda-tool / bda

  View on GitHub
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆31Feb 26, 2021Updated 5 years ago
• nyx-fuzz / Nyx

  View on GitHub
  ☆263May 7, 2023Updated 2 years ago
• intel / kernel-fuzzer-for-xen-project

  View on GitHub
  Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL
  ☆473Jul 8, 2024Updated last year
• jinb-park / kfuzz

  View on GitHub
  A bunch of sample codes related to kernel fuzzing
  ☆12Feb 7, 2019Updated 7 years ago
• quarkslab / tpmee

  View on GitHub
  ☆11Apr 7, 2022Updated 3 years ago
• ssl-tud / k-miner

  View on GitHub
  K-Miner
  ☆74Jun 5, 2019Updated 6 years ago
• hasherezade / wke_exercises

  View on GitHub
  My solutions for HackSys Extreme Vulnerable Driver
  ☆12Apr 22, 2018Updated 7 years ago
• flxflx / weasel

  View on GitHub
  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
• HexHive / datAFLow

  View on GitHub
  A data-flow-guided fuzzer
  ☆124Aug 19, 2023Updated 2 years ago
• seclab-ucr / SyzDescribe

  View on GitHub
  ☆58May 10, 2024Updated last year
• ucsb-seclab / dr_checker

  View on GitHub
  DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
  ☆337Apr 30, 2022Updated 3 years ago
• UlfKargen / desync-cc

  View on GitHub
  Automatic Disassembly Desynchronization Obfuscator
  ☆15Apr 14, 2022Updated 3 years ago
• OS3Lab / KernelTestingPapers

  View on GitHub
  Papers related with kernel papers
  ☆13Mar 18, 2023Updated 2 years ago
• liumuqing / ridl_leak_kaslr

  View on GitHub
  ☆14Sep 26, 2021Updated 4 years ago
• thebabush / fuzzilly

  View on GitHub
  Slow llvm tracing for the masses
  ☆14Feb 22, 2020Updated 6 years ago
• TeamVault / LLVM-CFI

  View on GitHub
  ☆12Jun 14, 2021Updated 4 years ago
• seclab-ucr / KOOBE

  View on GitHub
  Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
  ☆91May 7, 2024Updated last year
• HexHive / ViDeZZo

  View on GitHub
  ViDeZZo source code.
  ☆39Apr 15, 2025Updated 10 months ago
• nyx-fuzz / libxdc

  View on GitHub
  The fastest Intel-PT decoder for fuzzing
  ☆378Feb 2, 2024Updated 2 years ago