Gitstar Ranking

gmh5225 / predator

A Shape Analyzer Based on Symbolic Memory Graphs - View it on GitHub
http://www.fit.vutbr.cz/research/groups/verifit/tools/predator
Star
0
Rank
11523136