SVFORTH - A Forth for Security Analysis and Visualization