Andrew's Blog

JPF has an extension for symbolically executing Java bytecode (called SPF). I have been using SPF for analyzing some pieces of code. This post introduces installation and basic configurations of SPF t

In this post, I will put down the details about some common JPF options one can specify in a .jpf configuration file or a the argument page of a run configuration. Below, a fully qualified name includ

http://blog.eddie.com.tw/2012/04/27/screencast-1-learning-vim-from-the-beginning/ http://www.ibm.com/developerworks/cn/linux/l-tip-prompt/tip15/ http://man.ddvip.com/soft/vieditor/vi.html