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

Analysis Run

019b3836-38c6-738e-b602-a678259300ef

complete
Chain ID
1
Address
0x24f75d50463f41eb1b405bf33ec7146a7ea929e1
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
3975 artifact.fetch complete 1 / 3 3 months ago
3976 tool.cast_disasm complete 1 / 3 3 months ago
105525 analysis.bundle complete 1 / 3 1 week ago
105526 capability.graph complete 1 / 3 1 week ago
105527 detector.run complete 1 / 3 1 week ago
105528 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
1242
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00e5
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x047fc9aa
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0100
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x06fdde03
00000025: EQ
00000026: PUSH2 0x0109
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x0b97bc86
00000030: EQ
00000031: PUSH2 0x0166
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x142f328e
0000003b: EQ
0000003c: PUSH2 0x016f
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x200b3690
00000046: EQ
00000047: PUSH2 0x017e
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x239b18b4
00000051: EQ
00000052: PUSH2 0x01a7
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x313ce567
0000005c: EQ
0000005d: PUSH2 0x01b3
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x40193883
00000067: EQ
00000068: PUSH2 0x01bf
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x54fd4d50
00000072: EQ
00000073: PUSH2 0x01c8
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x70a08231
0000007d: EQ
0000007e: PUSH2 0x0226
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x7d3d6522
00000088: EQ
00000089: PUSH2 0x0254
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x8957ce54
00000093: EQ
00000094: PUSH2 0x0264
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x8f770ad0
0000009e: EQ
0000009f: PUSH2 0x0271
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x95d89b41
000000a9: EQ
000000aa: PUSH2 0x027a
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x99bcd3b2
000000b4: EQ
000000b5: PUSH2 0x02d5
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xa4fd6f56
000000bf: EQ
000000c0: PUSH2 0x02f3
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xad66e52a
000000ca: EQ
000000cb: PUSH2 0x0302
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xbeabacc8
000000d5: EQ
000000d6: PUSH2 0x030b
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xc24a0f8b
000000e0: EQ
000000e1: PUSH2 0x032a
000000e4: JUMPI
000000e5: JUMPDEST
000000e6: PUSH2 0x0333
000000e9: PUSH1 0x0b
000000eb: SLOAD
000000ec: PUSH1 0x00
000000ee: SWAP1
000000ef: DUP2
000000f0: SWAP1
000000f1: PUSH1 0xff
000000f3: AND
000000f4: PUSH1 0x01
000000f6: EQ
000000f7: ISZERO
000000f8: PUSH2 0x0335
000000fb: JUMPI
000000fc: PUSH2 0x0002
000000ff: JUMP
00000100: JUMPDEST
00000101: PUSH2 0x0242
00000104: PUSH1 0x05
00000106: SLOAD
00000107: DUP2
00000108: JUMP
00000109: JUMPDEST
0000010a: PUSH1 0x40
0000010c: DUP1
0000010d: MLOAD
0000010e: PUSH1 0x01
00000110: DUP1
00000111: SLOAD
00000112: PUSH1 0x20
00000114: PUSH1 0x02
00000116: DUP3
00000117: DUP5
00000118: AND
00000119: ISZERO
0000011a: PUSH2 0x0100
0000011d: MUL
0000011e: PUSH1 0x00
00000120: NOT
00000121: ADD
00000122: SWAP1
00000123: SWAP3
00000124: AND
00000125: SWAP2
00000126: SWAP1
00000127: SWAP2
00000128: DIV
00000129: PUSH1 0x1f
0000012b: DUP2
0000012c: ADD
0000012d: DUP3
0000012e: SWAP1
0000012f: DIV
00000130: DUP3
00000131: MUL
00000132: DUP5
00000133: ADD
00000134: DUP3
00000135: ADD
00000136: SWAP1
00000137: SWAP5
00000138: MSTORE
00000139: DUP4
0000013a: DUP4
0000013b: MSTORE
0000013c: PUSH2 0x0363
0000013f: SWAP4
00000140: SWAP1
00000141: DUP4
00000142: ADD
00000143: DUP3
00000144: DUP3
00000145: DUP1
00000146: ISZERO
00000147: PUSH2 0x0413
0000014a: JUMPI
0000014b: DUP1
0000014c: PUSH1 0x1f
0000014e: LT
0000014f: PUSH2 0x03e8
00000152: JUMPI
00000153: PUSH2 0x0100
00000156: DUP1
00000157: DUP4
00000158: SLOAD
00000159: DIV
0000015a: MUL
0000015b: DUP4
0000015c: MSTORE
0000015d: SWAP2
0000015e: PUSH1 0x20
00000160: ADD
00000161: SWAP2
00000162: PUSH2 0x0413
00000165: JUMP
00000166: JUMPDEST
00000167: PUSH2 0x0242
0000016a: PUSH1 0x08
0000016c: SLOAD
0000016d: DUP2
0000016e: JUMP
0000016f: JUMPDEST
00000170: PUSH2 0x0242
00000173: PUSH1 0x00
00000175: PUSH1 0x00
00000177: PUSH2 0x06f5
0000017a: PUSH2 0x0258
0000017d: JUMP
0000017e: JUMPDEST
0000017f: PUSH2 0x0333
00000182: PUSH1 0x04
00000184: CALLDATALOAD
00000185: PUSH1 0x24
00000187: CALLDATALOAD
00000188: PUSH1 0x44
0000018a: CALLDATALOAD
0000018b: PUSH1 0x00
0000018d: SLOAD
0000018e: PUSH1 0x01
00000190: PUSH1 0xa0
00000192: PUSH1 0x02
00000194: EXP
00000195: SUB
00000196: SWAP1
00000197: DUP2
00000198: AND
00000199: CALLER
0000019a: SWAP2
0000019b: SWAP1
0000019c: SWAP2
0000019d: AND
0000019e: EQ
0000019f: PUSH2 0x041b
000001a2: JUMPI
000001a3: PUSH2 0x0002
000001a6: JUMP
000001a7: JUMPDEST
000001a8: PUSH2 0x0242
000001ab: PUSH1 0x0b
000001ad: SLOAD
000001ae: PUSH1 0xff
000001b0: AND
000001b1: DUP2
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH2 0x03d1
000001b7: PUSH1 0x04
000001b9: SLOAD
000001ba: PUSH1 0xff
000001bc: AND
000001bd: DUP2
000001be: JUMP
000001bf: JUMPDEST
000001c0: PUSH2 0x0242
000001c3: PUSH1 0x0a
000001c5: SLOAD
000001c6: DUP2
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH1 0x40
000001cb: DUP1
000001cc: MLOAD
000001cd: PUSH1 0x03
000001cf: DUP1
000001d0: SLOAD
000001d1: PUSH1 0x20
000001d3: PUSH1 0x02
000001d5: PUSH1 0x01
000001d7: DUP4
000001d8: AND
000001d9: ISZERO
000001da: PUSH2 0x0100
000001dd: MUL
000001de: PUSH1 0x00
000001e0: NOT
000001e1: ADD
000001e2: SWAP1
000001e3: SWAP3
000001e4: AND
000001e5: SWAP2
000001e6: SWAP1
000001e7: SWAP2
000001e8: DIV
000001e9: PUSH1 0x1f
000001eb: DUP2
000001ec: ADD
000001ed: DUP3
000001ee: SWAP1
000001ef: DIV
000001f0: DUP3
000001f1: MUL
000001f2: DUP5
000001f3: ADD
000001f4: DUP3
000001f5: ADD
000001f6: SWAP1
000001f7: SWAP5
000001f8: MSTORE
000001f9: DUP4
000001fa: DUP4
000001fb: MSTORE
000001fc: PUSH2 0x0363
000001ff: SWAP4
00000200: SWAP1
00000201: DUP4
00000202: ADD
00000203: DUP3
00000204: DUP3
00000205: DUP1
00000206: ISZERO
00000207: PUSH2 0x0413
0000020a: JUMPI
0000020b: DUP1
0000020c: PUSH1 0x1f
0000020e: LT
0000020f: PUSH2 0x03e8
00000212: JUMPI
00000213: PUSH2 0x0100
00000216: DUP1
00000217: DUP4
00000218: SLOAD
00000219: DIV
0000021a: MUL
0000021b: DUP4
0000021c: MSTORE
0000021d: SWAP2
0000021e: PUSH1 0x20
00000220: ADD
00000221: SWAP2
00000222: PUSH2 0x0413
00000225: JUMP
00000226: JUMPDEST
00000227: PUSH1 0x04
00000229: CALLDATALOAD
0000022a: PUSH1 0x01
0000022c: PUSH1 0xa0
0000022e: PUSH1 0x02
00000230: EXP
00000231: SUB
00000232: AND
00000233: PUSH1 0x00
00000235: SWAP1
00000236: DUP2
00000237: MSTORE
00000238: PUSH1 0x0c
0000023a: PUSH1 0x20
0000023c: MSTORE
0000023d: PUSH1 0x40
0000023f: SWAP1
00000240: KECCAK256
00000241: SLOAD
00000242: JUMPDEST
00000243: PUSH1 0x40
00000245: DUP1
00000246: MLOAD
00000247: SWAP2
00000248: DUP3
00000249: MSTORE
0000024a: MLOAD
0000024b: SWAP1
0000024c: DUP2
0000024d: SWAP1
0000024e: SUB
0000024f: PUSH1 0x20
00000251: ADD
00000252: SWAP1
00000253: RETURN
00000254: JUMPDEST
00000255: PUSH2 0x0242
00000258: JUMPDEST
00000259: PUSH1 0x0a
0000025b: SLOAD
0000025c: PUSH1 0x05
0000025e: SLOAD
0000025f: LT
00000260: ISZERO
00000261: JUMPDEST
00000262: SWAP1
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH2 0x0242
00000268: PUSH1 0x00
0000026a: PUSH2 0x05e4
0000026d: PUSH2 0x02d9
00000270: JUMP
00000271: JUMPDEST
00000272: PUSH2 0x0242
00000275: PUSH1 0x06
00000277: SLOAD
00000278: DUP2
00000279: JUMP
0000027a: JUMPDEST
0000027b: PUSH1 0x40
0000027d: DUP1
0000027e: MLOAD
0000027f: PUSH1 0x02
00000281: DUP1
00000282: SLOAD
00000283: PUSH1 0x20
00000285: PUSH1 0x01
00000287: DUP3
00000288: AND
00000289: ISZERO
0000028a: PUSH2 0x0100
0000028d: MUL
0000028e: PUSH1 0x00
00000290: NOT
00000291: ADD
00000292: SWAP1
00000293: SWAP2
00000294: AND
00000295: DUP3
00000296: SWAP1
00000297: DIV
00000298: PUSH1 0x1f
0000029a: DUP2
0000029b: ADD
0000029c: DUP3
0000029d: SWAP1
0000029e: DIV
0000029f: DUP3
000002a0: MUL
000002a1: DUP5
000002a2: ADD
000002a3: DUP3
000002a4: ADD
000002a5: SWAP1
000002a6: SWAP5
000002a7: MSTORE
000002a8: DUP4
000002a9: DUP4
000002aa: MSTORE
000002ab: PUSH2 0x0363
000002ae: SWAP4
000002af: SWAP1
000002b0: DUP4
000002b1: ADD
000002b2: DUP3
000002b3: DUP3
000002b4: DUP1
000002b5: ISZERO
000002b6: PUSH2 0x0413
000002b9: JUMPI
000002ba: DUP1
000002bb: PUSH1 0x1f
000002bd: LT
000002be: PUSH2 0x03e8
000002c1: JUMPI
000002c2: PUSH2 0x0100
000002c5: DUP1
000002c6: DUP4
000002c7: SLOAD
000002c8: DIV
000002c9: MUL
000002ca: DUP4
000002cb: MSTORE
000002cc: SWAP2
000002cd: PUSH1 0x20
000002cf: ADD
000002d0: SWAP2
000002d1: PUSH2 0x0413
000002d4: JUMP
000002d5: JUMPDEST
000002d6: PUSH2 0x0242
000002d9: JUMPDEST
000002da: PUSH1 0x06
000002dc: SLOAD
000002dd: PUSH1 0x05
000002df: SLOAD
000002e0: PUSH1 0x00
000002e2: SWAP2
000002e3: SWAP1
000002e4: LT
000002e5: ISZERO
000002e6: DUP1
000002e7: PUSH2 0x069f
000002ea: JUMPI
000002eb: POP
000002ec: PUSH2 0x0690
000002ef: PUSH2 0x02f7
000002f2: JUMP
000002f3: JUMPDEST
000002f4: PUSH2 0x0242
000002f7: JUMPDEST
000002f8: PUSH1 0x09
000002fa: SLOAD
000002fb: TIMESTAMP
000002fc: LT
000002fd: ISZERO
000002fe: PUSH2 0x0261
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH2 0x0242
00000306: PUSH1 0x07
00000308: SLOAD
00000309: DUP2
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH2 0x0333
0000030f: PUSH1 0x04
00000311: CALLDATALOAD
00000312: PUSH1 0x24
00000314: CALLDATALOAD
00000315: PUSH1 0x44
00000317: CALLDATALOAD
00000318: PUSH1 0x0b
0000031a: SLOAD
0000031b: PUSH1 0xff
0000031d: AND
0000031e: PUSH1 0x00
00000320: EQ
00000321: ISZERO
00000322: PUSH2 0x0472
00000325: JUMPI
00000326: PUSH2 0x0002
00000329: JUMP
0000032a: JUMPDEST
0000032b: PUSH2 0x0242
0000032e: PUSH1 0x09
00000330: SLOAD
00000331: DUP2
00000332: JUMP
00000333: JUMPDEST
00000334: STOP
00000335: JUMPDEST
00000336: POP
00000337: CALLVALUE
00000338: SWAP1
00000339: POP
0000033a: CALLER
0000033b: PUSH2 0x0354
0000033e: DUP2
0000033f: DUP4
00000340: PUSH1 0x06
00000342: SLOAD
00000343: PUSH1 0x05
00000345: SLOAD
00000346: PUSH1 0x00
00000348: SWAP2
00000349: SWAP1
0000034a: GT
0000034b: ISZERO
0000034c: PUSH2 0x0598
0000034f: JUMPI
00000350: PUSH2 0x0592
00000353: JUMP
00000354: JUMPDEST
00000355: ISZERO
00000356: ISZERO
00000357: PUSH2 0x035f
0000035a: JUMPI
0000035b: PUSH2 0x0002
0000035e: JUMP
0000035f: JUMPDEST
00000360: POP
00000361: POP
00000362: JUMP
00000363: JUMPDEST
00000364: PUSH1 0x40
00000366: MLOAD
00000367: DUP1
00000368: DUP1
00000369: PUSH1 0x20
0000036b: ADD
0000036c: DUP3
0000036d: DUP2
0000036e: SUB
0000036f: DUP3
00000370: MSTORE
00000371: DUP4
00000372: DUP2
00000373: DUP2
00000374: MLOAD
00000375: DUP2
00000376: MSTORE
00000377: PUSH1 0x20
00000379: ADD
0000037a: SWAP2
0000037b: POP
0000037c: DUP1
0000037d: MLOAD
0000037e: SWAP1
0000037f: PUSH1 0x20
00000381: ADD
00000382: SWAP1
00000383: DUP1
00000384: DUP4
00000385: DUP4
00000386: DUP3
00000387: SWAP1
00000388: PUSH1 0x00
0000038a: PUSH1 0x04
0000038c: PUSH1 0x20
0000038e: DUP5
0000038f: PUSH1 0x1f
00000391: ADD
00000392: DIV
00000393: PUSH1 0x0f
00000395: MUL
00000396: PUSH1 0x03
00000398: ADD
00000399: CALL
0000039a: POP
0000039b: SWAP1
0000039c: POP
0000039d: SWAP1
0000039e: DUP2
0000039f: ADD
000003a0: SWAP1
000003a1: PUSH1 0x1f
000003a3: AND
000003a4: DUP1
000003a5: ISZERO
000003a6: PUSH2 0x03c3
000003a9: JUMPI
000003aa: DUP1
000003ab: DUP3
000003ac: SUB
000003ad: DUP1
000003ae: MLOAD
000003af: PUSH1 0x01
000003b1: DUP4
000003b2: PUSH1 0x20
000003b4: SUB
000003b5: PUSH2 0x0100
000003b8: EXP
000003b9: SUB
000003ba: NOT
000003bb: AND
000003bc: DUP2
000003bd: MSTORE
000003be: PUSH1 0x20
000003c0: ADD
000003c1: SWAP2
000003c2: POP
000003c3: JUMPDEST
000003c4: POP
000003c5: SWAP3
000003c6: POP
000003c7: POP
000003c8: POP
000003c9: PUSH1 0x40
000003cb: MLOAD
000003cc: DUP1
000003cd: SWAP2
000003ce: SUB
000003cf: SWAP1
000003d0: RETURN
000003d1: JUMPDEST
000003d2: PUSH1 0x40
000003d4: DUP1
000003d5: MLOAD
000003d6: PUSH1 0xff
000003d8: SWAP3
000003d9: SWAP1
000003da: SWAP3
000003db: AND
000003dc: DUP3
000003dd: MSTORE
000003de: MLOAD
000003df: SWAP1
000003e0: DUP2
000003e1: SWAP1
000003e2: SUB
000003e3: PUSH1 0x20
000003e5: ADD
000003e6: SWAP1
000003e7: RETURN
000003e8: JUMPDEST
000003e9: DUP3
000003ea: ADD
000003eb: SWAP2
000003ec: SWAP1
000003ed: PUSH1 0x00
000003ef: MSTORE
000003f0: PUSH1 0x20
000003f2: PUSH1 0x00
000003f4: KECCAK256
000003f5: SWAP1
000003f6: JUMPDEST
000003f7: DUP2
000003f8: SLOAD
000003f9: DUP2
000003fa: MSTORE
000003fb: SWAP1
000003fc: PUSH1 0x01
000003fe: ADD
000003ff: SWAP1
00000400: PUSH1 0x20
00000402: ADD
00000403: DUP1
00000404: DUP4
00000405: GT
00000406: PUSH2 0x03f6
00000409: JUMPI
0000040a: DUP3
0000040b: SWAP1
0000040c: SUB
0000040d: PUSH1 0x1f
0000040f: AND
00000410: DUP3
00000411: ADD
00000412: SWAP2
00000413: JUMPDEST
00000414: POP
00000415: POP
00000416: POP
00000417: POP
00000418: POP
00000419: DUP2
0000041a: JUMP
0000041b: JUMPDEST
0000041c: DUP1
0000041d: PUSH1 0x01
0000041f: EQ
00000420: ISZERO
00000421: PUSH2 0x044a
00000424: JUMPI
00000425: PUSH1 0x01
00000427: PUSH1 0xa0
00000429: PUSH1 0x02
0000042b: EXP
0000042c: SUB
0000042d: DUP4
0000042e: AND
0000042f: PUSH1 0x00
00000431: SWAP1
00000432: DUP2
00000433: MSTORE
00000434: PUSH1 0x0c
00000436: PUSH1 0x20
00000438: MSTORE
00000439: PUSH1 0x40
0000043b: SWAP1
0000043c: KECCAK256
0000043d: PUSH1 0x01
0000043f: ADD
00000440: DUP1
00000441: SLOAD
00000442: DUP4
00000443: ADD
00000444: SWAP1
00000445: SSTORE
00000446: PUSH2 0x046d
00000449: JUMP
0000044a: JUMPDEST
0000044b: PUSH1 0x01
0000044d: PUSH1 0xa0
0000044f: PUSH1 0x02
00000451: EXP
00000452: SUB
00000453: DUP4
00000454: AND
00000455: PUSH1 0x00
00000457: SWAP1
00000458: DUP2
00000459: MSTORE
0000045a: PUSH1 0x0c
0000045c: PUSH1 0x20
0000045e: MSTORE
0000045f: PUSH1 0x40
00000461: SWAP1
00000462: KECCAK256
00000463: PUSH1 0x01
00000465: ADD
00000466: DUP1
00000467: SLOAD
00000468: DUP4
00000469: SWAP1
0000046a: SUB
0000046b: SWAP1
0000046c: SSTORE
0000046d: JUMPDEST
0000046e: POP
0000046f: POP
00000470: POP
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH1 0x01
00000475: PUSH1 0xa0
00000477: PUSH1 0x02
00000479: EXP
0000047a: SUB
0000047b: DUP4
0000047c: DUP2
0000047d: AND
0000047e: PUSH1 0x00
00000480: SWAP1
00000481: DUP2
00000482: MSTORE
00000483: PUSH1 0x0c
00000485: PUSH1 0x20
00000487: MSTORE
00000488: PUSH1 0x40
0000048a: DUP1
0000048b: DUP3
0000048c: KECCAK256
0000048d: PUSH1 0x01
0000048f: ADD
00000490: SLOAD
00000491: SWAP3
00000492: DUP6
00000493: AND
00000494: DUP3
00000495: MSTORE
00000496: SWAP1
00000497: KECCAK256
00000498: SLOAD
00000499: SWAP1
0000049a: DUP2
0000049b: SUB
0000049c: SWAP1
0000049d: DUP3
0000049e: ADD
0000049f: LT
000004a0: ISZERO
000004a1: PUSH2 0x04a9
000004a4: JUMPI
000004a5: PUSH2 0x0002
000004a8: JUMP
000004a9: JUMPDEST
000004aa: PUSH1 0x01
000004ac: PUSH1 0xa0
000004ae: PUSH1 0x02
000004b0: EXP
000004b1: SUB
000004b2: DUP4
000004b3: AND
000004b4: PUSH1 0x00
000004b6: SWAP1
000004b7: DUP2
000004b8: MSTORE
000004b9: PUSH1 0x0c
000004bb: PUSH1 0x20
000004bd: MSTORE
000004be: PUSH1 0x40
000004c0: SWAP1
000004c1: KECCAK256
000004c2: SLOAD
000004c3: DUP2
000004c4: SWAP1
000004c5: LT
000004c6: DUP1
000004c7: ISZERO
000004c8: PUSH2 0x04d1
000004cb: JUMPI
000004cc: POP
000004cd: PUSH1 0x00
000004cf: DUP2
000004d0: GT
000004d1: JUMPDEST
000004d2: ISZERO
000004d3: PUSH2 0x04db
000004d6: JUMPI
000004d7: PUSH2 0x0002
000004da: JUMP
000004db: JUMPDEST
000004dc: CALLER
000004dd: PUSH1 0x01
000004df: PUSH1 0xa0
000004e1: PUSH1 0x02
000004e3: EXP
000004e4: SUB
000004e5: AND
000004e6: DUP4
000004e7: PUSH1 0x01
000004e9: PUSH1 0xa0
000004eb: PUSH1 0x02
000004ed: EXP
000004ee: SUB
000004ef: AND
000004f0: EQ
000004f1: ISZERO
000004f2: PUSH2 0x046d
000004f5: JUMPI
000004f6: PUSH1 0x01
000004f8: PUSH1 0xa0
000004fa: PUSH1 0x02
000004fc: EXP
000004fd: SUB
000004fe: DUP3
000004ff: DUP2
00000500: AND
00000501: PUSH1 0x00
00000503: DUP2
00000504: DUP2
00000505: MSTORE
00000506: PUSH1 0x0c
00000508: PUSH1 0x20
0000050a: SWAP1
0000050b: DUP2
0000050c: MSTORE
0000050d: PUSH1 0x40
0000050f: DUP1
00000510: DUP4
00000511: KECCAK256
00000512: DUP1
00000513: SLOAD
00000514: DUP8
00000515: ADD
00000516: SWAP1
00000517: SSTORE
00000518: SWAP4
00000519: DUP8
0000051a: AND
0000051b: DUP1
0000051c: DUP4
0000051d: MSTORE
0000051e: SWAP2
0000051f: DUP5
00000520: SWAP1
00000521: KECCAK256
00000522: DUP1
00000523: SLOAD
00000524: DUP7
00000525: SWAP1
00000526: SUB
00000527: SWAP1
00000528: SSTORE
00000529: DUP4
0000052a: MLOAD
0000052b: DUP6
0000052c: DUP2
0000052d: MSTORE
0000052e: SWAP4
0000052f: MLOAD
00000530: SWAP3
00000531: SWAP4
00000532: SWAP2
00000533: SWAP3
00000534: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000555: SWAP3
00000556: DUP2
00000557: SWAP1
00000558: SUB
00000559: SWAP1
0000055a: SWAP2
0000055b: ADD
0000055c: SWAP1
0000055d: LOG3
0000055e: POP
0000055f: POP
00000560: POP
00000561: JUMP
00000562: JUMPDEST
00000563: POP
00000564: PUSH1 0x40
00000566: MLOAD
00000567: DUP3
00000568: SWAP1
00000569: PUSH32 0xe2aeb2ae0272c38a449d3cebb58f6894790a45bfb16f73a8e1761acb1e312053
0000058a: SWAP1
0000058b: PUSH1 0x00
0000058d: SWAP1
0000058e: LOG2
0000058f: POP
00000590: PUSH1 0x01
00000592: JUMPDEST
00000593: SWAP3
00000594: SWAP2
00000595: POP
00000596: POP
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH1 0x0b
0000059b: SLOAD
0000059c: PUSH1 0xff
0000059e: AND
0000059f: PUSH1 0x01
000005a1: EQ
000005a2: ISZERO
000005a3: PUSH2 0x05ae
000005a6: JUMPI
000005a7: POP
000005a8: PUSH1 0x00
000005aa: PUSH2 0x0592
000005ad: JUMP
000005ae: JUMPDEST
000005af: PUSH1 0x01
000005b1: PUSH1 0xa0
000005b3: PUSH1 0x02
000005b5: EXP
000005b6: SUB
000005b7: DUP4
000005b8: AND
000005b9: PUSH1 0x00
000005bb: SWAP1
000005bc: DUP2
000005bd: MSTORE
000005be: PUSH1 0x0c
000005c0: PUSH1 0x20
000005c2: MSTORE
000005c3: PUSH1 0x40
000005c5: SWAP1
000005c6: KECCAK256
000005c7: DUP1
000005c8: SLOAD
000005c9: DUP4
000005ca: ADD
000005cb: SWAP1
000005cc: SSTORE
000005cd: PUSH1 0x05
000005cf: DUP1
000005d0: SLOAD
000005d1: DUP4
000005d2: ADD
000005d3: SWAP1
000005d4: SSTORE
000005d5: PUSH1 0x07
000005d7: DUP1
000005d8: SLOAD
000005d9: DUP4
000005da: ADD
000005db: SWAP1
000005dc: SSTORE
000005dd: PUSH2 0x0562
000005e0: PUSH2 0x02d9
000005e3: JUMP
000005e4: JUMPDEST
000005e5: POP
000005e6: PUSH1 0x0b
000005e8: SLOAD
000005e9: PUSH1 0xff
000005eb: AND
000005ec: PUSH1 0x01
000005ee: EQ
000005ef: ISZERO
000005f0: PUSH2 0x05fb
000005f3: JUMPI
000005f4: POP
000005f5: PUSH1 0x00
000005f7: PUSH2 0x0261
000005fa: JUMP
000005fb: JUMPDEST
000005fc: PUSH2 0x0603
000005ff: PUSH2 0x02f7
00000602: JUMP
00000603: JUMPDEST
00000604: DUP1
00000605: ISZERO
00000606: PUSH2 0x0614
00000609: JUMPI
0000060a: POP
0000060b: PUSH2 0x0612
0000060e: PUSH2 0x0258
00000611: JUMP
00000612: JUMPDEST
00000613: ISZERO
00000614: JUMPDEST
00000615: ISZERO
00000616: PUSH2 0x0261
00000619: JUMPI
0000061a: PUSH1 0x01
0000061c: PUSH1 0xa0
0000061e: PUSH1 0x02
00000620: EXP
00000621: SUB
00000622: CALLER
00000623: AND
00000624: PUSH1 0x00
00000626: SWAP1
00000627: DUP2
00000628: MSTORE
00000629: PUSH1 0x0c
0000062b: PUSH1 0x20
0000062d: MSTORE
0000062e: PUSH1 0x40
00000630: DUP2
00000631: KECCAK256
00000632: SLOAD
00000633: GT
00000634: ISZERO
00000635: PUSH2 0x0261
00000638: JUMPI
00000639: PUSH1 0x40
0000063b: PUSH1 0x00
0000063d: DUP2
0000063e: DUP2
0000063f: KECCAK256
00000640: SLOAD
00000641: SWAP2
00000642: MLOAD
00000643: PUSH1 0x01
00000645: PUSH1 0xa0
00000647: PUSH1 0x02
00000649: EXP
0000064a: SUB
0000064b: CALLER
0000064c: AND
0000064d: SWAP3
0000064e: SWAP1
0000064f: DUP3
00000650: DUP2
00000651: DUP2
00000652: DUP2
00000653: DUP6
00000654: DUP9
00000655: DUP4
00000656: CALL
00000657: SWAP4
00000658: POP
00000659: POP
0000065a: POP
0000065b: POP
0000065c: ISZERO
0000065d: PUSH2 0x0261
00000660: JUMPI
00000661: PUSH1 0x40
00000663: PUSH1 0x00
00000665: SWAP1
00000666: DUP2
00000667: KECCAK256
00000668: PUSH1 0x01
0000066a: PUSH1 0xa0
0000066c: PUSH1 0x02
0000066e: EXP
0000066f: SUB
00000670: CALLER
00000671: AND
00000672: DUP3
00000673: MSTORE
00000674: PUSH1 0x0c
00000676: PUSH1 0x20
00000678: MSTORE
00000679: PUSH1 0x05
0000067b: DUP1
0000067c: SLOAD
0000067d: DUP3
0000067e: SLOAD
0000067f: SWAP1
00000680: SUB
00000681: SWAP1
00000682: SSTORE
00000683: PUSH1 0x07
00000685: DUP1
00000686: SLOAD
00000687: DUP3
00000688: SLOAD
00000689: SWAP1
0000068a: SUB
0000068b: SWAP1
0000068c: SSTORE
0000068d: SSTORE
0000068e: SWAP1
0000068f: JUMP
00000690: JUMPDEST
00000691: DUP1
00000692: ISZERO
00000693: PUSH2 0x069f
00000696: JUMPI
00000697: POP
00000698: PUSH2 0x069f
0000069b: PUSH2 0x0258
0000069e: JUMP
0000069f: JUMPDEST
000006a0: ISZERO
000006a1: PUSH2 0x0261
000006a4: JUMPI
000006a5: POP
000006a6: PUSH1 0x0b
000006a8: DUP1
000006a9: SLOAD
000006aa: PUSH1 0xff
000006ac: NOT
000006ad: AND
000006ae: PUSH1 0x01
000006b0: SWAP1
000006b1: DUP2
000006b2: OR
000006b3: SWAP1
000006b4: SWAP2
000006b5: SSTORE
000006b6: PUSH2 0x0261
000006b9: JUMP
000006ba: JUMPDEST
000006bb: PUSH1 0x00
000006bd: DUP1
000006be: SLOAD
000006bf: PUSH1 0x07
000006c1: SLOAD
000006c2: PUSH1 0x40
000006c4: MLOAD
000006c5: PUSH1 0x01
000006c7: PUSH1 0xa0
000006c9: PUSH1 0x02
000006cb: EXP
000006cc: SUB
000006cd: SWAP3
000006ce: SWAP1
000006cf: SWAP3
000006d0: AND
000006d1: SWAP3
000006d2: SWAP2
000006d3: DUP3
000006d4: DUP2
000006d5: DUP2
000006d6: DUP2
000006d7: DUP6
000006d8: DUP9
000006d9: DUP4
000006da: CALL
000006db: SWAP4
000006dc: POP
000006dd: POP
000006de: POP
000006df: POP
000006e0: SWAP1
000006e1: POP
000006e2: DUP1
000006e3: ISZERO
000006e4: PUSH2 0x06ed
000006e7: JUMPI
000006e8: PUSH1 0x00
000006ea: PUSH1 0x07
000006ec: SSTORE
000006ed: JUMPDEST
000006ee: DUP1
000006ef: SWAP2
000006f0: POP
000006f1: JUMPDEST
000006f2: POP
000006f3: SWAP1
000006f4: JUMP
000006f5: JUMPDEST
000006f6: ISZERO
000006f7: ISZERO
000006f8: PUSH2 0x06ba
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: SWAP2
000006ff: POP
00000700: PUSH2 0x06f1
00000703: 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: 0x4153873c2e4a2335843b5402622711f3fdacd58b12a1232affcafa5b5449b747
call_targets: 0x24f75d50463f41eb1b405bf33ec7146a7ea929e1
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x4153873c2e4a2335843b5402622711f3fdacd58b12a1232affcafa5b5449b747",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x24f75d50463f41eb1b405bf33ec7146a7ea929e1"
    ],
    "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": "0x047fc9aa",
            "selector": "0x047fc9aa",
            "calldata_variants": [
                "0x047fc9aa",
                "0x047fc9aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0b97bc86",
            "selector": "0x0b97bc86",
            "calldata_variants": [
                "0x0b97bc86",
                "0x0b97bc860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x142f328e",
            "selector": "0x142f328e",
            "calldata_variants": [
                "0x142f328e",
                "0x142f328e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x200b3690",
            "selector": "0x200b3690",
            "calldata_variants": [
                "0x200b3690",
                "0x200b36900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x239b18b4",
            "selector": "0x239b18b4",
            "calldata_variants": [
                "0x239b18b4",
                "0x239b18b40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x40193883",
            "selector": "0x40193883",
            "calldata_variants": [
                "0x40193883",
                "0x401938830000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 921,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1622,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1754,
            "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: 0x4153873c2e4a2335843b5402622711f3fdacd58b12a1232affcafa5b5449b747
call_targets: 0x24f75d50463f41eb1b405bf33ec7146a7ea929e1
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x4153873c2e4a2335843b5402622711f3fdacd58b12a1232affcafa5b5449b747",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x24f75d50463f41eb1b405bf33ec7146a7ea929e1"
    ],
    "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": "0x047fc9aa",
            "selector": "0x047fc9aa",
            "calldata_variants": [
                "0x047fc9aa",
                "0x047fc9aa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0b97bc86",
            "selector": "0x0b97bc86",
            "calldata_variants": [
                "0x0b97bc86",
                "0x0b97bc860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x142f328e",
            "selector": "0x142f328e",
            "calldata_variants": [
                "0x142f328e",
                "0x142f328e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x200b3690",
            "selector": "0x200b3690",
            "calldata_variants": [
                "0x200b3690",
                "0x200b36900000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x239b18b4",
            "selector": "0x239b18b4",
            "calldata_variants": [
                "0x239b18b4",
                "0x239b18b40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x40193883",
            "selector": "0x40193883",
            "calldata_variants": [
                "0x40193883",
                "0x401938830000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 921,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1622,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1754,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}