Skip to content

hbgit/Map2Check

Error
Looks like something went wrong!

About

Map2Check: Finding Software Vulnerabilities

map2check.github.io

Topics

c overflow software-verification pointer-analysis reachability-analysis

Resources

Readme

License

GPL-2.0 license

Code of conduct

Code of conduct
Activity

Stars

28 stars

Watchers

7 watching

Forks

9 forks
Report repository

Releases 4

Version v7.3.1.2019-11.27.140ba2d2 Latest
Nov 27, 2019
+ 3 releases

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •  

Languages