EvoSuite / evosuite

EvoSuite - automated generation of JUnit test suites for Java classes

http://www.evosuite.org

GNU Lesser General Public License v3.0

832 stars 341 forks source link

Symbolic Engine | JDK9 Support #340

Closed ilebrero closed 3 years ago

ilebrero commented 3 years ago

IMPORTANT

Needs to be merged after #281 as this PR contains those changes as well.

Details

JDK 9 support for the symbolic engine. Please refer to the Java 9 support features development doc for each feature and to it's correspondent PR.

General Documentation of this Implementation

Java 9 support features development doc
invokeDynamic + lambdas info doc
Indify String concatenation Implementation doc
Trello Board

Changes

InvokeDynamic Basic Support (Lambdas + String concatenation) | PR
InvokeDynamic Benchmarks | PR
Fixes on Non-working tests | PR
Milling Project Coin | PR
InstructionLoggerVM rework | PR

Future Work

Even if Dynalink's API is available in JDK9, the java language doesn't seem to be using it so skipping it from the implementation.
Reflection API
Stream API
Generic Implementation of invokedynamic, for now we just symbolize known bootstrap methods