TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019ba906-8caa-7371-93af-6459a51013b6

complete
Chain ID
1
Address
0x8e9dd3e31209c7908ad46f02e3b09c73af193db2
Block Number
—
Created
Sat, Jan 10, 2026 5:48 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
33840 artifact.fetch complete 1 / 3 3 months ago
33841 proxy.resolve complete 1 / 3 3 months ago
33842 tool.cast_disasm complete 1 / 3 3 months ago
33843 analysis.bundle complete 1 / 3 3 months ago
33844 capability.graph complete 1 / 3 3 months ago
33845 detector.run complete 1 / 3 3 months ago
33846 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)
4
EXT*/BALANCE
4
Total opcodes
1165
Flags
create_opcodes_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0059
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: EQ
0000001a: PUSH2 0x010a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x7b1a4909
00000024: EQ
00000025: PUSH2 0x011f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8da5cb5b
0000002f: EQ
00000030: PUSH2 0x013f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x9db5dbe4
0000003a: EQ
0000003b: PUSH2 0x0175
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2428621
00000045: EQ
00000046: PUSH2 0x0195
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x01c9
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: CALLDATASIZE
0000005b: PUSH2 0x0105
0000005e: JUMPI
0000005f: CALLER
00000060: PUSH1 0x01
00000062: PUSH1 0x01
00000064: PUSH1 0xa0
00000066: SHL
00000067: SUB
00000068: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000089: AND
0000008a: EQ
0000008b: PUSH2 0x0103
0000008e: JUMPI
0000008f: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000000b0: PUSH1 0x01
000000b2: PUSH1 0x01
000000b4: PUSH1 0xa0
000000b6: SHL
000000b7: SUB
000000b8: AND
000000b9: PUSH4 0xd0e30db0
000000be: CALLVALUE
000000bf: PUSH1 0x40
000000c1: MLOAD
000000c2: DUP3
000000c3: PUSH4 0xffffffff
000000c8: AND
000000c9: PUSH1 0xe0
000000cb: SHL
000000cc: DUP2
000000cd: MSTORE
000000ce: PUSH1 0x04
000000d0: ADD
000000d1: PUSH1 0x00
000000d3: PUSH1 0x40
000000d5: MLOAD
000000d6: DUP1
000000d7: DUP4
000000d8: SUB
000000d9: DUP2
000000da: DUP6
000000db: DUP9
000000dc: DUP1
000000dd: EXTCODESIZE
000000de: ISZERO
000000df: DUP1
000000e0: ISZERO
000000e1: PUSH2 0x00e9
000000e4: JUMPI
000000e5: PUSH1 0x00
000000e7: DUP1
000000e8: REVERT
000000e9: JUMPDEST
000000ea: POP
000000eb: GAS
000000ec: CALL
000000ed: ISZERO
000000ee: DUP1
000000ef: ISZERO
000000f0: PUSH2 0x00fd
000000f3: JUMPI
000000f4: RETURNDATASIZE
000000f5: PUSH1 0x00
000000f7: DUP1
000000f8: RETURNDATACOPY
000000f9: RETURNDATASIZE
000000fa: PUSH1 0x00
000000fc: REVERT
000000fd: JUMPDEST
000000fe: POP
000000ff: POP
00000100: POP
00000101: POP
00000102: POP
00000103: JUMPDEST
00000104: STOP
00000105: JUMPDEST
00000106: PUSH1 0x00
00000108: DUP1
00000109: REVERT
0000010a: JUMPDEST
0000010b: CALLVALUE
0000010c: DUP1
0000010d: ISZERO
0000010e: PUSH2 0x0116
00000111: JUMPI
00000112: PUSH1 0x00
00000114: DUP1
00000115: REVERT
00000116: JUMPDEST
00000117: POP
00000118: PUSH2 0x0103
0000011b: PUSH2 0x01e9
0000011e: JUMP
0000011f: JUMPDEST
00000120: CALLVALUE
00000121: DUP1
00000122: ISZERO
00000123: PUSH2 0x012b
00000126: JUMPI
00000127: PUSH1 0x00
00000129: DUP1
0000012a: REVERT
0000012b: JUMPDEST
0000012c: POP
0000012d: PUSH2 0x0103
00000130: PUSH2 0x013a
00000133: CALLDATASIZE
00000134: PUSH1 0x04
00000136: PUSH2 0x0639
00000139: JUMP
0000013a: JUMPDEST
0000013b: PUSH2 0x01fd
0000013e: JUMP
0000013f: JUMPDEST
00000140: CALLVALUE
00000141: DUP1
00000142: ISZERO
00000143: PUSH2 0x014b
00000146: JUMPI
00000147: PUSH1 0x00
00000149: DUP1
0000014a: REVERT
0000014b: JUMPDEST
0000014c: POP
0000014d: PUSH1 0x00
0000014f: SLOAD
00000150: PUSH1 0x01
00000152: PUSH1 0x01
00000154: PUSH1 0xa0
00000156: SHL
00000157: SUB
00000158: AND
00000159: JUMPDEST
0000015a: PUSH1 0x40
0000015c: MLOAD
0000015d: PUSH1 0x01
0000015f: PUSH1 0x01
00000161: PUSH1 0xa0
00000163: SHL
00000164: SUB
00000165: SWAP1
00000166: SWAP2
00000167: AND
00000168: DUP2
00000169: MSTORE
0000016a: PUSH1 0x20
0000016c: ADD
0000016d: PUSH1 0x40
0000016f: MLOAD
00000170: DUP1
00000171: SWAP2
00000172: SUB
00000173: SWAP1
00000174: RETURN
00000175: JUMPDEST
00000176: CALLVALUE
00000177: DUP1
00000178: ISZERO
00000179: PUSH2 0x0181
0000017c: JUMPI
0000017d: PUSH1 0x00
0000017f: DUP1
00000180: REVERT
00000181: JUMPDEST
00000182: POP
00000183: PUSH2 0x0103
00000186: PUSH2 0x0190
00000189: CALLDATASIZE
0000018a: PUSH1 0x04
0000018c: PUSH2 0x0665
0000018f: JUMP
00000190: JUMPDEST
00000191: PUSH2 0x0333
00000194: JUMP
00000195: JUMPDEST
00000196: CALLVALUE
00000197: DUP1
00000198: ISZERO
00000199: PUSH2 0x01a1
0000019c: JUMPI
0000019d: PUSH1 0x00
0000019f: DUP1
000001a0: REVERT
000001a1: JUMPDEST
000001a2: POP
000001a3: PUSH2 0x0159
000001a6: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000001c7: DUP2
000001c8: JUMP
000001c9: JUMPDEST
000001ca: CALLVALUE
000001cb: DUP1
000001cc: ISZERO
000001cd: PUSH2 0x01d5
000001d0: JUMPI
000001d1: PUSH1 0x00
000001d3: DUP1
000001d4: REVERT
000001d5: JUMPDEST
000001d6: POP
000001d7: PUSH2 0x0103
000001da: PUSH2 0x01e4
000001dd: CALLDATASIZE
000001de: PUSH1 0x04
000001e0: PUSH2 0x06a6
000001e3: JUMP
000001e4: JUMPDEST
000001e5: PUSH2 0x035c
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH2 0x01f1
000001ed: PUSH2 0x039a
000001f0: JUMP
000001f1: JUMPDEST
000001f2: PUSH2 0x01fb
000001f5: PUSH1 0x00
000001f7: PUSH2 0x03c7
000001fa: JUMP
000001fb: JUMPDEST
000001fc: JUMP
000001fd: JUMPDEST
000001fe: PUSH2 0x0205
00000201: PUSH2 0x039a
00000204: JUMP
00000205: JUMPDEST
00000206: PUSH2 0x020d
00000209: PUSH2 0x0417
0000020c: JUMP
0000020d: JUMPDEST
0000020e: PUSH1 0x40
00000210: MLOAD
00000211: PUSH4 0x2e1a7d4d
00000216: PUSH1 0xe0
00000218: SHL
00000219: DUP2
0000021a: MSTORE
0000021b: PUSH1 0x04
0000021d: DUP2
0000021e: ADD
0000021f: DUP3
00000220: SWAP1
00000221: MSTORE
00000222: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000243: PUSH1 0x01
00000245: PUSH1 0x01
00000247: PUSH1 0xa0
00000249: SHL
0000024a: SUB
0000024b: AND
0000024c: SWAP1
0000024d: PUSH4 0x2e1a7d4d
00000252: SWAP1
00000253: PUSH1 0x24
00000255: ADD
00000256: PUSH1 0x00
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: DUP1
0000025c: DUP4
0000025d: SUB
0000025e: DUP2
0000025f: PUSH1 0x00
00000261: DUP8
00000262: DUP1
00000263: EXTCODESIZE
00000264: ISZERO
00000265: DUP1
00000266: ISZERO
00000267: PUSH2 0x026f
0000026a: JUMPI
0000026b: PUSH1 0x00
0000026d: DUP1
0000026e: REVERT
0000026f: JUMPDEST
00000270: POP
00000271: GAS
00000272: CALL
00000273: ISZERO
00000274: DUP1
00000275: ISZERO
00000276: PUSH2 0x0283
00000279: JUMPI
0000027a: RETURNDATASIZE
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: RETURNDATACOPY
0000027f: RETURNDATASIZE
00000280: PUSH1 0x00
00000282: REVERT
00000283: JUMPDEST
00000284: POP
00000285: POP
00000286: POP
00000287: POP
00000288: PUSH1 0x00
0000028a: DUP3
0000028b: PUSH1 0x01
0000028d: PUSH1 0x01
0000028f: PUSH1 0xa0
00000291: SHL
00000292: SUB
00000293: AND
00000294: DUP3
00000295: PUSH1 0x40
00000297: MLOAD
00000298: PUSH1 0x00
0000029a: PUSH1 0x40
0000029c: MLOAD
0000029d: DUP1
0000029e: DUP4
0000029f: SUB
000002a0: DUP2
000002a1: DUP6
000002a2: DUP8
000002a3: GAS
000002a4: CALL
000002a5: SWAP3
000002a6: POP
000002a7: POP
000002a8: POP
000002a9: RETURNDATASIZE
000002aa: DUP1
000002ab: PUSH1 0x00
000002ad: DUP2
000002ae: EQ
000002af: PUSH2 0x02d4
000002b2: JUMPI
000002b3: PUSH1 0x40
000002b5: MLOAD
000002b6: SWAP2
000002b7: POP
000002b8: PUSH1 0x1f
000002ba: NOT
000002bb: PUSH1 0x3f
000002bd: RETURNDATASIZE
000002be: ADD
000002bf: AND
000002c0: DUP3
000002c1: ADD
000002c2: PUSH1 0x40
000002c4: MSTORE
000002c5: RETURNDATASIZE
000002c6: DUP3
000002c7: MSTORE
000002c8: RETURNDATASIZE
000002c9: PUSH1 0x00
000002cb: PUSH1 0x20
000002cd: DUP5
000002ce: ADD
000002cf: RETURNDATACOPY
000002d0: PUSH2 0x02d9
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH1 0x60
000002d7: SWAP2
000002d8: POP
000002d9: JUMPDEST
000002da: POP
000002db: POP
000002dc: SWAP1
000002dd: POP
000002de: DUP1
000002df: PUSH2 0x0325
000002e2: JUMPI
000002e3: PUSH1 0x40
000002e5: MLOAD
000002e6: PUSH3 0x461bcd
000002ea: PUSH1 0xe5
000002ec: SHL
000002ed: DUP2
000002ee: MSTORE
000002ef: PUSH1 0x20
000002f1: PUSH1 0x04
000002f3: DUP3
000002f4: ADD
000002f5: MSTORE
000002f6: PUSH1 0x13
000002f8: PUSH1 0x24
000002fa: DUP3
000002fb: ADD
000002fc: MSTORE
000002fd: PUSH19 0x115512081d1c985b9cd9995c8819985a5b1959
00000311: PUSH1 0x6a
00000313: SHL
00000314: PUSH1 0x44
00000316: DUP3
00000317: ADD
00000318: MSTORE
00000319: PUSH1 0x64
0000031b: ADD
0000031c: JUMPDEST
0000031d: PUSH1 0x40
0000031f: MLOAD
00000320: DUP1
00000321: SWAP2
00000322: SUB
00000323: SWAP1
00000324: REVERT
00000325: JUMPDEST
00000326: POP
00000327: PUSH2 0x032f
0000032a: PUSH1 0x01
0000032c: DUP1
0000032d: SSTORE
0000032e: JUMP
0000032f: JUMPDEST
00000330: POP
00000331: POP
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH2 0x033b
00000337: PUSH2 0x039a
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH2 0x0343
0000033f: PUSH2 0x0417
00000342: JUMP
00000343: JUMPDEST
00000344: PUSH2 0x034e
00000347: DUP4
00000348: DUP4
00000349: DUP4
0000034a: PUSH2 0x0441
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH2 0x0357
00000352: PUSH1 0x01
00000354: DUP1
00000355: SSTORE
00000356: JUMP
00000357: JUMPDEST
00000358: POP
00000359: POP
0000035a: POP
0000035b: JUMP
0000035c: JUMPDEST
0000035d: PUSH2 0x0364
00000360: PUSH2 0x039a
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH1 0x01
00000367: PUSH1 0x01
00000369: PUSH1 0xa0
0000036b: SHL
0000036c: SUB
0000036d: DUP2
0000036e: AND
0000036f: PUSH2 0x038e
00000372: JUMPI
00000373: PUSH1 0x40
00000375: MLOAD
00000376: PUSH4 0x1e4fbdf7
0000037b: PUSH1 0xe0
0000037d: SHL
0000037e: DUP2
0000037f: MSTORE
00000380: PUSH1 0x00
00000382: PUSH1 0x04
00000384: DUP3
00000385: ADD
00000386: MSTORE
00000387: PUSH1 0x24
00000389: ADD
0000038a: PUSH2 0x031c
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH2 0x0397
00000392: DUP2
00000393: PUSH2 0x03c7
00000396: JUMP
00000397: JUMPDEST
00000398: POP
00000399: JUMP
0000039a: JUMPDEST
0000039b: PUSH1 0x00
0000039d: SLOAD
0000039e: PUSH1 0x01
000003a0: PUSH1 0x01
000003a2: PUSH1 0xa0
000003a4: SHL
000003a5: SUB
000003a6: AND
000003a7: CALLER
000003a8: EQ
000003a9: PUSH2 0x01fb
000003ac: JUMPI
000003ad: PUSH1 0x40
000003af: MLOAD
000003b0: PUSH4 0x118cdaa7
000003b5: PUSH1 0xe0
000003b7: SHL
000003b8: DUP2
000003b9: MSTORE
000003ba: CALLER
000003bb: PUSH1 0x04
000003bd: DUP3
000003be: ADD
000003bf: MSTORE
000003c0: PUSH1 0x24
000003c2: ADD
000003c3: PUSH2 0x031c
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: SLOAD
000003cc: PUSH1 0x01
000003ce: PUSH1 0x01
000003d0: PUSH1 0xa0
000003d2: SHL
000003d3: SUB
000003d4: DUP4
000003d5: DUP2
000003d6: AND
000003d7: PUSH1 0x01
000003d9: PUSH1 0x01
000003db: PUSH1 0xa0
000003dd: SHL
000003de: SUB
000003df: NOT
000003e0: DUP4
000003e1: AND
000003e2: DUP2
000003e3: OR
000003e4: DUP5
000003e5: SSTORE
000003e6: PUSH1 0x40
000003e8: MLOAD
000003e9: SWAP2
000003ea: SWAP1
000003eb: SWAP3
000003ec: AND
000003ed: SWAP3
000003ee: DUP4
000003ef: SWAP2
000003f0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000411: SWAP2
00000412: SWAP1
00000413: LOG3
00000414: POP
00000415: POP
00000416: JUMP
00000417: JUMPDEST
00000418: PUSH1 0x02
0000041a: PUSH1 0x01
0000041c: SLOAD
0000041d: SUB
0000041e: PUSH2 0x043a
00000421: JUMPI
00000422: PUSH1 0x40
00000424: MLOAD
00000425: PUSH4 0x3ee5aeb5
0000042a: PUSH1 0xe0
0000042c: SHL
0000042d: DUP2
0000042e: MSTORE
0000042f: PUSH1 0x04
00000431: ADD
00000432: PUSH1 0x40
00000434: MLOAD
00000435: DUP1
00000436: SWAP2
00000437: SUB
00000438: SWAP1
00000439: REVERT
0000043a: JUMPDEST
0000043b: PUSH1 0x02
0000043d: PUSH1 0x01
0000043f: SSTORE
00000440: JUMP
00000441: JUMPDEST
00000442: PUSH1 0x40
00000444: DUP1
00000445: MLOAD
00000446: PUSH1 0x01
00000448: PUSH1 0x01
0000044a: PUSH1 0xa0
0000044c: SHL
0000044d: SUB
0000044e: DUP5
0000044f: DUP2
00000450: AND
00000451: PUSH1 0x24
00000453: DUP4
00000454: ADD
00000455: MSTORE
00000456: PUSH1 0x44
00000458: DUP1
00000459: DUP4
0000045a: ADD
0000045b: DUP6
0000045c: SWAP1
0000045d: MSTORE
0000045e: DUP4
0000045f: MLOAD
00000460: DUP1
00000461: DUP5
00000462: SUB
00000463: SWAP1
00000464: SWAP2
00000465: ADD
00000466: DUP2
00000467: MSTORE
00000468: PUSH1 0x64
0000046a: SWAP1
0000046b: SWAP3
0000046c: ADD
0000046d: SWAP1
0000046e: SWAP3
0000046f: MSTORE
00000470: PUSH1 0x20
00000472: DUP2
00000473: ADD
00000474: DUP1
00000475: MLOAD
00000476: PUSH1 0x01
00000478: PUSH1 0x01
0000047a: PUSH1 0xe0
0000047c: SHL
0000047d: SUB
0000047e: AND
0000047f: PUSH4 0xa9059cbb
00000484: PUSH1 0xe0
00000486: SHL
00000487: OR
00000488: SWAP1
00000489: MSTORE
0000048a: PUSH2 0x0357
0000048d: SWAP2
0000048e: DUP6
0000048f: SWAP2
00000490: SWAP1
00000491: PUSH1 0x00
00000493: SWAP1
00000494: PUSH2 0x049f
00000497: SWAP1
00000498: DUP5
00000499: AND
0000049a: DUP4
0000049b: PUSH2 0x04ed
0000049e: JUMP
0000049f: JUMPDEST
000004a0: SWAP1
000004a1: POP
000004a2: DUP1
000004a3: MLOAD
000004a4: PUSH1 0x00
000004a6: EQ
000004a7: ISZERO
000004a8: DUP1
000004a9: ISZERO
000004aa: PUSH2 0x04c4
000004ad: JUMPI
000004ae: POP
000004af: DUP1
000004b0: DUP1
000004b1: PUSH1 0x20
000004b3: ADD
000004b4: SWAP1
000004b5: MLOAD
000004b6: DUP2
000004b7: ADD
000004b8: SWAP1
000004b9: PUSH2 0x04c2
000004bc: SWAP2
000004bd: SWAP1
000004be: PUSH2 0x06c3
000004c1: JUMP
000004c2: JUMPDEST
000004c3: ISZERO
000004c4: JUMPDEST
000004c5: ISZERO
000004c6: PUSH2 0x0357
000004c9: JUMPI
000004ca: PUSH1 0x40
000004cc: MLOAD
000004cd: PUSH4 0x5274afe7
000004d2: PUSH1 0xe0
000004d4: SHL
000004d5: DUP2
000004d6: MSTORE
000004d7: PUSH1 0x01
000004d9: PUSH1 0x01
000004db: PUSH1 0xa0
000004dd: SHL
000004de: SUB
000004df: DUP5
000004e0: AND
000004e1: PUSH1 0x04
000004e3: DUP3
000004e4: ADD
000004e5: MSTORE
000004e6: PUSH1 0x24
000004e8: ADD
000004e9: PUSH2 0x031c
000004ec: JUMP
000004ed: JUMPDEST
000004ee: PUSH1 0x60
000004f0: PUSH2 0x04fb
000004f3: DUP4
000004f4: DUP4
000004f5: PUSH1 0x00
000004f7: PUSH2 0x0502
000004fa: JUMP
000004fb: JUMPDEST
000004fc: SWAP4
000004fd: SWAP3
000004fe: POP
000004ff: POP
00000500: POP
00000501: JUMP
00000502: JUMPDEST
00000503: PUSH1 0x60
00000505: DUP2
00000506: SELFBALANCE
00000507: LT
00000508: ISZERO
00000509: PUSH2 0x0527
0000050c: JUMPI
0000050d: PUSH1 0x40
0000050f: MLOAD
00000510: PUSH4 0xcd786059
00000515: PUSH1 0xe0
00000517: SHL
00000518: DUP2
00000519: MSTORE
0000051a: ADDRESS
0000051b: PUSH1 0x04
0000051d: DUP3
0000051e: ADD
0000051f: MSTORE
00000520: PUSH1 0x24
00000522: ADD
00000523: PUSH2 0x031c
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH1 0x00
0000052a: DUP1
0000052b: DUP6
0000052c: PUSH1 0x01
0000052e: PUSH1 0x01
00000530: PUSH1 0xa0
00000532: SHL
00000533: SUB
00000534: AND
00000535: DUP5
00000536: DUP7
00000537: PUSH1 0x40
00000539: MLOAD
0000053a: PUSH2 0x0543
0000053d: SWAP2
0000053e: SWAP1
0000053f: PUSH2 0x06e5
00000542: JUMP
00000543: JUMPDEST
00000544: PUSH1 0x00
00000546: PUSH1 0x40
00000548: MLOAD
00000549: DUP1
0000054a: DUP4
0000054b: SUB
0000054c: DUP2
0000054d: DUP6
0000054e: DUP8
0000054f: GAS
00000550: CALL
00000551: SWAP3
00000552: POP
00000553: POP
00000554: POP
00000555: RETURNDATASIZE
00000556: DUP1
00000557: PUSH1 0x00
00000559: DUP2
0000055a: EQ
0000055b: PUSH2 0x0580
0000055e: JUMPI
0000055f: PUSH1 0x40
00000561: MLOAD
00000562: SWAP2
00000563: POP
00000564: PUSH1 0x1f
00000566: NOT
00000567: PUSH1 0x3f
00000569: RETURNDATASIZE
0000056a: ADD
0000056b: AND
0000056c: DUP3
0000056d: ADD
0000056e: PUSH1 0x40
00000570: MSTORE
00000571: RETURNDATASIZE
00000572: DUP3
00000573: MSTORE
00000574: RETURNDATASIZE
00000575: PUSH1 0x00
00000577: PUSH1 0x20
00000579: DUP5
0000057a: ADD
0000057b: RETURNDATACOPY
0000057c: PUSH2 0x0585
0000057f: JUMP
00000580: JUMPDEST
00000581: PUSH1 0x60
00000583: SWAP2
00000584: POP
00000585: JUMPDEST
00000586: POP
00000587: SWAP2
00000588: POP
00000589: SWAP2
0000058a: POP
0000058b: PUSH2 0x0595
0000058e: DUP7
0000058f: DUP4
00000590: DUP4
00000591: PUSH2 0x059f
00000594: JUMP
00000595: JUMPDEST
00000596: SWAP7
00000597: SWAP6
00000598: POP
00000599: POP
0000059a: POP
0000059b: POP
0000059c: POP
0000059d: POP
0000059e: JUMP
0000059f: JUMPDEST
000005a0: PUSH1 0x60
000005a2: DUP3
000005a3: PUSH2 0x05b4
000005a6: JUMPI
000005a7: PUSH2 0x05af
000005aa: DUP3
000005ab: PUSH2 0x05fb
000005ae: JUMP
000005af: JUMPDEST
000005b0: PUSH2 0x04fb
000005b3: JUMP
000005b4: JUMPDEST
000005b5: DUP2
000005b6: MLOAD
000005b7: ISZERO
000005b8: DUP1
000005b9: ISZERO
000005ba: PUSH2 0x05cb
000005bd: JUMPI
000005be: POP
000005bf: PUSH1 0x01
000005c1: PUSH1 0x01
000005c3: PUSH1 0xa0
000005c5: SHL
000005c6: SUB
000005c7: DUP5
000005c8: AND
000005c9: EXTCODESIZE
000005ca: ISZERO
000005cb: JUMPDEST
000005cc: ISZERO
000005cd: PUSH2 0x05f4
000005d0: JUMPI
000005d1: PUSH1 0x40
000005d3: MLOAD
000005d4: PUSH4 0x9996b315
000005d9: PUSH1 0xe0
000005db: SHL
000005dc: DUP2
000005dd: MSTORE
000005de: PUSH1 0x01
000005e0: PUSH1 0x01
000005e2: PUSH1 0xa0
000005e4: SHL
000005e5: SUB
000005e6: DUP6
000005e7: AND
000005e8: PUSH1 0x04
000005ea: DUP3
000005eb: ADD
000005ec: MSTORE
000005ed: PUSH1 0x24
000005ef: ADD
000005f0: PUSH2 0x031c
000005f3: JUMP
000005f4: JUMPDEST
000005f5: POP
000005f6: DUP1
000005f7: PUSH2 0x04fb
000005fa: JUMP
000005fb: JUMPDEST
000005fc: DUP1
000005fd: MLOAD
000005fe: ISZERO
000005ff: PUSH2 0x060b
00000602: JUMPI
00000603: DUP1
00000604: MLOAD
00000605: DUP1
00000606: DUP3
00000607: PUSH1 0x20
00000609: ADD
0000060a: REVERT
0000060b: JUMPDEST
0000060c: PUSH1 0x40
0000060e: MLOAD
0000060f: PUSH4 0x0a12f521
00000614: PUSH1 0xe1
00000616: SHL
00000617: DUP2
00000618: MSTORE
00000619: PUSH1 0x04
0000061b: ADD
0000061c: PUSH1 0x40
0000061e: MLOAD
0000061f: DUP1
00000620: SWAP2
00000621: SUB
00000622: SWAP1
00000623: REVERT
00000624: JUMPDEST
00000625: PUSH1 0x01
00000627: PUSH1 0x01
00000629: PUSH1 0xa0
0000062b: SHL
0000062c: SUB
0000062d: DUP2
0000062e: AND
0000062f: DUP2
00000630: EQ
00000631: PUSH2 0x0397
00000634: JUMPI
00000635: PUSH1 0x00
00000637: DUP1
00000638: REVERT
00000639: JUMPDEST
0000063a: PUSH1 0x00
0000063c: DUP1
0000063d: PUSH1 0x40
0000063f: DUP4
00000640: DUP6
00000641: SUB
00000642: SLT
00000643: ISZERO
00000644: PUSH2 0x064c
00000647: JUMPI
00000648: PUSH1 0x00
0000064a: DUP1
0000064b: REVERT
0000064c: JUMPDEST
0000064d: DUP3
0000064e: CALLDATALOAD
0000064f: PUSH2 0x0657
00000652: DUP2
00000653: PUSH2 0x0624
00000656: JUMP
00000657: JUMPDEST
00000658: SWAP5
00000659: PUSH1 0x20
0000065b: SWAP4
0000065c: SWAP1
0000065d: SWAP4
0000065e: ADD
0000065f: CALLDATALOAD
00000660: SWAP4
00000661: POP
00000662: POP
00000663: POP
00000664: JUMP
00000665: JUMPDEST
00000666: PUSH1 0x00
00000668: DUP1
00000669: PUSH1 0x00
0000066b: PUSH1 0x60
0000066d: DUP5
0000066e: DUP7
0000066f: SUB
00000670: SLT
00000671: ISZERO
00000672: PUSH2 0x067a
00000675: JUMPI
00000676: PUSH1 0x00
00000678: DUP1
00000679: REVERT
0000067a: JUMPDEST
0000067b: DUP4
0000067c: CALLDATALOAD
0000067d: PUSH2 0x0685
00000680: DUP2
00000681: PUSH2 0x0624
00000684: JUMP
00000685: JUMPDEST
00000686: SWAP3
00000687: POP
00000688: PUSH1 0x20
0000068a: DUP5
0000068b: ADD
0000068c: CALLDATALOAD
0000068d: PUSH2 0x0695
00000690: DUP2
00000691: PUSH2 0x0624
00000694: JUMP
00000695: JUMPDEST
00000696: SWAP3
00000697: SWAP6
00000698: SWAP3
00000699: SWAP5
0000069a: POP
0000069b: POP
0000069c: POP
0000069d: PUSH1 0x40
0000069f: SWAP2
000006a0: SWAP1
000006a1: SWAP2
000006a2: ADD
000006a3: CALLDATALOAD
000006a4: SWAP1
000006a5: JUMP
000006a6: JUMPDEST
000006a7: PUSH1 0x00
000006a9: PUSH1 0x20
000006ab: DUP3
000006ac: DUP5
000006ad: SUB
000006ae: SLT
000006af: ISZERO
000006b0: PUSH2 0x06b8
000006b3: JUMPI
000006b4: PUSH1 0x00
000006b6: DUP1
000006b7: REVERT
000006b8: JUMPDEST
000006b9: DUP2
000006ba: CALLDATALOAD
000006bb: PUSH2 0x04fb
000006be: DUP2
000006bf: PUSH2 0x0624
000006c2: JUMP
000006c3: JUMPDEST
000006c4: PUSH1 0x00
000006c6: PUSH1 0x20
000006c8: DUP3
000006c9: DUP5
000006ca: SUB
000006cb: SLT
000006cc: ISZERO
000006cd: PUSH2 0x06d5
000006d0: JUMPI
000006d1: PUSH1 0x00
000006d3: DUP1
000006d4: REVERT
000006d5: JUMPDEST
000006d6: DUP2
000006d7: MLOAD
000006d8: DUP1
000006d9: ISZERO
000006da: ISZERO
000006db: DUP2
000006dc: EQ
000006dd: PUSH2 0x04fb
000006e0: JUMPI
000006e1: PUSH1 0x00
000006e3: DUP1
000006e4: REVERT
000006e5: JUMPDEST
000006e6: PUSH1 0x00
000006e8: DUP3
000006e9: MLOAD
000006ea: PUSH1 0x00
000006ec: JUMPDEST
000006ed: DUP2
000006ee: DUP2
000006ef: LT
000006f0: ISZERO
000006f1: PUSH2 0x0706
000006f4: JUMPI
000006f5: PUSH1 0x20
000006f7: DUP2
000006f8: DUP7
000006f9: ADD
000006fa: DUP2
000006fb: ADD
000006fc: MLOAD
000006fd: DUP6
000006fe: DUP4
000006ff: ADD
00000700: MSTORE
00000701: ADD
00000702: PUSH2 0x06ec
00000705: JUMP
00000706: JUMPDEST
00000707: POP
00000708: PUSH1 0x00
0000070a: SWAP3
0000070b: ADD
0000070c: SWAP2
0000070d: DUP3
0000070e: MSTORE
0000070f: POP
00000710: SWAP2
00000711: SWAP1
00000712: POP
00000713: JUMP
00000714: INVALID
00000715: LOG2
00000716: PUSH5 0x6970667358
0000071c: UNKNOWN(0x22)
0000071d: SLT
0000071e: KECCAK256
0000071f: PUSH8 0x72986e91e6225b51
00000728: CALLER
00000729: UNKNOWN(0xE2)
0000072a: CREATE
0000072b: UNKNOWN(0xA5)
0000072c: UNKNOWN(0xC0)
0000072d: EXTCODEHASH
0000072e: ADDMOD
0000072f: 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: 0x63fb9c7a38aa98ebfb4cdd70524d59f39e0cf7a22fca1ecc8485676cbe03bcea
call_targets: 0x8e9dd3e31209c7908ad46f02e3b09c73af193db2
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x63fb9c7a38aa98ebfb4cdd70524d59f39e0cf7a22fca1ecc8485676cbe03bcea",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x8e9dd3e31209c7908ad46f02e3b09c73af193db2"
    ],
    "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": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7b1a4909",
            "selector": "0x7b1a4909",
            "calldata_variants": [
                "0x7b1a4909",
                "0x7b1a49090000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9db5dbe4",
            "selector": "0x9db5dbe4",
            "calldata_variants": [
                "0x9db5dbe4",
                "0x9db5dbe40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2428621",
            "selector": "0xf2428621",
            "calldata_variants": [
                "0xf2428621",
                "0xf24286210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 236,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 626,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 676,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x63fb9c7a38aa98ebfb4cdd70524d59f39e0cf7a22fca1ecc8485676cbe03bcea
call_targets: 0x8e9dd3e31209c7908ad46f02e3b09c73af193db2
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x63fb9c7a38aa98ebfb4cdd70524d59f39e0cf7a22fca1ecc8485676cbe03bcea",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x8e9dd3e31209c7908ad46f02e3b09c73af193db2"
    ],
    "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": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7b1a4909",
            "selector": "0x7b1a4909",
            "calldata_variants": [
                "0x7b1a4909",
                "0x7b1a49090000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9db5dbe4",
            "selector": "0x9db5dbe4",
            "calldata_variants": [
                "0x9db5dbe4",
                "0x9db5dbe40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2428621",
            "selector": "0xf2428621",
            "calldata_variants": [
                "0xf2428621",
                "0xf24286210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 236,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 626,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 676,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0xa83f3c04c93d5e3978b487d00a00eb23376639db9ca4b70459c4f4a6953eaf2b
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 12,
    "trace_id": "0xa83f3c04c93d5e3978b487d00a00eb23376639db9ca4b70459c4f4a6953eaf2b",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7b1a4909",
            "selector": "0x7b1a4909",
            "calldata_variants": [
                "0x7b1a4909",
                "0x7b1a49090000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9db5dbe4",
            "selector": "0x9db5dbe4",
            "calldata_variants": [
                "0x9db5dbe4",
                "0x9db5dbe40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2428621",
            "selector": "0xf2428621",
            "calldata_variants": [
                "0xf2428621",
                "0xf24286210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 1,
    "create2_count": 0
}
low other cast Contract creation opcode present 60 no —
view
evidence_json 
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 1,
    "create2_count": 0
}