Set up pipeline for a Spring program

[deemp]

Details

We should be able to run the whole pipeline:

JVM -> EO -> phi -> (normalizer + custom rules) -> phi -> EO -> JVM

Subtasks

• Add PHI codes to 'spring-fat' integration test opeo-maven-plugin#226
• No PHI expressions generated for the "Full Spring Fat Jar Integration Test" opeo-maven-plugin#272
• Large test with Spring Boot, Http and Factorial opeo-maven-plugin#200
• Add http support to the spring-fat integration test  jeo-maven-plugin#548
• Implement the optimization for the Spring application as custom rule(s) #257
• Run normalizer on the spring-fat archive with the optimization as a custom rule #379

[deemp]

@yegor256, @volodya-lombrozo, I need help with this issue.

What should I do to get PHI code from this Spring application?

[volodya-lombrozo]

I have configured the full pipeline for the Spring Boot Application transformation here. You can find the documentation in the README.md file (please create an issue if something is unclear.) However, it is still unfinished, and I am working on it. What is most important for the current issue is printing PHI expressions. I plan to add this as soon as possible. You can check the progress here.

[deemp]

@volodya-lombrozo, when approximately will the pipeline be ready?

[volodya-lombrozo]

@deemp, I hope I will finish with this issue by the end of this week.

[volodya-lombrozo]

@deemp, I've finished with the printing PHI expressions for Spring app (at least in some preliminary way.) Here I described how you can run the pipeline that will generate PHI expressions for some bytecode classes. If you have questions, please, don't hesitate to ask. Also, I should warn you, that it's the first step and the representation will be definitely changed, so It's dangerous to relay on it.

[deemp]

@volodya-lombrozo, thank you! We'll check and decide whether we can work with that.