Alternatives and similar repositories for rust-callgraph

Users that are interested in rust-callgraph are comparing it to the libraries listed below

• lizhuohua / rust-mir-checker
  ☆147Updated 11 months ago
• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆38Updated last week
• sslab-gatech / Rudra-PoC
  Trophy case for Rudra bugs.
  ☆40Updated last year
• cdisselkoen / llvm-ir-analysis
  ☆71Updated last year
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆148Updated last month
• hlisdero / cargo-check-deadlock
  Find deadlocks in Rust code with Petri net model checking
  ☆28Updated last week
• jakubadamw / rutenspitz
  А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
  ☆85Updated 2 years ago
• robinmoussu / cargo-callgraph
  Callgraph generation for rust project
  ☆70Updated 2 years ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆73Updated 10 months ago
• de-vri-es / assert2-rs
  assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!
  ☆102Updated 4 months ago
• endorlabs / MIRAI
  ☆143Updated 2 months ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆74Updated last year
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆229Updated last month
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆55Updated 6 months ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆81Updated last week
• jonhoo / bustle
  A benchmarking harness for concurrent key-value collections
  ☆118Updated 2 years ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆76Updated 3 months ago
• rust-formal-methods / rust-formal-methods.github.io
  ☆12Updated 2 weeks ago
• vorner / bumpalo-herd
  Trying to create Sync bump allocator
  ☆36Updated 5 months ago
• akonradi / lock-ordering
  Lock ordering enforcement at compile time in Rust
  ☆17Updated last month
• rust-zurichsee / meetups
  ☆30Updated last year
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆53Updated 2 years ago
• noamtashma / owning-ref-unsoundness
  An article explaining the unsoundness I found in owning-ref
  ☆27Updated 3 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆92Updated this week
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆202Updated this week
• Amanieu / seqlock
  A reader-writer lock that provides extremely fast read access without starving writers
  ☆78Updated last year
• Evian-Zhang / static-keys
  Static keys for Rust userland applications
  ☆57Updated 3 months ago
• dwrensha / fuzz-rustc
  setup for fuzzing the Rust compiler
  ☆58Updated last month
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆275Updated 3 years ago