@article{Zubov2014numerical, author={Zubov, M.. and Pustygin, A.. and Startsev, E..}, title={NUMERICAL MODELING OF SOURCE CODE STATIC ANALYSIS WITH INTERMEDIATE REPRESENTATIONS}, journal={Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics}, publisher={Astrakhan State Technical University}, year={2014}, pages={55-66}, volume={2014}, issue={4}, }