[Soot-list] bug in Scene.getSootClass()?

[Marc-André Laverdière-Papineau]

FYI, I issued a pull request for this bug.

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 04/26/2013 10:21 PM, Tony Yan wrote:
> import java.util.Map;
>
> import soot.Body;
> import soot.BodyTransformer;
> import soot.PackManager;
> import soot.Transform;
>
> public class Main {
>    public static void main(String[] args) {
>      String[] sootArgs = {
>        "-allow-phantom-refs",
>        "-f", "n",
>        "-cp", WhateverJarsYouNeed,
>        "-process-dir", "./bin",
>      };
>      PackManager.v().getPack("jtp").add(new Transform("jtp.Main", new
> BodyTransformer() {
>
>        protected void internalTransform(Body b, String s, Map m) {
>          boolean act =
> soot.Scene.v().getSootClass("ImpossibleToExistClass").isPhantom();
>          System.out.println("Expected: true, Actual: " + act);
>          System.exit(0);
>        }
>      }));
>
>      soot.Main.main(sootArgs);
>    }
> }