sola-st / wasm-call-graphs

Related projects: ⓘ

• PKU-ASAL / SeeWasm
  A native symbolic execution engine for WebAssembly
  ☆37Updated 2 months ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆39Updated last week
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆55Updated 5 months ago
• lin-tan / eagle
  For our ICSE 2022 paper EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries
  ☆12Updated last year
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆33Updated 6 months ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆17Updated 7 months ago
• haoyang9804 / HirGen
  A Computational Graph Generator for AI Compiler Fuzzing
  ☆13Updated last year
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆41Updated 2 months ago
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆24Updated last year
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆49Updated last week
• PKU-ASAL / PKUWA
  ☆12Updated 2 months ago
• sola-st / wasm-binary-security
  ☆75Updated 2 years ago
• UniCodeSphere / Creal
  ☆25Updated 3 months ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆26Updated last week
• SunLab-GMU / GraphSPD
  The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…
  ☆40Updated last year
• lizhuohua / rust-ffi-checker
  ☆48Updated last year
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated 9 months ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated last year
• ziansu / codeart
  Official repo for "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"
  ☆11Updated last month
• umnsec / ndi
  Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs
  ☆13Updated last year
• sola-st / SemSeed
  ☆25Updated 3 years ago
• ise-uiuc / DeepREL
  Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)
  ☆34Updated last year
• SecurityLab-UCD / IRFuzzer
  ☆12Updated last month
• lin-tan / DocTer
  For our paper DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions (ISSTA'22)
  ☆33Updated 2 years ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆26Updated last year
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆44Updated 7 months ago
• bernardnongpoh / CallGraph
  A CallGraph Generation LLVM Pass for C and C++ program
  ☆18Updated 2 years ago
• Tricker-z / TPLite
  ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?
  ☆26Updated last year
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆51Updated 3 years ago
• yanzuochen / obsan
  OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables
  ☆15Updated last year