forked from kdudka/predator
A Separation Logic-Based GCC Plug-in for Checking Manipulation of Dynamic Data Structures
License
jpokorny/predator
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
A Separation Logic-Based GCC Plug-in for Checking Manipulation of Dynamic Data Structures
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- C 92.3%
- C++ 7.6%
- Other 0.1%