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

Analysis Run

019b3836-338b-714d-abab-d6b37eb2f361

complete
Chain ID
1
Address
0x4631f91dcc2ee29b637df03df61d900224eb4325
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
3121 artifact.fetch complete 1 / 3 4 months ago
3122 tool.cast_disasm complete 1 / 3 4 months ago
79599 analysis.bundle complete 1 / 3 2 weeks ago
79600 capability.graph complete 1 / 3 2 weeks ago
79601 detector.run complete 1 / 3 2 weeks ago
79602 validation.fork complete 1 / 3 2 weeks 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
1262
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 0x10266d10
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x008f
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x1aa02d59
00000025: EQ
00000026: PUSH2 0x00b1
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x306329f3
00000030: EQ
00000031: PUSH2 0x00d7
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x495c1902
0000003b: EQ
0000003c: PUSH2 0x00e0
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x6a09f6be
00000046: EQ
00000047: PUSH2 0x012f
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x734b1946
00000051: EQ
00000052: PUSH2 0x017b
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x8da5cb5b
0000005c: EQ
0000005d: PUSH2 0x01a0
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x9f13339c
00000067: EQ
00000068: PUSH2 0x01b2
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0xb1183c53
00000072: EQ
00000073: PUSH2 0x02a4
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0xbfc54822
0000007d: EQ
0000007e: PUSH2 0x02c0
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xddca3f43
00000088: EQ
00000089: PUSH2 0x02ff
0000008c: JUMPI
0000008d: JUMPDEST
0000008e: STOP
0000008f: JUMPDEST
00000090: PUSH2 0x008d
00000093: PUSH1 0x04
00000095: CALLDATALOAD
00000096: PUSH1 0x00
00000098: SLOAD
00000099: CALLER
0000009a: PUSH1 0x01
0000009c: PUSH1 0xa0
0000009e: PUSH1 0x02
000000a0: EXP
000000a1: SUB
000000a2: SWAP1
000000a3: DUP2
000000a4: AND
000000a5: SWAP2
000000a6: AND
000000a7: EQ
000000a8: ISZERO
000000a9: PUSH2 0x00d4
000000ac: JUMPI
000000ad: PUSH1 0x02
000000af: SSTORE
000000b0: JUMP
000000b1: JUMPDEST
000000b2: PUSH2 0x008d
000000b5: PUSH1 0x04
000000b7: CALLDATALOAD
000000b8: PUSH1 0x00
000000ba: SLOAD
000000bb: CALLER
000000bc: PUSH1 0x01
000000be: PUSH1 0xa0
000000c0: PUSH1 0x02
000000c2: EXP
000000c3: SUB
000000c4: SWAP1
000000c5: DUP2
000000c6: AND
000000c7: SWAP2
000000c8: AND
000000c9: EQ
000000ca: ISZERO
000000cb: PUSH2 0x00d4
000000ce: JUMPI
000000cf: PUSH1 0x01
000000d1: DUP2
000000d2: SWAP1
000000d3: SSTORE
000000d4: JUMPDEST
000000d5: POP
000000d6: JUMP
000000d7: JUMPDEST
000000d8: PUSH2 0x018e
000000db: PUSH1 0x02
000000dd: SLOAD
000000de: DUP2
000000df: JUMP
000000e0: JUMPDEST
000000e1: PUSH2 0x0308
000000e4: PUSH1 0x04
000000e6: CALLDATALOAD
000000e7: PUSH1 0xe0
000000e9: PUSH1 0x40
000000eb: MSTORE
000000ec: PUSH1 0x60
000000ee: PUSH1 0x04
000000f0: DUP2
000000f1: JUMPDEST
000000f2: PUSH1 0x00
000000f4: DUP2
000000f5: MSTORE
000000f6: PUSH1 0x20
000000f8: ADD
000000f9: SWAP1
000000fa: PUSH1 0x01
000000fc: SWAP1
000000fd: SUB
000000fe: SWAP1
000000ff: DUP2
00000100: PUSH2 0x00f1
00000103: JUMPI
00000104: SWAP1
00000105: POP
00000106: POP
00000107: PUSH1 0x00
00000109: PUSH1 0x00
0000010b: DUP4
0000010c: LT
0000010d: DUP1
0000010e: PUSH2 0x0125
00000111: JUMPI
00000112: POP
00000113: PUSH1 0x02
00000115: SLOAD
00000116: DUP2
00000117: MSTORE
00000118: PUSH1 0x03
0000011a: PUSH1 0x20
0000011c: MSTORE
0000011d: PUSH1 0x40
0000011f: DUP2
00000120: KECCAK256
00000121: SLOAD
00000122: DUP4
00000123: LT
00000124: ISZERO
00000125: JUMPDEST
00000126: ISZERO
00000127: PUSH2 0x069b
0000012a: JUMPI
0000012b: PUSH2 0x0002
0000012e: JUMP
0000012f: JUMPDEST
00000130: PUSH2 0x0321
00000133: PUSH1 0x04
00000135: CALLDATALOAD
00000136: PUSH1 0x24
00000138: CALLDATALOAD
00000139: PUSH1 0x03
0000013b: PUSH1 0x20
0000013d: MSTORE
0000013e: PUSH1 0x00
00000140: DUP3
00000141: DUP2
00000142: MSTORE
00000143: PUSH1 0x40
00000145: SWAP1
00000146: KECCAK256
00000147: DUP1
00000148: SLOAD
00000149: DUP3
0000014a: SWAP1
0000014b: DUP2
0000014c: LT
0000014d: ISZERO
0000014e: PUSH2 0x0002
00000151: JUMPI
00000152: POP
00000153: PUSH1 0x00
00000155: SWAP1
00000156: DUP2
00000157: MSTORE
00000158: PUSH1 0x20
0000015a: SWAP1
0000015b: KECCAK256
0000015c: PUSH1 0x02
0000015e: SWAP1
0000015f: SWAP2
00000160: MUL
00000161: ADD
00000162: DUP1
00000163: SLOAD
00000164: PUSH1 0x01
00000166: SWAP2
00000167: SWAP1
00000168: SWAP2
00000169: ADD
0000016a: SLOAD
0000016b: PUSH1 0x01
0000016d: PUSH1 0xa0
0000016f: PUSH1 0x02
00000171: EXP
00000172: SUB
00000173: SWAP2
00000174: SWAP1
00000175: SWAP2
00000176: AND
00000177: SWAP2
00000178: POP
00000179: DUP3
0000017a: JUMP
0000017b: JUMPDEST
0000017c: PUSH1 0x02
0000017e: SLOAD
0000017f: PUSH1 0x00
00000181: SWAP1
00000182: DUP2
00000183: MSTORE
00000184: PUSH1 0x03
00000186: PUSH1 0x20
00000188: MSTORE
00000189: PUSH1 0x40
0000018b: SWAP1
0000018c: KECCAK256
0000018d: SLOAD
0000018e: JUMPDEST
0000018f: PUSH1 0x40
00000191: DUP1
00000192: MLOAD
00000193: SWAP2
00000194: DUP3
00000195: MSTORE
00000196: MLOAD
00000197: SWAP1
00000198: DUP2
00000199: SWAP1
0000019a: SUB
0000019b: PUSH1 0x20
0000019d: ADD
0000019e: SWAP1
0000019f: RETURN
000001a0: JUMPDEST
000001a1: PUSH2 0x032e
000001a4: PUSH1 0x00
000001a6: SLOAD
000001a7: PUSH1 0x01
000001a9: PUSH1 0xa0
000001ab: PUSH1 0x02
000001ad: EXP
000001ae: SUB
000001af: AND
000001b0: DUP2
000001b1: JUMP
000001b2: JUMPDEST
000001b3: PUSH2 0x018e
000001b6: PUSH1 0x04
000001b8: CALLDATALOAD
000001b9: PUSH1 0x24
000001bb: CALLDATALOAD
000001bc: PUSH1 0x00
000001be: PUSH1 0x00
000001c0: PUSH1 0x00
000001c2: PUSH1 0x00
000001c4: PUSH1 0x00
000001c6: PUSH1 0x00
000001c8: PUSH1 0x00
000001ca: PUSH1 0x00
000001cc: PUSH1 0x00
000001ce: PUSH1 0x00
000001d0: PUSH1 0x00
000001d2: PUSH1 0x00
000001d4: PUSH1 0x00
000001d6: PUSH1 0x00
000001d8: SWAP1
000001d9: SLOAD
000001da: SWAP1
000001db: PUSH2 0x0100
000001de: EXP
000001df: SWAP1
000001e0: DIV
000001e1: PUSH1 0x01
000001e3: PUSH1 0xa0
000001e5: PUSH1 0x02
000001e7: EXP
000001e8: SUB
000001e9: AND
000001ea: PUSH1 0x01
000001ec: PUSH1 0xa0
000001ee: PUSH1 0x02
000001f0: EXP
000001f1: SUB
000001f2: AND
000001f3: CALLER
000001f4: PUSH1 0x01
000001f6: PUSH1 0xa0
000001f8: PUSH1 0x02
000001fa: EXP
000001fb: SUB
000001fc: AND
000001fd: EQ
000001fe: ISZERO
000001ff: PUSH2 0x033d
00000202: JUMPI
00000203: DUP14
00000204: DUP2
00000205: MSTORE
00000206: PUSH1 0x03
00000208: PUSH1 0x20
0000020a: MSTORE
0000020b: PUSH1 0x40
0000020d: DUP2
0000020e: KECCAK256
0000020f: SLOAD
00000210: SWAP8
00000211: POP
00000212: JUMPDEST
00000213: DUP8
00000214: DUP10
00000215: LT
00000216: ISZERO
00000217: PUSH2 0x034e
0000021a: JUMPI
0000021b: PUSH1 0x03
0000021d: PUSH1 0x00
0000021f: POP
00000220: PUSH1 0x00
00000222: DUP16
00000223: DUP2
00000224: MSTORE
00000225: PUSH1 0x20
00000227: ADD
00000228: SWAP1
00000229: DUP2
0000022a: MSTORE
0000022b: PUSH1 0x20
0000022d: ADD
0000022e: PUSH1 0x00
00000230: KECCAK256
00000231: PUSH1 0x00
00000233: POP
00000234: DUP10
00000235: DUP2
00000236: SLOAD
00000237: DUP2
00000238: LT
00000239: ISZERO
0000023a: PUSH2 0x0002
0000023d: JUMPI
0000023e: SWAP1
0000023f: PUSH1 0x00
00000241: MSTORE
00000242: PUSH1 0x20
00000244: PUSH1 0x00
00000246: KECCAK256
00000247: SWAP1
00000248: PUSH1 0x02
0000024a: MUL
0000024b: ADD
0000024c: PUSH1 0x00
0000024e: POP
0000024f: PUSH1 0x01
00000251: ADD
00000252: SLOAD
00000253: SWAP7
00000254: POP
00000255: PUSH3 0x010000
00000259: DUP1
0000025a: DUP9
0000025b: MOD
0000025c: SWAP7
0000025d: POP
0000025e: DUP1
0000025f: DUP9
00000260: DIV
00000261: DUP2
00000262: SWAP1
00000263: MOD
00000264: SWAP6
00000265: POP
00000266: PUSH5 0x0100000000
0000026c: DUP9
0000026d: DIV
0000026e: MOD
0000026f: SWAP4
00000270: POP
00000271: PUSH7 0x01000000000000
00000279: DUP8
0000027a: DIV
0000027b: SWAP3
0000027c: POP
0000027d: DUP6
0000027e: DUP14
0000027f: LT
00000280: DUP1
00000281: ISZERO
00000282: SWAP1
00000283: PUSH2 0x028c
00000286: JUMPI
00000287: POP
00000288: DUP5
00000289: DUP14
0000028a: GT
0000028b: ISZERO
0000028c: JUMPDEST
0000028d: ISZERO
0000028e: PUSH2 0x044e
00000291: JUMPI
00000292: DUP6
00000293: DUP6
00000294: SUB
00000295: PUSH1 0x64
00000297: DUP5
00000298: MUL
00000299: DIV
0000029a: DUP5
0000029b: MUL
0000029c: SWAP1
0000029d: SWAP10
0000029e: ADD
0000029f: SWAP9
000002a0: PUSH2 0x0453
000002a3: JUMP
000002a4: JUMPDEST
000002a5: PUSH2 0x018e
000002a8: PUSH1 0x04
000002aa: CALLDATALOAD
000002ab: PUSH1 0x00
000002ad: PUSH1 0x00
000002af: PUSH1 0x00
000002b1: PUSH1 0x00
000002b3: PUSH1 0x00
000002b5: DUP6
000002b6: LT
000002b7: ISZERO
000002b8: PUSH2 0x0627
000002bb: JUMPI
000002bc: PUSH2 0x0002
000002bf: JUMP
000002c0: JUMPDEST
000002c1: PUSH2 0x018e
000002c4: PUSH1 0x04
000002c6: CALLDATALOAD
000002c7: PUSH1 0x24
000002c9: CALLDATALOAD
000002ca: PUSH1 0x44
000002cc: CALLDATALOAD
000002cd: PUSH1 0x00
000002cf: PUSH1 0x00
000002d1: PUSH1 0x00
000002d3: PUSH1 0x00
000002d5: PUSH1 0x01
000002d7: PUSH1 0x00
000002d9: POP
000002da: SLOAD
000002db: CALLVALUE
000002dc: GT
000002dd: ISZERO
000002de: ISZERO
000002df: PUSH2 0x02e3
000002e2: JUMPI
000002e3: JUMPDEST
000002e4: PUSH1 0x00
000002e6: DUP8
000002e7: GT
000002e8: ISZERO
000002e9: DUP1
000002ea: PUSH2 0x02f5
000002ed: JUMPI
000002ee: POP
000002ef: PUSH2 0x0e42
000002f2: DUP8
000002f3: LT
000002f4: ISZERO
000002f5: JUMPDEST
000002f6: ISZERO
000002f7: PUSH2 0x045f
000002fa: JUMPI
000002fb: PUSH2 0x0002
000002fe: JUMP
000002ff: JUMPDEST
00000300: PUSH2 0x018e
00000303: PUSH1 0x01
00000305: SLOAD
00000306: DUP2
00000307: JUMP
00000308: JUMPDEST
00000309: PUSH1 0x40
0000030b: MLOAD
0000030c: DUP1
0000030d: DUP3
0000030e: PUSH1 0x80
00000310: DUP1
00000311: DUP4
00000312: DUP2
00000313: DUP5
00000314: PUSH1 0x00
00000316: PUSH1 0x04
00000318: PUSH1 0x3f
0000031a: CALL
0000031b: POP
0000031c: SWAP4
0000031d: POP
0000031e: POP
0000031f: POP
00000320: RETURN
00000321: JUMPDEST
00000322: PUSH1 0x60
00000324: SWAP2
00000325: DUP3
00000326: MSTORE
00000327: PUSH1 0x80
00000329: MSTORE
0000032a: PUSH1 0x40
0000032c: SWAP1
0000032d: RETURN
0000032e: JUMPDEST
0000032f: PUSH1 0x60
00000331: SWAP1
00000332: DUP2
00000333: MSTORE
00000334: PUSH1 0x20
00000336: SWAP1
00000337: RETURN
00000338: JUMPDEST
00000339: PUSH1 0x01
0000033b: SWAP12
0000033c: POP
0000033d: JUMPDEST
0000033e: POP
0000033f: POP
00000340: POP
00000341: POP
00000342: POP
00000343: POP
00000344: POP
00000345: POP
00000346: POP
00000347: POP
00000348: POP
00000349: SWAP3
0000034a: SWAP2
0000034b: POP
0000034c: POP
0000034d: JUMP
0000034e: JUMPDEST
0000034f: SWAP8
00000350: POP
00000351: DUP1
00000352: JUMPDEST
00000353: DUP8
00000354: DUP10
00000355: LT
00000356: ISZERO
00000357: PUSH2 0x0338
0000035a: JUMPI
0000035b: PUSH1 0x03
0000035d: PUSH1 0x00
0000035f: POP
00000360: PUSH1 0x00
00000362: DUP16
00000363: DUP2
00000364: MSTORE
00000365: PUSH1 0x20
00000367: ADD
00000368: SWAP1
00000369: DUP2
0000036a: MSTORE
0000036b: PUSH1 0x20
0000036d: ADD
0000036e: PUSH1 0x00
00000370: KECCAK256
00000371: PUSH1 0x00
00000373: POP
00000374: DUP10
00000375: DUP2
00000376: SLOAD
00000377: DUP2
00000378: LT
00000379: ISZERO
0000037a: PUSH2 0x0002
0000037d: JUMPI
0000037e: SWAP1
0000037f: PUSH1 0x00
00000381: MSTORE
00000382: PUSH1 0x20
00000384: PUSH1 0x00
00000386: KECCAK256
00000387: SWAP1
00000388: PUSH1 0x02
0000038a: MUL
0000038b: ADD
0000038c: PUSH1 0x00
0000038e: POP
0000038f: PUSH1 0x01
00000391: ADD
00000392: SLOAD
00000393: SWAP7
00000394: POP
00000395: PUSH3 0x010000
00000399: DUP1
0000039a: DUP9
0000039b: MOD
0000039c: SWAP7
0000039d: POP
0000039e: DUP1
0000039f: DUP9
000003a0: DIV
000003a1: DUP2
000003a2: SWAP1
000003a3: MOD
000003a4: SWAP6
000003a5: POP
000003a6: PUSH5 0x0100000000
000003ac: DUP9
000003ad: DIV
000003ae: MOD
000003af: SWAP4
000003b0: POP
000003b1: PUSH7 0x01000000000000
000003b9: DUP8
000003ba: DIV
000003bb: SWAP3
000003bc: POP
000003bd: DUP6
000003be: DUP14
000003bf: LT
000003c0: DUP1
000003c1: ISZERO
000003c2: SWAP1
000003c3: PUSH2 0x03cc
000003c6: JUMPI
000003c7: POP
000003c8: DUP5
000003c9: DUP14
000003ca: GT
000003cb: ISZERO
000003cc: JUMPDEST
000003cd: ISZERO
000003ce: PUSH2 0x0442
000003d1: JUMPI
000003d2: DUP4
000003d3: DUP7
000003d4: DUP7
000003d5: SUB
000003d6: DUP5
000003d7: PUSH1 0x64
000003d9: MUL
000003da: DIV
000003db: MUL
000003dc: SWAP2
000003dd: POP
000003de: DUP2
000003df: POP
000003e0: DUP10
000003e1: DUP3
000003e2: DUP13
000003e3: MUL
000003e4: DIV
000003e5: DUP4
000003e6: ADD
000003e7: SWAP1
000003e8: POP
000003e9: DUP1
000003ea: POP
000003eb: PUSH1 0x03
000003ed: PUSH1 0x00
000003ef: POP
000003f0: PUSH1 0x00
000003f2: DUP16
000003f3: DUP2
000003f4: MSTORE
000003f5: PUSH1 0x20
000003f7: ADD
000003f8: SWAP1
000003f9: DUP2
000003fa: MSTORE
000003fb: PUSH1 0x20
000003fd: ADD
000003fe: PUSH1 0x00
00000400: KECCAK256
00000401: PUSH1 0x00
00000403: POP
00000404: DUP10
00000405: DUP2
00000406: SLOAD
00000407: DUP2
00000408: LT
00000409: ISZERO
0000040a: PUSH2 0x0002
0000040d: JUMPI
0000040e: SWAP1
0000040f: PUSH1 0x00
00000411: MSTORE
00000412: PUSH1 0x20
00000414: PUSH1 0x00
00000416: KECCAK256
00000417: SWAP1
00000418: PUSH1 0x02
0000041a: MUL
0000041b: ADD
0000041c: PUSH1 0x00
0000041e: SWAP1
0000041f: SLOAD
00000420: PUSH1 0x40
00000422: MLOAD
00000423: PUSH1 0x01
00000425: PUSH1 0xa0
00000427: PUSH1 0x02
00000429: EXP
0000042a: SUB
0000042b: SWAP2
0000042c: SWAP1
0000042d: SWAP2
0000042e: AND
0000042f: SWAP2
00000430: POP
00000431: DUP14
00000432: SWAP1
00000433: DUP4
00000434: SWAP1
00000435: DUP3
00000436: DUP2
00000437: DUP2
00000438: DUP2
00000439: DUP6
0000043a: DUP9
0000043b: DUP4
0000043c: CALL
0000043d: POP
0000043e: POP
0000043f: POP
00000440: POP
00000441: POP
00000442: JUMPDEST
00000443: PUSH1 0x01
00000445: SWAP9
00000446: SWAP1
00000447: SWAP9
00000448: ADD
00000449: SWAP8
0000044a: PUSH2 0x0352
0000044d: JUMP
0000044e: JUMPDEST
0000044f: SWAP10
00000450: DUP3
00000451: ADD
00000452: SWAP10
00000453: JUMPDEST
00000454: PUSH1 0x01
00000456: SWAP9
00000457: SWAP1
00000458: SWAP9
00000459: ADD
0000045a: SWAP8
0000045b: PUSH2 0x0212
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH1 0x00
00000462: DUP7
00000463: LT
00000464: DUP1
00000465: PUSH2 0x046e
00000468: JUMPI
00000469: POP
0000046a: PUSH1 0x00
0000046c: DUP6
0000046d: LT
0000046e: JUMPDEST
0000046f: DUP1
00000470: PUSH2 0x0478
00000473: JUMPI
00000474: POP
00000475: DUP5
00000476: DUP7
00000477: GT
00000478: JUMPDEST
00000479: DUP1
0000047a: PUSH2 0x0484
0000047d: JUMPI
0000047e: POP
0000047f: PUSH2 0xfde8
00000482: DUP6
00000483: GT
00000484: JUMPDEST
00000485: ISZERO
00000486: PUSH2 0x048e
00000489: JUMPI
0000048a: PUSH2 0x0002
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH1 0x02
00000491: SLOAD
00000492: DUP8
00000493: SUB
00000494: SWAP3
00000495: POP
00000496: DUP1
00000497: DUP4
00000498: GT
00000499: PUSH2 0x04a1
0000049c: JUMPI
0000049d: PUSH2 0x0002
000004a0: JUMP
000004a1: JUMPDEST
000004a2: PUSH1 0x02
000004a4: DUP4
000004a5: DUP5
000004a6: MUL
000004a7: DIV
000004a8: SWAP2
000004a9: POP
000004aa: DUP2
000004ab: PUSH1 0x00
000004ad: EQ
000004ae: ISZERO
000004af: PUSH2 0x04b7
000004b2: JUMPI
000004b3: PUSH1 0x01
000004b5: SWAP2
000004b6: POP
000004b7: JUMPDEST
000004b8: PUSH2 0x01f4
000004bb: DUP3
000004bc: GT
000004bd: ISZERO
000004be: PUSH2 0x04c7
000004c1: JUMPI
000004c2: PUSH2 0x01f4
000004c5: SWAP2
000004c6: POP
000004c7: JUMPDEST
000004c8: POP
000004c9: DUP6
000004ca: DUP4
000004cb: MSTORE
000004cc: PUSH1 0x03
000004ce: PUSH1 0x20
000004d0: MSTORE
000004d1: PUSH1 0x40
000004d3: DUP4
000004d4: KECCAK256
000004d5: DUP1
000004d6: SLOAD
000004d7: PUSH1 0x01
000004d9: DUP2
000004da: ADD
000004db: DUP1
000004dc: DUP4
000004dd: SSTORE
000004de: SWAP1
000004df: SWAP2
000004e0: DUP3
000004e1: SWAP2
000004e2: DUP3
000004e3: DUP1
000004e4: ISZERO
000004e5: DUP3
000004e6: SWAP1
000004e7: GT
000004e8: PUSH2 0x0534
000004eb: JUMPI
000004ec: PUSH1 0x02
000004ee: MUL
000004ef: DUP2
000004f0: PUSH1 0x02
000004f2: MUL
000004f3: DUP4
000004f4: PUSH1 0x00
000004f6: MSTORE
000004f7: PUSH1 0x20
000004f9: PUSH1 0x00
000004fb: KECCAK256
000004fc: SWAP2
000004fd: DUP3
000004fe: ADD
000004ff: SWAP2
00000500: ADD
00000501: PUSH2 0x0534
00000504: SWAP2
00000505: SWAP1
00000506: JUMPDEST
00000507: DUP1
00000508: DUP3
00000509: GT
0000050a: ISZERO
0000050b: PUSH2 0x0623
0000050e: JUMPI
0000050f: DUP1
00000510: SLOAD
00000511: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000526: NOT
00000527: AND
00000528: DUP2
00000529: SSTORE
0000052a: PUSH1 0x01
0000052c: ADD
0000052d: DUP10
0000052e: DUP2
0000052f: SSTORE
00000530: PUSH2 0x0506
00000533: JUMP
00000534: JUMPDEST
00000535: POP
00000536: POP
00000537: POP
00000538: POP
00000539: CALLER
0000053a: PUSH1 0x03
0000053c: PUSH1 0x00
0000053e: POP
0000053f: PUSH1 0x00
00000541: DUP10
00000542: DUP2
00000543: MSTORE
00000544: PUSH1 0x20
00000546: ADD
00000547: SWAP1
00000548: DUP2
00000549: MSTORE
0000054a: PUSH1 0x20
0000054c: ADD
0000054d: PUSH1 0x00
0000054f: KECCAK256
00000550: PUSH1 0x00
00000552: POP
00000553: DUP3
00000554: DUP2
00000555: SLOAD
00000556: DUP2
00000557: LT
00000558: ISZERO
00000559: PUSH2 0x0002
0000055c: JUMPI
0000055d: SWAP1
0000055e: PUSH1 0x00
00000560: MSTORE
00000561: PUSH1 0x20
00000563: PUSH1 0x00
00000565: KECCAK256
00000566: SWAP1
00000567: PUSH1 0x02
00000569: MUL
0000056a: ADD
0000056b: PUSH1 0x00
0000056d: POP
0000056e: PUSH1 0x00
00000570: ADD
00000571: PUSH1 0x00
00000573: PUSH2 0x0100
00000576: EXP
00000577: DUP2
00000578: SLOAD
00000579: DUP2
0000057a: PUSH1 0x01
0000057c: PUSH1 0xa0
0000057e: PUSH1 0x02
00000580: EXP
00000581: SUB
00000582: MUL
00000583: NOT
00000584: AND
00000585: SWAP1
00000586: DUP4
00000587: MUL
00000588: OR
00000589: SWAP1
0000058a: SSTORE
0000058b: POP
0000058c: PUSH3 0x010000
00000590: PUSH3 0x010000
00000594: PUSH3 0x010000
00000598: MUL
00000599: MUL
0000059a: PUSH1 0x01
0000059c: PUSH1 0x00
0000059e: POP
0000059f: SLOAD
000005a0: CALLVALUE
000005a1: SUB
000005a2: MUL
000005a3: PUSH3 0x010000
000005a7: PUSH3 0x010000
000005ab: MUL
000005ac: DUP4
000005ad: MUL
000005ae: PUSH3 0x010000
000005b2: DUP8
000005b3: MUL
000005b4: DUP9
000005b5: ADD
000005b6: ADD
000005b7: ADD
000005b8: PUSH1 0x03
000005ba: PUSH1 0x00
000005bc: POP
000005bd: PUSH1 0x00
000005bf: DUP10
000005c0: DUP2
000005c1: MSTORE
000005c2: PUSH1 0x20
000005c4: ADD
000005c5: SWAP1
000005c6: DUP2
000005c7: MSTORE
000005c8: PUSH1 0x20
000005ca: ADD
000005cb: PUSH1 0x00
000005cd: KECCAK256
000005ce: PUSH1 0x00
000005d0: POP
000005d1: DUP3
000005d2: DUP2
000005d3: SLOAD
000005d4: DUP2
000005d5: LT
000005d6: ISZERO
000005d7: PUSH2 0x0002
000005da: JUMPI
000005db: SWAP1
000005dc: PUSH1 0x00
000005de: MSTORE
000005df: PUSH1 0x20
000005e1: PUSH1 0x00
000005e3: KECCAK256
000005e4: SWAP1
000005e5: PUSH1 0x02
000005e7: MUL
000005e8: ADD
000005e9: PUSH1 0x00
000005eb: POP
000005ec: PUSH1 0x01
000005ee: SWAP1
000005ef: DUP2
000005f0: ADD
000005f1: SWAP2
000005f2: SWAP1
000005f3: SWAP2
000005f4: SSTORE
000005f5: DUP5
000005f6: SLOAD
000005f7: SWAP1
000005f8: SLOAD
000005f9: PUSH1 0x01
000005fb: PUSH1 0xa0
000005fd: PUSH1 0x02
000005ff: EXP
00000600: SUB
00000601: SWAP2
00000602: SWAP1
00000603: SWAP2
00000604: AND
00000605: SWAP1
00000606: DUP6
00000607: SWAP1
00000608: PUSH1 0x60
0000060a: DUP3
0000060b: DUP2
0000060c: DUP2
0000060d: DUP2
0000060e: DUP6
0000060f: DUP9
00000610: DUP4
00000611: CALL
00000612: POP
00000613: PUSH1 0x01
00000615: SWAP12
00000616: SWAP11
00000617: POP
00000618: POP
00000619: POP
0000061a: POP
0000061b: POP
0000061c: POP
0000061d: POP
0000061e: POP
0000061f: POP
00000620: POP
00000621: POP
00000622: JUMP
00000623: JUMPDEST
00000624: POP
00000625: SWAP1
00000626: JUMP
00000627: JUMPDEST
00000628: DUP5
00000629: DUP2
0000062a: MSTORE
0000062b: PUSH1 0x03
0000062d: PUSH1 0x20
0000062f: MSTORE
00000630: PUSH1 0x40
00000632: DUP2
00000633: KECCAK256
00000634: SLOAD
00000635: SWAP2
00000636: POP
00000637: JUMPDEST
00000638: DUP2
00000639: DUP4
0000063a: LT
0000063b: ISZERO
0000063c: PUSH2 0x0693
0000063f: JUMPI
00000640: PUSH3 0x010000
00000644: PUSH3 0x010000
00000648: PUSH3 0x010000
0000064c: MUL
0000064d: MUL
0000064e: PUSH1 0x03
00000650: PUSH1 0x00
00000652: POP
00000653: PUSH1 0x00
00000655: DUP8
00000656: DUP2
00000657: MSTORE
00000658: PUSH1 0x20
0000065a: ADD
0000065b: SWAP1
0000065c: DUP2
0000065d: MSTORE
0000065e: PUSH1 0x20
00000660: ADD
00000661: PUSH1 0x00
00000663: KECCAK256
00000664: PUSH1 0x00
00000666: POP
00000667: DUP5
00000668: DUP2
00000669: SLOAD
0000066a: DUP2
0000066b: LT
0000066c: ISZERO
0000066d: PUSH2 0x0002
00000670: JUMPI
00000671: SWAP1
00000672: PUSH1 0x00
00000674: MSTORE
00000675: PUSH1 0x20
00000677: PUSH1 0x00
00000679: KECCAK256
0000067a: SWAP1
0000067b: PUSH1 0x02
0000067d: MUL
0000067e: ADD
0000067f: PUSH1 0x00
00000681: POP
00000682: PUSH1 0x01
00000684: ADD
00000685: SLOAD
00000686: DIV
00000687: ADD
00000688: PUSH1 0x01
0000068a: SWAP3
0000068b: SWAP1
0000068c: SWAP3
0000068d: ADD
0000068e: SWAP2
0000068f: PUSH2 0x0637
00000692: JUMP
00000693: JUMPDEST
00000694: SWAP5
00000695: SWAP4
00000696: POP
00000697: POP
00000698: POP
00000699: POP
0000069a: JUMP
0000069b: JUMPDEST
0000069c: PUSH1 0x02
0000069e: SLOAD
0000069f: DUP2
000006a0: MSTORE
000006a1: PUSH1 0x03
000006a3: PUSH1 0x20
000006a5: MSTORE
000006a6: PUSH1 0x40
000006a8: DUP2
000006a9: KECCAK256
000006aa: DUP1
000006ab: SLOAD
000006ac: DUP5
000006ad: SWAP1
000006ae: DUP2
000006af: LT
000006b0: ISZERO
000006b1: PUSH2 0x0002
000006b4: JUMPI
000006b5: POP
000006b6: DUP2
000006b7: MSTORE
000006b8: PUSH1 0x20
000006ba: SWAP1
000006bb: KECCAK256
000006bc: PUSH1 0x02
000006be: SWAP1
000006bf: SWAP3
000006c0: MUL
000006c1: SWAP2
000006c2: SWAP1
000006c3: SWAP2
000006c4: ADD
000006c5: PUSH1 0x01
000006c7: ADD
000006c8: SLOAD
000006c9: PUSH3 0x010000
000006cd: DUP1
000006ce: DUP3
000006cf: MOD
000006d0: DUP4
000006d1: MSTORE
000006d2: DUP1
000006d3: DUP3
000006d4: DIV
000006d5: DUP2
000006d6: SWAP1
000006d7: MOD
000006d8: PUSH1 0x80
000006da: MSTORE
000006db: PUSH5 0x0100000000
000006e1: DUP3
000006e2: DIV
000006e3: MOD
000006e4: PUSH1 0xa0
000006e6: MSTORE
000006e7: PUSH7 0x01000000000000
000006ef: SWAP1
000006f0: DIV
000006f1: PUSH1 0xc0
000006f3: MSTORE
000006f4: SWAP1
000006f5: 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: 0xc7ac5e33656b1256917f985d7ab24efbd1c564d5181488e7ffd371a664bb1d49
call_targets: 0x4631f91dcc2ee29b637df03df61d900224eb4325
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xc7ac5e33656b1256917f985d7ab24efbd1c564d5181488e7ffd371a664bb1d49",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4631f91dcc2ee29b637df03df61d900224eb4325"
    ],
    "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": "0x10266d10",
            "selector": "0x10266d10",
            "calldata_variants": [
                "0x10266d10",
                "0x10266d100000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1aa02d59",
            "selector": "0x1aa02d59",
            "calldata_variants": [
                "0x1aa02d59",
                "0x1aa02d590000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x306329f3",
            "selector": "0x306329f3",
            "calldata_variants": [
                "0x306329f3",
                "0x306329f30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x495c1902",
            "selector": "0x495c1902",
            "calldata_variants": [
                "0x495c1902",
                "0x495c19020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6a09f6be",
            "selector": "0x6a09f6be",
            "calldata_variants": [
                "0x6a09f6be",
                "0x6a09f6be0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x734b1946",
            "selector": "0x734b1946",
            "calldata_variants": [
                "0x734b1946",
                "0x734b19460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9f13339c",
            "selector": "0x9f13339c",
            "calldata_variants": [
                "0x9f13339c",
                "0x9f13339c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 794,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant",
            "target_expression_category": "computed"
        },
        {
            "pc": 1084,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1553,
            "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: 0xc7ac5e33656b1256917f985d7ab24efbd1c564d5181488e7ffd371a664bb1d49
call_targets: 0x4631f91dcc2ee29b637df03df61d900224eb4325
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xc7ac5e33656b1256917f985d7ab24efbd1c564d5181488e7ffd371a664bb1d49",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4631f91dcc2ee29b637df03df61d900224eb4325"
    ],
    "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": "0x10266d10",
            "selector": "0x10266d10",
            "calldata_variants": [
                "0x10266d10",
                "0x10266d100000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1aa02d59",
            "selector": "0x1aa02d59",
            "calldata_variants": [
                "0x1aa02d59",
                "0x1aa02d590000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x306329f3",
            "selector": "0x306329f3",
            "calldata_variants": [
                "0x306329f3",
                "0x306329f30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x495c1902",
            "selector": "0x495c1902",
            "calldata_variants": [
                "0x495c1902",
                "0x495c19020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6a09f6be",
            "selector": "0x6a09f6be",
            "calldata_variants": [
                "0x6a09f6be",
                "0x6a09f6be0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x734b1946",
            "selector": "0x734b1946",
            "calldata_variants": [
                "0x734b1946",
                "0x734b19460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9f13339c",
            "selector": "0x9f13339c",
            "calldata_variants": [
                "0x9f13339c",
                "0x9f13339c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 794,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant",
            "target_expression_category": "computed"
        },
        {
            "pc": 1084,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1553,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}