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
101 stars 29 forks source link

creation of a java byte code for a target method #61

Open sjoon2455 opened 2 years ago

sjoon2455 commented 2 years ago

Hi. I would like to know where in the project code does jbse create java byte code for a target method.

Thanks in advance.

pietrobraione commented 1 year ago

I cannot understand your question; JBSE executes, and does not create, the bytecode of the target method. What exactly do you mean?