Analysis Run

019ba8de-700a-71a3-9620-7d4ca7c9ca73

complete

Chain ID

1

Address

0x4341135454a602d46b95acfadd88db967bcc35ca

Block Number

—

Created

Sat, Jan 10, 2026 5:05 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
32903	artifact.fetch	complete	1 / 3	3 months ago
32904	proxy.resolve	complete	1 / 3	3 months ago
32905	tool.cast_disasm	complete	1 / 3	3 months ago
32906	analysis.bundle	complete	1 / 3	3 months ago
32907	capability.graph	complete	1 / 3	3 months ago
32908	detector.run	complete	1 / 3	3 months ago
32909	validation.fork	complete	1 / 3	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

3

EXT*/BALANCE

3

Total opcodes

1578

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x004d
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x01ffc9a7
00000018: EQ
00000019: PUSH2 0x01ac
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0x150b7a02
00000023: EQ
00000024: PUSH2 0x01e0
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xbc197c81
0000002e: EQ
0000002f: PUSH2 0x0223
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xda3ef9d2
00000039: EQ
0000003a: PUSH2 0x024e
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xf23a6e61
00000044: EQ
00000045: PUSH2 0x0262
00000048: JUMPI
00000049: PUSH2 0x010e
0000004c: JUMP
0000004d: JUMPDEST
0000004e: CALLDATASIZE
0000004f: PUSH2 0x010e
00000052: JUMPI
00000053: PUSH32 0x0000000000000000000000000000000000000000000000000000000000005208
00000074: GAS
00000075: LT
00000076: ISZERO
00000077: PUSH2 0x007c
0000007a: JUMPI
0000007b: STOP
0000007c: JUMPDEST
0000007d: PUSH0
0000007e: PUSH32 0x000000000000000000000000ef417fce1883c6653e7dc6af7c6f85ccde84aa09
0000009f: PUSH1 0x01
000000a1: PUSH1 0x01
000000a3: PUSH1 0xa0
000000a5: SHL
000000a6: SUB
000000a7: AND
000000a8: CALLVALUE
000000a9: PUSH1 0x40
000000ab: MLOAD
000000ac: PUSH0
000000ad: PUSH1 0x40
000000af: MLOAD
000000b0: DUP1
000000b1: DUP4
000000b2: SUB
000000b3: DUP2
000000b4: DUP6
000000b5: DUP8
000000b6: GAS
000000b7: CALL
000000b8: SWAP3
000000b9: POP
000000ba: POP
000000bb: POP
000000bc: RETURNDATASIZE
000000bd: DUP1
000000be: PUSH0
000000bf: DUP2
000000c0: EQ
000000c1: PUSH2 0x00e5
000000c4: JUMPI
000000c5: PUSH1 0x40
000000c7: MLOAD
000000c8: SWAP2
000000c9: POP
000000ca: PUSH1 0x1f
000000cc: NOT
000000cd: PUSH1 0x3f
000000cf: RETURNDATASIZE
000000d0: ADD
000000d1: AND
000000d2: DUP3
000000d3: ADD
000000d4: PUSH1 0x40
000000d6: MSTORE
000000d7: RETURNDATASIZE
000000d8: DUP3
000000d9: MSTORE
000000da: RETURNDATASIZE
000000db: PUSH0
000000dc: PUSH1 0x20
000000de: DUP5
000000df: ADD
000000e0: RETURNDATACOPY
000000e1: PUSH2 0x00ea
000000e4: JUMP
000000e5: JUMPDEST
000000e6: PUSH1 0x60
000000e8: SWAP2
000000e9: POP
000000ea: JUMPDEST
000000eb: POP
000000ec: POP
000000ed: SWAP1
000000ee: POP
000000ef: DUP1
000000f0: PUSH2 0x010c
000000f3: JUMPI
000000f4: PUSH1 0x40
000000f6: MLOAD
000000f7: PUSH4 0x2deea629
000000fc: PUSH1 0xe2
000000fe: SHL
000000ff: DUP2
00000100: MSTORE
00000101: PUSH1 0x04
00000103: ADD
00000104: PUSH1 0x40
00000106: MLOAD
00000107: DUP1
00000108: SWAP2
00000109: SUB
0000010a: SWAP1
0000010b: REVERT
0000010c: JUMPDEST
0000010d: STOP
0000010e: JUMPDEST
0000010f: CALLER
00000110: PUSH1 0x01
00000112: PUSH1 0x01
00000114: PUSH1 0xa0
00000116: SHL
00000117: SUB
00000118: PUSH32 0x000000000000000000000000ef417fce1883c6653e7dc6af7c6f85ccde84aa09
00000139: AND
0000013a: EQ
0000013b: PUSH2 0x0157
0000013e: JUMPI
0000013f: PUSH1 0x40
00000141: MLOAD
00000142: PUSH4 0x19244343
00000147: PUSH1 0xe2
00000149: SHL
0000014a: DUP2
0000014b: MSTORE
0000014c: PUSH1 0x04
0000014e: ADD
0000014f: PUSH1 0x40
00000151: MLOAD
00000152: DUP1
00000153: SWAP2
00000154: SUB
00000155: SWAP1
00000156: REVERT
00000157: JUMPDEST
00000158: PUSH0
00000159: PUSH2 0x0160
0000015c: PUSH2 0x028d
0000015f: JUMP
00000160: JUMPDEST
00000161: SWAP1
00000162: POP
00000163: PUSH2 0x010c
00000166: PUSH0
00000167: CALLDATASIZE
00000168: DUP1
00000169: DUP1
0000016a: PUSH1 0x1f
0000016c: ADD
0000016d: PUSH1 0x20
0000016f: DUP1
00000170: SWAP2
00000171: DIV
00000172: MUL
00000173: PUSH1 0x20
00000175: ADD
00000176: PUSH1 0x40
00000178: MLOAD
00000179: SWAP1
0000017a: DUP2
0000017b: ADD
0000017c: PUSH1 0x40
0000017e: MSTORE
0000017f: DUP1
00000180: SWAP4
00000181: SWAP3
00000182: SWAP2
00000183: SWAP1
00000184: DUP2
00000185: DUP2
00000186: MSTORE
00000187: PUSH1 0x20
00000189: ADD
0000018a: DUP4
0000018b: DUP4
0000018c: DUP1
0000018d: DUP3
0000018e: DUP5
0000018f: CALLDATACOPY
00000190: PUSH0
00000191: SWAP3
00000192: ADD
00000193: SWAP2
00000194: SWAP1
00000195: SWAP2
00000196: MSTORE
00000197: POP
00000198: POP
00000199: POP
0000019a: PUSH1 0x01
0000019c: PUSH1 0x01
0000019e: PUSH1 0xa0
000001a0: SHL
000001a1: SUB
000001a2: DUP5
000001a3: AND
000001a4: SWAP2
000001a5: SWAP1
000001a6: POP
000001a7: CALLVALUE
000001a8: PUSH2 0x029d
000001ab: JUMP
000001ac: JUMPDEST
000001ad: CALLVALUE
000001ae: DUP1
000001af: ISZERO
000001b0: PUSH2 0x01b7
000001b3: JUMPI
000001b4: PUSH0
000001b5: DUP1
000001b6: REVERT
000001b7: JUMPDEST
000001b8: POP
000001b9: PUSH2 0x01cb
000001bc: PUSH2 0x01c6
000001bf: CALLDATASIZE
000001c0: PUSH1 0x04
000001c2: PUSH2 0x058e
000001c5: JUMP
000001c6: JUMPDEST
000001c7: PUSH2 0x033d
000001ca: JUMP
000001cb: JUMPDEST
000001cc: PUSH1 0x40
000001ce: MLOAD
000001cf: SWAP1
000001d0: ISZERO
000001d1: ISZERO
000001d2: DUP2
000001d3: MSTORE
000001d4: PUSH1 0x20
000001d6: ADD
000001d7: JUMPDEST
000001d8: PUSH1 0x40
000001da: MLOAD
000001db: DUP1
000001dc: SWAP2
000001dd: SUB
000001de: SWAP1
000001df: RETURN
000001e0: JUMPDEST
000001e1: CALLVALUE
000001e2: DUP1
000001e3: ISZERO
000001e4: PUSH2 0x01eb
000001e7: JUMPI
000001e8: PUSH0
000001e9: DUP1
000001ea: REVERT
000001eb: JUMPDEST
000001ec: POP
000001ed: PUSH2 0x020a
000001f0: PUSH2 0x01fa
000001f3: CALLDATASIZE
000001f4: PUSH1 0x04
000001f6: PUSH2 0x0681
000001f9: JUMP
000001fa: JUMPDEST
000001fb: PUSH4 0x0a85bd01
00000200: PUSH1 0xe1
00000202: SHL
00000203: SWAP5
00000204: SWAP4
00000205: POP
00000206: POP
00000207: POP
00000208: POP
00000209: JUMP
0000020a: JUMPDEST
0000020b: PUSH1 0x40
0000020d: MLOAD
0000020e: PUSH1 0x01
00000210: PUSH1 0x01
00000212: PUSH1 0xe0
00000214: SHL
00000215: SUB
00000216: NOT
00000217: SWAP1
00000218: SWAP2
00000219: AND
0000021a: DUP2
0000021b: MSTORE
0000021c: PUSH1 0x20
0000021e: ADD
0000021f: PUSH2 0x01d7
00000222: JUMP
00000223: JUMPDEST
00000224: CALLVALUE
00000225: DUP1
00000226: ISZERO
00000227: PUSH2 0x022e
0000022a: JUMPI
0000022b: PUSH0
0000022c: DUP1
0000022d: REVERT
0000022e: JUMPDEST
0000022f: POP
00000230: PUSH2 0x020a
00000233: PUSH2 0x023d
00000236: CALLDATASIZE
00000237: PUSH1 0x04
00000239: PUSH2 0x0762
0000023c: JUMP
0000023d: JUMPDEST
0000023e: PUSH4 0xbc197c81
00000243: PUSH1 0xe0
00000245: SHL
00000246: SWAP6
00000247: SWAP5
00000248: POP
00000249: POP
0000024a: POP
0000024b: POP
0000024c: POP
0000024d: JUMP
0000024e: JUMPDEST
0000024f: CALLVALUE
00000250: DUP1
00000251: ISZERO
00000252: PUSH2 0x0259
00000255: JUMPI
00000256: PUSH0
00000257: DUP1
00000258: REVERT
00000259: JUMPDEST
0000025a: POP
0000025b: PUSH2 0x010c
0000025e: PUSH2 0x0373
00000261: JUMP
00000262: JUMPDEST
00000263: CALLVALUE
00000264: DUP1
00000265: ISZERO
00000266: PUSH2 0x026d
00000269: JUMPI
0000026a: PUSH0
0000026b: DUP1
0000026c: REVERT
0000026d: JUMPDEST
0000026e: POP
0000026f: PUSH2 0x020a
00000272: PUSH2 0x027c
00000275: CALLDATASIZE
00000276: PUSH1 0x04
00000278: PUSH2 0x0805
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH4 0xf23a6e61
00000282: PUSH1 0xe0
00000284: SHL
00000285: SWAP6
00000286: SWAP5
00000287: POP
00000288: POP
00000289: POP
0000028a: POP
0000028b: POP
0000028c: JUMP
0000028d: JUMPDEST
0000028e: PUSH0
0000028f: PUSH2 0x0298
00000292: PUSH0
00000293: CALLDATASIZE
00000294: PUSH2 0x044f
00000297: JUMP
00000298: JUMPDEST
00000299: SWAP1
0000029a: POP
0000029b: SWAP1
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH1 0x60
000002a0: DUP2
000002a1: SELFBALANCE
000002a2: LT
000002a3: ISZERO
000002a4: PUSH2 0x02c7
000002a7: JUMPI
000002a8: PUSH1 0x40
000002aa: MLOAD
000002ab: PUSH4 0xcd786059
000002b0: PUSH1 0xe0
000002b2: SHL
000002b3: DUP2
000002b4: MSTORE
000002b5: ADDRESS
000002b6: PUSH1 0x04
000002b8: DUP3
000002b9: ADD
000002ba: MSTORE
000002bb: PUSH1 0x24
000002bd: ADD
000002be: JUMPDEST
000002bf: PUSH1 0x40
000002c1: MLOAD
000002c2: DUP1
000002c3: SWAP2
000002c4: SUB
000002c5: SWAP1
000002c6: REVERT
000002c7: JUMPDEST
000002c8: PUSH0
000002c9: DUP1
000002ca: DUP6
000002cb: PUSH1 0x01
000002cd: PUSH1 0x01
000002cf: PUSH1 0xa0
000002d1: SHL
000002d2: SUB
000002d3: AND
000002d4: DUP5
000002d5: DUP7
000002d6: PUSH1 0x40
000002d8: MLOAD
000002d9: PUSH2 0x02e2
000002dc: SWAP2
000002dd: SWAP1
000002de: PUSH2 0x0865
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH0
000002e4: PUSH1 0x40
000002e6: MLOAD
000002e7: DUP1
000002e8: DUP4
000002e9: SUB
000002ea: DUP2
000002eb: DUP6
000002ec: DUP8
000002ed: GAS
000002ee: CALL
000002ef: SWAP3
000002f0: POP
000002f1: POP
000002f2: POP
000002f3: RETURNDATASIZE
000002f4: DUP1
000002f5: PUSH0
000002f6: DUP2
000002f7: EQ
000002f8: PUSH2 0x031c
000002fb: JUMPI
000002fc: PUSH1 0x40
000002fe: MLOAD
000002ff: SWAP2
00000300: POP
00000301: PUSH1 0x1f
00000303: NOT
00000304: PUSH1 0x3f
00000306: RETURNDATASIZE
00000307: ADD
00000308: AND
00000309: DUP3
0000030a: ADD
0000030b: PUSH1 0x40
0000030d: MSTORE
0000030e: RETURNDATASIZE
0000030f: DUP3
00000310: MSTORE
00000311: RETURNDATASIZE
00000312: PUSH0
00000313: PUSH1 0x20
00000315: DUP5
00000316: ADD
00000317: RETURNDATACOPY
00000318: PUSH2 0x0321
0000031b: JUMP
0000031c: JUMPDEST
0000031d: PUSH1 0x60
0000031f: SWAP2
00000320: POP
00000321: JUMPDEST
00000322: POP
00000323: SWAP2
00000324: POP
00000325: SWAP2
00000326: POP
00000327: PUSH2 0x0331
0000032a: DUP7
0000032b: DUP4
0000032c: DUP4
0000032d: PUSH2 0x0509
00000330: JUMP
00000331: JUMPDEST
00000332: SWAP3
00000333: POP
00000334: POP
00000335: POP
00000336: JUMPDEST
00000337: SWAP4
00000338: SWAP3
00000339: POP
0000033a: POP
0000033b: POP
0000033c: JUMP
0000033d: JUMPDEST
0000033e: PUSH0
0000033f: PUSH1 0x01
00000341: PUSH1 0x01
00000343: PUSH1 0xe0
00000345: SHL
00000346: SUB
00000347: NOT
00000348: DUP3
00000349: AND
0000034a: PUSH4 0x02711897
0000034f: PUSH1 0xe5
00000351: SHL
00000352: EQ
00000353: DUP1
00000354: PUSH2 0x036d
00000357: JUMPI
00000358: POP
00000359: PUSH4 0x01ffc9a7
0000035e: PUSH1 0xe0
00000360: SHL
00000361: PUSH1 0x01
00000363: PUSH1 0x01
00000365: PUSH1 0xe0
00000367: SHL
00000368: SUB
00000369: NOT
0000036a: DUP4
0000036b: AND
0000036c: EQ
0000036d: JUMPDEST
0000036e: SWAP3
0000036f: SWAP2
00000370: POP
00000371: POP
00000372: JUMP
00000373: JUMPDEST
00000374: CALLER
00000375: PUSH1 0x01
00000377: PUSH1 0x01
00000379: PUSH1 0xa0
0000037b: SHL
0000037c: SUB
0000037d: PUSH32 0x000000000000000000000000ef417fce1883c6653e7dc6af7c6f85ccde84aa09
0000039e: AND
0000039f: EQ
000003a0: PUSH2 0x03bc
000003a3: JUMPI
000003a4: PUSH1 0x40
000003a6: MLOAD
000003a7: PUSH4 0x19244343
000003ac: PUSH1 0xe2
000003ae: SHL
000003af: DUP2
000003b0: MSTORE
000003b1: PUSH1 0x04
000003b3: ADD
000003b4: PUSH1 0x40
000003b6: MLOAD
000003b7: DUP1
000003b8: SWAP2
000003b9: SUB
000003ba: SWAP1
000003bb: REVERT
000003bc: JUMPDEST
000003bd: PUSH0
000003be: PUSH32 0x000000000000000000000000ef417fce1883c6653e7dc6af7c6f85ccde84aa09
000003df: PUSH1 0x01
000003e1: PUSH1 0x01
000003e3: PUSH1 0xa0
000003e5: SHL
000003e6: SUB
000003e7: AND
000003e8: SELFBALANCE
000003e9: PUSH1 0x40
000003eb: MLOAD
000003ec: PUSH0
000003ed: PUSH1 0x40
000003ef: MLOAD
000003f0: DUP1
000003f1: DUP4
000003f2: SUB
000003f3: DUP2
000003f4: DUP6
000003f5: DUP8
000003f6: GAS
000003f7: CALL
000003f8: SWAP3
000003f9: POP
000003fa: POP
000003fb: POP
000003fc: RETURNDATASIZE
000003fd: DUP1
000003fe: PUSH0
000003ff: DUP2
00000400: EQ
00000401: PUSH2 0x0425
00000404: JUMPI
00000405: PUSH1 0x40
00000407: MLOAD
00000408: SWAP2
00000409: POP
0000040a: PUSH1 0x1f
0000040c: NOT
0000040d: PUSH1 0x3f
0000040f: RETURNDATASIZE
00000410: ADD
00000411: AND
00000412: DUP3
00000413: ADD
00000414: PUSH1 0x40
00000416: MSTORE
00000417: RETURNDATASIZE
00000418: DUP3
00000419: MSTORE
0000041a: RETURNDATASIZE
0000041b: PUSH0
0000041c: PUSH1 0x20
0000041e: DUP5
0000041f: ADD
00000420: RETURNDATACOPY
00000421: PUSH2 0x042a
00000424: JUMP
00000425: JUMPDEST
00000426: PUSH1 0x60
00000428: SWAP2
00000429: POP
0000042a: JUMPDEST
0000042b: POP
0000042c: POP
0000042d: SWAP1
0000042e: POP
0000042f: DUP1
00000430: PUSH2 0x044c
00000433: JUMPI
00000434: PUSH1 0x40
00000436: MLOAD
00000437: PUSH4 0x2deea629
0000043c: PUSH1 0xe2
0000043e: SHL
0000043f: DUP2
00000440: MSTORE
00000441: PUSH1 0x04
00000443: ADD
00000444: PUSH1 0x40
00000446: MLOAD
00000447: DUP1
00000448: SWAP2
00000449: SUB
0000044a: SWAP1
0000044b: REVERT
0000044c: JUMPDEST
0000044d: POP
0000044e: JUMP
0000044f: JUMPDEST
00000450: PUSH0
00000451: DUP2
00000452: PUSH1 0x44
00000454: DUP2
00000455: LT
00000456: PUSH2 0x0502
00000459: JUMPI
0000045a: PUSH0
0000045b: DUP5
0000045c: DUP5
0000045d: PUSH2 0x0467
00000460: PUSH1 0x20
00000462: DUP6
00000463: PUSH2 0x0891
00000466: JUMP
00000467: JUMPDEST
00000468: PUSH2 0x0472
0000046b: SWAP3
0000046c: DUP3
0000046d: SWAP1
0000046e: PUSH2 0x08b0
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH2 0x047b
00000476: SWAP2
00000477: PUSH2 0x08d7
0000047a: JUMP
0000047b: JUMPDEST
0000047c: PUSH1 0x40
0000047e: DUP1
0000047f: MLOAD
00000480: DUP1
00000481: DUP3
00000482: ADD
00000483: SWAP1
00000484: SWAP2
00000485: MSTORE
00000486: PUSH1 0x0f
00000488: DUP2
00000489: MSTORE
0000048a: PUSH15 0x111c9bdb99531a588b9d185c99d95d
0000049a: PUSH1 0x8a
0000049c: SHL
0000049d: PUSH1 0x20
0000049f: SWAP1
000004a0: SWAP2
000004a1: ADD
000004a2: MSTORE
000004a3: SWAP1
000004a4: POP
000004a5: PUSH32 0xc1b9dfe6c6d6343c26291b77edfcc5dbc62c3afa2ee72581da4e3cdbe96a0a4f
000004c6: DUP2
000004c7: ADD
000004c8: PUSH2 0x0500
000004cb: JUMPI
000004cc: DUP5
000004cd: DUP5
000004ce: PUSH2 0x04d8
000004d1: PUSH1 0x34
000004d3: DUP6
000004d4: PUSH2 0x0891
000004d7: JUMP
000004d8: JUMPDEST
000004d9: SWAP1
000004da: PUSH2 0x04e4
000004dd: PUSH1 0x20
000004df: DUP7
000004e0: PUSH2 0x0891
000004e3: JUMP
000004e4: JUMPDEST
000004e5: SWAP3
000004e6: PUSH2 0x04f1
000004e9: SWAP4
000004ea: SWAP3
000004eb: SWAP2
000004ec: SWAP1
000004ed: PUSH2 0x08b0
000004f0: JUMP
000004f1: JUMPDEST
000004f2: PUSH2 0x04fa
000004f5: SWAP2
000004f6: PUSH2 0x08f4
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH1 0x60
000004fd: SHR
000004fe: SWAP3
000004ff: POP
00000500: JUMPDEST
00000501: POP
00000502: JUMPDEST
00000503: POP
00000504: SWAP3
00000505: SWAP2
00000506: POP
00000507: POP
00000508: JUMP
00000509: JUMPDEST
0000050a: PUSH1 0x60
0000050c: DUP3
0000050d: PUSH2 0x051e
00000510: JUMPI
00000511: PUSH2 0x0519
00000514: DUP3
00000515: PUSH2 0x0565
00000518: JUMP
00000519: JUMPDEST
0000051a: PUSH2 0x0336
0000051d: JUMP
0000051e: JUMPDEST
0000051f: DUP2
00000520: MLOAD
00000521: ISZERO
00000522: DUP1
00000523: ISZERO
00000524: PUSH2 0x0535
00000527: JUMPI
00000528: POP
00000529: PUSH1 0x01
0000052b: PUSH1 0x01
0000052d: PUSH1 0xa0
0000052f: SHL
00000530: SUB
00000531: DUP5
00000532: AND
00000533: EXTCODESIZE
00000534: ISZERO
00000535: JUMPDEST
00000536: ISZERO
00000537: PUSH2 0x055e
0000053a: JUMPI
0000053b: PUSH1 0x40
0000053d: MLOAD
0000053e: PUSH4 0x9996b315
00000543: PUSH1 0xe0
00000545: SHL
00000546: DUP2
00000547: MSTORE
00000548: PUSH1 0x01
0000054a: PUSH1 0x01
0000054c: PUSH1 0xa0
0000054e: SHL
0000054f: SUB
00000550: DUP6
00000551: AND
00000552: PUSH1 0x04
00000554: DUP3
00000555: ADD
00000556: MSTORE
00000557: PUSH1 0x24
00000559: ADD
0000055a: PUSH2 0x02be
0000055d: JUMP
0000055e: JUMPDEST
0000055f: POP
00000560: DUP1
00000561: PUSH2 0x0336
00000564: JUMP
00000565: JUMPDEST
00000566: DUP1
00000567: MLOAD
00000568: ISZERO
00000569: PUSH2 0x0575
0000056c: JUMPI
0000056d: DUP1
0000056e: MLOAD
0000056f: DUP1
00000570: DUP3
00000571: PUSH1 0x20
00000573: ADD
00000574: REVERT
00000575: JUMPDEST
00000576: PUSH1 0x40
00000578: MLOAD
00000579: PUSH4 0x0a12f521
0000057e: PUSH1 0xe1
00000580: SHL
00000581: DUP2
00000582: MSTORE
00000583: PUSH1 0x04
00000585: ADD
00000586: PUSH1 0x40
00000588: MLOAD
00000589: DUP1
0000058a: SWAP2
0000058b: SUB
0000058c: SWAP1
0000058d: REVERT
0000058e: JUMPDEST
0000058f: PUSH0
00000590: PUSH1 0x20
00000592: DUP3
00000593: DUP5
00000594: SUB
00000595: SLT
00000596: ISZERO
00000597: PUSH2 0x059e
0000059a: JUMPI
0000059b: PUSH0
0000059c: DUP1
0000059d: REVERT
0000059e: JUMPDEST
0000059f: DUP2
000005a0: CALLDATALOAD
000005a1: PUSH1 0x01
000005a3: PUSH1 0x01
000005a5: PUSH1 0xe0
000005a7: SHL
000005a8: SUB
000005a9: NOT
000005aa: DUP2
000005ab: AND
000005ac: DUP2
000005ad: EQ
000005ae: PUSH2 0x0336
000005b1: JUMPI
000005b2: PUSH0
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: DUP1
000005b7: CALLDATALOAD
000005b8: PUSH1 0x01
000005ba: PUSH1 0x01
000005bc: PUSH1 0xa0
000005be: SHL
000005bf: SUB
000005c0: DUP2
000005c1: AND
000005c2: DUP2
000005c3: EQ
000005c4: PUSH2 0x05cb
000005c7: JUMPI
000005c8: PUSH0
000005c9: DUP1
000005ca: REVERT
000005cb: JUMPDEST
000005cc: SWAP2
000005cd: SWAP1
000005ce: POP
000005cf: JUMP
000005d0: JUMPDEST
000005d1: PUSH4 0x4e487b71
000005d6: PUSH1 0xe0
000005d8: SHL
000005d9: PUSH0
000005da: MSTORE
000005db: PUSH1 0x41
000005dd: PUSH1 0x04
000005df: MSTORE
000005e0: PUSH1 0x24
000005e2: PUSH0
000005e3: REVERT
000005e4: JUMPDEST
000005e5: PUSH1 0x40
000005e7: MLOAD
000005e8: PUSH1 0x1f
000005ea: DUP3
000005eb: ADD
000005ec: PUSH1 0x1f
000005ee: NOT
000005ef: AND
000005f0: DUP2
000005f1: ADD
000005f2: PUSH8 0xffffffffffffffff
000005fb: DUP2
000005fc: GT
000005fd: DUP3
000005fe: DUP3
000005ff: LT
00000600: OR
00000601: ISZERO
00000602: PUSH2 0x060d
00000605: JUMPI
00000606: PUSH2 0x060d
00000609: PUSH2 0x05d0
0000060c: JUMP
0000060d: JUMPDEST
0000060e: PUSH1 0x40
00000610: MSTORE
00000611: SWAP2
00000612: SWAP1
00000613: POP
00000614: JUMP
00000615: JUMPDEST
00000616: PUSH0
00000617: DUP3
00000618: PUSH1 0x1f
0000061a: DUP4
0000061b: ADD
0000061c: SLT
0000061d: PUSH2 0x0624
00000620: JUMPI
00000621: PUSH0
00000622: DUP1
00000623: REVERT
00000624: JUMPDEST
00000625: DUP2
00000626: CALLDATALOAD
00000627: PUSH8 0xffffffffffffffff
00000630: DUP2
00000631: GT
00000632: ISZERO
00000633: PUSH2 0x063e
00000636: JUMPI
00000637: PUSH2 0x063e
0000063a: PUSH2 0x05d0
0000063d: JUMP
0000063e: JUMPDEST
0000063f: PUSH2 0x0651
00000642: PUSH1 0x1f
00000644: DUP3
00000645: ADD
00000646: PUSH1 0x1f
00000648: NOT
00000649: AND
0000064a: PUSH1 0x20
0000064c: ADD
0000064d: PUSH2 0x05e4
00000650: JUMP
00000651: JUMPDEST
00000652: DUP2
00000653: DUP2
00000654: MSTORE
00000655: DUP5
00000656: PUSH1 0x20
00000658: DUP4
00000659: DUP7
0000065a: ADD
0000065b: ADD
0000065c: GT
0000065d: ISZERO
0000065e: PUSH2 0x0665
00000661: JUMPI
00000662: PUSH0
00000663: DUP1
00000664: REVERT
00000665: JUMPDEST
00000666: DUP2
00000667: PUSH1 0x20
00000669: DUP6
0000066a: ADD
0000066b: PUSH1 0x20
0000066d: DUP4
0000066e: ADD
0000066f: CALLDATACOPY
00000670: PUSH0
00000671: SWAP2
00000672: DUP2
00000673: ADD
00000674: PUSH1 0x20
00000676: ADD
00000677: SWAP2
00000678: SWAP1
00000679: SWAP2
0000067a: MSTORE
0000067b: SWAP4
0000067c: SWAP3
0000067d: POP
0000067e: POP
0000067f: POP
00000680: JUMP
00000681: JUMPDEST
00000682: PUSH0
00000683: DUP1
00000684: PUSH0
00000685: DUP1
00000686: PUSH1 0x80
00000688: DUP6
00000689: DUP8
0000068a: SUB
0000068b: SLT
0000068c: ISZERO
0000068d: PUSH2 0x0694
00000690: JUMPI
00000691: PUSH0
00000692: DUP1
00000693: REVERT
00000694: JUMPDEST
00000695: PUSH2 0x069d
00000698: DUP6
00000699: PUSH2 0x05b5
0000069c: JUMP
0000069d: JUMPDEST
0000069e: SWAP4
0000069f: POP
000006a0: PUSH2 0x06ab
000006a3: PUSH1 0x20
000006a5: DUP7
000006a6: ADD
000006a7: PUSH2 0x05b5
000006aa: JUMP
000006ab: JUMPDEST
000006ac: SWAP3
000006ad: POP
000006ae: PUSH1 0x40
000006b0: DUP6
000006b1: ADD
000006b2: CALLDATALOAD
000006b3: SWAP2
000006b4: POP
000006b5: PUSH1 0x60
000006b7: DUP6
000006b8: ADD
000006b9: CALLDATALOAD
000006ba: PUSH8 0xffffffffffffffff
000006c3: DUP2
000006c4: GT
000006c5: ISZERO
000006c6: PUSH2 0x06cd
000006c9: JUMPI
000006ca: PUSH0
000006cb: DUP1
000006cc: REVERT
000006cd: JUMPDEST
000006ce: PUSH2 0x06d9
000006d1: DUP8
000006d2: DUP3
000006d3: DUP9
000006d4: ADD
000006d5: PUSH2 0x0615
000006d8: JUMP
000006d9: JUMPDEST
000006da: SWAP2
000006db: POP
000006dc: POP
000006dd: SWAP3
000006de: SWAP6
000006df: SWAP2
000006e0: SWAP5
000006e1: POP
000006e2: SWAP3
000006e3: POP
000006e4: JUMP
000006e5: JUMPDEST
000006e6: PUSH0
000006e7: DUP3
000006e8: PUSH1 0x1f
000006ea: DUP4
000006eb: ADD
000006ec: SLT
000006ed: PUSH2 0x06f4
000006f0: JUMPI
000006f1: PUSH0
000006f2: DUP1
000006f3: REVERT
000006f4: JUMPDEST
000006f5: DUP2
000006f6: CALLDATALOAD
000006f7: PUSH1 0x20
000006f9: PUSH8 0xffffffffffffffff
00000702: DUP3
00000703: GT
00000704: ISZERO
00000705: PUSH2 0x0710
00000708: JUMPI
00000709: PUSH2 0x0710
0000070c: PUSH2 0x05d0
0000070f: JUMP
00000710: JUMPDEST
00000711: DUP2
00000712: PUSH1 0x05
00000714: SHL
00000715: PUSH2 0x071f
00000718: DUP3
00000719: DUP3
0000071a: ADD
0000071b: PUSH2 0x05e4
0000071e: JUMP
0000071f: JUMPDEST
00000720: SWAP3
00000721: DUP4
00000722: MSTORE
00000723: DUP5
00000724: DUP2
00000725: ADD
00000726: DUP3
00000727: ADD
00000728: SWAP3
00000729: DUP3
0000072a: DUP2
0000072b: ADD
0000072c: SWAP1
0000072d: DUP8
0000072e: DUP6
0000072f: GT
00000730: ISZERO
00000731: PUSH2 0x0738
00000734: JUMPI
00000735: PUSH0
00000736: DUP1
00000737: REVERT
00000738: JUMPDEST
00000739: DUP4
0000073a: DUP8
0000073b: ADD
0000073c: SWAP3
0000073d: POP
0000073e: JUMPDEST
0000073f: DUP5
00000740: DUP4
00000741: LT
00000742: ISZERO
00000743: PUSH2 0x0757
00000746: JUMPI
00000747: DUP3
00000748: CALLDATALOAD
00000749: DUP3
0000074a: MSTORE
0000074b: SWAP2
0000074c: DUP4
0000074d: ADD
0000074e: SWAP2
0000074f: SWAP1
00000750: DUP4
00000751: ADD
00000752: SWAP1
00000753: PUSH2 0x073e
00000756: JUMP
00000757: JUMPDEST
00000758: SWAP8
00000759: SWAP7
0000075a: POP
0000075b: POP
0000075c: POP
0000075d: POP
0000075e: POP
0000075f: POP
00000760: POP
00000761: JUMP
00000762: JUMPDEST
00000763: PUSH0
00000764: DUP1
00000765: PUSH0
00000766: DUP1
00000767: PUSH0
00000768: PUSH1 0xa0
0000076a: DUP7
0000076b: DUP9
0000076c: SUB
0000076d: SLT
0000076e: ISZERO
0000076f: PUSH2 0x0776
00000772: JUMPI
00000773: PUSH0
00000774: DUP1
00000775: REVERT
00000776: JUMPDEST
00000777: PUSH2 0x077f
0000077a: DUP7
0000077b: PUSH2 0x05b5
0000077e: JUMP
0000077f: JUMPDEST
00000780: SWAP5
00000781: POP
00000782: PUSH2 0x078d
00000785: PUSH1 0x20
00000787: DUP8
00000788: ADD
00000789: PUSH2 0x05b5
0000078c: JUMP
0000078d: JUMPDEST
0000078e: SWAP4
0000078f: POP
00000790: PUSH1 0x40
00000792: DUP7
00000793: ADD
00000794: CALLDATALOAD
00000795: PUSH8 0xffffffffffffffff
0000079e: DUP1
0000079f: DUP3
000007a0: GT
000007a1: ISZERO
000007a2: PUSH2 0x07a9
000007a5: JUMPI
000007a6: PUSH0
000007a7: DUP1
000007a8: REVERT
000007a9: JUMPDEST
000007aa: PUSH2 0x07b5
000007ad: DUP10
000007ae: DUP4
000007af: DUP11
000007b0: ADD
000007b1: PUSH2 0x06e5
000007b4: JUMP
000007b5: JUMPDEST
000007b6: SWAP5
000007b7: POP
000007b8: PUSH1 0x60
000007ba: DUP9
000007bb: ADD
000007bc: CALLDATALOAD
000007bd: SWAP2
000007be: POP
000007bf: DUP1
000007c0: DUP3
000007c1: GT
000007c2: ISZERO
000007c3: PUSH2 0x07ca
000007c6: JUMPI
000007c7: PUSH0
000007c8: DUP1
000007c9: REVERT
000007ca: JUMPDEST
000007cb: PUSH2 0x07d6
000007ce: DUP10
000007cf: DUP4
000007d0: DUP11
000007d1: ADD
000007d2: PUSH2 0x06e5
000007d5: JUMP
000007d6: JUMPDEST
000007d7: SWAP4
000007d8: POP
000007d9: PUSH1 0x80
000007db: DUP9
000007dc: ADD
000007dd: CALLDATALOAD
000007de: SWAP2
000007df: POP
000007e0: DUP1
000007e1: DUP3
000007e2: GT
000007e3: ISZERO
000007e4: PUSH2 0x07eb
000007e7: JUMPI
000007e8: PUSH0
000007e9: DUP1
000007ea: REVERT
000007eb: JUMPDEST
000007ec: POP
000007ed: PUSH2 0x07f8
000007f0: DUP9
000007f1: DUP3
000007f2: DUP10
000007f3: ADD
000007f4: PUSH2 0x0615
000007f7: JUMP
000007f8: JUMPDEST
000007f9: SWAP2
000007fa: POP
000007fb: POP
000007fc: SWAP3
000007fd: SWAP6
000007fe: POP
000007ff: SWAP3
00000800: SWAP6
00000801: SWAP1
00000802: SWAP4
00000803: POP
00000804: JUMP
00000805: JUMPDEST
00000806: PUSH0
00000807: DUP1
00000808: PUSH0
00000809: DUP1
0000080a: PUSH0
0000080b: PUSH1 0xa0
0000080d: DUP7
0000080e: DUP9
0000080f: SUB
00000810: SLT
00000811: ISZERO
00000812: PUSH2 0x0819
00000815: JUMPI
00000816: PUSH0
00000817: DUP1
00000818: REVERT
00000819: JUMPDEST
0000081a: PUSH2 0x0822
0000081d: DUP7
0000081e: PUSH2 0x05b5
00000821: JUMP
00000822: JUMPDEST
00000823: SWAP5
00000824: POP
00000825: PUSH2 0x0830
00000828: PUSH1 0x20
0000082a: DUP8
0000082b: ADD
0000082c: PUSH2 0x05b5
0000082f: JUMP
00000830: JUMPDEST
00000831: SWAP4
00000832: POP
00000833: PUSH1 0x40
00000835: DUP7
00000836: ADD
00000837: CALLDATALOAD
00000838: SWAP3
00000839: POP
0000083a: PUSH1 0x60
0000083c: DUP7
0000083d: ADD
0000083e: CALLDATALOAD
0000083f: SWAP2
00000840: POP
00000841: PUSH1 0x80
00000843: DUP7
00000844: ADD
00000845: CALLDATALOAD
00000846: PUSH8 0xffffffffffffffff
0000084f: DUP2
00000850: GT
00000851: ISZERO
00000852: PUSH2 0x0859
00000855: JUMPI
00000856: PUSH0
00000857: DUP1
00000858: REVERT
00000859: JUMPDEST
0000085a: PUSH2 0x07f8
0000085d: DUP9
0000085e: DUP3
0000085f: DUP10
00000860: ADD
00000861: PUSH2 0x0615
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH0
00000867: DUP3
00000868: MLOAD
00000869: PUSH0
0000086a: JUMPDEST
0000086b: DUP2
0000086c: DUP2
0000086d: LT
0000086e: ISZERO
0000086f: PUSH2 0x0884
00000872: JUMPI
00000873: PUSH1 0x20
00000875: DUP2
00000876: DUP7
00000877: ADD
00000878: DUP2
00000879: ADD
0000087a: MLOAD
0000087b: DUP6
0000087c: DUP4
0000087d: ADD
0000087e: MSTORE
0000087f: ADD
00000880: PUSH2 0x086a
00000883: JUMP
00000884: JUMPDEST
00000885: POP
00000886: PUSH0
00000887: SWAP3
00000888: ADD
00000889: SWAP2
0000088a: DUP3
0000088b: MSTORE
0000088c: POP
0000088d: SWAP2
0000088e: SWAP1
0000088f: POP
00000890: JUMP
00000891: JUMPDEST
00000892: DUP2
00000893: DUP2
00000894: SUB
00000895: DUP2
00000896: DUP2
00000897: GT
00000898: ISZERO
00000899: PUSH2 0x036d
0000089c: JUMPI
0000089d: PUSH4 0x4e487b71
000008a2: PUSH1 0xe0
000008a4: SHL
000008a5: PUSH0
000008a6: MSTORE
000008a7: PUSH1 0x11
000008a9: PUSH1 0x04
000008ab: MSTORE
000008ac: PUSH1 0x24
000008ae: PUSH0
000008af: REVERT
000008b0: JUMPDEST
000008b1: PUSH0
000008b2: DUP1
000008b3: DUP6
000008b4: DUP6
000008b5: GT
000008b6: ISZERO
000008b7: PUSH2 0x08be
000008ba: JUMPI
000008bb: PUSH0
000008bc: DUP1
000008bd: REVERT
000008be: JUMPDEST
000008bf: DUP4
000008c0: DUP7
000008c1: GT
000008c2: ISZERO
000008c3: PUSH2 0x08ca
000008c6: JUMPI
000008c7: PUSH0
000008c8: DUP1
000008c9: REVERT
000008ca: JUMPDEST
000008cb: POP
000008cc: POP
000008cd: DUP3
000008ce: ADD
000008cf: SWAP4
000008d0: SWAP2
000008d1: SWAP1
000008d2: SWAP3
000008d3: SUB
000008d4: SWAP2
000008d5: POP
000008d6: JUMP
000008d7: JUMPDEST
000008d8: DUP1
000008d9: CALLDATALOAD
000008da: PUSH1 0x20
000008dc: DUP4
000008dd: LT
000008de: ISZERO
000008df: PUSH2 0x036d
000008e2: JUMPI
000008e3: PUSH0
000008e4: NOT
000008e5: PUSH1 0x20
000008e7: DUP5
000008e8: SWAP1
000008e9: SUB
000008ea: PUSH1 0x03
000008ec: SHL
000008ed: SHL
000008ee: AND
000008ef: SWAP3
000008f0: SWAP2
000008f1: POP
000008f2: POP
000008f3: JUMP
000008f4: JUMPDEST
000008f5: PUSH12 0xffffffffffffffffffffffff
00000902: NOT
00000903: DUP2
00000904: CALLDATALOAD
00000905: DUP2
00000906: DUP2
00000907: AND
00000908: SWAP2
00000909: PUSH1 0x14
0000090b: DUP6
0000090c: LT
0000090d: ISZERO
0000090e: PUSH2 0x0500
00000911: JUMPI
00000912: PUSH1 0x14
00000914: SWAP5
00000915: SWAP1
00000916: SWAP5
00000917: SUB
00000918: PUSH1 0x03
0000091a: SHL
0000091b: DUP5
0000091c: SWAP1
0000091d: SHL
0000091e: AND
0000091f: SWAP1
00000920: SWAP3
00000921: AND
00000922: SWAP3
00000923: SWAP2
00000924: POP
00000925: POP
00000926: JUMP
00000927: INVALID
00000928: LOG2
00000929: PUSH5 0x6970667358
0000092f: UNKNOWN(0x22)
00000930: SLT
00000931: KECCAK256
00000932: EXTCODESIZE
00000933: SWAP9
00000934: BALANCE
00000935: SLOAD
00000936: UNKNOWN(0xCB)
00000937: STOP
00000938: CALLDATACOPY
00000939: UNKNOWN(0xF8)
0000093a: SLOAD
0000093b: UNKNOWN(0x23)
0000093c: DIFFICULTY
0000093d: UNKNOWN(0xE0)
0000093e: PUSH6 0x56ace7689230
00000945: UNKNOWN(0xCD)
00000946: DUP16
00000947: UNKNOWN(0xAF)
00000948: PUSH31

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xd83425b321477e42888f8abb4d396f645abb3e990423d1fd8111dc5f42aff28a call_targets: 0x4341135454a602d46b95acfadd88db967bcc35ca target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd83425b321477e42888f8abb4d396f645abb3e990423d1fd8111dc5f42aff28a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x4341135454a602d46b95acfadd88db967bcc35ca" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x150b7a02", "selector": "0x150b7a02", "calldata_variants": [ "0x150b7a02", "0x150b7a020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc197c81", "selector": "0xbc197c81", "calldata_variants": [ "0xbc197c81", "0xbc197c810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xda3ef9d2", "selector": "0xda3ef9d2", "calldata_variants": [ "0xda3ef9d2", "0xda3ef9d20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf23a6e61", "selector": "0xf23a6e61", "calldata_variants": [ "0xf23a6e61", "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x02711897", "selector": "0x02711897", "calldata_variants": [ "0x02711897", "0x027118970000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 183, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "constant_zero", "target_expression_category": "computed" }, { "pc": 750, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1015, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [], "untrusted_call_count": 3 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xd83425b321477e42888f8abb4d396f645abb3e990423d1fd8111dc5f42aff28a call_targets: 0x4341135454a602d46b95acfadd88db967bcc35ca target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd83425b321477e42888f8abb4d396f645abb3e990423d1fd8111dc5f42aff28a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x4341135454a602d46b95acfadd88db967bcc35ca" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x150b7a02", "selector": "0x150b7a02", "calldata_variants": [ "0x150b7a02", "0x150b7a020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc197c81", "selector": "0xbc197c81", "calldata_variants": [ "0xbc197c81", "0xbc197c810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xda3ef9d2", "selector": "0xda3ef9d2", "calldata_variants": [ "0xda3ef9d2", "0xda3ef9d20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf23a6e61", "selector": "0xf23a6e61", "calldata_variants": [ "0xf23a6e61", "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x02711897", "selector": "0x02711897", "calldata_variants": [ "0x02711897", "0x027118970000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 750, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1015, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity