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

Rename c-file to c_file, c-project to c_project #4

Closed Databean closed 4 years ago

Databean commented 4 years ago

Path names are included in python package paths, and dashes are not allowed by PEP 8: https://www.python.org/dev/peps/pep-0008/

Databean commented 4 years ago

Thanks for reviewing!