Real-world data for evaluation. Static code analysis - Githubissues

JetBrains-Research / CFPQ-on-GPGPU

MIT License

10 stars 5 forks source link

Real-world data for evaluation. Static code analysis #25

Closed gsvgit closed 4 years ago

gsvgit commented 5 years ago

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: https://github.com/YaccConstructor/Meerkat/tree/master/core/src/test/resources/static_analysis

gsvgit commented 4 years ago

Moved to https://github.com/JetBrains-Research/CFPQ_Data/issues/2