GitHub repository: o-petrov/cpachecker-attributes
Primary language: SWIG
Created: 2021-02-18T15:51:14Z
Description: adding support for attributes in CPAchecker