[Soot-list] LoopNestTree function hasNestedLoop gives false positives

[Bodden, Eric]

Hi Tavneet.

Thanks for reporting this. Do you think you would be able to execute Soot in a debugger, set some appropriate breakpoints and find out what exactly is going wrong there? It definitely does look like a bug. Also, please report this in our issue tracker on Github.

Cheers,
Eric

On 16.09.2014, at 17:37, Tavneet Singh <tavneet12113 at iiitd.ac.in> wrote:

> Sir,
> 
> I am extracting data from my source file.If I create an object of LoopNestTree called LNT.I have two loops in a method
> 
> for(int i = 0 ;i < 10; i++)
> {
> 	System.out.println(i);
> }		
> 				
> for(int j = 0 ;j < 10; j++)
> {
> 	System.out.println("aaa");
> }
> 
> Now if I use LNT.hasNestedLoops() , it returns True which is incorrect. 
> 
> Regards
> Tavneet 
> _______________________________________________
> 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/20140916/143fcfdb/attachment.bin