Alternatives and similar repositories for rust-callgraph

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

• robinmoussu / cargo-callgraph
  Callgraph generation for rust project
  ☆71Updated 3 years ago
• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆38Updated this week
• lizhuohua / rust-mir-checker
  ☆148Updated last year
• sslab-gatech / Rudra-PoC
  Trophy case for Rudra bugs.
  ☆40Updated last year
• cdisselkoen / llvm-ir-analysis
  ☆71Updated last year
• jakubadamw / rutenspitz
  А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
  ☆85Updated 2 years ago
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆57Updated 7 months ago
• hlisdero / cargo-check-deadlock
  Find deadlocks in Rust code with Petri net model checking
  ☆29Updated this week
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆151Updated last month
• praezi / rust
  RustPräzi: Representing crates.io as a call-based dependency network
  ☆79Updated 6 years ago
• mimoo / cargo-specification
  The code is the spec
  ☆38Updated last year
• 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
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆73Updated last year
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• auto-impl-rs / auto_impl
  Automatically implement traits for common smart pointers
  ☆114Updated last month
• endorlabs / MIRAI
  ☆145Updated 3 months ago
• digorithm / LC-3-Rust
  An LC-3 virtual machine written in Rust for learning purposes.
  ☆38Updated 2 years ago
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆231Updated 2 months ago
• paritytech / orchestra
  A partial actor pattern with a global orchestrator.
  ☆28Updated 8 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆74Updated 11 months ago
• trailofbits / test-fuzz
  To make fuzzing Rust easy
  ☆181Updated this week
• rust-zurichsee / meetups
  ☆30Updated last year
• ucarion / llvm-rust-getting-started
  A super-simple compiler demoing how to talk to LLVM from Rust
  ☆95Updated 8 years ago
• dtolnay / clang-ast
  Deserialization logic for efficiently processing Clang's `-ast-dump=json` format
  ☆142Updated 3 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆93Updated last week
• vorner / bumpalo-herd
  Trying to create Sync bump allocator
  ☆37Updated 6 months ago
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆205Updated 2 weeks ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• jonhoo / bustle
  A benchmarking harness for concurrent key-value collections
  ☆118Updated 2 years ago
• danielhenrymantilla / nougat.rs
  (lifetime) GATs on stable Rust
  ☆59Updated last year