{"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":15,"stargazers":15,"forks":8,"fork":false,"size":27286,"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-09-15T10:06:42-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Kamil Dudka","company":"Red Hat","blog":"","location":"Brno, Czech Republic","email":"2108fa8125a64e9f750e06f0db1e76a9d9296af7@redhat.com"},"url":"https://github.com/kdudka/predator/compare/8a3e0e0c0b...289cb09b52"}