%0 Journal Article
%T NUMERICAL MODELING OF SOURCE CODE STATIC ANALYSIS WITH INTERMEDIATE REPRESENTATIONS
%A Zubov, M..
%A Pustygin, A..
%A Startsev, E..
%K static analysis, intermediate representation, numerical modeling, refactoring, control-flow graph
%J Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics
%D 2014
%N 2014
%P 11
%I Astrakhan State Technical University