Проблемы и предложения по работе статического анализатора Svace
ISPRAS fork of CPAchecker https://cpachecker.sosy-lab.org/