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