taintable/dynamic_taint/jalangi/src/js/analysis.js
// the return value stored by call to Rt()
the return value stored by call to Rt()
the return value stored by call to Rt ()
function Ra() {
                var ret = returnVal.pop();
                exceptionVal = undefined;
                return ret;
            }
function Ra ( ) { var ret = returnVal . pop ( ) ; exceptionVal = undefined ; return ret ; }
the return value stored by call to Rt()
the return value stored by call to Rt ()
//returnVal = undefined;