# 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]  [OK]
  cast2int_seq [SLOAD_SRETURN]  [OK]
  cast2int_seq [ALOAD_ARETURN]  [OK]
  cast2int_seq [ALOAD_SRETURN]  [OK]

  cast2obj_seq [SLOAD_ARETURN]  [OK]
  cast2obj_seq [SLOAD_SRETURN]  [OK]
  cast2obj_seq [ALOAD_ARETURN]  [OK]
  cast2obj_seq [ALOAD_SRETURN]  [OK]
* ptrgranularity
  arr_ptr 43d2
  obj_ptr 43d3
  arr_ptr 43d4
  obj_ptr 43d5

  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 [ERROR]
  pop stack 2 [ERROR]
  --> FRAME
  pop stack 3 [ERROR]
  pop stack 4 [ERROR]
  --> 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]   4142
  arr size confusion  [ERROR] 4142

  arr size confusion  [ERROR] 1502