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