Skip to content

jpokorny/predator

About

A Separation Logic-Based GCC Plug-in for Checking Manipulation of Dynamic Data Structures

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C 92.3%
  • C++ 7.6%
  • Other 0.1%