[Soot-list] Soot unable to load class
Steven Arzt
Steven.Arzt at cased.de
Thu Jun 25 12:05:59 EDT 2015
Do not directly use the tag to retrieve the source line number. Use the getJavaSourceStartLineNumber() method instead as it will try multiple tags. Depending on where you load the data from, it might end up in different tags.
Von: Pegah Jandaghi [mailto:jandaghi72 at gmail.com]
Gesendet: Donnerstag, 25. Juni 2015 18:04
An: Steven Arzt
Cc: Soot-list at cs.mcgill.ca
Betreff: Re: [Soot-list] Soot unable to load class
Thanks, for your help, I actually used the second way but now I have problem with line numbers. I used SourcLnPos tag to get the source line number of units but with this code this tag is empty. Do you know why this tag is empty?
public static void main(String[] args) {
Transform t = new Transform("jtp.myTransform", new BodyTransformer() {
protected void internalTransform(Body body, String phase,Map options) {
MyAnalyzer myAnalysis = newMyAnalyzer(newEnhancedUnitGraph(body), body, sourceCode, sc, classPath, className);
}
});
PackManager.v().getPack("jtp").add(t);
Options.v().allow_phantom_refs();
Options.v().set_full_resolver(false);
Options.v().set_keep_line_number(true);
Options.v().no_bodies_for_excluded();
Options.v().app();
Options.v().setPhaseOption("jb", "use-original-names:true");
soot.Main.main(args);
Thanks for your help
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150625/98843c04/attachment.html
More information about the Soot-list
mailing list