Ask for JCRE Entry Point Conditions

1a8245d3-8889-4629-b0f0-2bbea901704d

There is Java Card RI code and I think it is not matched to the Java card specification 3.0.4. (also other versions too)

I think the function checkInstanceAndCast() in RI codes is implemented wrong in 'JCRE Entry Point - interface not shareable' cases

How do you think of this case? I think a condition should be added to check JCRE Entry Points within checkRead() function.

Let me show you a case for using instanceof keyword.

ex)

interface Inter { /* not shareable interface */

}

class A implements inter {

}

class Main {

     void main () {

          A myImple = new A();     /* class is an interface not shareable */

          setJCREentry(myImple, TEMPORARY);     /* custom function to set object for JCRE Entry Point.*/

        

          boolean b = myImple instanceof Inter;     /* Security Exception */

     }

}

- JCRE CLASSIC - 3_0_4

- JCDK3.0.4_ClassicEdition\src\vm\c\ firewall.c