search

static-analysis-engineering / CodeHawk-C

CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
MIT License
27 stars 6 forks source link

Import renaming and typechecking #30

Closed Databean closed 3 years ago

Databean commented 3 years ago

40.52% to 39.51% imprecise

Databean commented 3 years ago

Thanks for reviewing!