search

pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation
http://pietrobraione.github.io/jbse/
GNU General Public License v3.0
103 stars 29 forks source link

function parameters, local variables are obfuscated to __PARAM, __LOCAL #62

Closed sjoon2455 closed 2 years ago

sjoon2455 commented 2 years ago

Hi,

Does anyone know in which case function parameters, local variables are obfuscated to PARAM, LOCAL in the output file?

Thanks in advance.

sjoon2455 commented 2 years ago

Resolved. @pietrobraione's mention on 2018 helped me out: "When you compile your code add the switch to put debug information in the classfiles: JBSE will exploit it to emit more meaningful reports, e.g., it will print {V3} == {ROOT}:lit2 instead of {V3} == {ROOT}:__PARAM[3]"

For anyone who has the same problem, just as said above, when you compile target java program(for example, RunIf.java on the tutorial) give -g option. e.g., javac -g RunIf.java