goblint

Static analysis framework for concurrent C
Description
Install
Authors
Sources
goblint-1.0.0.tar.gz
md5=dd3ff7266e17f2772a17609d6bd960b8
Dependencies
Reverse Dependencies