GitHub repository: kdudka/predator
Primary language: C
Description: A Shape Analyzer Based on Symbolic Memory Graphs