goblint

Static analysis framework for concurrent C