[Soot-list] Empty catch range for exception handler

[Don Manuel]

Hello,

I am getting the below error when I try to run some android apks with soot.
Exception in thread "main" java.lang.RuntimeException: Empty catch range for exception handler
	at soot.coffi.CFG.jimplify(CFG.java:1049)
	at soot.coffi.CFG.jimplify(CFG.java:955)
	at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:100)


I could see that the error occurs when I put a string assignment like below in the android code
try {	
	String name = "testname";
}
	catch (Exception e) {
}
However the code will not error out if it were an integer assignment instead of the string assignment shown above.


The error is caused by the soot code in CFG.jimplify 
if(startIns == endIns)
    throw new RuntimeException ("Empty catch range for exception handler");


I also tried with the latest nightly, and got the same error. 

Can anyone give me a helping hand? We are in the final stages of our analysis, and cannot move further without solving this error as 25% of the applications we analyze are erring out due to this and that is a significant failure rate which we cannot ignore.


Thanks in advance,
Don Manuel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130315/3c3d8ece/attachment.html