GitHub repository: letonchanh/sling
Primary language: C
Description: SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic