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

Add missing annotations to IndexedTable.py #12

Closed Databean closed 4 years ago

Databean commented 4 years ago

mypy analysis before: chc.util.IndexedTable 1.80% imprecise 222 LOC

mypy analysis after: chc.util.IndexedTable 0.45% imprecise 222 LOC

The only remaining "imprecise" line is on creating ElementTree.Element, but I don't see a way to fix that.

Databean commented 4 years ago

Thanks for reviewing!