hbgit/Map2Check
Map2Check: Finding Software Vulnerabilities
Public GitHub Catalog
Discovered Oct 1, 2026
hbgit / Inception
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#22537349GitHub System ID
hbgitOrganization / User
PublicVisibility
ActiveCatalog Status
More from hbgit
hbgit/jfortes
JFORTES (Java FORmal unit TESt generation)
hbgit/EZProofC
This tool aims to automate the method proposed aims to automate the collection and manipulation of counterexamples in order to instantiate a C program for proving the root cause of the identified error. Such method may be seen as a complementary technique for the verification performed by Bounded Model Checkers.
hbgit/FORTES
This tool aims to automate the FORTES method that aims to automate to extract the safety properties from C code generated by ESBMC to generate automatically testcases using the assertions, in this case adopting the CUnit Framework Unit Test.