mchalupa / predator Goto Github PK
View Code? Open in Web Editor NEWThis project forked from kdudka/predator
A Shape Analyzer Based on Symbolic Memory Graphs
Home Page: http://www.fit.vutbr.cz/research/groups/verifit/tools/predator
License: GNU General Public License v3.0