bmkmanoj / checkthread

Automatically exported from code.google.com/p/checkthread
0 stars 0 forks source link

fails with an array index out of bounds error #20

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
analyze:
[checkthread] severe: java.lang.ArrayIndexOutOfBoundsException: -1
[checkthread] java.lang.ArrayIndexOutOfBoundsException: -1
[checkthread]   at java.util.ArrayList.elementData(ArrayList.java:371)
[checkthread]   at java.util.ArrayList.remove(ArrayList.java:448)
[checkthread]   at 
org.apache.bcel.verifier.structurals.OperandStack.pop(OperandStack.java:135)
[checkthread]   at 
org.apache.bcel.verifier.structurals.OperandStack.pop(OperandStack.java:144)
[checkthread]   at 
org.checkthread.parser.bcel.ProcessInstruction.processInstruction(ProcessInstruc
tion.java:718)
[checkthread]   at 
org.checkthread.parser.bcel.ProcessMethod.inspectCodeRecurse(ProcessMethod.java:
247)
[checkthread]   at 
org.checkthread.parser.bcel.ProcessMethod.inspectCode(ProcessMethod.java:171)
...

This happens when I invoke:
ant -f ct.xml -lib checkthread-1.0/dist/ -lib checkthread-1.0/lib/

with ct.xml being:

<?xml version="1.0" ?>
<!--
    This ant file runs CheckThread static analysis on the example
    class files generated from the ant build.xml.

    You will need to use the -lib flag when calling ant:

    ant -f analyze.xml -lib ../dist -lib ../lib
-->

<project name="CheckThread Analyze Example" default="analyze" basedir=".">

        <!-- DEFINE ANT TASK -->
        <taskdef name="checkthread"
                     classname="org.checkthread.anttask.CheckThreadTask" />

        <!-- DEFINE PROPERTIES -->
        <target name="init">
                <property name="rootDir" value="${basedir}"/>
                <property name="classDir" value="${rootDir}/class"/>
    </target>

    <!-- RUN CHECKTHREAD -->
    <target name="analyze" depends="init">
        <checkthread
                targetpath="/home/folkert/pos/branches/bruteforce_ab/trunk"
                classpath="/home/folkert/pos/branches/bruteforce_ab/trunk/build"
            verbose="false"/>
    </target>
</project>

Original issue reported on code.google.com by folkert....@gmail.com on 30 Sep 2013 at 8:37