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