[Soot-list] Issue while generating Dava code from class

[Bodden, Eric]

Hello.

I am afraid Dava is no longer supported. Feel free to submit a patch, though.

Best wishes,
Eric

On 01.04.2014, at 15:14, Trishul Pani Mukherjee <trishulpani at gmail.com> wrote:

> Hi,
> 
> I'm using Eclipse Keplar with Soot Eclipse Plugin 2.5.2.
> While generating Dava class by Soot -> Dava Decompile App for the following code, I'm getting an exception as given below:
> 
> [Code under test]
> 
>  public boolean isSupervisorResponsibleForUser(int dbId, String department) {
>         if (dbId == 0) {
>             throw new IllegalArgumentException("A dbId is required");
>         }
>         if (department == null) {
>             throw new IllegalArgumentException("department is required");
>         }
>         boolean hasUsers = false;
>         
>         if ( supervisorDao.getUserCountForSupervisor(dbId, department) > 0 
>         		|| supervisorDao.getName() != null    ){
>             hasUsers = true;
>         }
>         return hasUsers;
>     }
> 
> [Exception]
> 
> Decompiling main.java.com.cts.testgen.service.SupervisorService... 
> java.lang.reflect.InvocationTargetException
> 	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
> 	at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
> 	at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
> 	at java.lang.reflect.Method.invoke(Unknown Source)
> 	at ca.mcgill.sable.soot.launching.SootThread.run(SootThread.java:138)
> Caused by: java.lang.RuntimeException: Cannot compute SCCs for graph with number of heads = 2
> 	at soot.toolkits.graph.StronglyConnectedComponentsFast.<init>(StronglyConnectedComponentsFast.java:62)
> 	at soot.dava.toolkits.base.finders.CycleFinder.build_component_list(CycleFinder.java:220)
> 	at soot.dava.toolkits.base.finders.CycleFinder.find(CycleFinder.java:52)
> 	at soot.dava.DavaBody.<init>(DavaBody.java:323)
> 	at soot.dava.Dava.newBody(Dava.java:84)
> 	at soot.PackManager.runBodyPacks(PackManager.java:814)
> 	at soot.PackManager.runBodyPacks(PackManager.java:463)
> 	at soot.PackManager.runBodyPacks(PackManager.java:380)
> 	at soot.PackManager.runPacks(PackManager.java:357)
> 	at soot.Main.run(Main.java:198)
> 	at soot.Main.main(Main.java:141)
> 	... 5 more
> 
> 
> However, Jimple & Grimp IRs are generated successfully.
> 
> Any reason why this is happening?
> 
> 
> Thanks,
> 
> Trishul 
> _______________________________________________
> 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 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt

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