Add static code analysis cases

- [ ] Add data (both graphs and grammars) from [Jyothi Vedurada. Batch Alias Analysis](http://www.cse.iitm.ac.in/~krishna/preprints/ase19/ase19.pdf)
- [x] Add data and query form ["Demand-driven Alias Analysis for C" (Xin Zheng and Radu Rugina)](https://dl.acm.org/citation.cfm?doid=1328438.1328464). We use data from this article in [our work](https://github.com/YaccConstructor/articles/blob/master/2018/Scala_ICFP/paper/combinators_for_graph_querying.pdf). 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)

Inizia leggendo il paper «Batch Alias Analysis» non ancora contrassegnato come completato e ispezionando i grafi serializzati in core/src/test/resources/static_analysis. Confronta i dati e il formato delle query esistenti di Demand-driven Alias Analysis con la fonte richiesta. Il lavoro è completato quando i grafi e le grammatiche del paper sono stati aggiunti nel formato di dataset stabilito nel repository.

Scritto dal modello di indicizzazione a partire dal testo della issue.