Alternatives and similar repositories for UAFVerif:

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

• purseclab / lightblue
  An automatic framework to remove unneeded and unsafe code from Bluetooth stacks of Android and Linux, using both source code analysis (LL…
  ☆21Updated 2 years ago
• ThePatrickStar / fuzzer-data-collector
  ☆25Updated last year
• MoonLight-SteinsGate / LearnAFL
  This is the project of LearnAFL.
  ☆27Updated 4 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
• GoSSIP-SJTU / k-hunt
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Updated 6 years ago
• DES-Lab / Learning-Based-Fuzzing
  Using automata learning to mine models used for fuzzing of statefull systems
  ☆24Updated 3 years ago
• OSUSecLab / LeakScope
  Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app
  ☆43Updated 4 years ago
• zhanglikernel / CRYPTOREX
  Large-scale Analysis of Cryptographic Misuse in IoT Devices
  ☆22Updated 5 years ago
• gryan11 / PGA
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Updated 3 years ago
• zongpy / FuzzGuard
  The released code of FuzzGuard in USENIX Security 2020.
  ☆29Updated 5 years ago
• Ljiee / fairfuzz
  ☆14Updated 7 years ago
• ucsb-seclab / diane
  DiAne is a smart fuzzer for IoT devices
  ☆39Updated last year
• MelbourneFuzzingHub / aflteam
  AFLTeam Collaborative Parallel Fuzzing
  ☆73Updated 2 years ago
• fouzhe / Polar-Fuzz
  Polar : Function Code Aware Fuzz Testing of ICS Protocol
  ☆31Updated 4 years ago
• zjuArclab / CPscan
  ☆16Updated 3 years ago
• adrianherrera / malware-s2e
  Code for my blog post on using S2E for malware analysis
  ☆25Updated 5 years ago
• cxreet / razor
  ☆39Updated 4 years ago
• AFLplusplus / libafl_paper_artifacts
  ☆19Updated 2 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 2 years ago
• Samsung / afl_cc
  Fuzzing with controlled compilation
  ☆27Updated last year
• Ljiee / deepfuzz
  ☆16Updated 5 years ago
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆59Updated 4 months ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆56Updated 6 years ago
• embedded-sec / BenchIoT
  Security benchmarks for the Internet of Things
  ☆22Updated 4 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆33Updated 4 years ago
• Dynamic-Rabbits / Dynamic-Rabbits
  ☆20Updated 3 years ago
• sslab-gatech / deadline
  ☆46Updated 3 years ago
• anhvvcs / corana
  Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…
  ☆26Updated last year
• elManto / SAST_on_Decompilers
  Code and artifacts related to the Asia CCS 2022 paper
  ☆36Updated 3 years ago
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆14Updated 3 years ago