/SymbolicExecutionForCWithParser

A symbolic execution engine in Prolog for C

Primary LanguageCMIT LicenseMIT

Watchers