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

Rust

check_borrows

rusty_cpp0.1.1

In rusty_cpp::analysis

rusty_cpp::analysis

Function check_borrows

pub fn check_borrows(program: IrProgram) -> Result<Vec<String>, String>