• Home
  • Getting Started
  • Documentation
  • Publications
  • Releases
  • Team

Getting Started

Installing Map2Check.

  • Use the binary of our tool: this is the fastest way to get started with our tool
  • Use our docker to the development: this is the recommend way to get involved with our tool

Links to Learning

  • LLVM Compiler Infrastructure
  • KLEE Execution Engine
  • Clang: frontend for LLVM
  • SV-COMP: Competition on Software Verification

Go Links

  • Getting Started
  • Documentation
  • Publications
  • Releases
  • Team
  • Docker
  • GitHub
  • Travis
  • Map2Check: A Bug Hunting Tool.