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

Analysis Run

019b477e-d6d4-7193-bac7-594d440d78f2

complete
Chain ID
1
Address
0xfdf7c22ca4704dfef46e7e5ef53dca1d5a9f8e12
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
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
28775 artifact.fetch complete 1 / 3 4 months ago
28776 tool.cast_disasm complete 1 / 3 4 months ago
71964 analysis.bundle complete 1 / 3 2 weeks ago
71965 capability.graph complete 1 / 3 2 weeks ago
71966 detector.run complete 1 / 3 2 weeks ago
71967 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
1400
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 0x007b
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x004e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x8da5cb5b
00000024: EQ
00000025: PUSH2 0x00f0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc3de453d
0000002f: EQ
00000030: PUSH2 0x0118
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: EQ
0000003b: PUSH2 0x012b
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf3fef3a3
00000045: EQ
00000046: PUSH2 0x014b
00000049: JUMPI
0000004a: PUSH1 0x00
0000004c: DUP1
0000004d: REVERT
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x3f4ba83a
00000055: EQ
00000056: PUSH2 0x0080
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x5c975abb
00000060: EQ
00000061: PUSH2 0x0097
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x715018a6
0000006b: EQ
0000006c: PUSH2 0x00c6
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x8456cb59
00000076: EQ
00000077: PUSH2 0x00db
0000007a: JUMPI
0000007b: JUMPDEST
0000007c: PUSH1 0x00
0000007e: DUP1
0000007f: REVERT
00000080: JUMPDEST
00000081: CALLVALUE
00000082: DUP1
00000083: ISZERO
00000084: PUSH2 0x008c
00000087: JUMPI
00000088: PUSH1 0x00
0000008a: DUP1
0000008b: REVERT
0000008c: JUMPDEST
0000008d: POP
0000008e: PUSH2 0x0095
00000091: PUSH2 0x016b
00000094: JUMP
00000095: JUMPDEST
00000096: STOP
00000097: JUMPDEST
00000098: CALLVALUE
00000099: DUP1
0000009a: ISZERO
0000009b: PUSH2 0x00a3
0000009e: JUMPI
0000009f: PUSH1 0x00
000000a1: DUP1
000000a2: REVERT
000000a3: JUMPDEST
000000a4: POP
000000a5: PUSH1 0x00
000000a7: SLOAD
000000a8: PUSH1 0x01
000000aa: PUSH1 0xa0
000000ac: SHL
000000ad: SWAP1
000000ae: DIV
000000af: PUSH1 0xff
000000b1: AND
000000b2: PUSH1 0x40
000000b4: MLOAD
000000b5: SWAP1
000000b6: ISZERO
000000b7: ISZERO
000000b8: DUP2
000000b9: MSTORE
000000ba: PUSH1 0x20
000000bc: ADD
000000bd: JUMPDEST
000000be: PUSH1 0x40
000000c0: MLOAD
000000c1: DUP1
000000c2: SWAP2
000000c3: SUB
000000c4: SWAP1
000000c5: RETURN
000000c6: JUMPDEST
000000c7: CALLVALUE
000000c8: DUP1
000000c9: ISZERO
000000ca: PUSH2 0x00d2
000000cd: JUMPI
000000ce: PUSH1 0x00
000000d0: DUP1
000000d1: REVERT
000000d2: JUMPDEST
000000d3: POP
000000d4: PUSH2 0x0095
000000d7: PUSH2 0x017d
000000da: JUMP
000000db: JUMPDEST
000000dc: CALLVALUE
000000dd: DUP1
000000de: ISZERO
000000df: PUSH2 0x00e7
000000e2: JUMPI
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: REVERT
000000e7: JUMPDEST
000000e8: POP
000000e9: PUSH2 0x0095
000000ec: PUSH2 0x018f
000000ef: JUMP
000000f0: JUMPDEST
000000f1: CALLVALUE
000000f2: DUP1
000000f3: ISZERO
000000f4: PUSH2 0x00fc
000000f7: JUMPI
000000f8: PUSH1 0x00
000000fa: DUP1
000000fb: REVERT
000000fc: JUMPDEST
000000fd: POP
000000fe: PUSH1 0x00
00000100: SLOAD
00000101: PUSH1 0x40
00000103: MLOAD
00000104: PUSH1 0x01
00000106: PUSH1 0x01
00000108: PUSH1 0xa0
0000010a: SHL
0000010b: SUB
0000010c: SWAP1
0000010d: SWAP2
0000010e: AND
0000010f: DUP2
00000110: MSTORE
00000111: PUSH1 0x20
00000113: ADD
00000114: PUSH2 0x00bd
00000117: JUMP
00000118: JUMPDEST
00000119: PUSH2 0x0095
0000011c: PUSH2 0x0126
0000011f: CALLDATASIZE
00000120: PUSH1 0x04
00000122: PUSH2 0x081a
00000125: JUMP
00000126: JUMPDEST
00000127: PUSH2 0x019f
0000012a: JUMP
0000012b: JUMPDEST
0000012c: CALLVALUE
0000012d: DUP1
0000012e: ISZERO
0000012f: PUSH2 0x0137
00000132: JUMPI
00000133: PUSH1 0x00
00000135: DUP1
00000136: REVERT
00000137: JUMPDEST
00000138: POP
00000139: PUSH2 0x0095
0000013c: PUSH2 0x0146
0000013f: CALLDATASIZE
00000140: PUSH1 0x04
00000142: PUSH2 0x0844
00000145: JUMP
00000146: JUMPDEST
00000147: PUSH2 0x0213
0000014a: JUMP
0000014b: JUMPDEST
0000014c: CALLVALUE
0000014d: DUP1
0000014e: ISZERO
0000014f: PUSH2 0x0157
00000152: JUMPI
00000153: PUSH1 0x00
00000155: DUP1
00000156: REVERT
00000157: JUMPDEST
00000158: POP
00000159: PUSH2 0x0095
0000015c: PUSH2 0x0166
0000015f: CALLDATASIZE
00000160: PUSH1 0x04
00000162: PUSH2 0x081a
00000165: JUMP
00000166: JUMPDEST
00000167: PUSH2 0x0291
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH2 0x0173
0000016f: PUSH2 0x036b
00000172: JUMP
00000173: JUMPDEST
00000174: PUSH2 0x017b
00000177: PUSH2 0x03c5
0000017a: JUMP
0000017b: JUMPDEST
0000017c: JUMP
0000017d: JUMPDEST
0000017e: PUSH2 0x0185
00000181: PUSH2 0x036b
00000184: JUMP
00000185: JUMPDEST
00000186: PUSH2 0x017b
00000189: PUSH1 0x00
0000018b: PUSH2 0x041a
0000018e: JUMP
0000018f: JUMPDEST
00000190: PUSH2 0x0197
00000193: PUSH2 0x036b
00000196: JUMP
00000197: JUMPDEST
00000198: PUSH2 0x017b
0000019b: PUSH2 0x046a
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH2 0x01a7
000001a3: PUSH2 0x04ad
000001a6: JUMP
000001a7: JUMPDEST
000001a8: PUSH1 0x01
000001aa: DUP1
000001ab: SLOAD
000001ac: PUSH32 0xbae8d9790f58e25e14068df64bc5c93f90f6e47df3d9a04353a2a057a0cc15a1
000001cd: SWAP2
000001ce: PUSH1 0x00
000001d0: PUSH2 0x01d8
000001d3: DUP4
000001d4: PUSH2 0x0866
000001d7: JUMP
000001d8: JUMPDEST
000001d9: SWAP1
000001da: SWAP2
000001db: SSTORE
000001dc: POP
000001dd: PUSH1 0x40
000001df: DUP1
000001e0: MLOAD
000001e1: SWAP2
000001e2: DUP3
000001e3: MSTORE
000001e4: CALLER
000001e5: PUSH1 0x20
000001e7: DUP4
000001e8: ADD
000001e9: MSTORE
000001ea: PUSH1 0x01
000001ec: PUSH1 0x01
000001ee: PUSH1 0xa0
000001f0: SHL
000001f1: SUB
000001f2: DUP6
000001f3: AND
000001f4: SWAP1
000001f5: DUP3
000001f6: ADD
000001f7: MSTORE
000001f8: CALLVALUE
000001f9: PUSH1 0x60
000001fb: DUP3
000001fc: ADD
000001fd: MSTORE
000001fe: PUSH1 0x80
00000200: DUP2
00000201: ADD
00000202: DUP4
00000203: SWAP1
00000204: MSTORE
00000205: PUSH1 0xa0
00000207: ADD
00000208: PUSH1 0x40
0000020a: MLOAD
0000020b: DUP1
0000020c: SWAP2
0000020d: SUB
0000020e: SWAP1
0000020f: LOG1
00000210: POP
00000211: POP
00000212: JUMP
00000213: JUMPDEST
00000214: PUSH2 0x021b
00000217: PUSH2 0x036b
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH1 0x01
0000021e: PUSH1 0x01
00000220: PUSH1 0xa0
00000222: SHL
00000223: SUB
00000224: DUP2
00000225: AND
00000226: PUSH2 0x0285
00000229: JUMPI
0000022a: PUSH1 0x40
0000022c: MLOAD
0000022d: PUSH3 0x461bcd
00000231: PUSH1 0xe5
00000233: SHL
00000234: DUP2
00000235: MSTORE
00000236: PUSH1 0x20
00000238: PUSH1 0x04
0000023a: DUP3
0000023b: ADD
0000023c: MSTORE
0000023d: PUSH1 0x26
0000023f: PUSH1 0x24
00000241: DUP3
00000242: ADD
00000243: MSTORE
00000244: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000265: PUSH1 0x44
00000267: DUP3
00000268: ADD
00000269: MSTORE
0000026a: PUSH6 0x646472657373
00000271: PUSH1 0xd0
00000273: SHL
00000274: PUSH1 0x64
00000276: DUP3
00000277: ADD
00000278: MSTORE
00000279: PUSH1 0x84
0000027b: ADD
0000027c: JUMPDEST
0000027d: PUSH1 0x40
0000027f: MLOAD
00000280: DUP1
00000281: SWAP2
00000282: SUB
00000283: SWAP1
00000284: REVERT
00000285: JUMPDEST
00000286: PUSH2 0x028e
00000289: DUP2
0000028a: PUSH2 0x041a
0000028d: JUMP
0000028e: JUMPDEST
0000028f: POP
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH2 0x0299
00000295: PUSH2 0x036b
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH1 0x01
0000029c: PUSH1 0x01
0000029e: PUSH1 0xa0
000002a0: SHL
000002a1: SUB
000002a2: DUP3
000002a3: AND
000002a4: PUSH2 0x0341
000002a7: JUMPI
000002a8: PUSH1 0x00
000002aa: DUP1
000002ab: SLOAD
000002ac: PUSH1 0x40
000002ae: MLOAD
000002af: PUSH1 0x01
000002b1: PUSH1 0x01
000002b3: PUSH1 0xa0
000002b5: SHL
000002b6: SUB
000002b7: SWAP1
000002b8: SWAP2
000002b9: AND
000002ba: SWAP1
000002bb: DUP4
000002bc: SWAP1
000002bd: DUP4
000002be: DUP2
000002bf: DUP2
000002c0: DUP2
000002c1: DUP6
000002c2: DUP8
000002c3: GAS
000002c4: CALL
000002c5: SWAP3
000002c6: POP
000002c7: POP
000002c8: POP
000002c9: RETURNDATASIZE
000002ca: DUP1
000002cb: PUSH1 0x00
000002cd: DUP2
000002ce: EQ
000002cf: PUSH2 0x02f4
000002d2: JUMPI
000002d3: PUSH1 0x40
000002d5: MLOAD
000002d6: SWAP2
000002d7: POP
000002d8: PUSH1 0x1f
000002da: NOT
000002db: PUSH1 0x3f
000002dd: RETURNDATASIZE
000002de: ADD
000002df: AND
000002e0: DUP3
000002e1: ADD
000002e2: PUSH1 0x40
000002e4: MSTORE
000002e5: RETURNDATASIZE
000002e6: DUP3
000002e7: MSTORE
000002e8: RETURNDATASIZE
000002e9: PUSH1 0x00
000002eb: PUSH1 0x20
000002ed: DUP5
000002ee: ADD
000002ef: RETURNDATACOPY
000002f0: PUSH2 0x02f9
000002f3: JUMP
000002f4: JUMPDEST
000002f5: PUSH1 0x60
000002f7: SWAP2
000002f8: POP
000002f9: JUMPDEST
000002fa: POP
000002fb: POP
000002fc: SWAP1
000002fd: POP
000002fe: DUP1
000002ff: PUSH2 0x033c
00000302: JUMPI
00000303: PUSH1 0x40
00000305: MLOAD
00000306: PUSH3 0x461bcd
0000030a: PUSH1 0xe5
0000030c: SHL
0000030d: DUP2
0000030e: MSTORE
0000030f: PUSH1 0x20
00000311: PUSH1 0x04
00000313: DUP3
00000314: ADD
00000315: MSTORE
00000316: PUSH1 0x0f
00000318: PUSH1 0x24
0000031a: DUP3
0000031b: ADD
0000031c: MSTORE
0000031d: PUSH15 0x15d2551211149055d7d19052531151
0000032d: PUSH1 0x8a
0000032f: SHL
00000330: PUSH1 0x44
00000332: DUP3
00000333: ADD
00000334: MSTORE
00000335: PUSH1 0x64
00000337: ADD
00000338: PUSH2 0x027c
0000033b: JUMP
0000033c: JUMPDEST
0000033d: POP
0000033e: POP
0000033f: POP
00000340: JUMP
00000341: JUMPDEST
00000342: PUSH2 0x0367
00000345: PUSH2 0x0356
00000348: PUSH1 0x00
0000034a: SLOAD
0000034b: PUSH1 0x01
0000034d: PUSH1 0x01
0000034f: PUSH1 0xa0
00000351: SHL
00000352: SUB
00000353: AND
00000354: SWAP1
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH1 0x01
00000359: PUSH1 0x01
0000035b: PUSH1 0xa0
0000035d: SHL
0000035e: SUB
0000035f: DUP5
00000360: AND
00000361: SWAP1
00000362: DUP4
00000363: PUSH2 0x04fa
00000366: JUMP
00000367: JUMPDEST
00000368: POP
00000369: POP
0000036a: JUMP
0000036b: JUMPDEST
0000036c: PUSH1 0x00
0000036e: SLOAD
0000036f: PUSH1 0x01
00000371: PUSH1 0x01
00000373: PUSH1 0xa0
00000375: SHL
00000376: SUB
00000377: AND
00000378: CALLER
00000379: EQ
0000037a: PUSH2 0x017b
0000037d: JUMPI
0000037e: PUSH1 0x40
00000380: MLOAD
00000381: PUSH3 0x461bcd
00000385: PUSH1 0xe5
00000387: SHL
00000388: DUP2
00000389: MSTORE
0000038a: PUSH1 0x20
0000038c: PUSH1 0x04
0000038e: DUP3
0000038f: ADD
00000390: DUP2
00000391: SWAP1
00000392: MSTORE
00000393: PUSH1 0x24
00000395: DUP3
00000396: ADD
00000397: MSTORE
00000398: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000003b9: PUSH1 0x44
000003bb: DUP3
000003bc: ADD
000003bd: MSTORE
000003be: PUSH1 0x64
000003c0: ADD
000003c1: PUSH2 0x027c
000003c4: JUMP
000003c5: JUMPDEST
000003c6: PUSH2 0x03cd
000003c9: PUSH2 0x054c
000003cc: JUMP
000003cd: JUMPDEST
000003ce: PUSH1 0x00
000003d0: DUP1
000003d1: SLOAD
000003d2: PUSH1 0xff
000003d4: PUSH1 0xa0
000003d6: SHL
000003d7: NOT
000003d8: AND
000003d9: SWAP1
000003da: SSTORE
000003db: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
000003fc: CALLER
000003fd: JUMPDEST
000003fe: PUSH1 0x40
00000400: MLOAD
00000401: PUSH1 0x01
00000403: PUSH1 0x01
00000405: PUSH1 0xa0
00000407: SHL
00000408: SUB
00000409: SWAP1
0000040a: SWAP2
0000040b: AND
0000040c: DUP2
0000040d: MSTORE
0000040e: PUSH1 0x20
00000410: ADD
00000411: PUSH1 0x40
00000413: MLOAD
00000414: DUP1
00000415: SWAP2
00000416: SUB
00000417: SWAP1
00000418: LOG1
00000419: JUMP
0000041a: JUMPDEST
0000041b: PUSH1 0x00
0000041d: DUP1
0000041e: SLOAD
0000041f: PUSH1 0x01
00000421: PUSH1 0x01
00000423: PUSH1 0xa0
00000425: SHL
00000426: SUB
00000427: DUP4
00000428: DUP2
00000429: AND
0000042a: PUSH1 0x01
0000042c: PUSH1 0x01
0000042e: PUSH1 0xa0
00000430: SHL
00000431: SUB
00000432: NOT
00000433: DUP4
00000434: AND
00000435: DUP2
00000436: OR
00000437: DUP5
00000438: SSTORE
00000439: PUSH1 0x40
0000043b: MLOAD
0000043c: SWAP2
0000043d: SWAP1
0000043e: SWAP3
0000043f: AND
00000440: SWAP3
00000441: DUP4
00000442: SWAP2
00000443: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000464: SWAP2
00000465: SWAP1
00000466: LOG3
00000467: POP
00000468: POP
00000469: JUMP
0000046a: JUMPDEST
0000046b: PUSH2 0x0472
0000046e: PUSH2 0x04ad
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH1 0x00
00000475: DUP1
00000476: SLOAD
00000477: PUSH1 0xff
00000479: PUSH1 0xa0
0000047b: SHL
0000047c: NOT
0000047d: AND
0000047e: PUSH1 0x01
00000480: PUSH1 0xa0
00000482: SHL
00000483: OR
00000484: SWAP1
00000485: SSTORE
00000486: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000004a7: PUSH2 0x03fd
000004aa: CALLER
000004ab: SWAP1
000004ac: JUMP
000004ad: JUMPDEST
000004ae: PUSH1 0x00
000004b0: SLOAD
000004b1: PUSH1 0x01
000004b3: PUSH1 0xa0
000004b5: SHL
000004b6: SWAP1
000004b7: DIV
000004b8: PUSH1 0xff
000004ba: AND
000004bb: ISZERO
000004bc: PUSH2 0x017b
000004bf: JUMPI
000004c0: PUSH1 0x40
000004c2: MLOAD
000004c3: PUSH3 0x461bcd
000004c7: PUSH1 0xe5
000004c9: SHL
000004ca: DUP2
000004cb: MSTORE
000004cc: PUSH1 0x20
000004ce: PUSH1 0x04
000004d0: DUP3
000004d1: ADD
000004d2: MSTORE
000004d3: PUSH1 0x10
000004d5: PUSH1 0x24
000004d7: DUP3
000004d8: ADD
000004d9: MSTORE
000004da: PUSH16 0x14185d5cd8589b194e881c185d5cd959
000004eb: PUSH1 0x82
000004ed: SHL
000004ee: PUSH1 0x44
000004f0: DUP3
000004f1: ADD
000004f2: MSTORE
000004f3: PUSH1 0x64
000004f5: ADD
000004f6: PUSH2 0x027c
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH1 0x40
000004fd: DUP1
000004fe: MLOAD
000004ff: PUSH1 0x01
00000501: PUSH1 0x01
00000503: PUSH1 0xa0
00000505: SHL
00000506: SUB
00000507: DUP5
00000508: AND
00000509: PUSH1 0x24
0000050b: DUP3
0000050c: ADD
0000050d: MSTORE
0000050e: PUSH1 0x44
00000510: DUP1
00000511: DUP3
00000512: ADD
00000513: DUP5
00000514: SWAP1
00000515: MSTORE
00000516: DUP3
00000517: MLOAD
00000518: DUP1
00000519: DUP4
0000051a: SUB
0000051b: SWAP1
0000051c: SWAP2
0000051d: ADD
0000051e: DUP2
0000051f: MSTORE
00000520: PUSH1 0x64
00000522: SWAP1
00000523: SWAP2
00000524: ADD
00000525: SWAP1
00000526: SWAP2
00000527: MSTORE
00000528: PUSH1 0x20
0000052a: DUP2
0000052b: ADD
0000052c: DUP1
0000052d: MLOAD
0000052e: PUSH1 0x01
00000530: PUSH1 0x01
00000532: PUSH1 0xe0
00000534: SHL
00000535: SUB
00000536: AND
00000537: PUSH4 0xa9059cbb
0000053c: PUSH1 0xe0
0000053e: SHL
0000053f: OR
00000540: SWAP1
00000541: MSTORE
00000542: PUSH2 0x033c
00000545: SWAP1
00000546: DUP5
00000547: SWAP1
00000548: PUSH2 0x059c
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH1 0x00
0000054f: SLOAD
00000550: PUSH1 0x01
00000552: PUSH1 0xa0
00000554: SHL
00000555: SWAP1
00000556: DIV
00000557: PUSH1 0xff
00000559: AND
0000055a: PUSH2 0x017b
0000055d: JUMPI
0000055e: PUSH1 0x40
00000560: MLOAD
00000561: PUSH3 0x461bcd
00000565: PUSH1 0xe5
00000567: SHL
00000568: DUP2
00000569: MSTORE
0000056a: PUSH1 0x20
0000056c: PUSH1 0x04
0000056e: DUP3
0000056f: ADD
00000570: MSTORE
00000571: PUSH1 0x14
00000573: PUSH1 0x24
00000575: DUP3
00000576: ADD
00000577: MSTORE
00000578: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
0000058d: PUSH1 0x62
0000058f: SHL
00000590: PUSH1 0x44
00000592: DUP3
00000593: ADD
00000594: MSTORE
00000595: PUSH1 0x64
00000597: ADD
00000598: PUSH2 0x027c
0000059b: JUMP
0000059c: JUMPDEST
0000059d: PUSH1 0x00
0000059f: PUSH2 0x05f1
000005a2: DUP3
000005a3: PUSH1 0x40
000005a5: MLOAD
000005a6: DUP1
000005a7: PUSH1 0x40
000005a9: ADD
000005aa: PUSH1 0x40
000005ac: MSTORE
000005ad: DUP1
000005ae: PUSH1 0x20
000005b0: DUP2
000005b1: MSTORE
000005b2: PUSH1 0x20
000005b4: ADD
000005b5: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000005d6: DUP2
000005d7: MSTORE
000005d8: POP
000005d9: DUP6
000005da: PUSH1 0x01
000005dc: PUSH1 0x01
000005de: PUSH1 0xa0
000005e0: SHL
000005e1: SUB
000005e2: AND
000005e3: PUSH2 0x066e
000005e6: SWAP1
000005e7: SWAP3
000005e8: SWAP2
000005e9: SWAP1
000005ea: PUSH4 0xffffffff
000005ef: AND
000005f0: JUMP
000005f1: JUMPDEST
000005f2: DUP1
000005f3: MLOAD
000005f4: SWAP1
000005f5: SWAP2
000005f6: POP
000005f7: ISZERO
000005f8: PUSH2 0x033c
000005fb: JUMPI
000005fc: DUP1
000005fd: DUP1
000005fe: PUSH1 0x20
00000600: ADD
00000601: SWAP1
00000602: MLOAD
00000603: DUP2
00000604: ADD
00000605: SWAP1
00000606: PUSH2 0x060f
00000609: SWAP2
0000060a: SWAP1
0000060b: PUSH2 0x088d
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH2 0x033c
00000613: JUMPI
00000614: PUSH1 0x40
00000616: MLOAD
00000617: PUSH3 0x461bcd
0000061b: PUSH1 0xe5
0000061d: SHL
0000061e: DUP2
0000061f: MSTORE
00000620: PUSH1 0x20
00000622: PUSH1 0x04
00000624: DUP3
00000625: ADD
00000626: MSTORE
00000627: PUSH1 0x2a
00000629: PUSH1 0x24
0000062b: DUP3
0000062c: ADD
0000062d: MSTORE
0000062e: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000064f: PUSH1 0x44
00000651: DUP3
00000652: ADD
00000653: MSTORE
00000654: PUSH10 0x1bdd081cdd58d8d95959
0000065f: PUSH1 0xb2
00000661: SHL
00000662: PUSH1 0x64
00000664: DUP3
00000665: ADD
00000666: MSTORE
00000667: PUSH1 0x84
00000669: ADD
0000066a: PUSH2 0x027c
0000066d: JUMP
0000066e: JUMPDEST
0000066f: PUSH1 0x60
00000671: PUSH2 0x067d
00000674: DUP5
00000675: DUP5
00000676: PUSH1 0x00
00000678: DUP6
00000679: PUSH2 0x0685
0000067c: JUMP
0000067d: JUMPDEST
0000067e: SWAP5
0000067f: SWAP4
00000680: POP
00000681: POP
00000682: POP
00000683: POP
00000684: JUMP
00000685: JUMPDEST
00000686: PUSH1 0x60
00000688: DUP3
00000689: SELFBALANCE
0000068a: LT
0000068b: ISZERO
0000068c: PUSH2 0x06e6
0000068f: JUMPI
00000690: PUSH1 0x40
00000692: MLOAD
00000693: PUSH3 0x461bcd
00000697: PUSH1 0xe5
00000699: SHL
0000069a: DUP2
0000069b: MSTORE
0000069c: PUSH1 0x20
0000069e: PUSH1 0x04
000006a0: DUP3
000006a1: ADD
000006a2: MSTORE
000006a3: PUSH1 0x26
000006a5: PUSH1 0x24
000006a7: DUP3
000006a8: ADD
000006a9: MSTORE
000006aa: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000006cb: PUSH1 0x44
000006cd: DUP3
000006ce: ADD
000006cf: MSTORE
000006d0: PUSH6 0x1c8818d85b1b
000006d7: PUSH1 0xd2
000006d9: SHL
000006da: PUSH1 0x64
000006dc: DUP3
000006dd: ADD
000006de: MSTORE
000006df: PUSH1 0x84
000006e1: ADD
000006e2: PUSH2 0x027c
000006e5: JUMP
000006e6: JUMPDEST
000006e7: PUSH1 0x00
000006e9: DUP1
000006ea: DUP7
000006eb: PUSH1 0x01
000006ed: PUSH1 0x01
000006ef: PUSH1 0xa0
000006f1: SHL
000006f2: SUB
000006f3: AND
000006f4: DUP6
000006f5: DUP8
000006f6: PUSH1 0x40
000006f8: MLOAD
000006f9: PUSH2 0x0702
000006fc: SWAP2
000006fd: SWAP1
000006fe: PUSH2 0x08df
00000701: JUMP
00000702: JUMPDEST
00000703: PUSH1 0x00
00000705: PUSH1 0x40
00000707: MLOAD
00000708: DUP1
00000709: DUP4
0000070a: SUB
0000070b: DUP2
0000070c: DUP6
0000070d: DUP8
0000070e: GAS
0000070f: CALL
00000710: SWAP3
00000711: POP
00000712: POP
00000713: POP
00000714: RETURNDATASIZE
00000715: DUP1
00000716: PUSH1 0x00
00000718: DUP2
00000719: EQ
0000071a: PUSH2 0x073f
0000071d: JUMPI
0000071e: PUSH1 0x40
00000720: MLOAD
00000721: SWAP2
00000722: POP
00000723: PUSH1 0x1f
00000725: NOT
00000726: PUSH1 0x3f
00000728: RETURNDATASIZE
00000729: ADD
0000072a: AND
0000072b: DUP3
0000072c: ADD
0000072d: PUSH1 0x40
0000072f: MSTORE
00000730: RETURNDATASIZE
00000731: DUP3
00000732: MSTORE
00000733: RETURNDATASIZE
00000734: PUSH1 0x00
00000736: PUSH1 0x20
00000738: DUP5
00000739: ADD
0000073a: RETURNDATACOPY
0000073b: PUSH2 0x0744
0000073e: JUMP
0000073f: JUMPDEST
00000740: PUSH1 0x60
00000742: SWAP2
00000743: POP
00000744: JUMPDEST
00000745: POP
00000746: SWAP2
00000747: POP
00000748: SWAP2
00000749: POP
0000074a: PUSH2 0x0755
0000074d: DUP8
0000074e: DUP4
0000074f: DUP4
00000750: DUP8
00000751: PUSH2 0x0760
00000754: JUMP
00000755: JUMPDEST
00000756: SWAP8
00000757: SWAP7
00000758: POP
00000759: POP
0000075a: POP
0000075b: POP
0000075c: POP
0000075d: POP
0000075e: POP
0000075f: JUMP
00000760: JUMPDEST
00000761: PUSH1 0x60
00000763: DUP4
00000764: ISZERO
00000765: PUSH2 0x07cf
00000768: JUMPI
00000769: DUP3
0000076a: MLOAD
0000076b: PUSH1 0x00
0000076d: SUB
0000076e: PUSH2 0x07c8
00000771: JUMPI
00000772: PUSH1 0x01
00000774: PUSH1 0x01
00000776: PUSH1 0xa0
00000778: SHL
00000779: SUB
0000077a: DUP6
0000077b: AND
0000077c: EXTCODESIZE
0000077d: PUSH2 0x07c8
00000780: JUMPI
00000781: PUSH1 0x40
00000783: MLOAD
00000784: PUSH3 0x461bcd
00000788: PUSH1 0xe5
0000078a: SHL
0000078b: DUP2
0000078c: MSTORE
0000078d: PUSH1 0x20
0000078f: PUSH1 0x04
00000791: DUP3
00000792: ADD
00000793: MSTORE
00000794: PUSH1 0x1d
00000796: PUSH1 0x24
00000798: DUP3
00000799: ADD
0000079a: MSTORE
0000079b: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000007bc: PUSH1 0x44
000007be: DUP3
000007bf: ADD
000007c0: MSTORE
000007c1: PUSH1 0x64
000007c3: ADD
000007c4: PUSH2 0x027c
000007c7: JUMP
000007c8: JUMPDEST
000007c9: POP
000007ca: DUP2
000007cb: PUSH2 0x067d
000007ce: JUMP
000007cf: JUMPDEST
000007d0: PUSH2 0x067d
000007d3: DUP4
000007d4: DUP4
000007d5: DUP2
000007d6: MLOAD
000007d7: ISZERO
000007d8: PUSH2 0x07e4
000007db: JUMPI
000007dc: DUP2
000007dd: MLOAD
000007de: DUP1
000007df: DUP4
000007e0: PUSH1 0x20
000007e2: ADD
000007e3: REVERT
000007e4: JUMPDEST
000007e5: DUP1
000007e6: PUSH1 0x40
000007e8: MLOAD
000007e9: PUSH3 0x461bcd
000007ed: PUSH1 0xe5
000007ef: SHL
000007f0: DUP2
000007f1: MSTORE
000007f2: PUSH1 0x04
000007f4: ADD
000007f5: PUSH2 0x027c
000007f8: SWAP2
000007f9: SWAP1
000007fa: PUSH2 0x08fb
000007fd: JUMP
000007fe: JUMPDEST
000007ff: DUP1
00000800: CALLDATALOAD
00000801: PUSH1 0x01
00000803: PUSH1 0x01
00000805: PUSH1 0xa0
00000807: SHL
00000808: SUB
00000809: DUP2
0000080a: AND
0000080b: DUP2
0000080c: EQ
0000080d: PUSH2 0x0815
00000810: JUMPI
00000811: PUSH1 0x00
00000813: DUP1
00000814: REVERT
00000815: JUMPDEST
00000816: SWAP2
00000817: SWAP1
00000818: POP
00000819: JUMP
0000081a: JUMPDEST
0000081b: PUSH1 0x00
0000081d: DUP1
0000081e: PUSH1 0x40
00000820: DUP4
00000821: DUP6
00000822: SUB
00000823: SLT
00000824: ISZERO
00000825: PUSH2 0x082d
00000828: JUMPI
00000829: PUSH1 0x00
0000082b: DUP1
0000082c: REVERT
0000082d: JUMPDEST
0000082e: PUSH2 0x0836
00000831: DUP4
00000832: PUSH2 0x07fe
00000835: JUMP
00000836: JUMPDEST
00000837: SWAP5
00000838: PUSH1 0x20
0000083a: SWAP4
0000083b: SWAP1
0000083c: SWAP4
0000083d: ADD
0000083e: CALLDATALOAD
0000083f: SWAP4
00000840: POP
00000841: POP
00000842: POP
00000843: JUMP
00000844: JUMPDEST
00000845: PUSH1 0x00
00000847: PUSH1 0x20
00000849: DUP3
0000084a: DUP5
0000084b: SUB
0000084c: SLT
0000084d: ISZERO
0000084e: PUSH2 0x0856
00000851: JUMPI
00000852: PUSH1 0x00
00000854: DUP1
00000855: REVERT
00000856: JUMPDEST
00000857: PUSH2 0x085f
0000085a: DUP3
0000085b: PUSH2 0x07fe
0000085e: JUMP
0000085f: JUMPDEST
00000860: SWAP4
00000861: SWAP3
00000862: POP
00000863: POP
00000864: POP
00000865: JUMP
00000866: JUMPDEST
00000867: PUSH1 0x00
00000869: PUSH1 0x01
0000086b: DUP3
0000086c: ADD
0000086d: PUSH2 0x0886
00000870: JUMPI
00000871: PUSH4 0x4e487b71
00000876: PUSH1 0xe0
00000878: SHL
00000879: PUSH1 0x00
0000087b: MSTORE
0000087c: PUSH1 0x11
0000087e: PUSH1 0x04
00000880: MSTORE
00000881: PUSH1 0x24
00000883: PUSH1 0x00
00000885: REVERT
00000886: JUMPDEST
00000887: POP
00000888: PUSH1 0x01
0000088a: ADD
0000088b: SWAP1
0000088c: JUMP
0000088d: JUMPDEST
0000088e: PUSH1 0x00
00000890: PUSH1 0x20
00000892: DUP3
00000893: DUP5
00000894: SUB
00000895: SLT
00000896: ISZERO
00000897: PUSH2 0x089f
0000089a: JUMPI
0000089b: PUSH1 0x00
0000089d: DUP1
0000089e: REVERT
0000089f: JUMPDEST
000008a0: DUP2
000008a1: MLOAD
000008a2: DUP1
000008a3: ISZERO
000008a4: ISZERO
000008a5: DUP2
000008a6: EQ
000008a7: PUSH2 0x085f
000008aa: JUMPI
000008ab: PUSH1 0x00
000008ad: DUP1
000008ae: REVERT
000008af: JUMPDEST
000008b0: PUSH1 0x00
000008b2: JUMPDEST
000008b3: DUP4
000008b4: DUP2
000008b5: LT
000008b6: ISZERO
000008b7: PUSH2 0x08ca
000008ba: JUMPI
000008bb: DUP2
000008bc: DUP2
000008bd: ADD
000008be: MLOAD
000008bf: DUP4
000008c0: DUP3
000008c1: ADD
000008c2: MSTORE
000008c3: PUSH1 0x20
000008c5: ADD
000008c6: PUSH2 0x08b2
000008c9: JUMP
000008ca: JUMPDEST
000008cb: DUP4
000008cc: DUP2
000008cd: GT
000008ce: ISZERO
000008cf: PUSH2 0x08d9
000008d2: JUMPI
000008d3: PUSH1 0x00
000008d5: DUP5
000008d6: DUP5
000008d7: ADD
000008d8: MSTORE
000008d9: JUMPDEST
000008da: POP
000008db: POP
000008dc: POP
000008dd: POP
000008de: JUMP
000008df: JUMPDEST
000008e0: PUSH1 0x00
000008e2: DUP3
000008e3: MLOAD
000008e4: PUSH2 0x08f1
000008e7: DUP2
000008e8: DUP5
000008e9: PUSH1 0x20
000008eb: DUP8
000008ec: ADD
000008ed: PUSH2 0x08af
000008f0: JUMP
000008f1: JUMPDEST
000008f2: SWAP2
000008f3: SWAP1
000008f4: SWAP2
000008f5: ADD
000008f6: SWAP3
000008f7: SWAP2
000008f8: POP
000008f9: POP
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH1 0x20
000008fe: DUP2
000008ff: MSTORE
00000900: PUSH1 0x00
00000902: DUP3
00000903: MLOAD
00000904: DUP1
00000905: PUSH1 0x20
00000907: DUP5
00000908: ADD
00000909: MSTORE
0000090a: PUSH2 0x091a
0000090d: DUP2
0000090e: PUSH1 0x40
00000910: DUP6
00000911: ADD
00000912: PUSH1 0x20
00000914: DUP8
00000915: ADD
00000916: PUSH2 0x08af
00000919: JUMP
0000091a: JUMPDEST
0000091b: PUSH1 0x1f
0000091d: ADD
0000091e: PUSH1 0x1f
00000920: NOT
00000921: AND
00000922: SWAP2
00000923: SWAP1
00000924: SWAP2
00000925: ADD
00000926: PUSH1 0x40
00000928: ADD
00000929: SWAP3
0000092a: SWAP2
0000092b: POP
0000092c: POP
0000092d: JUMP
0000092e: INVALID
0000092f: LOG2
00000930: PUSH5 0x6970667358
00000936: UNKNOWN(0x22)
00000937: SLT
00000938: KECCAK256
00000939: UNKNOWN(0xD9)
0000093a: MSTORE
0000093b: STOP
0000093c: SELFBALANCE
0000093d: UNKNOWN(0xC6)
0000093e: STOP
0000093f: TIMESTAMP
00000940: UNKNOWN(0x2B)
00000941: UNKNOWN(0x0F)
00000942: LOG2
00000943: UNKNOWN(0xD1)
00000944: PUSH10 0x6e6f494886d0ab98e13b
0000094f: UNKNOWN(0x1F)
00000950: GT
00000951: PC
00000952: UNKNOWN(0xC2)
00000953: UNKNOWN(0x2F)
00000954: SAR
00000955: PUSH26

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: 0x76b32acdc8660ddcf807213ee66551821db2502eb24b7451b93dad174c3dcc41
call_targets: 0xfdf7c22ca4704dfef46e7e5ef53dca1d5a9f8e12
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x76b32acdc8660ddcf807213ee66551821db2502eb24b7451b93dad174c3dcc41",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfdf7c22ca4704dfef46e7e5ef53dca1d5a9f8e12"
    ],
    "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": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc3de453d",
            "selector": "0xc3de453d",
            "calldata_variants": [
                "0xc3de453d",
                "0xc3de453d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3fef3a3",
            "selector": "0xf3fef3a3",
            "calldata_variants": [
                "0xf3fef3a3",
                "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c975abb",
            "selector": "0x5c975abb",
            "calldata_variants": [
                "0x5c975abb",
                "0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8456cb59",
            "selector": "0x8456cb59",
            "calldata_variants": [
                "0x8456cb59",
                "0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 708,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1807,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x76b32acdc8660ddcf807213ee66551821db2502eb24b7451b93dad174c3dcc41
call_targets: 0xfdf7c22ca4704dfef46e7e5ef53dca1d5a9f8e12
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x76b32acdc8660ddcf807213ee66551821db2502eb24b7451b93dad174c3dcc41",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfdf7c22ca4704dfef46e7e5ef53dca1d5a9f8e12"
    ],
    "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": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc3de453d",
            "selector": "0xc3de453d",
            "calldata_variants": [
                "0xc3de453d",
                "0xc3de453d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3fef3a3",
            "selector": "0xf3fef3a3",
            "calldata_variants": [
                "0xf3fef3a3",
                "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c975abb",
            "selector": "0x5c975abb",
            "calldata_variants": [
                "0x5c975abb",
                "0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8456cb59",
            "selector": "0x8456cb59",
            "calldata_variants": [
                "0x8456cb59",
                "0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 708,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1807,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}