Add static code analysis cases - Githubissues

FormalLanguageConstrainedPathQuerying / CFPQ_Data

Graphs and grammars for Context-Free Path Querying algorithms evaluation.

https://formallanguageconstrainedpathquerying.github.io/CFPQ_Data/

Other

10 stars 15 forks source link

Add static code analysis cases #2

Open gsvgit opened 4 years ago

gsvgit commented 4 years ago

[ ] Add data (both graphs and grammars) from Jyothi Vedurada. Batch Alias Analysis
[x] Add data and query form "Demand-driven Alias Analysis for C" (Xin Zheng and Radu Rugina). We use data from this article in our work. Ilya Kirillov can help to extract graphs from C code. A number of serialized graphs.