Dear all,
I'm currently using Symbolic Pathfinder and Jpf-core. They are powerful tools to do some symbolic execution, but I've noticed that Jpf need a static entry to do some code analysis.
For example, if I comment the main entry below, an exception will be thrown. If I set "target.entry" to "foo", an exception will be thrown because foo is not a static method.
So I wonder:
1. what if I just want to analyze an non-static method directly?
2. Besides, what if the parameter is a self-defined class instead of an integer? How Could I symbolicly represent this parameter?
Thanks in advance.
Sincerely,
Xingyu ZHU.