heinzelotto / rust-callgraphLinks
Which functions call each other in your rust crate? Static call graph analysis.
☆35Updated 8 months ago
Alternatives and similar repositories for rust-callgraph
Users that are interested in rust-callgraph are comparing it to the libraries listed below
Sorting:
- Callgraph generation for rust project☆71Updated 3 years ago
- A framework for large scale analysis of the Rust ecosystem.☆38Updated this week
- ☆148Updated last year
- Trophy case for Rudra bugs.☆40Updated last year
- ☆71Updated last year
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆85Updated 2 years ago
- Code coverage support for Rust `no_std` and embedded programs☆57Updated 7 months ago
- Find deadlocks in Rust code with Petri net model checking☆29Updated this week
- A framework for writing plugins that integrate with the Rust compiler☆151Updated last month
- RustPräzi: Representing crates.io as a call-based dependency network☆79Updated 6 years ago
- The code is the spec☆38Updated last year
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆275Updated 3 years ago
- automatially find crashes in the rust compiler & tooling☆73Updated last year
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- Automatically implement traits for common smart pointers☆114Updated last month
- ☆145Updated 3 months ago
- An LC-3 virtual machine written in Rust for learning purposes.☆38Updated 2 years ago
- Rust bindings and utilities for LLVM’s libFuzzer☆231Updated 2 months ago
- A partial actor pattern with a global orchestrator.☆28Updated 8 months ago
- Define compiler intermediate representation usable by external tools☆74Updated 11 months ago
- To make fuzzing Rust easy☆181Updated this week
- ☆30Updated last year
- A super-simple compiler demoing how to talk to LLVM from Rust☆95Updated 8 years ago
- Deserialization logic for efficiently processing Clang's `-ast-dump=json` format☆142Updated 3 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆93Updated last week
- Trying to create Sync bump allocator☆37Updated 6 months ago
- property testing and verification front-end for Rust☆205Updated 2 weeks ago
- 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
- A benchmarking harness for concurrent key-value collections☆118Updated 2 years ago
- (lifetime) GATs on stable Rust☆59Updated last year