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

Analysis Run

019b3836-25fb-7202-8376-b08b2541029f

complete
Chain ID
1
Address
0x0ec3977c1ac096ec3a3fca1b36cc03aa6f5734c4
Block Number
—
Created
Fri, Dec 19, 2025 8:03 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
Bytecode only
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
855 artifact.fetch complete 1 / 3 3 months ago
856 tool.cast_disasm complete 1 / 3 3 months ago
96254 analysis.bundle complete 1 / 3 1 week ago
96255 capability.graph complete 1 / 3 1 week ago
96256 detector.run complete 1 / 3 1 week ago
96257 validation.fork complete 1 / 3 1 week ago

Artifact

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

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
0
Total opcodes
1274
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x008d
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x06005754
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x008f
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x2b25a7e4
00000025: EQ
00000026: PUSH2 0x00ab
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x505ff574
00000030: EQ
00000031: PUSH2 0x00db
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x72929b56
0000003b: EQ
0000003c: PUSH2 0x012f
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x94f60a63
00000046: EQ
00000047: PUSH2 0x021b
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0xa550f86d
00000051: EQ
00000052: PUSH2 0x024a
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0xa6f9dae1
0000005c: EQ
0000005d: PUSH2 0x025a
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0xd56b2889
00000067: EQ
00000068: PUSH2 0x029b
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xe116b17e
00000072: EQ
00000073: PUSH2 0x02ee
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xec3af4a9
0000007d: EQ
0000007e: PUSH2 0x036b
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xf4a81d08
00000088: EQ
00000089: PUSH2 0x0396
0000008c: JUMPI
0000008d: JUMPDEST
0000008e: STOP
0000008f: JUMPDEST
00000090: PUSH2 0x03bf
00000093: JUMPDEST
00000094: PUSH20 0x985509582b2c38010bfaa3c8d2be60022d3d00da
000000a9: SWAP1
000000aa: JUMP
000000ab: JUMPDEST
000000ac: PUSH2 0x008d
000000af: PUSH1 0x04
000000b1: CALLDATALOAD
000000b2: PUSH1 0x24
000000b4: CALLDATALOAD
000000b5: PUSH1 0x00
000000b7: PUSH1 0x00
000000b9: PUSH1 0x00
000000bb: PUSH1 0x00
000000bd: PUSH1 0x00
000000bf: PUSH1 0x01
000000c1: PUSH1 0x00
000000c3: PUSH1 0x14
000000c5: SWAP1
000000c6: SLOAD
000000c7: SWAP1
000000c8: PUSH2 0x0100
000000cb: EXP
000000cc: SWAP1
000000cd: DIV
000000ce: PUSH1 0xff
000000d0: AND
000000d1: EQ
000000d2: ISZERO
000000d3: PUSH2 0x0482
000000d6: JUMPI
000000d7: PUSH2 0x0002
000000da: JUMP
000000db: JUMPDEST
000000dc: PUSH2 0x008d
000000df: PUSH1 0x04
000000e1: CALLDATALOAD
000000e2: PUSH1 0x24
000000e4: CALLDATALOAD
000000e5: PUSH1 0x44
000000e7: CALLDATALOAD
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: SLOAD
000000ec: PUSH1 0x01
000000ee: PUSH1 0xa0
000000f0: PUSH1 0x02
000000f2: EXP
000000f3: SUB
000000f4: SWAP1
000000f5: DUP2
000000f6: AND
000000f7: CALLER
000000f8: SWAP1
000000f9: SWAP2
000000fa: AND
000000fb: EQ
000000fc: ISZERO
000000fd: PUSH2 0x0129
00000100: JUMPI
00000101: PUSH1 0x01
00000103: PUSH1 0xa0
00000105: PUSH1 0x02
00000107: EXP
00000108: SUB
00000109: DUP5
0000010a: AND
0000010b: DUP2
0000010c: MSTORE
0000010d: PUSH1 0x02
0000010f: PUSH1 0x20
00000111: DUP2
00000112: SWAP1
00000113: MSTORE
00000114: PUSH1 0x40
00000116: SWAP1
00000117: SWAP2
00000118: KECCAK256
00000119: DUP4
0000011a: DUP2
0000011b: SSTORE
0000011c: SWAP1
0000011d: DUP2
0000011e: ADD
0000011f: DUP1
00000120: SLOAD
00000121: PUSH1 0xff
00000123: NOT
00000124: AND
00000125: DUP4
00000126: OR
00000127: SWAP1
00000128: SSTORE
00000129: JUMPDEST
0000012a: POP
0000012b: POP
0000012c: POP
0000012d: POP
0000012e: JUMP
0000012f: JUMPDEST
00000130: PUSH2 0x03dc
00000133: PUSH1 0x04
00000135: CALLDATALOAD
00000136: PUSH1 0x40
00000138: DUP1
00000139: MLOAD
0000013a: PUSH1 0x20
0000013c: DUP2
0000013d: DUP2
0000013e: ADD
0000013f: DUP4
00000140: MSTORE
00000141: PUSH1 0x00
00000143: DUP1
00000144: DUP4
00000145: MSTORE
00000146: DUP4
00000147: MLOAD
00000148: DUP1
00000149: DUP4
0000014a: ADD
0000014b: DUP6
0000014c: MSTORE
0000014d: DUP2
0000014e: DUP2
0000014f: MSTORE
00000150: PUSH1 0x01
00000152: PUSH1 0xa0
00000154: PUSH1 0x02
00000156: EXP
00000157: SUB
00000158: DUP7
00000159: AND
0000015a: DUP3
0000015b: MSTORE
0000015c: PUSH1 0x03
0000015e: DUP4
0000015f: MSTORE
00000160: SWAP1
00000161: DUP5
00000162: SWAP1
00000163: KECCAK256
00000164: DUP1
00000165: SLOAD
00000166: DUP6
00000167: MLOAD
00000168: DUP2
00000169: DUP6
0000016a: MUL
0000016b: DUP2
0000016c: ADD
0000016d: DUP6
0000016e: ADD
0000016f: SWAP1
00000170: SWAP7
00000171: MSTORE
00000172: DUP1
00000173: DUP7
00000174: MSTORE
00000175: SWAP4
00000176: SWAP5
00000177: SWAP2
00000178: SWAP4
00000179: SWAP1
0000017a: SWAP3
0000017b: DUP4
0000017c: SWAP2
0000017d: SWAP1
0000017e: DUP4
0000017f: ADD
00000180: DUP3
00000181: DUP3
00000182: DUP1
00000183: ISZERO
00000184: PUSH2 0x01b7
00000187: JUMPI
00000188: PUSH1 0x20
0000018a: MUL
0000018b: DUP3
0000018c: ADD
0000018d: SWAP2
0000018e: SWAP1
0000018f: PUSH1 0x00
00000191: MSTORE
00000192: PUSH1 0x20
00000194: PUSH1 0x00
00000196: KECCAK256
00000197: SWAP1
00000198: JUMPDEST
00000199: DUP2
0000019a: SLOAD
0000019b: PUSH1 0x01
0000019d: PUSH1 0xa0
0000019f: PUSH1 0x02
000001a1: EXP
000001a2: SUB
000001a3: AND
000001a4: DUP2
000001a5: MSTORE
000001a6: PUSH1 0x01
000001a8: SWAP2
000001a9: SWAP1
000001aa: SWAP2
000001ab: ADD
000001ac: SWAP1
000001ad: PUSH1 0x20
000001af: ADD
000001b0: DUP1
000001b1: DUP4
000001b2: GT
000001b3: PUSH2 0x0198
000001b6: JUMPI
000001b7: JUMPDEST
000001b8: POP
000001b9: POP
000001ba: POP
000001bb: POP
000001bc: PUSH1 0x01
000001be: DUP4
000001bf: ADD
000001c0: DUP1
000001c1: SLOAD
000001c2: PUSH1 0x40
000001c4: DUP1
000001c5: MLOAD
000001c6: PUSH1 0x20
000001c8: DUP4
000001c9: DUP2
000001ca: MUL
000001cb: DUP3
000001cc: ADD
000001cd: DUP2
000001ce: ADD
000001cf: SWAP1
000001d0: SWAP3
000001d1: MSTORE
000001d2: DUP3
000001d3: DUP2
000001d4: MSTORE
000001d5: SWAP5
000001d6: SWAP8
000001d7: POP
000001d8: SWAP2
000001d9: SWAP3
000001da: POP
000001db: SWAP1
000001dc: DUP4
000001dd: ADD
000001de: DUP3
000001df: DUP3
000001e0: DUP1
000001e1: ISZERO
000001e2: PUSH2 0x020d
000001e5: JUMPI
000001e6: PUSH1 0x20
000001e8: MUL
000001e9: DUP3
000001ea: ADD
000001eb: SWAP2
000001ec: SWAP1
000001ed: PUSH1 0x00
000001ef: MSTORE
000001f0: PUSH1 0x20
000001f2: PUSH1 0x00
000001f4: KECCAK256
000001f5: SWAP1
000001f6: JUMPDEST
000001f7: DUP2
000001f8: PUSH1 0x00
000001fa: POP
000001fb: SLOAD
000001fc: DUP2
000001fd: MSTORE
000001fe: PUSH1 0x20
00000200: ADD
00000201: SWAP1
00000202: PUSH1 0x01
00000204: ADD
00000205: SWAP1
00000206: DUP1
00000207: DUP4
00000208: GT
00000209: PUSH2 0x01f6
0000020c: JUMPI
0000020d: JUMPDEST
0000020e: POP
0000020f: SWAP4
00000210: SWAP6
00000211: POP
00000212: POP
00000213: POP
00000214: POP
00000215: POP
00000216: POP
00000217: SWAP2
00000218: POP
00000219: SWAP2
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH2 0x0461
0000021f: PUSH1 0x04
00000221: CALLDATALOAD
00000222: PUSH1 0x01
00000224: PUSH1 0xa0
00000226: PUSH1 0x02
00000228: EXP
00000229: SUB
0000022a: DUP2
0000022b: AND
0000022c: PUSH1 0x00
0000022e: SWAP1
0000022f: DUP2
00000230: MSTORE
00000231: PUSH1 0x02
00000233: PUSH1 0x20
00000235: MSTORE
00000236: PUSH1 0x40
00000238: SWAP1
00000239: KECCAK256
0000023a: DUP1
0000023b: SLOAD
0000023c: PUSH1 0x01
0000023e: DUP3
0000023f: ADD
00000240: SLOAD
00000241: SWAP1
00000242: SUB
00000243: SWAP1
00000244: JUMPDEST
00000245: POP
00000246: SWAP2
00000247: SWAP1
00000248: POP
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH2 0x03bf
0000024e: PUSH1 0x04
00000250: CALLDATALOAD
00000251: PUSH1 0x00
00000253: PUSH2 0x067b
00000256: PUSH2 0x0093
00000259: JUMP
0000025a: JUMPDEST
0000025b: PUSH2 0x008d
0000025e: PUSH1 0x04
00000260: CALLDATALOAD
00000261: PUSH1 0x00
00000263: SLOAD
00000264: PUSH1 0x01
00000266: PUSH1 0xa0
00000268: PUSH1 0x02
0000026a: EXP
0000026b: SUB
0000026c: SWAP1
0000026d: DUP2
0000026e: AND
0000026f: CALLER
00000270: SWAP1
00000271: SWAP2
00000272: AND
00000273: EQ
00000274: ISZERO
00000275: PUSH2 0x0298
00000278: JUMPI
00000279: PUSH1 0x00
0000027b: DUP1
0000027c: SLOAD
0000027d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000292: NOT
00000293: AND
00000294: DUP3
00000295: OR
00000296: SWAP1
00000297: SSTORE
00000298: JUMPDEST
00000299: POP
0000029a: JUMP
0000029b: JUMPDEST
0000029c: PUSH2 0x008d
0000029f: PUSH1 0x00
000002a1: SLOAD
000002a2: PUSH1 0x01
000002a4: PUSH1 0xa0
000002a6: PUSH1 0x02
000002a8: EXP
000002a9: SUB
000002aa: SWAP1
000002ab: DUP2
000002ac: AND
000002ad: CALLER
000002ae: SWAP1
000002af: SWAP2
000002b0: AND
000002b1: EQ
000002b2: ISZERO
000002b3: PUSH2 0x02ec
000002b6: JUMPI
000002b7: PUSH1 0x00
000002b9: DUP1
000002ba: SLOAD
000002bb: PUSH21 0xff0000000000000000000000000000000000000000
000002d1: NOT
000002d2: AND
000002d3: PUSH21 0x010000000000000000000000000000000000000000
000002e9: OR
000002ea: SWAP1
000002eb: SSTORE
000002ec: JUMPDEST
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH2 0x0461
000002f2: PUSH1 0x04
000002f4: CALLDATALOAD
000002f5: PUSH1 0x24
000002f7: CALLDATALOAD
000002f8: PUSH1 0x01
000002fa: PUSH1 0xa0
000002fc: PUSH1 0x02
000002fe: EXP
000002ff: SUB
00000300: DUP3
00000301: DUP2
00000302: AND
00000303: PUSH1 0x00
00000305: DUP2
00000306: DUP2
00000307: MSTORE
00000308: PUSH1 0x02
0000030a: PUSH1 0x20
0000030c: DUP2
0000030d: DUP2
0000030e: MSTORE
0000030f: PUSH1 0x40
00000311: DUP1
00000312: DUP5
00000313: KECCAK256
00000314: SWAP6
00000315: DUP8
00000316: AND
00000317: DUP5
00000318: MSTORE
00000319: PUSH1 0x01
0000031b: DUP1
0000031c: DUP4
0000031d: MSTORE
0000031e: DUP2
0000031f: MLOAD
00000320: DUP3
00000321: DUP7
00000322: KECCAK256
00000323: PUSH1 0x60
00000325: DUP3
00000326: ADD
00000327: DUP5
00000328: MSTORE
00000329: DUP9
0000032a: SLOAD
0000032b: DUP3
0000032c: MSTORE
0000032d: SWAP2
0000032e: DUP9
0000032f: ADD
00000330: SLOAD
00000331: DUP2
00000332: DUP6
00000333: ADD
00000334: MSTORE
00000335: SWAP4
00000336: DUP8
00000337: ADD
00000338: SLOAD
00000339: PUSH1 0xff
0000033b: AND
0000033c: DUP5
0000033d: DUP4
0000033e: ADD
0000033f: MSTORE
00000340: SWAP5
00000341: DUP5
00000342: MSTORE
00000343: SWAP1
00000344: DUP5
00000345: SWAP1
00000346: MSTORE
00000347: DUP3
00000348: KECCAK256
00000349: SLOAD
0000034a: SWAP2
0000034b: SWAP4
0000034c: SWAP3
0000034d: SWAP2
0000034e: DUP5
0000034f: SWAP2
00000350: PUSH2 0x0473
00000353: SWAP2
00000354: JUMPDEST
00000355: PUSH1 0x00
00000357: DUP3
00000358: PUSH1 0x40
0000035a: ADD
0000035b: MLOAD
0000035c: ISZERO
0000035d: PUSH2 0x06c7
00000360: JUMPI
00000361: POP
00000362: PUSH1 0x20
00000364: DUP3
00000365: ADD
00000366: MLOAD
00000367: PUSH2 0x06ca
0000036a: JUMP
0000036b: JUMPDEST
0000036c: PUSH2 0x0461
0000036f: PUSH1 0x04
00000371: CALLDATALOAD
00000372: PUSH1 0x01
00000374: PUSH1 0xa0
00000376: PUSH1 0x02
00000378: EXP
00000379: SUB
0000037a: DUP2
0000037b: AND
0000037c: PUSH1 0x00
0000037e: SWAP1
0000037f: DUP2
00000380: MSTORE
00000381: PUSH1 0x01
00000383: PUSH1 0x20
00000385: DUP2
00000386: SWAP1
00000387: MSTORE
00000388: PUSH1 0x40
0000038a: SWAP1
0000038b: SWAP2
0000038c: KECCAK256
0000038d: SWAP1
0000038e: DUP2
0000038f: ADD
00000390: SLOAD
00000391: SWAP1
00000392: PUSH2 0x0244
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH2 0x0461
0000039a: PUSH1 0x04
0000039c: CALLDATALOAD
0000039d: PUSH1 0x01
0000039f: PUSH1 0xa0
000003a1: PUSH1 0x02
000003a3: EXP
000003a4: SUB
000003a5: DUP2
000003a6: AND
000003a7: PUSH1 0x00
000003a9: SWAP1
000003aa: DUP2
000003ab: MSTORE
000003ac: PUSH1 0x02
000003ae: PUSH1 0x20
000003b0: MSTORE
000003b1: PUSH1 0x40
000003b3: SWAP1
000003b4: KECCAK256
000003b5: PUSH1 0x01
000003b7: DUP2
000003b8: ADD
000003b9: SLOAD
000003ba: SWAP1
000003bb: PUSH2 0x0244
000003be: JUMP
000003bf: JUMPDEST
000003c0: PUSH1 0x40
000003c2: DUP1
000003c3: MLOAD
000003c4: PUSH1 0x01
000003c6: PUSH1 0xa0
000003c8: PUSH1 0x02
000003ca: EXP
000003cb: SUB
000003cc: SWAP3
000003cd: SWAP1
000003ce: SWAP3
000003cf: AND
000003d0: DUP3
000003d1: MSTORE
000003d2: MLOAD
000003d3: SWAP1
000003d4: DUP2
000003d5: SWAP1
000003d6: SUB
000003d7: PUSH1 0x20
000003d9: ADD
000003da: SWAP1
000003db: RETURN
000003dc: JUMPDEST
000003dd: PUSH1 0x40
000003df: MLOAD
000003e0: DUP1
000003e1: DUP1
000003e2: PUSH1 0x20
000003e4: ADD
000003e5: DUP1
000003e6: PUSH1 0x20
000003e8: ADD
000003e9: DUP4
000003ea: DUP2
000003eb: SUB
000003ec: DUP4
000003ed: MSTORE
000003ee: DUP6
000003ef: DUP2
000003f0: DUP2
000003f1: MLOAD
000003f2: DUP2
000003f3: MSTORE
000003f4: PUSH1 0x20
000003f6: ADD
000003f7: SWAP2
000003f8: POP
000003f9: DUP1
000003fa: MLOAD
000003fb: SWAP1
000003fc: PUSH1 0x20
000003fe: ADD
000003ff: SWAP1
00000400: PUSH1 0x20
00000402: MUL
00000403: DUP1
00000404: DUP4
00000405: DUP4
00000406: DUP3
00000407: SWAP1
00000408: PUSH1 0x00
0000040a: PUSH1 0x04
0000040c: PUSH1 0x20
0000040e: DUP5
0000040f: PUSH1 0x1f
00000411: ADD
00000412: DIV
00000413: PUSH1 0x0f
00000415: MUL
00000416: PUSH1 0x03
00000418: ADD
00000419: CALL
0000041a: POP
0000041b: SWAP1
0000041c: POP
0000041d: ADD
0000041e: DUP4
0000041f: DUP2
00000420: SUB
00000421: DUP3
00000422: MSTORE
00000423: DUP5
00000424: DUP2
00000425: DUP2
00000426: MLOAD
00000427: DUP2
00000428: MSTORE
00000429: PUSH1 0x20
0000042b: ADD
0000042c: SWAP2
0000042d: POP
0000042e: DUP1
0000042f: MLOAD
00000430: SWAP1
00000431: PUSH1 0x20
00000433: ADD
00000434: SWAP1
00000435: PUSH1 0x20
00000437: MUL
00000438: DUP1
00000439: DUP4
0000043a: DUP4
0000043b: DUP3
0000043c: SWAP1
0000043d: PUSH1 0x00
0000043f: PUSH1 0x04
00000441: PUSH1 0x20
00000443: DUP5
00000444: PUSH1 0x1f
00000446: ADD
00000447: DIV
00000448: PUSH1 0x0f
0000044a: MUL
0000044b: PUSH1 0x03
0000044d: ADD
0000044e: CALL
0000044f: POP
00000450: SWAP1
00000451: POP
00000452: ADD
00000453: SWAP5
00000454: POP
00000455: POP
00000456: POP
00000457: POP
00000458: POP
00000459: PUSH1 0x40
0000045b: MLOAD
0000045c: DUP1
0000045d: SWAP2
0000045e: SUB
0000045f: SWAP1
00000460: RETURN
00000461: JUMPDEST
00000462: PUSH1 0x40
00000464: DUP1
00000465: MLOAD
00000466: SWAP2
00000467: DUP3
00000468: MSTORE
00000469: MLOAD
0000046a: SWAP1
0000046b: DUP2
0000046c: SWAP1
0000046d: SUB
0000046e: PUSH1 0x20
00000470: ADD
00000471: SWAP1
00000472: RETURN
00000473: JUMPDEST
00000474: SWAP3
00000475: SLOAD
00000476: SWAP3
00000477: SWAP1
00000478: SWAP3
00000479: SUB
0000047a: SWAP6
0000047b: SWAP5
0000047c: POP
0000047d: POP
0000047e: POP
0000047f: POP
00000480: POP
00000481: JUMP
00000482: JUMPDEST
00000483: CALLER
00000484: PUSH1 0x01
00000486: PUSH1 0xa0
00000488: PUSH1 0x02
0000048a: EXP
0000048b: SUB
0000048c: AND
0000048d: PUSH1 0x00
0000048f: SWAP1
00000490: DUP2
00000491: MSTORE
00000492: PUSH1 0x02
00000494: PUSH1 0x20
00000496: MSTORE
00000497: PUSH1 0x40
00000499: DUP2
0000049a: KECCAK256
0000049b: DUP1
0000049c: SLOAD
0000049d: SWAP1
0000049e: SWAP7
0000049f: POP
000004a0: EQ
000004a1: ISZERO
000004a2: PUSH2 0x04aa
000004a5: JUMPI
000004a6: PUSH2 0x0002
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH1 0x01
000004ad: PUSH1 0xa0
000004af: PUSH1 0x02
000004b1: EXP
000004b2: SUB
000004b3: DUP8
000004b4: DUP2
000004b5: AND
000004b6: PUSH1 0x00
000004b8: SWAP1
000004b9: DUP2
000004ba: MSTORE
000004bb: PUSH1 0x01
000004bd: PUSH1 0x20
000004bf: DUP2
000004c0: DUP2
000004c1: MSTORE
000004c2: PUSH1 0x40
000004c4: DUP1
000004c5: MLOAD
000004c6: DUP2
000004c7: DUP6
000004c8: KECCAK256
000004c9: PUSH1 0x60
000004cb: DUP3
000004cc: ADD
000004cd: DUP4
000004ce: MSTORE
000004cf: DUP12
000004d0: SLOAD
000004d1: DUP3
000004d2: MSTORE
000004d3: SWAP4
000004d4: DUP12
000004d5: ADD
000004d6: SLOAD
000004d7: DUP2
000004d8: DUP5
000004d9: ADD
000004da: MSTORE
000004db: PUSH1 0x02
000004dd: DUP12
000004de: ADD
000004df: SLOAD
000004e0: PUSH1 0xff
000004e2: AND
000004e3: DUP2
000004e4: DUP4
000004e5: ADD
000004e6: MSTORE
000004e7: CALLER
000004e8: SWAP1
000004e9: SWAP6
000004ea: AND
000004eb: DUP5
000004ec: MSTORE
000004ed: SWAP1
000004ee: DUP3
000004ef: SWAP1
000004f0: MSTORE
000004f1: SWAP1
000004f2: SWAP2
000004f3: KECCAK256
000004f4: SLOAD
000004f5: SWAP1
000004f6: SWAP6
000004f7: POP
000004f8: DUP8
000004f9: SWAP2
000004fa: PUSH2 0x0502
000004fd: SWAP2
000004fe: PUSH2 0x0354
00000501: JUMP
00000502: JUMPDEST
00000503: DUP7
00000504: SLOAD
00000505: SWAP2
00000506: ADD
00000507: SWAP4
00000508: POP
00000509: DUP4
0000050a: GT
0000050b: PUSH2 0x05d9
0000050e: JUMPI
0000050f: POP
00000510: POP
00000511: PUSH1 0x01
00000513: DUP4
00000514: DUP2
00000515: ADD
00000516: DUP1
00000517: SLOAD
00000518: DUP7
00000519: ADD
0000051a: SWAP1
0000051b: SSTORE
0000051c: DUP3
0000051d: ADD
0000051e: DUP1
0000051f: SLOAD
00000520: DUP6
00000521: ADD
00000522: SWAP1
00000523: SSTORE
00000524: CALLER
00000525: PUSH1 0x01
00000527: PUSH1 0xa0
00000529: PUSH1 0x02
0000052b: EXP
0000052c: SUB
0000052d: SWAP1
0000052e: DUP2
0000052f: AND
00000530: PUSH1 0x00
00000532: SWAP1
00000533: DUP2
00000534: MSTORE
00000535: PUSH1 0x20
00000537: DUP5
00000538: DUP2
00000539: MSTORE
0000053a: PUSH1 0x40
0000053c: DUP1
0000053d: DUP4
0000053e: KECCAK256
0000053f: DUP1
00000540: SLOAD
00000541: DUP10
00000542: ADD
00000543: SWAP1
00000544: SSTORE
00000545: PUSH1 0x03
00000547: DUP3
00000548: MSTORE
00000549: DUP1
0000054a: DUP4
0000054b: KECCAK256
0000054c: SWAP4
0000054d: DUP10
0000054e: AND
0000054f: DUP4
00000550: MSTORE
00000551: PUSH1 0x02
00000553: DUP5
00000554: ADD
00000555: SWAP1
00000556: SWAP2
00000557: MSTORE
00000558: DUP2
00000559: KECCAK256
0000055a: SLOAD
0000055b: SWAP1
0000055c: DUP2
0000055d: EQ
0000055e: ISZERO
0000055f: PUSH2 0x059f
00000562: JUMPI
00000563: POP
00000564: DUP1
00000565: SLOAD
00000566: PUSH1 0x01
00000568: DUP2
00000569: ADD
0000056a: DUP1
0000056b: DUP4
0000056c: SSTORE
0000056d: DUP3
0000056e: DUP2
0000056f: DUP4
00000570: DUP1
00000571: ISZERO
00000572: DUP3
00000573: SWAP1
00000574: GT
00000575: PUSH2 0x05e2
00000578: JUMPI
00000579: PUSH1 0x00
0000057b: DUP4
0000057c: DUP2
0000057d: MSTORE
0000057e: PUSH1 0x20
00000580: SWAP1
00000581: KECCAK256
00000582: PUSH2 0x05e2
00000585: SWAP2
00000586: DUP2
00000587: ADD
00000588: SWAP1
00000589: DUP4
0000058a: ADD
0000058b: JUMPDEST
0000058c: DUP1
0000058d: DUP3
0000058e: GT
0000058f: ISZERO
00000590: PUSH2 0x0616
00000593: JUMPI
00000594: PUSH1 0x00
00000596: DUP2
00000597: SSTORE
00000598: PUSH1 0x01
0000059a: ADD
0000059b: PUSH2 0x058b
0000059e: JUMP
0000059f: JUMPDEST
000005a0: PUSH1 0x00
000005a2: NOT
000005a3: ADD
000005a4: JUMPDEST
000005a5: CALLER
000005a6: PUSH1 0x01
000005a8: PUSH1 0xa0
000005aa: PUSH1 0x02
000005ac: EXP
000005ad: SUB
000005ae: AND
000005af: PUSH1 0x00
000005b1: SWAP1
000005b2: DUP2
000005b3: MSTORE
000005b4: PUSH1 0x20
000005b6: DUP6
000005b7: SWAP1
000005b8: MSTORE
000005b9: PUSH1 0x40
000005bb: SWAP1
000005bc: KECCAK256
000005bd: SLOAD
000005be: PUSH1 0x01
000005c0: DUP4
000005c1: ADD
000005c2: DUP1
000005c3: SLOAD
000005c4: DUP4
000005c5: SWAP1
000005c6: DUP2
000005c7: LT
000005c8: ISZERO
000005c9: PUSH2 0x0002
000005cc: JUMPI
000005cd: PUSH1 0x00
000005cf: SWAP2
000005d0: DUP3
000005d1: MSTORE
000005d2: PUSH1 0x20
000005d4: SWAP1
000005d5: SWAP2
000005d6: KECCAK256
000005d7: ADD
000005d8: SSTORE
000005d9: JUMPDEST
000005da: POP
000005db: POP
000005dc: POP
000005dd: POP
000005de: POP
000005df: POP
000005e0: POP
000005e1: JUMP
000005e2: JUMPDEST
000005e3: POP
000005e4: POP
000005e5: POP
000005e6: POP
000005e7: PUSH1 0x01
000005e9: DUP3
000005ea: DUP2
000005eb: ADD
000005ec: DUP1
000005ed: SLOAD
000005ee: SWAP2
000005ef: DUP3
000005f0: ADD
000005f1: DUP1
000005f2: DUP3
000005f3: SSTORE
000005f4: SWAP2
000005f5: DUP3
000005f6: SWAP1
000005f7: DUP1
000005f8: ISZERO
000005f9: DUP3
000005fa: SWAP1
000005fb: GT
000005fc: PUSH2 0x061a
000005ff: JUMPI
00000600: PUSH1 0x00
00000602: DUP4
00000603: DUP2
00000604: MSTORE
00000605: PUSH1 0x20
00000607: SWAP1
00000608: KECCAK256
00000609: PUSH2 0x061a
0000060c: SWAP2
0000060d: DUP2
0000060e: ADD
0000060f: SWAP1
00000610: DUP4
00000611: ADD
00000612: PUSH2 0x058b
00000615: JUMP
00000616: JUMPDEST
00000617: POP
00000618: SWAP1
00000619: JUMP
0000061a: JUMPDEST
0000061b: POP
0000061c: POP
0000061d: DUP4
0000061e: SLOAD
0000061f: DUP10
00000620: SWAP3
00000621: POP
00000622: DUP5
00000623: SWAP2
00000624: POP
00000625: DUP4
00000626: SWAP1
00000627: DUP2
00000628: LT
00000629: ISZERO
0000062a: PUSH2 0x0002
0000062d: JUMPI
0000062e: PUSH1 0x00
00000630: SWAP2
00000631: DUP3
00000632: MSTORE
00000633: PUSH1 0x20
00000635: DUP1
00000636: DUP4
00000637: KECCAK256
00000638: SWAP1
00000639: SWAP2
0000063a: ADD
0000063b: DUP1
0000063c: SLOAD
0000063d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000652: NOT
00000653: AND
00000654: SWAP1
00000655: SWAP4
00000656: OR
00000657: SWAP1
00000658: SWAP3
00000659: SSTORE
0000065a: PUSH1 0x01
0000065c: PUSH1 0xa0
0000065e: PUSH1 0x02
00000660: EXP
00000661: SUB
00000662: DUP10
00000663: AND
00000664: DUP2
00000665: MSTORE
00000666: PUSH1 0x02
00000668: DUP5
00000669: ADD
0000066a: SWAP1
0000066b: SWAP2
0000066c: MSTORE
0000066d: PUSH1 0x40
0000066f: SWAP1
00000670: KECCAK256
00000671: PUSH1 0x01
00000673: DUP3
00000674: ADD
00000675: SWAP1
00000676: SSTORE
00000677: PUSH2 0x05a4
0000067a: JUMP
0000067b: JUMPDEST
0000067c: PUSH1 0x01
0000067e: PUSH1 0xa0
00000680: PUSH1 0x02
00000682: EXP
00000683: SUB
00000684: AND
00000685: PUSH4 0xbb34534c
0000068a: DUP4
0000068b: PUSH1 0x40
0000068d: MLOAD
0000068e: DUP3
0000068f: PUSH1 0xe0
00000691: PUSH1 0x02
00000693: EXP
00000694: MUL
00000695: DUP2
00000696: MSTORE
00000697: PUSH1 0x04
00000699: ADD
0000069a: DUP1
0000069b: DUP3
0000069c: DUP2
0000069d: MSTORE
0000069e: PUSH1 0x20
000006a0: ADD
000006a1: SWAP2
000006a2: POP
000006a3: POP
000006a4: PUSH1 0x20
000006a6: PUSH1 0x40
000006a8: MLOAD
000006a9: DUP1
000006aa: DUP4
000006ab: SUB
000006ac: DUP2
000006ad: PUSH1 0x00
000006af: DUP8
000006b0: PUSH2 0x61da
000006b3: GAS
000006b4: SUB
000006b5: CALL
000006b6: ISZERO
000006b7: PUSH2 0x0002
000006ba: JUMPI
000006bb: POP
000006bc: POP
000006bd: PUSH1 0x40
000006bf: MLOAD
000006c0: MLOAD
000006c1: SWAP4
000006c2: SWAP3
000006c3: POP
000006c4: POP
000006c5: POP
000006c6: JUMP
000006c7: JUMPDEST
000006c8: POP
000006c9: DUP1
000006ca: JUMPDEST
000006cb: SWAP3
000006cc: SWAP2
000006cd: POP
000006ce: POP
000006cf: JUMP
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0x8c6b763f8ed351990859746d061f2f4008f750758f3960f9ff50dc6704fe935d
call_targets: 0x0ec3977c1ac096ec3a3fca1b36cc03aa6f5734c4
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8c6b763f8ed351990859746d061f2f4008f750758f3960f9ff50dc6704fe935d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0ec3977c1ac096ec3a3fca1b36cc03aa6f5734c4"
    ],
    "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": "0x06005754",
            "selector": "0x06005754",
            "calldata_variants": [
                "0x06005754",
                "0x060057540000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b25a7e4",
            "selector": "0x2b25a7e4",
            "calldata_variants": [
                "0x2b25a7e4",
                "0x2b25a7e40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x505ff574",
            "selector": "0x505ff574",
            "calldata_variants": [
                "0x505ff574",
                "0x505ff5740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x72929b56",
            "selector": "0x72929b56",
            "calldata_variants": [
                "0x72929b56",
                "0x72929b560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x94f60a63",
            "selector": "0x94f60a63",
            "calldata_variants": [
                "0x94f60a63",
                "0x94f60a630000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa550f86d",
            "selector": "0xa550f86d",
            "calldata_variants": [
                "0xa550f86d",
                "0xa550f86d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6f9dae1",
            "selector": "0xa6f9dae1",
            "calldata_variants": [
                "0xa6f9dae1",
                "0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd56b2889",
            "selector": "0xd56b2889",
            "calldata_variants": [
                "0xd56b2889",
                "0xd56b28890000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1049,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1102,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1717,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x8c6b763f8ed351990859746d061f2f4008f750758f3960f9ff50dc6704fe935d
call_targets: 0x0ec3977c1ac096ec3a3fca1b36cc03aa6f5734c4
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8c6b763f8ed351990859746d061f2f4008f750758f3960f9ff50dc6704fe935d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0ec3977c1ac096ec3a3fca1b36cc03aa6f5734c4"
    ],
    "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": "0x06005754",
            "selector": "0x06005754",
            "calldata_variants": [
                "0x06005754",
                "0x060057540000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2b25a7e4",
            "selector": "0x2b25a7e4",
            "calldata_variants": [
                "0x2b25a7e4",
                "0x2b25a7e40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x505ff574",
            "selector": "0x505ff574",
            "calldata_variants": [
                "0x505ff574",
                "0x505ff5740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x72929b56",
            "selector": "0x72929b56",
            "calldata_variants": [
                "0x72929b56",
                "0x72929b560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x94f60a63",
            "selector": "0x94f60a63",
            "calldata_variants": [
                "0x94f60a63",
                "0x94f60a630000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa550f86d",
            "selector": "0xa550f86d",
            "calldata_variants": [
                "0xa550f86d",
                "0xa550f86d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6f9dae1",
            "selector": "0xa6f9dae1",
            "calldata_variants": [
                "0xa6f9dae1",
                "0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd56b2889",
            "selector": "0xd56b2889",
            "calldata_variants": [
                "0xd56b2889",
                "0xd56b28890000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1049,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1102,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1717,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}