Jclavotafur

Aliasing with casts test is failing in soot-infloflow

1

Hi @StevenArzt , I am exploring soot-infloflow's tests and I managed to run 104 of them but I got 32 fails so I started to explore each folder. For **aliasing...

jakarta.servlet differents compiled versions

2

Hi @StevenArzt I am running `mvn package` and I am getting this problem:  It means that Jakarta classes were compiled with Java 11 but we are using Java 8...

Test Aliasing4 is failing

3

I am checking the tests from **securibench** in the `soot-infoflow/` folder and I have noticed that test Aliasing4 (https://github.com/secure-software-engineering/FlowDroid/blob/develop/soot-infoflow/securiBench/securibench/micro/aliasing/Aliasing4.java) is failing. This test has two 2 sinks ``` String name...