Alternatives and similar repositories for kflat:

Users that are interested in kflat are comparing it to the libraries listed below

• Samsung / CAS
  Code Aware Services (CAS) is a set of tools for extracting information from a (especially large) source code trees. It consists of Build …
  ☆48Updated 7 months ago
• seclab-ucr / Unias
  A Hybrid Alias Analysis
  ☆19Updated last year
• Samsung / auto_off_target
  AoT is a system for automatically generating off-target test harness by using build information.
  ☆37Updated 5 months ago
• androidoffsec / baremetal_kasan
  ☆45Updated last year
• Samsung / afl_cc
  Fuzzing with controlled compilation
  ☆28Updated 2 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 3 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated last week
• GrammaTech / cgc-cbs
  Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)
  ☆18Updated 3 years ago
• AFLplusplus / qemuafl
  This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
  ☆83Updated this week
• ucsb-seclab / syml
  ☆13Updated 7 months ago
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆59Updated 5 months ago
• SVF-tools / SVF-example
  An external project example using SVF as a library
  ☆22Updated 2 months ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• bajinsheng / ReZZan
  ☆37Updated 2 years ago
• HexHive / HexVASAN
  ☆17Updated 6 years ago
• valour01 / ecmo
  Peripheral Transplantation to Rehost Embedded Linux kernels
  ☆16Updated 3 years ago
• RiS3-Lab / kubo
  Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…
  ☆23Updated 3 years ago
• seclab-ucr / SyzDescribe
  ☆54Updated 11 months ago
• casys-kaist / segfuzz
  ☆31Updated last year
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 2 years ago
• Inception-framework / translator
  A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.
  ☆12Updated 2 years ago
• IntelLabs / kafl.linux
  Linux kernel branches for confidential compute research
  ☆17Updated last month
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆89Updated 3 years ago
• zer0fall / BENZENE
  BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
  ☆24Updated last year
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆21Updated 7 years ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆29Updated 2 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆68Updated 11 months ago
• HexHive / Igor
  ☆71Updated 2 years ago
• pwnforce / uSBS
  μSBS: Static Binary Sanitization of Bare-metal Embedded Devices
  ☆30Updated 2 years ago