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

Analysis Run

019b477e-c5e6-721c-a867-82472464d834

complete
Chain ID
1
Address
0xd6af2a0c2a22df3b6a7410f0f432c503d8ab19ca
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
25677 artifact.fetch complete 1 / 3 3 months ago
25678 tool.cast_disasm complete 1 / 3 3 months ago
68962 analysis.bundle complete 1 / 3 2 weeks ago
68963 capability.graph complete 1 / 3 2 weeks ago
68964 detector.run complete 1 / 3 2 weeks ago
68965 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)
3
EXT*/BALANCE
3
Total opcodes
1155
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 0x007f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x760a2e8a
00000019: GT
0000001a: PUSH2 0x004e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x760a2e8a
00000024: EQ
00000025: PUSH2 0x0118
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8da5cb5b
0000002f: EQ
00000030: PUSH2 0x0148
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xbfc12c05
0000003a: EQ
0000003b: PUSH2 0x0170
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x0186
00000049: JUMPI
0000004a: PUSH1 0x00
0000004c: DUP1
0000004d: REVERT
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x1514617e
00000055: EQ
00000056: PUSH2 0x008b
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x51cff8d9
00000060: EQ
00000061: PUSH2 0x00b4
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x5345f17a
0000006b: EQ
0000006c: PUSH2 0x00d6
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x715018a6
00000076: EQ
00000077: PUSH2 0x0103
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: CALLDATASIZE
00000081: PUSH2 0x0086
00000084: JUMPI
00000085: STOP
00000086: JUMPDEST
00000087: PUSH1 0x00
00000089: DUP1
0000008a: REVERT
0000008b: JUMPDEST
0000008c: CALLVALUE
0000008d: DUP1
0000008e: ISZERO
0000008f: PUSH2 0x0097
00000092: JUMPI
00000093: PUSH1 0x00
00000095: DUP1
00000096: REVERT
00000097: JUMPDEST
00000098: POP
00000099: PUSH2 0x00a1
0000009c: PUSH1 0x02
0000009e: SLOAD
0000009f: DUP2
000000a0: JUMP
000000a1: JUMPDEST
000000a2: PUSH1 0x40
000000a4: MLOAD
000000a5: SWAP1
000000a6: DUP2
000000a7: MSTORE
000000a8: PUSH1 0x20
000000aa: ADD
000000ab: JUMPDEST
000000ac: PUSH1 0x40
000000ae: MLOAD
000000af: DUP1
000000b0: SWAP2
000000b1: SUB
000000b2: SWAP1
000000b3: RETURN
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 0x00d4
000000c5: PUSH2 0x00cf
000000c8: CALLDATASIZE
000000c9: PUSH1 0x04
000000cb: PUSH2 0x06c6
000000ce: JUMP
000000cf: JUMPDEST
000000d0: PUSH2 0x01a6
000000d3: JUMP
000000d4: JUMPDEST
000000d5: STOP
000000d6: JUMPDEST
000000d7: CALLVALUE
000000d8: DUP1
000000d9: ISZERO
000000da: PUSH2 0x00e2
000000dd: JUMPI
000000de: PUSH1 0x00
000000e0: DUP1
000000e1: REVERT
000000e2: JUMPDEST
000000e3: POP
000000e4: PUSH2 0x00a1
000000e7: PUSH2 0x00f1
000000ea: CALLDATASIZE
000000eb: PUSH1 0x04
000000ed: PUSH2 0x06c6
000000f0: JUMP
000000f1: JUMPDEST
000000f2: PUSH1 0x04
000000f4: PUSH1 0x20
000000f6: MSTORE
000000f7: PUSH1 0x00
000000f9: SWAP1
000000fa: DUP2
000000fb: MSTORE
000000fc: PUSH1 0x40
000000fe: SWAP1
000000ff: KECCAK256
00000100: SLOAD
00000101: DUP2
00000102: JUMP
00000103: JUMPDEST
00000104: CALLVALUE
00000105: DUP1
00000106: ISZERO
00000107: PUSH2 0x010f
0000010a: JUMPI
0000010b: PUSH1 0x00
0000010d: DUP1
0000010e: REVERT
0000010f: JUMPDEST
00000110: POP
00000111: PUSH2 0x00d4
00000114: PUSH2 0x03cd
00000117: JUMP
00000118: JUMPDEST
00000119: CALLVALUE
0000011a: DUP1
0000011b: ISZERO
0000011c: PUSH2 0x0124
0000011f: JUMPI
00000120: PUSH1 0x00
00000122: DUP1
00000123: REVERT
00000124: JUMPDEST
00000125: POP
00000126: PUSH2 0x0138
00000129: PUSH2 0x0133
0000012c: CALLDATASIZE
0000012d: PUSH1 0x04
0000012f: PUSH2 0x06c6
00000132: JUMP
00000133: JUMPDEST
00000134: PUSH2 0x0433
00000137: JUMP
00000138: JUMPDEST
00000139: PUSH1 0x40
0000013b: MLOAD
0000013c: SWAP1
0000013d: ISZERO
0000013e: ISZERO
0000013f: DUP2
00000140: MSTORE
00000141: PUSH1 0x20
00000143: ADD
00000144: PUSH2 0x00ab
00000147: JUMP
00000148: JUMPDEST
00000149: CALLVALUE
0000014a: DUP1
0000014b: ISZERO
0000014c: PUSH2 0x0154
0000014f: JUMPI
00000150: PUSH1 0x00
00000152: DUP1
00000153: REVERT
00000154: JUMPDEST
00000155: POP
00000156: PUSH1 0x00
00000158: SLOAD
00000159: PUSH1 0x40
0000015b: MLOAD
0000015c: PUSH1 0x01
0000015e: PUSH1 0x01
00000160: PUSH1 0xa0
00000162: SHL
00000163: SUB
00000164: SWAP1
00000165: SWAP2
00000166: AND
00000167: DUP2
00000168: MSTORE
00000169: PUSH1 0x20
0000016b: ADD
0000016c: PUSH2 0x00ab
0000016f: JUMP
00000170: JUMPDEST
00000171: CALLVALUE
00000172: DUP1
00000173: ISZERO
00000174: PUSH2 0x017c
00000177: JUMPI
00000178: PUSH1 0x00
0000017a: DUP1
0000017b: REVERT
0000017c: JUMPDEST
0000017d: POP
0000017e: PUSH2 0x00a1
00000181: PUSH1 0x03
00000183: SLOAD
00000184: DUP2
00000185: JUMP
00000186: JUMPDEST
00000187: CALLVALUE
00000188: DUP1
00000189: ISZERO
0000018a: PUSH2 0x0192
0000018d: JUMPI
0000018e: PUSH1 0x00
00000190: DUP1
00000191: REVERT
00000192: JUMPDEST
00000193: POP
00000194: PUSH2 0x00d4
00000197: PUSH2 0x01a1
0000019a: CALLDATASIZE
0000019b: PUSH1 0x04
0000019d: PUSH2 0x06c6
000001a0: JUMP
000001a1: JUMPDEST
000001a2: PUSH2 0x048d
000001a5: JUMP
000001a6: JUMPDEST
000001a7: PUSH1 0x02
000001a9: PUSH1 0x01
000001ab: SLOAD
000001ac: EQ
000001ad: ISZERO
000001ae: PUSH2 0x01fe
000001b1: JUMPI
000001b2: PUSH1 0x40
000001b4: MLOAD
000001b5: PUSH3 0x461bcd
000001b9: PUSH1 0xe5
000001bb: SHL
000001bc: DUP2
000001bd: MSTORE
000001be: PUSH1 0x20
000001c0: PUSH1 0x04
000001c2: DUP3
000001c3: ADD
000001c4: MSTORE
000001c5: PUSH1 0x1f
000001c7: PUSH1 0x24
000001c9: DUP3
000001ca: ADD
000001cb: MSTORE
000001cc: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000001ed: PUSH1 0x44
000001ef: DUP3
000001f0: ADD
000001f1: MSTORE
000001f2: PUSH1 0x64
000001f4: ADD
000001f5: JUMPDEST
000001f6: PUSH1 0x40
000001f8: MLOAD
000001f9: DUP1
000001fa: SWAP2
000001fb: SUB
000001fc: SWAP1
000001fd: REVERT
000001fe: JUMPDEST
000001ff: PUSH1 0x02
00000201: PUSH1 0x01
00000203: SSTORE
00000204: PUSH2 0x020c
00000207: DUP2
00000208: PUSH2 0x0433
0000020b: JUMP
0000020c: JUMPDEST
0000020d: PUSH2 0x0258
00000210: JUMPI
00000211: PUSH1 0x40
00000213: MLOAD
00000214: PUSH3 0x461bcd
00000218: PUSH1 0xe5
0000021a: SHL
0000021b: DUP2
0000021c: MSTORE
0000021d: PUSH1 0x20
0000021f: PUSH1 0x04
00000221: DUP3
00000222: ADD
00000223: MSTORE
00000224: PUSH1 0x17
00000226: PUSH1 0x24
00000228: DUP3
00000229: ADD
0000022a: MSTORE
0000022b: PUSH32 0x56455354494e473a206e6f742079657420766573746564000000000000000000
0000024c: PUSH1 0x44
0000024e: DUP3
0000024f: ADD
00000250: MSTORE
00000251: PUSH1 0x64
00000253: ADD
00000254: PUSH2 0x01f5
00000257: JUMP
00000258: JUMPDEST
00000259: PUSH1 0x01
0000025b: PUSH1 0x01
0000025d: PUSH1 0xa0
0000025f: SHL
00000260: SUB
00000261: DUP2
00000262: AND
00000263: PUSH1 0x00
00000265: DUP2
00000266: DUP2
00000267: MSTORE
00000268: PUSH1 0x04
0000026a: PUSH1 0x20
0000026c: MSTORE
0000026d: PUSH1 0x40
0000026f: SWAP1
00000270: KECCAK256
00000271: TIMESTAMP
00000272: SWAP1
00000273: SSTORE
00000274: PUSH2 0x02a1
00000277: JUMPI
00000278: PUSH2 0x029c
0000027b: PUSH2 0x028c
0000027e: PUSH1 0x00
00000280: SLOAD
00000281: PUSH1 0x01
00000283: PUSH1 0x01
00000285: PUSH1 0xa0
00000287: SHL
00000288: SUB
00000289: AND
0000028a: SWAP1
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH2 0x0297
00000290: PUSH1 0x02
00000292: SELFBALANCE
00000293: PUSH2 0x06f6
00000296: JUMP
00000297: JUMPDEST
00000298: PUSH2 0x0558
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH2 0x03c6
000002a0: JUMP
000002a1: JUMPDEST
000002a2: DUP1
000002a3: PUSH1 0x01
000002a5: PUSH1 0x01
000002a7: PUSH1 0xa0
000002a9: SHL
000002aa: SUB
000002ab: AND
000002ac: PUSH4 0xa9059cbb
000002b1: PUSH2 0x02c2
000002b4: PUSH1 0x00
000002b6: SLOAD
000002b7: PUSH1 0x01
000002b9: PUSH1 0x01
000002bb: PUSH1 0xa0
000002bd: SHL
000002be: SUB
000002bf: AND
000002c0: SWAP1
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH1 0x40
000002c5: MLOAD
000002c6: PUSH4 0x70a08231
000002cb: PUSH1 0xe0
000002cd: SHL
000002ce: DUP2
000002cf: MSTORE
000002d0: ADDRESS
000002d1: PUSH1 0x04
000002d3: DUP3
000002d4: ADD
000002d5: MSTORE
000002d6: PUSH1 0x02
000002d8: SWAP1
000002d9: PUSH1 0x01
000002db: PUSH1 0x01
000002dd: PUSH1 0xa0
000002df: SHL
000002e0: SUB
000002e1: DUP7
000002e2: AND
000002e3: SWAP1
000002e4: PUSH4 0x70a08231
000002e9: SWAP1
000002ea: PUSH1 0x24
000002ec: ADD
000002ed: PUSH1 0x20
000002ef: PUSH1 0x40
000002f1: MLOAD
000002f2: DUP1
000002f3: DUP4
000002f4: SUB
000002f5: DUP2
000002f6: DUP7
000002f7: DUP1
000002f8: EXTCODESIZE
000002f9: ISZERO
000002fa: DUP1
000002fb: ISZERO
000002fc: PUSH2 0x0304
000002ff: JUMPI
00000300: PUSH1 0x00
00000302: DUP1
00000303: REVERT
00000304: JUMPDEST
00000305: POP
00000306: GAS
00000307: STATICCALL
00000308: ISZERO
00000309: DUP1
0000030a: ISZERO
0000030b: PUSH2 0x0318
0000030e: JUMPI
0000030f: RETURNDATASIZE
00000310: PUSH1 0x00
00000312: DUP1
00000313: RETURNDATACOPY
00000314: RETURNDATASIZE
00000315: PUSH1 0x00
00000317: REVERT
00000318: JUMPDEST
00000319: POP
0000031a: POP
0000031b: POP
0000031c: POP
0000031d: PUSH1 0x40
0000031f: MLOAD
00000320: RETURNDATASIZE
00000321: PUSH1 0x1f
00000323: NOT
00000324: PUSH1 0x1f
00000326: DUP3
00000327: ADD
00000328: AND
00000329: DUP3
0000032a: ADD
0000032b: DUP1
0000032c: PUSH1 0x40
0000032e: MSTORE
0000032f: POP
00000330: DUP2
00000331: ADD
00000332: SWAP1
00000333: PUSH2 0x033c
00000336: SWAP2
00000337: SWAP1
00000338: PUSH2 0x0718
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH2 0x0346
00000340: SWAP2
00000341: SWAP1
00000342: PUSH2 0x06f6
00000345: JUMP
00000346: JUMPDEST
00000347: PUSH1 0x40
00000349: MLOAD
0000034a: PUSH1 0x01
0000034c: PUSH1 0x01
0000034e: PUSH1 0xe0
00000350: SHL
00000351: SUB
00000352: NOT
00000353: PUSH1 0xe0
00000355: DUP6
00000356: SWAP1
00000357: SHL
00000358: AND
00000359: DUP2
0000035a: MSTORE
0000035b: PUSH1 0x01
0000035d: PUSH1 0x01
0000035f: PUSH1 0xa0
00000361: SHL
00000362: SUB
00000363: SWAP1
00000364: SWAP3
00000365: AND
00000366: PUSH1 0x04
00000368: DUP4
00000369: ADD
0000036a: MSTORE
0000036b: PUSH1 0x24
0000036d: DUP3
0000036e: ADD
0000036f: MSTORE
00000370: PUSH1 0x44
00000372: ADD
00000373: PUSH1 0x20
00000375: PUSH1 0x40
00000377: MLOAD
00000378: DUP1
00000379: DUP4
0000037a: SUB
0000037b: DUP2
0000037c: PUSH1 0x00
0000037e: DUP8
0000037f: DUP1
00000380: EXTCODESIZE
00000381: ISZERO
00000382: DUP1
00000383: ISZERO
00000384: PUSH2 0x038c
00000387: JUMPI
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: POP
0000038e: GAS
0000038f: CALL
00000390: ISZERO
00000391: DUP1
00000392: ISZERO
00000393: PUSH2 0x03a0
00000396: JUMPI
00000397: RETURNDATASIZE
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: RETURNDATACOPY
0000039c: RETURNDATASIZE
0000039d: PUSH1 0x00
0000039f: REVERT
000003a0: JUMPDEST
000003a1: POP
000003a2: POP
000003a3: POP
000003a4: POP
000003a5: PUSH1 0x40
000003a7: MLOAD
000003a8: RETURNDATASIZE
000003a9: PUSH1 0x1f
000003ab: NOT
000003ac: PUSH1 0x1f
000003ae: DUP3
000003af: ADD
000003b0: AND
000003b1: DUP3
000003b2: ADD
000003b3: DUP1
000003b4: PUSH1 0x40
000003b6: MSTORE
000003b7: POP
000003b8: DUP2
000003b9: ADD
000003ba: SWAP1
000003bb: PUSH2 0x03c4
000003be: SWAP2
000003bf: SWAP1
000003c0: PUSH2 0x0731
000003c3: JUMP
000003c4: JUMPDEST
000003c5: POP
000003c6: JUMPDEST
000003c7: POP
000003c8: PUSH1 0x01
000003ca: DUP1
000003cb: SSTORE
000003cc: JUMP
000003cd: JUMPDEST
000003ce: PUSH1 0x00
000003d0: SLOAD
000003d1: PUSH1 0x01
000003d3: PUSH1 0x01
000003d5: PUSH1 0xa0
000003d7: SHL
000003d8: SUB
000003d9: AND
000003da: CALLER
000003db: EQ
000003dc: PUSH2 0x0427
000003df: JUMPI
000003e0: PUSH1 0x40
000003e2: MLOAD
000003e3: PUSH3 0x461bcd
000003e7: PUSH1 0xe5
000003e9: SHL
000003ea: DUP2
000003eb: MSTORE
000003ec: PUSH1 0x20
000003ee: PUSH1 0x04
000003f0: DUP3
000003f1: ADD
000003f2: DUP2
000003f3: SWAP1
000003f4: MSTORE
000003f5: PUSH1 0x24
000003f7: DUP3
000003f8: ADD
000003f9: MSTORE
000003fa: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000041b: PUSH1 0x44
0000041d: DUP3
0000041e: ADD
0000041f: MSTORE
00000420: PUSH1 0x64
00000422: ADD
00000423: PUSH2 0x01f5
00000426: JUMP
00000427: JUMPDEST
00000428: PUSH2 0x0431
0000042b: PUSH1 0x00
0000042d: PUSH2 0x0676
00000430: JUMP
00000431: JUMPDEST
00000432: JUMP
00000433: JUMPDEST
00000434: PUSH1 0x01
00000436: PUSH1 0x01
00000438: PUSH1 0xa0
0000043a: SHL
0000043b: SUB
0000043c: DUP2
0000043d: AND
0000043e: PUSH1 0x00
00000440: SWAP1
00000441: DUP2
00000442: MSTORE
00000443: PUSH1 0x04
00000445: PUSH1 0x20
00000447: MSTORE
00000448: PUSH1 0x40
0000044a: DUP2
0000044b: KECCAK256
0000044c: SLOAD
0000044d: DUP2
0000044e: SWAP1
0000044f: PUSH2 0x045b
00000452: JUMPI
00000453: POP
00000454: PUSH1 0x03
00000456: SLOAD
00000457: PUSH2 0x0476
0000045a: JUMP
0000045b: JUMPDEST
0000045c: POP
0000045d: PUSH1 0x01
0000045f: PUSH1 0x01
00000461: PUSH1 0xa0
00000463: SHL
00000464: SUB
00000465: DUP3
00000466: AND
00000467: PUSH1 0x00
00000469: SWAP1
0000046a: DUP2
0000046b: MSTORE
0000046c: PUSH1 0x04
0000046e: PUSH1 0x20
00000470: MSTORE
00000471: PUSH1 0x40
00000473: SWAP1
00000474: KECCAK256
00000475: SLOAD
00000476: JUMPDEST
00000477: TIMESTAMP
00000478: PUSH1 0x02
0000047a: SLOAD
0000047b: DUP3
0000047c: PUSH2 0x0485
0000047f: SWAP2
00000480: SWAP1
00000481: PUSH2 0x0753
00000484: JUMP
00000485: JUMPDEST
00000486: LT
00000487: SWAP4
00000488: SWAP3
00000489: POP
0000048a: POP
0000048b: POP
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH1 0x00
00000490: SLOAD
00000491: PUSH1 0x01
00000493: PUSH1 0x01
00000495: PUSH1 0xa0
00000497: SHL
00000498: SUB
00000499: AND
0000049a: CALLER
0000049b: EQ
0000049c: PUSH2 0x04e7
0000049f: JUMPI
000004a0: PUSH1 0x40
000004a2: MLOAD
000004a3: PUSH3 0x461bcd
000004a7: PUSH1 0xe5
000004a9: SHL
000004aa: DUP2
000004ab: MSTORE
000004ac: PUSH1 0x20
000004ae: PUSH1 0x04
000004b0: DUP3
000004b1: ADD
000004b2: DUP2
000004b3: SWAP1
000004b4: MSTORE
000004b5: PUSH1 0x24
000004b7: DUP3
000004b8: ADD
000004b9: MSTORE
000004ba: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000004db: PUSH1 0x44
000004dd: DUP3
000004de: ADD
000004df: MSTORE
000004e0: PUSH1 0x64
000004e2: ADD
000004e3: PUSH2 0x01f5
000004e6: JUMP
000004e7: JUMPDEST
000004e8: PUSH1 0x01
000004ea: PUSH1 0x01
000004ec: PUSH1 0xa0
000004ee: SHL
000004ef: SUB
000004f0: DUP2
000004f1: AND
000004f2: PUSH2 0x054c
000004f5: JUMPI
000004f6: PUSH1 0x40
000004f8: MLOAD
000004f9: PUSH3 0x461bcd
000004fd: PUSH1 0xe5
000004ff: SHL
00000500: DUP2
00000501: MSTORE
00000502: PUSH1 0x20
00000504: PUSH1 0x04
00000506: DUP3
00000507: ADD
00000508: MSTORE
00000509: PUSH1 0x26
0000050b: PUSH1 0x24
0000050d: DUP3
0000050e: ADD
0000050f: MSTORE
00000510: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000531: PUSH1 0x44
00000533: DUP3
00000534: ADD
00000535: MSTORE
00000536: PUSH6 0x646472657373
0000053d: PUSH1 0xd0
0000053f: SHL
00000540: PUSH1 0x64
00000542: DUP3
00000543: ADD
00000544: MSTORE
00000545: PUSH1 0x84
00000547: ADD
00000548: PUSH2 0x01f5
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH2 0x0555
00000550: DUP2
00000551: PUSH2 0x0676
00000554: JUMP
00000555: JUMPDEST
00000556: POP
00000557: JUMP
00000558: JUMPDEST
00000559: DUP1
0000055a: SELFBALANCE
0000055b: LT
0000055c: ISZERO
0000055d: PUSH2 0x05a8
00000560: JUMPI
00000561: PUSH1 0x40
00000563: MLOAD
00000564: PUSH3 0x461bcd
00000568: PUSH1 0xe5
0000056a: SHL
0000056b: DUP2
0000056c: MSTORE
0000056d: PUSH1 0x20
0000056f: PUSH1 0x04
00000571: DUP3
00000572: ADD
00000573: MSTORE
00000574: PUSH1 0x1d
00000576: PUSH1 0x24
00000578: DUP3
00000579: ADD
0000057a: MSTORE
0000057b: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
0000059c: PUSH1 0x44
0000059e: DUP3
0000059f: ADD
000005a0: MSTORE
000005a1: PUSH1 0x64
000005a3: ADD
000005a4: PUSH2 0x01f5
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH1 0x00
000005ab: DUP3
000005ac: PUSH1 0x01
000005ae: PUSH1 0x01
000005b0: PUSH1 0xa0
000005b2: SHL
000005b3: SUB
000005b4: AND
000005b5: DUP3
000005b6: PUSH1 0x40
000005b8: MLOAD
000005b9: PUSH1 0x00
000005bb: PUSH1 0x40
000005bd: MLOAD
000005be: DUP1
000005bf: DUP4
000005c0: SUB
000005c1: DUP2
000005c2: DUP6
000005c3: DUP8
000005c4: GAS
000005c5: CALL
000005c6: SWAP3
000005c7: POP
000005c8: POP
000005c9: POP
000005ca: RETURNDATASIZE
000005cb: DUP1
000005cc: PUSH1 0x00
000005ce: DUP2
000005cf: EQ
000005d0: PUSH2 0x05f5
000005d3: JUMPI
000005d4: PUSH1 0x40
000005d6: MLOAD
000005d7: SWAP2
000005d8: POP
000005d9: PUSH1 0x1f
000005db: NOT
000005dc: PUSH1 0x3f
000005de: RETURNDATASIZE
000005df: ADD
000005e0: AND
000005e1: DUP3
000005e2: ADD
000005e3: PUSH1 0x40
000005e5: MSTORE
000005e6: RETURNDATASIZE
000005e7: DUP3
000005e8: MSTORE
000005e9: RETURNDATASIZE
000005ea: PUSH1 0x00
000005ec: PUSH1 0x20
000005ee: DUP5
000005ef: ADD
000005f0: RETURNDATACOPY
000005f1: PUSH2 0x05fa
000005f4: JUMP
000005f5: JUMPDEST
000005f6: PUSH1 0x60
000005f8: SWAP2
000005f9: POP
000005fa: JUMPDEST
000005fb: POP
000005fc: POP
000005fd: SWAP1
000005fe: POP
000005ff: DUP1
00000600: PUSH2 0x0671
00000603: JUMPI
00000604: PUSH1 0x40
00000606: MLOAD
00000607: PUSH3 0x461bcd
0000060b: PUSH1 0xe5
0000060d: SHL
0000060e: DUP2
0000060f: MSTORE
00000610: PUSH1 0x20
00000612: PUSH1 0x04
00000614: DUP3
00000615: ADD
00000616: MSTORE
00000617: PUSH1 0x3a
00000619: PUSH1 0x24
0000061b: DUP3
0000061c: ADD
0000061d: MSTORE
0000061e: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
0000063f: PUSH1 0x44
00000641: DUP3
00000642: ADD
00000643: MSTORE
00000644: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00000665: PUSH1 0x64
00000667: DUP3
00000668: ADD
00000669: MSTORE
0000066a: PUSH1 0x84
0000066c: ADD
0000066d: PUSH2 0x01f5
00000670: JUMP
00000671: JUMPDEST
00000672: POP
00000673: POP
00000674: POP
00000675: JUMP
00000676: JUMPDEST
00000677: PUSH1 0x00
00000679: DUP1
0000067a: SLOAD
0000067b: PUSH1 0x01
0000067d: PUSH1 0x01
0000067f: PUSH1 0xa0
00000681: SHL
00000682: SUB
00000683: DUP4
00000684: DUP2
00000685: AND
00000686: PUSH1 0x01
00000688: PUSH1 0x01
0000068a: PUSH1 0xa0
0000068c: SHL
0000068d: SUB
0000068e: NOT
0000068f: DUP4
00000690: AND
00000691: DUP2
00000692: OR
00000693: DUP5
00000694: SSTORE
00000695: PUSH1 0x40
00000697: MLOAD
00000698: SWAP2
00000699: SWAP1
0000069a: SWAP3
0000069b: AND
0000069c: SWAP3
0000069d: DUP4
0000069e: SWAP2
0000069f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000006c0: SWAP2
000006c1: SWAP1
000006c2: LOG3
000006c3: POP
000006c4: POP
000006c5: JUMP
000006c6: JUMPDEST
000006c7: PUSH1 0x00
000006c9: PUSH1 0x20
000006cb: DUP3
000006cc: DUP5
000006cd: SUB
000006ce: SLT
000006cf: ISZERO
000006d0: PUSH2 0x06d8
000006d3: JUMPI
000006d4: PUSH1 0x00
000006d6: DUP1
000006d7: REVERT
000006d8: JUMPDEST
000006d9: DUP2
000006da: CALLDATALOAD
000006db: PUSH1 0x01
000006dd: PUSH1 0x01
000006df: PUSH1 0xa0
000006e1: SHL
000006e2: SUB
000006e3: DUP2
000006e4: AND
000006e5: DUP2
000006e6: EQ
000006e7: PUSH2 0x06ef
000006ea: JUMPI
000006eb: PUSH1 0x00
000006ed: DUP1
000006ee: REVERT
000006ef: JUMPDEST
000006f0: SWAP4
000006f1: SWAP3
000006f2: POP
000006f3: POP
000006f4: POP
000006f5: JUMP
000006f6: JUMPDEST
000006f7: PUSH1 0x00
000006f9: DUP3
000006fa: PUSH2 0x0713
000006fd: JUMPI
000006fe: PUSH4 0x4e487b71
00000703: PUSH1 0xe0
00000705: SHL
00000706: PUSH1 0x00
00000708: MSTORE
00000709: PUSH1 0x12
0000070b: PUSH1 0x04
0000070d: MSTORE
0000070e: PUSH1 0x24
00000710: PUSH1 0x00
00000712: REVERT
00000713: JUMPDEST
00000714: POP
00000715: DIV
00000716: SWAP1
00000717: JUMP
00000718: JUMPDEST
00000719: PUSH1 0x00
0000071b: PUSH1 0x20
0000071d: DUP3
0000071e: DUP5
0000071f: SUB
00000720: SLT
00000721: ISZERO
00000722: PUSH2 0x072a
00000725: JUMPI
00000726: PUSH1 0x00
00000728: DUP1
00000729: REVERT
0000072a: JUMPDEST
0000072b: POP
0000072c: MLOAD
0000072d: SWAP2
0000072e: SWAP1
0000072f: POP
00000730: JUMP
00000731: JUMPDEST
00000732: PUSH1 0x00
00000734: PUSH1 0x20
00000736: DUP3
00000737: DUP5
00000738: SUB
00000739: SLT
0000073a: ISZERO
0000073b: PUSH2 0x0743
0000073e: JUMPI
0000073f: PUSH1 0x00
00000741: DUP1
00000742: REVERT
00000743: JUMPDEST
00000744: DUP2
00000745: MLOAD
00000746: DUP1
00000747: ISZERO
00000748: ISZERO
00000749: DUP2
0000074a: EQ
0000074b: PUSH2 0x06ef
0000074e: JUMPI
0000074f: PUSH1 0x00
00000751: DUP1
00000752: REVERT
00000753: JUMPDEST
00000754: PUSH1 0x00
00000756: DUP3
00000757: NOT
00000758: DUP3
00000759: GT
0000075a: ISZERO
0000075b: PUSH2 0x0774
0000075e: JUMPI
0000075f: PUSH4 0x4e487b71
00000764: PUSH1 0xe0
00000766: SHL
00000767: PUSH1 0x00
00000769: MSTORE
0000076a: PUSH1 0x11
0000076c: PUSH1 0x04
0000076e: MSTORE
0000076f: PUSH1 0x24
00000771: PUSH1 0x00
00000773: REVERT
00000774: JUMPDEST
00000775: POP
00000776: ADD
00000777: SWAP1
00000778: JUMP
00000779: INVALID
0000077a: LOG2
0000077b: PUSH5 0x6970667358
00000781: UNKNOWN(0x22)
00000782: SLT
00000783: KECCAK256
00000784: RETURN
00000785: UNKNOWN(0x0C)
00000786: UNKNOWN(0xB4)
00000787: LOG1
00000788: SWAP6
00000789: PUSH5 0x6a09e31a66
0000078f: UNKNOWN(0xB6)
00000790: UNKNOWN(0xE6)
00000791: UNKNOWN(0xD4)
00000792: UNKNOWN(0xAE)
00000793: UNKNOWN(0xBF)
00000794: UNKNOWN(0xD3)
00000795: UNKNOWN(0xA8)
00000796: ORIGIN
00000797: SWAP4
00000798: UNKNOWN(0x23)
00000799: RETURNDATASIZE
0000079a: GASLIMIT
0000079b: UNKNOWN(0xEB)
0000079c: RETURNDATASIZE
0000079d: EXTCODESIZE
0000079e: SWAP16
0000079f: PUSH19

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": "0x760a2e8a",
            "selector": "0x760a2e8a",
            "calldata_variants": [
                "0x760a2e8a",
                "0x760a2e8a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbfc12c05",
            "selector": "0xbfc12c05",
            "calldata_variants": [
                "0xbfc12c05",
                "0xbfc12c050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1514617e",
            "selector": "0x1514617e",
            "calldata_variants": [
                "0x1514617e",
                "0x1514617e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x51cff8d9",
            "selector": "0x51cff8d9",
            "calldata_variants": [
                "0x51cff8d9",
                "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5345f17a",
            "selector": "0x5345f17a",
            "calldata_variants": [
                "0x5345f17a",
                "0x5345f17a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 1942,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xdfc75a93f328a16061c4b89185bb05b238642ab3d7901ae1b77dcaf027010369
call_targets: 0xd6af2a0c2a22df3b6a7410f0f432c503d8ab19ca
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xdfc75a93f328a16061c4b89185bb05b238642ab3d7901ae1b77dcaf027010369",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd6af2a0c2a22df3b6a7410f0f432c503d8ab19ca"
    ],
    "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": "0x760a2e8a",
            "selector": "0x760a2e8a",
            "calldata_variants": [
                "0x760a2e8a",
                "0x760a2e8a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbfc12c05",
            "selector": "0xbfc12c05",
            "calldata_variants": [
                "0xbfc12c05",
                "0xbfc12c050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1514617e",
            "selector": "0x1514617e",
            "calldata_variants": [
                "0x1514617e",
                "0x1514617e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x51cff8d9",
            "selector": "0x51cff8d9",
            "calldata_variants": [
                "0x51cff8d9",
                "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5345f17a",
            "selector": "0x5345f17a",
            "calldata_variants": [
                "0x5345f17a",
                "0x5345f17a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 911,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1477,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 1942,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xdfc75a93f328a16061c4b89185bb05b238642ab3d7901ae1b77dcaf027010369
call_targets: 0xd6af2a0c2a22df3b6a7410f0f432c503d8ab19ca
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xdfc75a93f328a16061c4b89185bb05b238642ab3d7901ae1b77dcaf027010369",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd6af2a0c2a22df3b6a7410f0f432c503d8ab19ca"
    ],
    "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": "0x760a2e8a",
            "selector": "0x760a2e8a",
            "calldata_variants": [
                "0x760a2e8a",
                "0x760a2e8a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbfc12c05",
            "selector": "0xbfc12c05",
            "calldata_variants": [
                "0xbfc12c05",
                "0xbfc12c050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1514617e",
            "selector": "0x1514617e",
            "calldata_variants": [
                "0x1514617e",
                "0x1514617e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x51cff8d9",
            "selector": "0x51cff8d9",
            "calldata_variants": [
                "0x51cff8d9",
                "0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5345f17a",
            "selector": "0x5345f17a",
            "calldata_variants": [
                "0x5345f17a",
                "0x5345f17a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 911,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1477,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 1942,
            "type": "tx_origin_used"
        }
    ]
}