Hi~
I am using jbse to analyze the net.mingsoft.cms.action.CategoryAction#save method.
The analysis results reveal 11 safe paths.
I want to get the actual parameter values during the execution process of each path.
For instance, if there is a conditional statement in the code like [if (StringUtil.isBlank(category.getCategoryTitle())], distinct scenarios of [category.getCategoryTitle()] lead jbse to discover different paths.
How can I effectively retrieve the concrete value of [category.getCategoryTitle()] for each path?
Looking forward to your reply.
Source code ：
symbolic execution result ：
May I ask how to obtain the actual value of [categoryTitle] in this execution path?
Hi~ I am using jbse to analyze the net.mingsoft.cms.action.CategoryAction#save method.
The analysis results reveal 11 safe paths.
I want to get the actual parameter values during the execution process of each path.
For instance, if there is a conditional statement in the code like [if (StringUtil.isBlank(category.getCategoryTitle())], distinct scenarios of [category.getCategoryTitle()] lead jbse to discover different paths.
How can I effectively retrieve the concrete value of [category.getCategoryTitle()] for each path?
Looking forward to your reply.
Source code ：
symbolic execution result ：
May I ask how to obtain the actual value of [categoryTitle] in this execution path?