1.AhmadHassan-BTed / OpenHeartSuccinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.code-property-graphcompiler-theoryprogram-analysisrobddruststatic-analysis+3 moreRustMIT5.9K total0 forks+5,860 starsfrom 168 · score 8.68
2.fkie-cad / cwe_checkercwe_checker finds vulnerable patterns in binary executablescwebinary-analysisstatic-analyzervulnerability-scannerreverse-engineeringprogram-analysis+4 moreRustLGPL-3.01.4K total146 forks+4 starsfrom 1,359 · score 1.61