{"repository":{"description":"A Separation Logic-Based GCC Plug-in for Checking Manipulation of Dynamic Data Structures","homepage":"http://www.fit.vutbr.cz/research/groups/verifit/tools/predator","watchers":13,"stargazers":13,"forks":8,"fork":false,"size":2776,"owner":"kdudka","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C","created_at":"2010-03-31T02:12:51-07:00","pushed_at":"2013-04-28T08:32:25-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Jay Little","email":"8bfd13cad0bc4b2ac41d9e235951e72c9b62c2aa@computerality.com"},"url":"https://github.com/kdudka/predator"}