Sign inSign up

anony0000/eval_env_base

By anony0000

•Updated over 2 years ago

a basic environment for evaluation of several runtime detectors of programming language C

Image
Integration & delivery
0

10K+

anony0000/eval_env_base repository overview

OS: Ubuntu 20.04

Installed software:

  • gcc 9
  • clang 9
  • clang 11
  • cmake 3.20
  • python 3.11
  • cppcheck
  • scan-build (clang-tools)
  • frama-c
  • kcc
  • Valgrind
  • CompCert C Interpreter

Tag summary

Content type

Image

Digest

sha256:17a1c174d…

Size

2.4 GB

Last updated

over 2 years ago

docker pull anony0000/eval_env_base