/symbolic-analysis

Customized symbolic analysis to find pointer analysis bugs

Primary LanguageC++

Stargazers