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

Getting Involved

TEAM

Questions and bug reports, please contact us by e-mail: map2check.tool@gmail.com or by GitHub repository at https://github.com/hbgit/Map2Check/issues.

    Maintainers:

  1. Herbert O. Rocha (since 2014), Federal University of Roraima, Brazil
  2. Rafael Menezes (since 2016), Federal University of Roraima, Brazil

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.