[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