Program Launcher checks if a method is static

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

Program Launcher checks if a method is static #53

Closed alessandropellegrini closed 1 year ago

alessandropellegrini commented 3 years ago

When running a guided execution via JDI, we might be interested in starting symbolic execution from a static method. The current implementation of the launcher would fail in this case. This patch checks whether the entry point of the symbolic execution is a static method, and calls it accordingly.