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

Analysis Run

019b477e-bae2-71fd-8325-4aeaeb080dab

complete
Chain ID
1
Address
0xaa360bd89ac14533940114cf7205ddf5e0ca7fa6
Block Number
—
Created
Mon, Dec 22, 2025 7:17 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
Authorization based on tx.origin
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
23811 artifact.fetch complete 1 / 3 3 months ago
23812 tool.cast_disasm complete 1 / 3 3 months ago
90509 analysis.bundle complete 1 / 3 2 weeks ago
90510 capability.graph complete 1 / 3 2 weeks ago
90511 detector.run complete 1 / 3 2 weeks ago
90512 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes

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)
2
EXT*/BALANCE
1
Total opcodes
1197
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 0x004e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x2fdcfbd2
00000019: EQ
0000001a: PUSH2 0x005a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x4e71e0c8
00000024: EQ
00000025: PUSH2 0x009f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8da5cb5b
0000002f: EQ
00000030: PUSH2 0x00b4
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc1756a2c
0000003a: EQ
0000003b: PUSH2 0x00e5
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x011e
00000049: JUMPI
0000004a: PUSH2 0x0055
0000004d: JUMP
0000004e: JUMPDEST
0000004f: CALLDATASIZE
00000050: PUSH2 0x0055
00000053: JUMPI
00000054: STOP
00000055: JUMPDEST
00000056: PUSH1 0x00
00000058: DUP1
00000059: REVERT
0000005a: JUMPDEST
0000005b: CALLVALUE
0000005c: DUP1
0000005d: ISZERO
0000005e: PUSH2 0x0066
00000061: JUMPI
00000062: PUSH1 0x00
00000064: DUP1
00000065: REVERT
00000066: JUMPDEST
00000067: POP
00000068: PUSH2 0x009d
0000006b: PUSH1 0x04
0000006d: DUP1
0000006e: CALLDATASIZE
0000006f: SUB
00000070: PUSH1 0x60
00000072: DUP2
00000073: LT
00000074: ISZERO
00000075: PUSH2 0x007d
00000078: JUMPI
00000079: PUSH1 0x00
0000007b: DUP1
0000007c: REVERT
0000007d: JUMPDEST
0000007e: POP
0000007f: PUSH1 0x01
00000081: PUSH1 0x01
00000083: PUSH1 0xa0
00000085: SHL
00000086: SUB
00000087: DUP2
00000088: CALLDATALOAD
00000089: DUP2
0000008a: AND
0000008b: SWAP2
0000008c: PUSH1 0x20
0000008e: DUP2
0000008f: ADD
00000090: CALLDATALOAD
00000091: SWAP1
00000092: SWAP2
00000093: AND
00000094: SWAP1
00000095: PUSH1 0x40
00000097: ADD
00000098: CALLDATALOAD
00000099: PUSH2 0x0151
0000009c: JUMP
0000009d: JUMPDEST
0000009e: STOP
0000009f: JUMPDEST
000000a0: CALLVALUE
000000a1: DUP1
000000a2: ISZERO
000000a3: PUSH2 0x00ab
000000a6: JUMPI
000000a7: PUSH1 0x00
000000a9: DUP1
000000aa: REVERT
000000ab: JUMPDEST
000000ac: POP
000000ad: PUSH2 0x009d
000000b0: PUSH2 0x01b6
000000b3: JUMP
000000b4: JUMPDEST
000000b5: CALLVALUE
000000b6: DUP1
000000b7: ISZERO
000000b8: PUSH2 0x00c0
000000bb: JUMPI
000000bc: PUSH1 0x00
000000be: DUP1
000000bf: REVERT
000000c0: JUMPDEST
000000c1: POP
000000c2: PUSH2 0x00c9
000000c5: PUSH2 0x0229
000000c8: JUMP
000000c9: JUMPDEST
000000ca: PUSH1 0x40
000000cc: DUP1
000000cd: MLOAD
000000ce: PUSH1 0x01
000000d0: PUSH1 0x01
000000d2: PUSH1 0xa0
000000d4: SHL
000000d5: SUB
000000d6: SWAP1
000000d7: SWAP3
000000d8: AND
000000d9: DUP3
000000da: MSTORE
000000db: MLOAD
000000dc: SWAP1
000000dd: DUP2
000000de: SWAP1
000000df: SUB
000000e0: PUSH1 0x20
000000e2: ADD
000000e3: SWAP1
000000e4: RETURN
000000e5: JUMPDEST
000000e6: CALLVALUE
000000e7: DUP1
000000e8: ISZERO
000000e9: PUSH2 0x00f1
000000ec: JUMPI
000000ed: PUSH1 0x00
000000ef: DUP1
000000f0: REVERT
000000f1: JUMPDEST
000000f2: POP
000000f3: PUSH2 0x009d
000000f6: PUSH1 0x04
000000f8: DUP1
000000f9: CALLDATASIZE
000000fa: SUB
000000fb: PUSH1 0x40
000000fd: DUP2
000000fe: LT
000000ff: ISZERO
00000100: PUSH2 0x0108
00000103: JUMPI
00000104: PUSH1 0x00
00000106: DUP1
00000107: REVERT
00000108: JUMPDEST
00000109: POP
0000010a: PUSH1 0x01
0000010c: PUSH1 0x01
0000010e: PUSH1 0xa0
00000110: SHL
00000111: SUB
00000112: DUP2
00000113: CALLDATALOAD
00000114: AND
00000115: SWAP1
00000116: PUSH1 0x20
00000118: ADD
00000119: CALLDATALOAD
0000011a: PUSH2 0x0238
0000011d: JUMP
0000011e: JUMPDEST
0000011f: CALLVALUE
00000120: DUP1
00000121: ISZERO
00000122: PUSH2 0x012a
00000125: JUMPI
00000126: PUSH1 0x00
00000128: DUP1
00000129: REVERT
0000012a: JUMPDEST
0000012b: POP
0000012c: PUSH2 0x009d
0000012f: PUSH1 0x04
00000131: DUP1
00000132: CALLDATASIZE
00000133: SUB
00000134: PUSH1 0x20
00000136: DUP2
00000137: LT
00000138: ISZERO
00000139: PUSH2 0x0141
0000013c: JUMPI
0000013d: PUSH1 0x00
0000013f: DUP1
00000140: REVERT
00000141: JUMPDEST
00000142: POP
00000143: CALLDATALOAD
00000144: PUSH1 0x01
00000146: PUSH1 0x01
00000148: PUSH1 0xa0
0000014a: SHL
0000014b: SUB
0000014c: AND
0000014d: PUSH2 0x031c
00000150: JUMP
00000151: JUMPDEST
00000152: PUSH1 0x00
00000154: SLOAD
00000155: PUSH1 0x01
00000157: PUSH1 0x01
00000159: PUSH1 0xa0
0000015b: SHL
0000015c: SUB
0000015d: AND
0000015e: CALLER
0000015f: EQ
00000160: PUSH2 0x019d
00000163: JUMPI
00000164: PUSH1 0x40
00000166: DUP1
00000167: MLOAD
00000168: PUSH3 0x461bcd
0000016c: PUSH1 0xe5
0000016e: SHL
0000016f: DUP2
00000170: MSTORE
00000171: PUSH1 0x20
00000173: PUSH1 0x04
00000175: DUP3
00000176: ADD
00000177: MSTORE
00000178: PUSH1 0x0a
0000017a: PUSH1 0x24
0000017c: DUP3
0000017d: ADD
0000017e: MSTORE
0000017f: PUSH10 0x4f776e6572206f6e6c79
0000018a: PUSH1 0xb0
0000018c: SHL
0000018d: PUSH1 0x44
0000018f: DUP3
00000190: ADD
00000191: MSTORE
00000192: SWAP1
00000193: MLOAD
00000194: SWAP1
00000195: DUP2
00000196: SWAP1
00000197: SUB
00000198: PUSH1 0x64
0000019a: ADD
0000019b: SWAP1
0000019c: REVERT
0000019d: JUMPDEST
0000019e: PUSH2 0x01b1
000001a1: PUSH1 0x01
000001a3: PUSH1 0x01
000001a5: PUSH1 0xa0
000001a7: SHL
000001a8: SUB
000001a9: DUP5
000001aa: AND
000001ab: DUP4
000001ac: DUP4
000001ad: PUSH2 0x038a
000001b0: JUMP
000001b1: JUMPDEST
000001b2: POP
000001b3: POP
000001b4: POP
000001b5: JUMP
000001b6: JUMPDEST
000001b7: PUSH1 0x01
000001b9: SLOAD
000001ba: PUSH1 0x01
000001bc: PUSH1 0x01
000001be: PUSH1 0xa0
000001c0: SHL
000001c1: SUB
000001c2: AND
000001c3: CALLER
000001c4: EQ
000001c5: PUSH2 0x01cd
000001c8: JUMPI
000001c9: PUSH1 0x00
000001cb: DUP1
000001cc: REVERT
000001cd: JUMPDEST
000001ce: PUSH1 0x01
000001d0: DUP1
000001d1: SLOAD
000001d2: PUSH1 0x01
000001d4: PUSH1 0x01
000001d6: PUSH1 0xa0
000001d8: SHL
000001d9: SUB
000001da: NOT
000001db: AND
000001dc: SWAP1
000001dd: SSTORE
000001de: PUSH1 0x00
000001e0: DUP1
000001e1: SLOAD
000001e2: PUSH1 0x40
000001e4: MLOAD
000001e5: CALLER
000001e6: SWAP3
000001e7: PUSH1 0x01
000001e9: PUSH1 0x01
000001eb: PUSH1 0xa0
000001ed: SHL
000001ee: SUB
000001ef: SWAP1
000001f0: SWAP3
000001f1: AND
000001f2: SWAP2
000001f3: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000214: SWAP2
00000215: LOG3
00000216: PUSH1 0x00
00000218: DUP1
00000219: SLOAD
0000021a: PUSH1 0x01
0000021c: PUSH1 0x01
0000021e: PUSH1 0xa0
00000220: SHL
00000221: SUB
00000222: NOT
00000223: AND
00000224: CALLER
00000225: OR
00000226: SWAP1
00000227: SSTORE
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH1 0x00
0000022c: SLOAD
0000022d: PUSH1 0x01
0000022f: PUSH1 0x01
00000231: PUSH1 0xa0
00000233: SHL
00000234: SUB
00000235: AND
00000236: DUP2
00000237: JUMP
00000238: JUMPDEST
00000239: PUSH1 0x00
0000023b: SLOAD
0000023c: PUSH1 0x01
0000023e: PUSH1 0x01
00000240: PUSH1 0xa0
00000242: SHL
00000243: SUB
00000244: AND
00000245: CALLER
00000246: EQ
00000247: PUSH2 0x0284
0000024a: JUMPI
0000024b: PUSH1 0x40
0000024d: DUP1
0000024e: MLOAD
0000024f: PUSH3 0x461bcd
00000253: PUSH1 0xe5
00000255: SHL
00000256: DUP2
00000257: MSTORE
00000258: PUSH1 0x20
0000025a: PUSH1 0x04
0000025c: DUP3
0000025d: ADD
0000025e: MSTORE
0000025f: PUSH1 0x0a
00000261: PUSH1 0x24
00000263: DUP3
00000264: ADD
00000265: MSTORE
00000266: PUSH10 0x4f776e6572206f6e6c79
00000271: PUSH1 0xb0
00000273: SHL
00000274: PUSH1 0x44
00000276: DUP3
00000277: ADD
00000278: MSTORE
00000279: SWAP1
0000027a: MLOAD
0000027b: SWAP1
0000027c: DUP2
0000027d: SWAP1
0000027e: SUB
0000027f: PUSH1 0x64
00000281: ADD
00000282: SWAP1
00000283: REVERT
00000284: JUMPDEST
00000285: PUSH1 0x40
00000287: MLOAD
00000288: PUSH1 0x00
0000028a: SWAP1
0000028b: PUSH1 0x01
0000028d: PUSH1 0x01
0000028f: PUSH1 0xa0
00000291: SHL
00000292: SUB
00000293: DUP5
00000294: AND
00000295: SWAP1
00000296: DUP4
00000297: SWAP1
00000298: DUP4
00000299: DUP2
0000029a: DUP2
0000029b: DUP2
0000029c: DUP6
0000029d: DUP8
0000029e: GAS
0000029f: CALL
000002a0: SWAP3
000002a1: POP
000002a2: POP
000002a3: POP
000002a4: RETURNDATASIZE
000002a5: DUP1
000002a6: PUSH1 0x00
000002a8: DUP2
000002a9: EQ
000002aa: PUSH2 0x02cf
000002ad: JUMPI
000002ae: PUSH1 0x40
000002b0: MLOAD
000002b1: SWAP2
000002b2: POP
000002b3: PUSH1 0x1f
000002b5: NOT
000002b6: PUSH1 0x3f
000002b8: RETURNDATASIZE
000002b9: ADD
000002ba: AND
000002bb: DUP3
000002bc: ADD
000002bd: PUSH1 0x40
000002bf: MSTORE
000002c0: RETURNDATASIZE
000002c1: DUP3
000002c2: MSTORE
000002c3: RETURNDATASIZE
000002c4: PUSH1 0x00
000002c6: PUSH1 0x20
000002c8: DUP5
000002c9: ADD
000002ca: RETURNDATACOPY
000002cb: PUSH2 0x02d4
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH1 0x60
000002d2: SWAP2
000002d3: POP
000002d4: JUMPDEST
000002d5: POP
000002d6: POP
000002d7: SWAP1
000002d8: POP
000002d9: DUP1
000002da: PUSH2 0x01b1
000002dd: JUMPI
000002de: PUSH1 0x40
000002e0: DUP1
000002e1: MLOAD
000002e2: PUSH3 0x461bcd
000002e6: PUSH1 0xe5
000002e8: SHL
000002e9: DUP2
000002ea: MSTORE
000002eb: PUSH1 0x20
000002ed: PUSH1 0x04
000002ef: DUP3
000002f0: ADD
000002f1: MSTORE
000002f2: PUSH1 0x0f
000002f4: PUSH1 0x24
000002f6: DUP3
000002f7: ADD
000002f8: MSTORE
000002f9: PUSH15 0x151c985b9cd9995c8819985a5b1959
00000309: PUSH1 0x8a
0000030b: SHL
0000030c: PUSH1 0x44
0000030e: DUP3
0000030f: ADD
00000310: MSTORE
00000311: SWAP1
00000312: MLOAD
00000313: SWAP1
00000314: DUP2
00000315: SWAP1
00000316: SUB
00000317: PUSH1 0x64
00000319: ADD
0000031a: SWAP1
0000031b: REVERT
0000031c: JUMPDEST
0000031d: PUSH1 0x00
0000031f: SLOAD
00000320: PUSH1 0x01
00000322: PUSH1 0x01
00000324: PUSH1 0xa0
00000326: SHL
00000327: SUB
00000328: AND
00000329: CALLER
0000032a: EQ
0000032b: PUSH2 0x0368
0000032e: JUMPI
0000032f: PUSH1 0x40
00000331: DUP1
00000332: MLOAD
00000333: PUSH3 0x461bcd
00000337: PUSH1 0xe5
00000339: SHL
0000033a: DUP2
0000033b: MSTORE
0000033c: PUSH1 0x20
0000033e: PUSH1 0x04
00000340: DUP3
00000341: ADD
00000342: MSTORE
00000343: PUSH1 0x0a
00000345: PUSH1 0x24
00000347: DUP3
00000348: ADD
00000349: MSTORE
0000034a: PUSH10 0x4f776e6572206f6e6c79
00000355: PUSH1 0xb0
00000357: SHL
00000358: PUSH1 0x44
0000035a: DUP3
0000035b: ADD
0000035c: MSTORE
0000035d: SWAP1
0000035e: MLOAD
0000035f: SWAP1
00000360: DUP2
00000361: SWAP1
00000362: SUB
00000363: PUSH1 0x64
00000365: ADD
00000366: SWAP1
00000367: REVERT
00000368: JUMPDEST
00000369: PUSH1 0x01
0000036b: DUP1
0000036c: SLOAD
0000036d: PUSH1 0x01
0000036f: PUSH1 0x01
00000371: PUSH1 0xa0
00000373: SHL
00000374: SUB
00000375: NOT
00000376: AND
00000377: PUSH1 0x01
00000379: PUSH1 0x01
0000037b: PUSH1 0xa0
0000037d: SHL
0000037e: SUB
0000037f: SWAP3
00000380: SWAP1
00000381: SWAP3
00000382: AND
00000383: SWAP2
00000384: SWAP1
00000385: SWAP2
00000386: OR
00000387: SWAP1
00000388: SSTORE
00000389: JUMP
0000038a: JUMPDEST
0000038b: PUSH1 0x40
0000038d: DUP1
0000038e: MLOAD
0000038f: PUSH1 0x01
00000391: PUSH1 0x01
00000393: PUSH1 0xa0
00000395: SHL
00000396: SUB
00000397: DUP5
00000398: AND
00000399: PUSH1 0x24
0000039b: DUP3
0000039c: ADD
0000039d: MSTORE
0000039e: PUSH1 0x44
000003a0: DUP1
000003a1: DUP3
000003a2: ADD
000003a3: DUP5
000003a4: SWAP1
000003a5: MSTORE
000003a6: DUP3
000003a7: MLOAD
000003a8: DUP1
000003a9: DUP4
000003aa: SUB
000003ab: SWAP1
000003ac: SWAP2
000003ad: ADD
000003ae: DUP2
000003af: MSTORE
000003b0: PUSH1 0x64
000003b2: SWAP1
000003b3: SWAP2
000003b4: ADD
000003b5: SWAP1
000003b6: SWAP2
000003b7: MSTORE
000003b8: PUSH1 0x20
000003ba: DUP2
000003bb: ADD
000003bc: DUP1
000003bd: MLOAD
000003be: PUSH1 0x01
000003c0: PUSH1 0x01
000003c2: PUSH1 0xe0
000003c4: SHL
000003c5: SUB
000003c6: AND
000003c7: PUSH4 0xa9059cbb
000003cc: PUSH1 0xe0
000003ce: SHL
000003cf: OR
000003d0: SWAP1
000003d1: MSTORE
000003d2: PUSH2 0x01b1
000003d5: SWAP1
000003d6: DUP5
000003d7: SWAP1
000003d8: PUSH1 0x60
000003da: PUSH2 0x042c
000003dd: DUP3
000003de: PUSH1 0x40
000003e0: MLOAD
000003e1: DUP1
000003e2: PUSH1 0x40
000003e4: ADD
000003e5: PUSH1 0x40
000003e7: MSTORE
000003e8: DUP1
000003e9: PUSH1 0x20
000003eb: DUP2
000003ec: MSTORE
000003ed: PUSH1 0x20
000003ef: ADD
000003f0: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00000411: DUP2
00000412: MSTORE
00000413: POP
00000414: DUP6
00000415: PUSH1 0x01
00000417: PUSH1 0x01
00000419: PUSH1 0xa0
0000041b: SHL
0000041c: SUB
0000041d: AND
0000041e: PUSH2 0x0488
00000421: SWAP1
00000422: SWAP3
00000423: SWAP2
00000424: SWAP1
00000425: PUSH4 0xffffffff
0000042a: AND
0000042b: JUMP
0000042c: JUMPDEST
0000042d: DUP1
0000042e: MLOAD
0000042f: SWAP1
00000430: SWAP2
00000431: POP
00000432: ISZERO
00000433: PUSH2 0x01b1
00000436: JUMPI
00000437: DUP1
00000438: DUP1
00000439: PUSH1 0x20
0000043b: ADD
0000043c: SWAP1
0000043d: MLOAD
0000043e: PUSH1 0x20
00000440: DUP2
00000441: LT
00000442: ISZERO
00000443: PUSH2 0x044b
00000446: JUMPI
00000447: PUSH1 0x00
00000449: DUP1
0000044a: REVERT
0000044b: JUMPDEST
0000044c: POP
0000044d: MLOAD
0000044e: PUSH2 0x01b1
00000451: JUMPI
00000452: PUSH1 0x40
00000454: MLOAD
00000455: PUSH3 0x461bcd
00000459: PUSH1 0xe5
0000045b: SHL
0000045c: DUP2
0000045d: MSTORE
0000045e: PUSH1 0x04
00000460: ADD
00000461: DUP1
00000462: DUP1
00000463: PUSH1 0x20
00000465: ADD
00000466: DUP3
00000467: DUP2
00000468: SUB
00000469: DUP3
0000046a: MSTORE
0000046b: PUSH1 0x2a
0000046d: DUP2
0000046e: MSTORE
0000046f: PUSH1 0x20
00000471: ADD
00000472: DUP1
00000473: PUSH2 0x06ce
00000476: PUSH1 0x2a
00000478: SWAP2
00000479: CODECOPY
0000047a: PUSH1 0x40
0000047c: ADD
0000047d: SWAP2
0000047e: POP
0000047f: POP
00000480: PUSH1 0x40
00000482: MLOAD
00000483: DUP1
00000484: SWAP2
00000485: SUB
00000486: SWAP1
00000487: REVERT
00000488: JUMPDEST
00000489: PUSH1 0x60
0000048b: PUSH2 0x0497
0000048e: DUP5
0000048f: DUP5
00000490: PUSH1 0x00
00000492: DUP6
00000493: PUSH2 0x04a1
00000496: JUMP
00000497: JUMPDEST
00000498: SWAP1
00000499: POP
0000049a: JUMPDEST
0000049b: SWAP4
0000049c: SWAP3
0000049d: POP
0000049e: POP
0000049f: POP
000004a0: JUMP
000004a1: JUMPDEST
000004a2: PUSH1 0x60
000004a4: DUP3
000004a5: SELFBALANCE
000004a6: LT
000004a7: ISZERO
000004a8: PUSH2 0x04e2
000004ab: JUMPI
000004ac: PUSH1 0x40
000004ae: MLOAD
000004af: PUSH3 0x461bcd
000004b3: PUSH1 0xe5
000004b5: SHL
000004b6: DUP2
000004b7: MSTORE
000004b8: PUSH1 0x04
000004ba: ADD
000004bb: DUP1
000004bc: DUP1
000004bd: PUSH1 0x20
000004bf: ADD
000004c0: DUP3
000004c1: DUP2
000004c2: SUB
000004c3: DUP3
000004c4: MSTORE
000004c5: PUSH1 0x26
000004c7: DUP2
000004c8: MSTORE
000004c9: PUSH1 0x20
000004cb: ADD
000004cc: DUP1
000004cd: PUSH2 0x06a8
000004d0: PUSH1 0x26
000004d2: SWAP2
000004d3: CODECOPY
000004d4: PUSH1 0x40
000004d6: ADD
000004d7: SWAP2
000004d8: POP
000004d9: POP
000004da: PUSH1 0x40
000004dc: MLOAD
000004dd: DUP1
000004de: SWAP2
000004df: SUB
000004e0: SWAP1
000004e1: REVERT
000004e2: JUMPDEST
000004e3: PUSH2 0x04eb
000004e6: DUP6
000004e7: PUSH2 0x05fd
000004ea: JUMP
000004eb: JUMPDEST
000004ec: PUSH2 0x053c
000004ef: JUMPI
000004f0: PUSH1 0x40
000004f2: DUP1
000004f3: MLOAD
000004f4: PUSH3 0x461bcd
000004f8: PUSH1 0xe5
000004fa: SHL
000004fb: DUP2
000004fc: MSTORE
000004fd: PUSH1 0x20
000004ff: PUSH1 0x04
00000501: DUP3
00000502: ADD
00000503: MSTORE
00000504: PUSH1 0x1d
00000506: PUSH1 0x24
00000508: DUP3
00000509: ADD
0000050a: MSTORE
0000050b: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000052c: PUSH1 0x44
0000052e: DUP3
0000052f: ADD
00000530: MSTORE
00000531: SWAP1
00000532: MLOAD
00000533: SWAP1
00000534: DUP2
00000535: SWAP1
00000536: SUB
00000537: PUSH1 0x64
00000539: ADD
0000053a: SWAP1
0000053b: REVERT
0000053c: JUMPDEST
0000053d: PUSH1 0x00
0000053f: PUSH1 0x60
00000541: DUP7
00000542: PUSH1 0x01
00000544: PUSH1 0x01
00000546: PUSH1 0xa0
00000548: SHL
00000549: SUB
0000054a: AND
0000054b: DUP6
0000054c: DUP8
0000054d: PUSH1 0x40
0000054f: MLOAD
00000550: DUP1
00000551: DUP3
00000552: DUP1
00000553: MLOAD
00000554: SWAP1
00000555: PUSH1 0x20
00000557: ADD
00000558: SWAP1
00000559: DUP1
0000055a: DUP4
0000055b: DUP4
0000055c: JUMPDEST
0000055d: PUSH1 0x20
0000055f: DUP4
00000560: LT
00000561: PUSH2 0x057b
00000564: JUMPI
00000565: DUP1
00000566: MLOAD
00000567: DUP3
00000568: MSTORE
00000569: PUSH1 0x1f
0000056b: NOT
0000056c: SWAP1
0000056d: SWAP3
0000056e: ADD
0000056f: SWAP2
00000570: PUSH1 0x20
00000572: SWAP2
00000573: DUP3
00000574: ADD
00000575: SWAP2
00000576: ADD
00000577: PUSH2 0x055c
0000057a: JUMP
0000057b: JUMPDEST
0000057c: PUSH1 0x01
0000057e: DUP4
0000057f: PUSH1 0x20
00000581: SUB
00000582: PUSH2 0x0100
00000585: EXP
00000586: SUB
00000587: DUP1
00000588: NOT
00000589: DUP3
0000058a: MLOAD
0000058b: AND
0000058c: DUP2
0000058d: DUP5
0000058e: MLOAD
0000058f: AND
00000590: DUP1
00000591: DUP3
00000592: OR
00000593: DUP6
00000594: MSTORE
00000595: POP
00000596: POP
00000597: POP
00000598: POP
00000599: POP
0000059a: POP
0000059b: SWAP1
0000059c: POP
0000059d: ADD
0000059e: SWAP2
0000059f: POP
000005a0: POP
000005a1: PUSH1 0x00
000005a3: PUSH1 0x40
000005a5: MLOAD
000005a6: DUP1
000005a7: DUP4
000005a8: SUB
000005a9: DUP2
000005aa: DUP6
000005ab: DUP8
000005ac: GAS
000005ad: CALL
000005ae: SWAP3
000005af: POP
000005b0: POP
000005b1: POP
000005b2: RETURNDATASIZE
000005b3: DUP1
000005b4: PUSH1 0x00
000005b6: DUP2
000005b7: EQ
000005b8: PUSH2 0x05dd
000005bb: JUMPI
000005bc: PUSH1 0x40
000005be: MLOAD
000005bf: SWAP2
000005c0: POP
000005c1: PUSH1 0x1f
000005c3: NOT
000005c4: PUSH1 0x3f
000005c6: RETURNDATASIZE
000005c7: ADD
000005c8: AND
000005c9: DUP3
000005ca: ADD
000005cb: PUSH1 0x40
000005cd: MSTORE
000005ce: RETURNDATASIZE
000005cf: DUP3
000005d0: MSTORE
000005d1: RETURNDATASIZE
000005d2: PUSH1 0x00
000005d4: PUSH1 0x20
000005d6: DUP5
000005d7: ADD
000005d8: RETURNDATACOPY
000005d9: PUSH2 0x05e2
000005dc: JUMP
000005dd: JUMPDEST
000005de: PUSH1 0x60
000005e0: SWAP2
000005e1: POP
000005e2: JUMPDEST
000005e3: POP
000005e4: SWAP2
000005e5: POP
000005e6: SWAP2
000005e7: POP
000005e8: PUSH2 0x05f2
000005eb: DUP3
000005ec: DUP3
000005ed: DUP7
000005ee: PUSH2 0x0603
000005f1: JUMP
000005f2: JUMPDEST
000005f3: SWAP8
000005f4: SWAP7
000005f5: POP
000005f6: POP
000005f7: POP
000005f8: POP
000005f9: POP
000005fa: POP
000005fb: POP
000005fc: JUMP
000005fd: JUMPDEST
000005fe: EXTCODESIZE
000005ff: ISZERO
00000600: ISZERO
00000601: SWAP1
00000602: JUMP
00000603: JUMPDEST
00000604: PUSH1 0x60
00000606: DUP4
00000607: ISZERO
00000608: PUSH2 0x0612
0000060b: JUMPI
0000060c: POP
0000060d: DUP2
0000060e: PUSH2 0x049a
00000611: JUMP
00000612: JUMPDEST
00000613: DUP3
00000614: MLOAD
00000615: ISZERO
00000616: PUSH2 0x0622
00000619: JUMPI
0000061a: DUP3
0000061b: MLOAD
0000061c: DUP1
0000061d: DUP5
0000061e: PUSH1 0x20
00000620: ADD
00000621: REVERT
00000622: JUMPDEST
00000623: DUP2
00000624: PUSH1 0x40
00000626: MLOAD
00000627: PUSH3 0x461bcd
0000062b: PUSH1 0xe5
0000062d: SHL
0000062e: DUP2
0000062f: MSTORE
00000630: PUSH1 0x04
00000632: ADD
00000633: DUP1
00000634: DUP1
00000635: PUSH1 0x20
00000637: ADD
00000638: DUP3
00000639: DUP2
0000063a: SUB
0000063b: DUP3
0000063c: MSTORE
0000063d: DUP4
0000063e: DUP2
0000063f: DUP2
00000640: MLOAD
00000641: DUP2
00000642: MSTORE
00000643: PUSH1 0x20
00000645: ADD
00000646: SWAP2
00000647: POP
00000648: DUP1
00000649: MLOAD
0000064a: SWAP1
0000064b: PUSH1 0x20
0000064d: ADD
0000064e: SWAP1
0000064f: DUP1
00000650: DUP4
00000651: DUP4
00000652: PUSH1 0x00
00000654: JUMPDEST
00000655: DUP4
00000656: DUP2
00000657: LT
00000658: ISZERO
00000659: PUSH2 0x066c
0000065c: JUMPI
0000065d: DUP2
0000065e: DUP2
0000065f: ADD
00000660: MLOAD
00000661: DUP4
00000662: DUP3
00000663: ADD
00000664: MSTORE
00000665: PUSH1 0x20
00000667: ADD
00000668: PUSH2 0x0654
0000066b: JUMP
0000066c: JUMPDEST
0000066d: POP
0000066e: POP
0000066f: POP
00000670: POP
00000671: SWAP1
00000672: POP
00000673: SWAP1
00000674: DUP2
00000675: ADD
00000676: SWAP1
00000677: PUSH1 0x1f
00000679: AND
0000067a: DUP1
0000067b: ISZERO
0000067c: PUSH2 0x0699
0000067f: JUMPI
00000680: DUP1
00000681: DUP3
00000682: SUB
00000683: DUP1
00000684: MLOAD
00000685: PUSH1 0x01
00000687: DUP4
00000688: PUSH1 0x20
0000068a: SUB
0000068b: PUSH2 0x0100
0000068e: EXP
0000068f: SUB
00000690: NOT
00000691: AND
00000692: DUP2
00000693: MSTORE
00000694: PUSH1 0x20
00000696: ADD
00000697: SWAP2
00000698: POP
00000699: JUMPDEST
0000069a: POP
0000069b: SWAP3
0000069c: POP
0000069d: POP
0000069e: POP
0000069f: PUSH1 0x40
000006a1: MLOAD
000006a2: DUP1
000006a3: SWAP2
000006a4: SUB
000006a5: SWAP1
000006a6: REVERT
000006a7: INVALID
000006a8: COINBASE
000006a9: PUSH5 0x6472657373
000006af: GASPRICE
000006b0: KECCAK256
000006b1: PUSH10 0x6e73756666696369656e
000006bc: PUSH21 0x2062616c616e636520666f722063616c6c53616665
000006d2: GASLIMIT
000006d3: MSTORE
000006d4: NUMBER
000006d5: ORIGIN
000006d6: ADDRESS
000006d7: GASPRICE
000006d8: KECCAK256
000006d9: GASLIMIT
000006da: MSTORE
000006db: NUMBER
000006dc: ORIGIN
000006dd: ADDRESS
000006de: KECCAK256
000006df: PUSH16 0x7065726174696f6e20646964206e6f74
000006f0: KECCAK256
000006f1: PUSH20 0x756363656564a2646970667358221220ea706c72
00000706: LOG1
00000707: UNKNOWN(0x0E)
00000708: NUMBER
00000709: UNKNOWN(0xE3)
0000070a: MSIZE
0000070b: UNKNOWN(0x2B)
0000070c: CALLER
0000070d: SLOAD
0000070e: PUSH21 0xb51823bc3b3c29ec466b46084bd43f6fd9dd0d6473
00000724: PUSH16

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no —
view
validation_json 
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x2fdcfbd2",
            "selector": "0x2fdcfbd2",
            "calldata_variants": [
                "0x2fdcfbd2",
                "0x2fdcfbd20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e71e0c8",
            "selector": "0x4e71e0c8",
            "calldata_variants": [
                "0x4e71e0c8",
                "0x4e71e0c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc1756a2c",
            "selector": "0xc1756a2c",
            "calldata_variants": [
                "0xc1756a2c",
                "0xc1756a2c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 1749,
            "type": "tx_origin_used"
        },
        {
            "pc": 1756,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x7fed82554733be883003659923eb533863c88f0385878d1d675bf062f5f8ed30
call_targets: 0xaa360bd89ac14533940114cf7205ddf5e0ca7fa6
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7fed82554733be883003659923eb533863c88f0385878d1d675bf062f5f8ed30",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xaa360bd89ac14533940114cf7205ddf5e0ca7fa6"
    ],
    "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": "0x2fdcfbd2",
            "selector": "0x2fdcfbd2",
            "calldata_variants": [
                "0x2fdcfbd2",
                "0x2fdcfbd20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e71e0c8",
            "selector": "0x4e71e0c8",
            "calldata_variants": [
                "0x4e71e0c8",
                "0x4e71e0c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc1756a2c",
            "selector": "0xc1756a2c",
            "calldata_variants": [
                "0xc1756a2c",
                "0xc1756a2c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 671,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1453,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 1749,
            "type": "tx_origin_used"
        },
        {
            "pc": 1756,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x7fed82554733be883003659923eb533863c88f0385878d1d675bf062f5f8ed30
call_targets: 0xaa360bd89ac14533940114cf7205ddf5e0ca7fa6
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7fed82554733be883003659923eb533863c88f0385878d1d675bf062f5f8ed30",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xaa360bd89ac14533940114cf7205ddf5e0ca7fa6"
    ],
    "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": "0x2fdcfbd2",
            "selector": "0x2fdcfbd2",
            "calldata_variants": [
                "0x2fdcfbd2",
                "0x2fdcfbd20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e71e0c8",
            "selector": "0x4e71e0c8",
            "calldata_variants": [
                "0x4e71e0c8",
                "0x4e71e0c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc1756a2c",
            "selector": "0xc1756a2c",
            "calldata_variants": [
                "0xc1756a2c",
                "0xc1756a2c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 671,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1453,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 1749,
            "type": "tx_origin_used"
        },
        {
            "pc": 1756,
            "type": "tx_origin_used"
        }
    ]
}