heinzelotto / rust-callgraph

Related projects ⓘ

Alternatives and complementary repositories for rust-callgraph

• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆38Updated last week
• robinmoussu / cargo-callgraph
  Callgraph generation for rust project
  ☆61Updated 2 years ago
• lizhuohua / rust-mir-checker
  ☆135Updated 5 months ago
• adjivas / ml
  A library to generating UML language from Rust's project into graphiz/dot file.
  ☆81Updated 7 years ago
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆135Updated 3 months ago
• cdisselkoen / llvm-ir-analysis
  ☆65Updated 8 months ago
• facebookexperimental / allocative
  Library and proc macro to analyze memory usage of data structures in rust.
  ☆141Updated this week
• sslab-gatech / Rudra-PoC
  Trophy case for Rudra bugs.
  ☆37Updated 9 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆81Updated this week
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆274Updated 2 years ago
• hlisdero / cargo-check-deadlock
  Find deadlocks in Rust code with Petri net model checking
  ☆25Updated this week
• jonhoo / bustle
  A benchmarking harness for concurrent key-value collections
  ☆116Updated last year
• praezi / rust
  RustPräzi: Representing crates.io as a call-based dependency network
  ☆78Updated 5 years ago
• matklad / arbtest
  A minimalist property-based testing library
  ☆104Updated 3 months ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆70Updated 7 months ago
• jakubadamw / rutenspitz
  А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
  ☆81Updated last year
• rust-zurichsee / meetups
  ☆29Updated last year
• de-vri-es / assert2-rs
  assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!
  ☆95Updated 2 months ago
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆52Updated 2 weeks ago
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆215Updated last week
• dtolnay / clang-ast
  Deserialization logic for efficiently processing Clang's `-ast-dump=json` format
  ☆133Updated this week
• endorlabs / MIRAI
  ☆92Updated last week
• tczajka / ibig-rs
  A big integer library in Rust with good performance.
  ☆104Updated last year
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆62Updated 5 months ago
• iai-callgrind / iai-callgrind
  High-precision and consistent benchmarking framework/harness for Rust
  ☆98Updated this week
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆52Updated last year
• auto-impl-rs / auto_impl
  Automatically implement traits for common smart pointers
  ☆104Updated 8 months ago
• przygienda / dot-rust
  A library for generating Graphviz DOT language files for graphs.
  ☆73Updated last year
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆192Updated last week
• jeffparsons / rangemap
  Map data structure whose keys are stored as ranges
  ☆77Updated 8 months ago