MethodInvocationSequenceTracer

基于符号执行的方法调用序列追踪工具。能对大部分Java语句和表达式进行符号执行，输出程序在不同输入情况下的方法(函数)调用情况。