Docs.rs
rusty-cpp-0.1.1
rusty-cpp 0.1.1
Docs.rs crate page
MIT
OR
Apache-2.0
Links
Homepage
Repository
crates.io
Source
Owners
shuaimu
Dependencies
clang ^2.0.0
normal
clang-sys ^1.8.1
normal
clap ^4.5.44
normal
colored ^3.0.0
normal
miette ^7.6.0
normal
once_cell ^1.21.3
normal
petgraph ^0.8.2
normal
rayon ^1.10.0
normal
regex ^1.10.2
normal
serde ^1.0.219
normal
serde_json ^1.0.142
normal
z3 ^0.12
normal
assert_cmd ^2.0
dev
rand ^0.8
dev
tempfile ^3.20.0
dev
Versions
27.57%
of the crate is documented
Platform
aarch64-unknown-linux-gnu
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
Module unsafe_propagation
rusty_
cpp
0.1.1
Module unsafe_
propagation
Module Items
Functions
In rusty_
cpp::
analysis
rusty_cpp
::
analysis
Module
unsafe_
propagation
Copy item path
Source
Functions
ยง
check_
unsafe_
propagation
Check for unsafe propagation in safe functions
check_
unsafe_
propagation_
with_
external
Check for unsafe propagation with external annotations support