New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Add static code analysis cases #2

Open

1 of 2 tasks

gsvgit opened this issue Oct 24, 2019 · 0 comments

Labels

help wanted new data

Member

gsvgit commented Oct 24, 2019 •

edited

Loading

Add data (both graphs and grammars) from Jyothi Vedurada. Batch Alias Analysis
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.

gsvgit mentioned this issue

Real-world data for evaluation. Static code analysis JetBrains-Research/CFPQ-on-GPGPU#25

Closed

gsvgit mentioned this issue

Make CFPQ_Data better. Again. #28

Open

8 tasks

vadyushkins added the help wanted label

rustam-azimov added the new data label

# for free to join this conversation on GitHub. Already have an account? # to comment