Alternatives and similar repositories for XRust

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

• securesystemslab / PKRU-Safe
  ☆20Updated 3 years ago
• lizhuohua / rust-ffi-checker
  ☆55Updated 2 years ago
• Artisan-Lab / Rust-memory-safety-bugs
  ☆31Updated 3 years ago
• mit-ll / Cross-Language-Attacks
  ☆26Updated 3 years ago
• LiHRaM / taint
  Thesis code
  ☆26Updated last year
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆26Updated 8 months ago
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆79Updated 2 weeks ago
• ZJU-Automated-Reasoning-Group / lotus
  Program analysis and verification framework
  ☆23Updated 2 weeks ago
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆54Updated last week
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆69Updated last year
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆96Updated last year
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆54Updated last year
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆52Updated last week
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 years ago
• taptipalit / dynpta
  ☆14Updated 4 years ago
• PKU-ASAL / WASEM
  WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
  ☆14Updated 8 months ago
• cla7aye15I4nd / CAMP
  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…
  ☆42Updated 11 months ago
• rssys / shard
  ☆13Updated 3 years ago
• NESA-Lab / WAFLGo
  ☆14Updated 9 months ago
• vlab-cs-ucsb / ABC
  ☆28Updated 3 weeks ago
• adilahmad17 / Obfuscuro
  Commodity Obfuscation Engine for Intel SGX
  ☆20Updated 5 years ago
• qingkaishi / netlifter
  Lifting network implementation to precise format specification
  ☆24Updated 2 months ago
• ZJU-SEC / Readings
  ☆61Updated 3 years ago
• lvtao-sec / Advance
  RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection
  ☆16Updated 3 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Updated 5 years ago
• monkbai / ir_lifting_data
  Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"
  ☆29Updated 2 years ago
• fuzz-evaluator / guidelines
  ☆65Updated last year
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆51Updated 3 months ago
• SVF-tools / Software-Security-Analysis
  Static Analysis Course
  ☆71Updated last week