More type annotations. - Githubissues

static-analysis-engineering / CodeHawk-C

CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)

MIT License

27 stars 6 forks source link

Closed Databean closed 3 years ago

Databean commented 3 years ago

38.38% to 37.29% imprecise.

CContextTable is now fully covered.
CDictionary is annotated except for initialize due to a conflict with CFileDictionary

Databean commented 3 years ago

Thanks for reviewing!