taintable/dynamic_taint/jalangi/src/js/analysis.js
/**
             * invoked when the client analysis throws an exception
             * @param e
             */
invoked when the client analysis throws an exception
@param e
invoked when the client analysis throws an exception @param e
function clientAnalysisException(e) {
                console.error("analysis exception!!!");
                console.error(e.stack);
                if (isBrowser) {
                    throw e;
                } else {
                    process.exit(1);
                }
            }
function clientAnalysisException ( e ) { console . error ( "analysis exception!!!" ) ; console . error ( e . stack ) ; if ( isBrowser ) { throw e ; } else { process . exit ( 1 ) ; } }
invoked when the client analysis throws an exception
 @param e
invoked when the client analysis throws an exception @param e
// we don't really know what will happen to the exception, // but we don't have a way to just terminate, so throw it // under node.js, just die