[Soot-list] ConcurrentModificationException with spark vta:true

Bodden, Eric eric.bodden at sit.fraunhofer.de
Wed May 27 02:48:33 EDT 2015


Hi Jason.

I guess at least a stack trace would be helpful.

Cheers,
Eric

> On 27.05.2015, at 00:40, Jason Ott <jott002 at ucr.edu> wrote:
> 
> As the subjects states, I'm receiving a "ConcurrentModificationException" when I run SPARK with the vta option set to true.
> 
> My setup is simple, I'm just pushing a number of classes into soot and build a callgraph.
> 
> My args: -p cg.spark on -p cg.spark vta:true -w -cp /path/to/custom/java/classes/:/path/to/other/directory/:. -f J -allow-phantom-refs
> 
> I just iterate a list of classes that are to be added, add them, add the custom entry points, and ask for a call graph:
> 
> for(Manifest m : mManifest) {
>     System.out.println(m.toString());
>     if(stringToType(m.type) != CreationType.STATIC) {
>         sootClass = Scene.v().forceResolve(m.className, SootClass.BODIES);
>     } else {
>         sootClass = Scene.v().forceResolve(m.path + "." + m.className, SootClass.BODIES);
>     }
>     entryPoints.add(sootClass.getMethodByName(m.method));
>     sootClass.setApplicationClass();
>     processed++;
> }
> 
> System.out.println("Processed: " + Integer.toString(processed));
> 
> Scene.v().loadNecessaryClasses();
> 
> Scene.v().setEntryPoints(entryPoints);
> PackManager.v().runPacks();
> 
> // Build the callgraph!
> CallGraph callGraph = Scene.v().getCallGraph();
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

--
Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 869-127
Room B5.11, Fraunhofer SIT, Rheinstraße 75, 64295 Darmstadt

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 842 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150527/05eabdeb/attachment.bin 


More information about the Soot-list mailing list