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 type annotations to chc/source/CSrcFile.py #14

Closed Databean closed 3 years ago

Databean commented 3 years ago

mypy shows this file goes from chc.source.CSrcFile 35.59% imprecise 59 LOC to chc.source.CSrcFile 0.00% imprecise 64 LOC

Databean commented 3 years ago

Thanks for reviewing!