Popular repositories Loading

1. sleepability-pass sleepability-pass Public

   C-side may-sleep summary (LLVM)

   C++

2. guardstate guardstate Public

   Rust-side atomic-context typestate analyzer detecting sleep-in-atomic violations across the Rust→C FFI boundary in Rust-for-Linux

   Rust

3. guardstate-mir guardstate-mir Public

   MIR-level critical-section typestate analyzer for Rust — the real-rustc-MIR generalization of guardstate.

   Rust