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

Allow using Signature to set a method signature #54

Closed alessandropellegrini closed 2 years ago

alessandropellegrini commented 3 years ago

Given the wide usage of Signature in the codebase, it might be useful to allow setting up the symbolic method to execute relying directly on a Signature.

The use case is when you are dealing with a large number of methods to execute symbolically, and you have already constructed Signatures for other purposes. This small patch allows to reuse already-constructed objects.