Explore projects

Проблемы и предложения по работе статического анализатора Svace

Sydr-Fuzz: комплекс инструментов гибридного фаззинга

ISPRAS fork of CPAchecker https://cpachecker.sosy-lab.org/

Upload file to ISPRAS getbox.

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

Klever Git repository read-only mirror

C Instrumentation Framework is a user-friendly interface for Aspectator

concurrency benchmarks

Klever Continuous Verification Framework