TY  JOUR
TI  NUMERICAL MODELING OF SOURCE CODE STATIC ANALYSIS WITH INTERMEDIATE REPRESENTATIONS
KW  static analysis
KW  intermediate representation
KW  numerical modeling
KW  refactoring
KW  control-flow graph
JO  Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics
AU  Zubov, M..
AU  Pustygin, A..
AU  Startsev, E..
PY  2014
IS  2014
PB  Astrakhan State Technical University