hxuhack / course_safepl

Related projects ⓘ

Alternatives and complementary repositories for course_safepl

• Artisan-Lab / RAP
  Rust Analysis Platform
  ☆39Updated this week
• lizhuohua / rust-ffi-checker
  ☆50Updated last year
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆200Updated 2 years ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆42Updated last month
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆34Updated 3 weeks ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆21Updated 3 months ago
• PKU-ASAL / PKUWA
  ☆12Updated 4 months ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆12Updated last year
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆50Updated last month
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆37Updated this week
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆32Updated last month
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆60Updated last year
• Chocopy-LLVM / chocopy-llvm
  A repo to store the compiler project
  ☆68Updated last year
• ganler / memcov
  Collect simple coverage information in memory.
  ☆11Updated 2 years ago
• Artisan-Lab / Rust-memory-safety-bugs
  ☆28Updated 2 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆49Updated last year
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆16Updated 4 months ago
• ya0guang / PoBF
  Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
  ☆19Updated last year
• glarer / UserspaceBypass
  ☆51Updated 6 months ago
• parasol-aser / XRust
  ☆12Updated 4 years ago
• mit-ll / Cross-Language-Attacks
  ☆27Updated 2 years ago
• shijy16 / ACETest
  For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
  ☆9Updated 7 months ago
• PKU-ASAL / SeeWasm
  A native symbolic execution engine for WebAssembly
  ☆40Updated 4 months ago
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆18Updated 4 years ago
• fmlab-iis / cryptoline
  ☆42Updated last week
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆96Updated last year
• system-pclub / rust-study
  understanding the safety of Rust
  ☆94Updated 4 years ago
• OSUSecLab / vSGX
  The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
  ☆52Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆23Updated 6 months ago
• cis547 / cis547vm
  ☆17Updated 2 years ago