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

Mypy annotations for chc.api.ApiAssumption and chc/util/xmlutil.py #13

Closed Databean closed 3 years ago