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

Investigation #45

Closed sipma closed 2 months ago

sipma commented 2 months ago

Add tests for gcc-like attributes