AhmadHassan-BTed/OpenHeart

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

★ 5.9K Stars

⑂ 0 Forks

○ 5.9K Watchers

✖ 0 Issues

Rust

code-property-graph compiler-theory program-analysis robdd rust static-analysis succinct-data-structures tree-sitter uml-generator

Last push: 4d ago

Created:

Loading additional information…