[jira] [Commented] (BCEL-184) JustIce verifier does not check correctly the returned value of a method

[ https://issues.apache.org/jira/browse/BCEL-184?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanelfocusedCommentId=14356151#comment-14356151 ] Sebb commented on BCEL-184: --- Another way to generate the invalid class files might be to

[jira] [Commented] (BCEL-184) JustIce verifier does not check correctly the returned value of a method

[ https://issues.apache.org/jira/browse/BCEL-184?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanelfocusedCommentId=14351146#comment-14351146 ] Emmanuel Bourg commented on BCEL-184: - Jérôme, out of curiosity, how did you craft the

[jira] [Commented] (BCEL-184) JustIce verifier does not check correctly the returned value of a method

[ https://issues.apache.org/jira/browse/BCEL-184?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanelfocusedCommentId=14351175#comment-14351175 ] Emmanuel Bourg commented on BCEL-184: - For the reference, here is the output of the java