SymJEx: symbolic execution on the GraalVM. - Sebastian Kloibhofer; Thomas Pointhuber; Maximilian Heisinger; Hanspeter Mössenböck; Lukas Stadler; David Leopoldseder (MPLR, 2020)