# JAVA / eUICC CARD INTROSPECTOR
# (c) Security Explorations    2016-2019 Poland
#     https://security-explorations.com
# (c) AG Security Research     2019-2025 Poland
#     https://agsecurityresearch.com
### BASIC SECURITY CHECK
* castcheck
  cast2int_seq [SLOAD_ARETURN]  [ERROR]
  cast2int_seq [SLOAD_SRETURN]  [OK]
  cast2int_seq [ALOAD_ARETURN]  [ERROR]
  cast2int_seq [ALOAD_SRETURN]  [ERROR]

  cast2obj_seq [SLOAD_ARETURN]  [ERROR]
  cast2obj_seq [SLOAD_SRETURN]  [ERROR]
  cast2obj_seq [ALOAD_ARETURN]  [OK]
  cast2obj_seq [ALOAD_SRETURN]  [ERROR]
* ptrgranularity
  arr_ptr 83b8
  obj_ptr 83bc
  arr_ptr 83c0
  obj_ptr 83c4

  tr table confidence: 3/3
* locvaraccess
  get local 0 [OK]   4147
  get local 1 [OK]   5352
  --> FRAME
  get local 2 [ERROR]
  get local 3 [ERROR]
  get local 4 [ERROR]
  get local 5 [ERROR]
  get local 6 [ERROR]
  get local 7 [ERROR]
* stkframeaccess
  pop stack 0 [OK]   ffff
  pop stack 1 [OK]   00
  pop stack 2 [OK]   5352
  --> FRAME
  pop stack 3 [OK]   4147
  pop stack 4 [OK]   25da
  --> TOP STACK
  pop stack 5 [ERROR]
  pop stack 6 [ERROR]
  pop stack 7 [ERROR]
* instfieldaccess
  object size 0004
  getfield 0000 [OK]   0000
  getfield 0002 [OK]   0000
  --> OBJ BOUNDS
  getfield 0004 [ERROR]
  getfield 0006 [ERROR]
* objarrconfusion
  arr2object cast     [OK]   0020
  arr size confusion  [OK]

  object2arr cast     [ERROR]