Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

How to obtain the actual parameter values during the execution of each path? #67

Open
mrhuangzh opened this issue Dec 18, 2023 · 0 comments

Comments

@mrhuangzh
Copy link

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 :
sourceCode

symbolic execution result :
image

May I ask how to obtain the actual value of [categoryTitle] in this execution path?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant