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

Analysis Run

019b3844-8202-71be-a61f-4b0371082565

complete
Chain ID
1
Address
0xd5c7fa6a4f8cbdee5a11a5ffc1bf74f30e8d4bbd
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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
10105 artifact.fetch complete 1 / 3 3 months ago
10106 tool.cast_disasm complete 1 / 3 3 months ago
105977 analysis.bundle complete 1 / 3 1 week ago
105978 capability.graph complete 1 / 3 1 week ago
105979 detector.run complete 1 / 3 1 week ago
105980 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)
1
EXT*/BALANCE
0
Total opcodes
927
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x008a
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x12065fe0
00000034: EQ
00000035: PUSH2 0x01ae
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x2a090de1
0000003f: EQ
00000040: PUSH2 0x01d6
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x63b4062c
0000004a: EQ
0000004b: PUSH2 0x0209
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x694e3f85
00000055: EQ
00000056: PUSH2 0x026e
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x6fe4d97a
00000060: EQ
00000061: PUSH2 0x0296
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x8c2d0aee
0000006b: EQ
0000006c: PUSH2 0x02be
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x9c440161
00000076: EQ
00000077: PUSH2 0x02ef
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xf441b1c8
00000081: EQ
00000082: PUSH2 0x0307
00000085: JUMPI
00000086: PUSH2 0x008a
00000089: JUMP
0000008a: JUMPDEST
0000008b: PUSH2 0x01ac
0000008e: JUMPDEST
0000008f: PUSH1 0x00
00000091: PUSH1 0x00
00000093: PUSH1 0x04
00000095: PUSH1 0x00
00000097: POP
00000098: PUSH1 0x00
0000009a: CALLER
0000009b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000b0: AND
000000b1: DUP2
000000b2: MSTORE
000000b3: PUSH1 0x20
000000b5: ADD
000000b6: SWAP1
000000b7: DUP2
000000b8: MSTORE
000000b9: PUSH1 0x20
000000bb: ADD
000000bc: PUSH1 0x00
000000be: KECCAK256
000000bf: PUSH1 0x00
000000c1: POP
000000c2: SWAP2
000000c3: POP
000000c4: CALLVALUE
000000c5: SWAP1
000000c6: POP
000000c7: TIMESTAMP
000000c8: DUP3
000000c9: PUSH1 0x00
000000cb: ADD
000000cc: PUSH1 0x00
000000ce: POP
000000cf: DUP2
000000d0: SWAP1
000000d1: SSTORE
000000d2: POP
000000d3: PUSH3 0xed4e00
000000d7: TIMESTAMP
000000d8: ADD
000000d9: DUP3
000000da: PUSH1 0x01
000000dc: ADD
000000dd: PUSH1 0x00
000000df: POP
000000e0: DUP2
000000e1: SWAP1
000000e2: SSTORE
000000e3: POP
000000e4: DUP1
000000e5: DUP3
000000e6: PUSH1 0x02
000000e8: ADD
000000e9: PUSH1 0x00
000000eb: DUP3
000000ec: DUP3
000000ed: DUP3
000000ee: POP
000000ef: SLOAD
000000f0: ADD
000000f1: SWAP3
000000f2: POP
000000f3: POP
000000f4: DUP2
000000f5: SWAP1
000000f6: SSTORE
000000f7: POP
000000f8: PUSH1 0x00
000000fa: DUP3
000000fb: PUSH1 0x03
000000fd: ADD
000000fe: PUSH1 0x00
00000100: PUSH2 0x0100
00000103: EXP
00000104: DUP2
00000105: SLOAD
00000106: DUP2
00000107: PUSH1 0xff
00000109: MUL
0000010a: NOT
0000010b: AND
0000010c: SWAP1
0000010d: DUP4
0000010e: MUL
0000010f: OR
00000110: SWAP1
00000111: SSTORE
00000112: POP
00000113: CALLER
00000114: DUP3
00000115: PUSH1 0x03
00000117: ADD
00000118: PUSH1 0x01
0000011a: PUSH2 0x0100
0000011d: EXP
0000011e: DUP2
0000011f: SLOAD
00000120: DUP2
00000121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000136: MUL
00000137: NOT
00000138: AND
00000139: SWAP1
0000013a: DUP4
0000013b: MUL
0000013c: OR
0000013d: SWAP1
0000013e: SSTORE
0000013f: POP
00000140: PUSH1 0x01
00000142: PUSH1 0x01
00000144: PUSH1 0x00
00000146: DUP3
00000147: DUP3
00000148: DUP3
00000149: POP
0000014a: SLOAD
0000014b: ADD
0000014c: SWAP3
0000014d: POP
0000014e: POP
0000014f: DUP2
00000150: SWAP1
00000151: SSTORE
00000152: POP
00000153: DUP1
00000154: PUSH1 0x02
00000156: PUSH1 0x00
00000158: DUP3
00000159: DUP3
0000015a: DUP3
0000015b: POP
0000015c: SLOAD
0000015d: ADD
0000015e: SWAP3
0000015f: POP
00000160: POP
00000161: DUP2
00000162: SWAP1
00000163: SSTORE
00000164: POP
00000165: PUSH1 0x01
00000167: PUSH1 0x03
00000169: PUSH1 0x00
0000016b: POP
0000016c: PUSH1 0x00
0000016e: CALLER
0000016f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000184: AND
00000185: DUP2
00000186: MSTORE
00000187: PUSH1 0x20
00000189: ADD
0000018a: SWAP1
0000018b: DUP2
0000018c: MSTORE
0000018d: PUSH1 0x20
0000018f: ADD
00000190: PUSH1 0x00
00000192: KECCAK256
00000193: PUSH1 0x00
00000195: PUSH2 0x0100
00000198: EXP
00000199: DUP2
0000019a: SLOAD
0000019b: DUP2
0000019c: PUSH1 0xff
0000019e: MUL
0000019f: NOT
000001a0: AND
000001a1: SWAP1
000001a2: DUP4
000001a3: MUL
000001a4: OR
000001a5: SWAP1
000001a6: SSTORE
000001a7: POP
000001a8: JUMPDEST
000001a9: POP
000001aa: POP
000001ab: JUMP
000001ac: JUMPDEST
000001ad: STOP
000001ae: JUMPDEST
000001af: CALLVALUE
000001b0: PUSH2 0x0002
000001b3: JUMPI
000001b4: PUSH2 0x01c0
000001b7: PUSH1 0x04
000001b9: DUP1
000001ba: POP
000001bb: POP
000001bc: PUSH2 0x032f
000001bf: JUMP
000001c0: JUMPDEST
000001c1: PUSH1 0x40
000001c3: MLOAD
000001c4: DUP1
000001c5: DUP3
000001c6: DUP2
000001c7: MSTORE
000001c8: PUSH1 0x20
000001ca: ADD
000001cb: SWAP2
000001cc: POP
000001cd: POP
000001ce: PUSH1 0x40
000001d0: MLOAD
000001d1: DUP1
000001d2: SWAP2
000001d3: SUB
000001d4: SWAP1
000001d5: RETURN
000001d6: JUMPDEST
000001d7: CALLVALUE
000001d8: PUSH2 0x0002
000001db: JUMPI
000001dc: PUSH2 0x01f1
000001df: PUSH1 0x04
000001e1: DUP1
000001e2: DUP1
000001e3: CALLDATALOAD
000001e4: SWAP1
000001e5: PUSH1 0x20
000001e7: ADD
000001e8: SWAP1
000001e9: SWAP2
000001ea: SWAP1
000001eb: POP
000001ec: POP
000001ed: PUSH2 0x0341
000001f0: JUMP
000001f1: JUMPDEST
000001f2: PUSH1 0x40
000001f4: MLOAD
000001f5: DUP1
000001f6: DUP3
000001f7: ISZERO
000001f8: ISZERO
000001f9: DUP2
000001fa: MSTORE
000001fb: PUSH1 0x20
000001fd: ADD
000001fe: SWAP2
000001ff: POP
00000200: POP
00000201: PUSH1 0x40
00000203: MLOAD
00000204: DUP1
00000205: SWAP2
00000206: SUB
00000207: SWAP1
00000208: RETURN
00000209: JUMPDEST
0000020a: CALLVALUE
0000020b: PUSH2 0x0002
0000020e: JUMPI
0000020f: PUSH2 0x0224
00000212: PUSH1 0x04
00000214: DUP1
00000215: DUP1
00000216: CALLDATALOAD
00000217: SWAP1
00000218: PUSH1 0x20
0000021a: ADD
0000021b: SWAP1
0000021c: SWAP2
0000021d: SWAP1
0000021e: POP
0000021f: POP
00000220: PUSH2 0x0366
00000223: JUMP
00000224: JUMPDEST
00000225: PUSH1 0x40
00000227: MLOAD
00000228: DUP1
00000229: DUP7
0000022a: DUP2
0000022b: MSTORE
0000022c: PUSH1 0x20
0000022e: ADD
0000022f: DUP6
00000230: DUP2
00000231: MSTORE
00000232: PUSH1 0x20
00000234: ADD
00000235: DUP5
00000236: DUP2
00000237: MSTORE
00000238: PUSH1 0x20
0000023a: ADD
0000023b: DUP4
0000023c: ISZERO
0000023d: ISZERO
0000023e: DUP2
0000023f: MSTORE
00000240: PUSH1 0x20
00000242: ADD
00000243: DUP3
00000244: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000259: AND
0000025a: DUP2
0000025b: MSTORE
0000025c: PUSH1 0x20
0000025e: ADD
0000025f: SWAP6
00000260: POP
00000261: POP
00000262: POP
00000263: POP
00000264: POP
00000265: POP
00000266: PUSH1 0x40
00000268: MLOAD
00000269: DUP1
0000026a: SWAP2
0000026b: SUB
0000026c: SWAP1
0000026d: RETURN
0000026e: JUMPDEST
0000026f: CALLVALUE
00000270: PUSH2 0x0002
00000273: JUMPI
00000274: PUSH2 0x0280
00000277: PUSH1 0x04
00000279: DUP1
0000027a: POP
0000027b: POP
0000027c: PUSH2 0x03d5
0000027f: JUMP
00000280: JUMPDEST
00000281: PUSH1 0x40
00000283: MLOAD
00000284: DUP1
00000285: DUP3
00000286: DUP2
00000287: MSTORE
00000288: PUSH1 0x20
0000028a: ADD
0000028b: SWAP2
0000028c: POP
0000028d: POP
0000028e: PUSH1 0x40
00000290: MLOAD
00000291: DUP1
00000292: SWAP2
00000293: SUB
00000294: SWAP1
00000295: RETURN
00000296: JUMPDEST
00000297: CALLVALUE
00000298: PUSH2 0x0002
0000029b: JUMPI
0000029c: PUSH2 0x02a8
0000029f: PUSH1 0x04
000002a1: DUP1
000002a2: POP
000002a3: POP
000002a4: PUSH2 0x03de
000002a7: JUMP
000002a8: JUMPDEST
000002a9: PUSH1 0x40
000002ab: MLOAD
000002ac: DUP1
000002ad: DUP3
000002ae: DUP2
000002af: MSTORE
000002b0: PUSH1 0x20
000002b2: ADD
000002b3: SWAP2
000002b4: POP
000002b5: POP
000002b6: PUSH1 0x40
000002b8: MLOAD
000002b9: DUP1
000002ba: SWAP2
000002bb: SUB
000002bc: SWAP1
000002bd: RETURN
000002be: JUMPDEST
000002bf: CALLVALUE
000002c0: PUSH2 0x0002
000002c3: JUMPI
000002c4: PUSH2 0x02d9
000002c7: PUSH1 0x04
000002c9: DUP1
000002ca: DUP1
000002cb: CALLDATALOAD
000002cc: SWAP1
000002cd: PUSH1 0x20
000002cf: ADD
000002d0: SWAP1
000002d1: SWAP2
000002d2: SWAP1
000002d3: POP
000002d4: POP
000002d5: PUSH2 0x03e7
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH1 0x40
000002dc: MLOAD
000002dd: DUP1
000002de: DUP3
000002df: DUP2
000002e0: MSTORE
000002e1: PUSH1 0x20
000002e3: ADD
000002e4: SWAP2
000002e5: POP
000002e6: POP
000002e7: PUSH1 0x40
000002e9: MLOAD
000002ea: DUP1
000002eb: SWAP2
000002ec: SUB
000002ed: SWAP1
000002ee: RETURN
000002ef: JUMPDEST
000002f0: PUSH2 0x0305
000002f3: PUSH1 0x04
000002f5: DUP1
000002f6: DUP1
000002f7: CALLDATALOAD
000002f8: SWAP1
000002f9: PUSH1 0x20
000002fb: ADD
000002fc: SWAP1
000002fd: SWAP2
000002fe: SWAP1
000002ff: POP
00000300: POP
00000301: PUSH2 0x0436
00000304: JUMP
00000305: JUMPDEST
00000306: STOP
00000307: JUMPDEST
00000308: CALLVALUE
00000309: PUSH2 0x0002
0000030c: JUMPI
0000030d: PUSH2 0x0319
00000310: PUSH1 0x04
00000312: DUP1
00000313: POP
00000314: POP
00000315: PUSH2 0x05e8
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH1 0x40
0000031c: MLOAD
0000031d: DUP1
0000031e: DUP3
0000031f: DUP2
00000320: MSTORE
00000321: PUSH1 0x20
00000323: ADD
00000324: SWAP2
00000325: POP
00000326: POP
00000327: PUSH1 0x40
00000329: MLOAD
0000032a: DUP1
0000032b: SWAP2
0000032c: SUB
0000032d: SWAP1
0000032e: RETURN
0000032f: JUMPDEST
00000330: PUSH1 0x00
00000332: PUSH1 0x02
00000334: PUSH1 0x00
00000336: POP
00000337: SLOAD
00000338: SWAP1
00000339: POP
0000033a: PUSH2 0x033e
0000033d: JUMP
0000033e: JUMPDEST
0000033f: SWAP1
00000340: JUMP
00000341: JUMPDEST
00000342: PUSH1 0x03
00000344: PUSH1 0x00
00000346: POP
00000347: PUSH1 0x20
00000349: MSTORE
0000034a: DUP1
0000034b: PUSH1 0x00
0000034d: MSTORE
0000034e: PUSH1 0x40
00000350: PUSH1 0x00
00000352: KECCAK256
00000353: PUSH1 0x00
00000355: SWAP2
00000356: POP
00000357: SWAP1
00000358: SWAP1
00000359: SLOAD
0000035a: SWAP1
0000035b: PUSH2 0x0100
0000035e: EXP
0000035f: SWAP1
00000360: DIV
00000361: PUSH1 0xff
00000363: AND
00000364: DUP2
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH1 0x04
00000369: PUSH1 0x00
0000036b: POP
0000036c: PUSH1 0x20
0000036e: MSTORE
0000036f: DUP1
00000370: PUSH1 0x00
00000372: MSTORE
00000373: PUSH1 0x40
00000375: PUSH1 0x00
00000377: KECCAK256
00000378: PUSH1 0x00
0000037a: SWAP2
0000037b: POP
0000037c: SWAP1
0000037d: POP
0000037e: DUP1
0000037f: PUSH1 0x00
00000381: ADD
00000382: PUSH1 0x00
00000384: POP
00000385: SLOAD
00000386: SWAP1
00000387: DUP1
00000388: PUSH1 0x01
0000038a: ADD
0000038b: PUSH1 0x00
0000038d: POP
0000038e: SLOAD
0000038f: SWAP1
00000390: DUP1
00000391: PUSH1 0x02
00000393: ADD
00000394: PUSH1 0x00
00000396: POP
00000397: SLOAD
00000398: SWAP1
00000399: DUP1
0000039a: PUSH1 0x03
0000039c: ADD
0000039d: PUSH1 0x00
0000039f: SWAP1
000003a0: SLOAD
000003a1: SWAP1
000003a2: PUSH2 0x0100
000003a5: EXP
000003a6: SWAP1
000003a7: DIV
000003a8: PUSH1 0xff
000003aa: AND
000003ab: SWAP1
000003ac: DUP1
000003ad: PUSH1 0x03
000003af: ADD
000003b0: PUSH1 0x01
000003b2: SWAP1
000003b3: SLOAD
000003b4: SWAP1
000003b5: PUSH2 0x0100
000003b8: EXP
000003b9: SWAP1
000003ba: DIV
000003bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d0: AND
000003d1: SWAP1
000003d2: POP
000003d3: DUP6
000003d4: JUMP
000003d5: JUMPDEST
000003d6: PUSH1 0x01
000003d8: PUSH1 0x00
000003da: POP
000003db: SLOAD
000003dc: DUP2
000003dd: JUMP
000003de: JUMPDEST
000003df: PUSH1 0x00
000003e1: PUSH1 0x00
000003e3: POP
000003e4: SLOAD
000003e5: DUP2
000003e6: JUMP
000003e7: JUMPDEST
000003e8: PUSH1 0x00
000003ea: PUSH1 0x00
000003ec: PUSH1 0x04
000003ee: PUSH1 0x00
000003f0: POP
000003f1: PUSH1 0x00
000003f3: DUP5
000003f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000409: AND
0000040a: DUP2
0000040b: MSTORE
0000040c: PUSH1 0x20
0000040e: ADD
0000040f: SWAP1
00000410: DUP2
00000411: MSTORE
00000412: PUSH1 0x20
00000414: ADD
00000415: PUSH1 0x00
00000417: KECCAK256
00000418: PUSH1 0x00
0000041a: POP
0000041b: SWAP1
0000041c: POP
0000041d: DUP1
0000041e: PUSH1 0x02
00000420: ADD
00000421: PUSH1 0x00
00000423: POP
00000424: SLOAD
00000425: SWAP2
00000426: POP
00000427: DUP2
00000428: POP
00000429: DUP2
0000042a: SWAP2
0000042b: POP
0000042c: PUSH2 0x0430
0000042f: JUMP
00000430: JUMPDEST
00000431: POP
00000432: SWAP2
00000433: SWAP1
00000434: POP
00000435: JUMP
00000436: JUMPDEST
00000437: PUSH1 0x00
00000439: PUSH1 0x00
0000043b: ISZERO
0000043c: ISZERO
0000043d: PUSH1 0x03
0000043f: PUSH1 0x00
00000441: POP
00000442: PUSH1 0x00
00000444: CALLER
00000445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000045a: AND
0000045b: DUP2
0000045c: MSTORE
0000045d: PUSH1 0x20
0000045f: ADD
00000460: SWAP1
00000461: DUP2
00000462: MSTORE
00000463: PUSH1 0x20
00000465: ADD
00000466: PUSH1 0x00
00000468: KECCAK256
00000469: PUSH1 0x00
0000046b: SWAP1
0000046c: SLOAD
0000046d: SWAP1
0000046e: PUSH2 0x0100
00000471: EXP
00000472: SWAP1
00000473: DIV
00000474: PUSH1 0xff
00000476: AND
00000477: ISZERO
00000478: ISZERO
00000479: EQ
0000047a: ISZERO
0000047b: PUSH2 0x0483
0000047e: JUMPI
0000047f: PUSH2 0x0002
00000482: JUMP
00000483: JUMPDEST
00000484: PUSH1 0x04
00000486: PUSH1 0x00
00000488: POP
00000489: PUSH1 0x00
0000048b: CALLER
0000048c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a1: AND
000004a2: DUP2
000004a3: MSTORE
000004a4: PUSH1 0x20
000004a6: ADD
000004a7: SWAP1
000004a8: DUP2
000004a9: MSTORE
000004aa: PUSH1 0x20
000004ac: ADD
000004ad: PUSH1 0x00
000004af: KECCAK256
000004b0: PUSH1 0x00
000004b2: POP
000004b3: SWAP1
000004b4: POP
000004b5: CALLER
000004b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004cb: AND
000004cc: DUP2
000004cd: PUSH1 0x03
000004cf: ADD
000004d0: PUSH1 0x01
000004d2: SWAP1
000004d3: SLOAD
000004d4: SWAP1
000004d5: PUSH2 0x0100
000004d8: EXP
000004d9: SWAP1
000004da: DIV
000004db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004f0: AND
000004f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000506: AND
00000507: EQ
00000508: ISZERO
00000509: DUP1
0000050a: PUSH2 0x0519
0000050d: JUMPI
0000050e: POP
0000050f: DUP1
00000510: PUSH1 0x01
00000512: ADD
00000513: PUSH1 0x00
00000515: POP
00000516: SLOAD
00000517: TIMESTAMP
00000518: LT
00000519: JUMPDEST
0000051a: DUP1
0000051b: PUSH2 0x052a
0000051e: JUMPI
0000051f: POP
00000520: DUP2
00000521: DUP2
00000522: PUSH1 0x02
00000524: ADD
00000525: PUSH1 0x00
00000527: POP
00000528: SLOAD
00000529: LT
0000052a: JUMPDEST
0000052b: DUP1
0000052c: PUSH2 0x0535
0000052f: JUMPI
00000530: POP
00000531: PUSH1 0x00
00000533: DUP3
00000534: EQ
00000535: JUMPDEST
00000536: ISZERO
00000537: PUSH2 0x053f
0000053a: JUMPI
0000053b: PUSH2 0x0002
0000053e: JUMP
0000053f: JUMPDEST
00000540: DUP2
00000541: DUP2
00000542: PUSH1 0x02
00000544: ADD
00000545: PUSH1 0x00
00000547: DUP3
00000548: DUP3
00000549: DUP3
0000054a: POP
0000054b: SLOAD
0000054c: SUB
0000054d: SWAP3
0000054e: POP
0000054f: POP
00000550: DUP2
00000551: SWAP1
00000552: SSTORE
00000553: POP
00000554: DUP2
00000555: PUSH1 0x02
00000557: PUSH1 0x00
00000559: DUP3
0000055a: DUP3
0000055b: DUP3
0000055c: POP
0000055d: SLOAD
0000055e: SUB
0000055f: SWAP3
00000560: POP
00000561: POP
00000562: DUP2
00000563: SWAP1
00000564: SSTORE
00000565: POP
00000566: PUSH1 0x01
00000568: DUP2
00000569: PUSH1 0x03
0000056b: ADD
0000056c: PUSH1 0x00
0000056e: PUSH2 0x0100
00000571: EXP
00000572: DUP2
00000573: SLOAD
00000574: DUP2
00000575: PUSH1 0xff
00000577: MUL
00000578: NOT
00000579: AND
0000057a: SWAP1
0000057b: DUP4
0000057c: MUL
0000057d: OR
0000057e: SWAP1
0000057f: SSTORE
00000580: POP
00000581: DUP1
00000582: PUSH1 0x03
00000584: ADD
00000585: PUSH1 0x01
00000587: SWAP1
00000588: SLOAD
00000589: SWAP1
0000058a: PUSH2 0x0100
0000058d: EXP
0000058e: SWAP1
0000058f: DIV
00000590: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a5: AND
000005a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005bb: AND
000005bc: DUP3
000005bd: PUSH1 0x40
000005bf: MLOAD
000005c0: DUP1
000005c1: SWAP1
000005c2: POP
000005c3: PUSH1 0x00
000005c5: PUSH1 0x40
000005c7: MLOAD
000005c8: DUP1
000005c9: DUP4
000005ca: SUB
000005cb: DUP2
000005cc: DUP6
000005cd: DUP8
000005ce: PUSH2 0x8502
000005d1: GAS
000005d2: SUB
000005d3: CALL
000005d4: SWAP3
000005d5: POP
000005d6: POP
000005d7: POP
000005d8: ISZERO
000005d9: ISZERO
000005da: PUSH2 0x05e2
000005dd: JUMPI
000005de: PUSH2 0x0002
000005e1: JUMP
000005e2: JUMPDEST
000005e3: JUMPDEST
000005e4: JUMPDEST
000005e5: POP
000005e6: POP
000005e7: JUMP
000005e8: JUMPDEST
000005e9: PUSH1 0x02
000005eb: PUSH1 0x00
000005ed: POP
000005ee: SLOAD
000005ef: DUP2
000005f0: 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: 0xf093a0d9d08867c342ec11e5af2b1b68933b50a5ee16e04e206e146b4c60e065
call_targets: 0xd5c7fa6a4f8cbdee5a11a5ffc1bf74f30e8d4bbd
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf093a0d9d08867c342ec11e5af2b1b68933b50a5ee16e04e206e146b4c60e065",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd5c7fa6a4f8cbdee5a11a5ffc1bf74f30e8d4bbd"
    ],
    "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": "0x12065fe0",
            "selector": "0x12065fe0",
            "calldata_variants": [
                "0x12065fe0",
                "0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2a090de1",
            "selector": "0x2a090de1",
            "calldata_variants": [
                "0x2a090de1",
                "0x2a090de10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63b4062c",
            "selector": "0x63b4062c",
            "calldata_variants": [
                "0x63b4062c",
                "0x63b4062c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x694e3f85",
            "selector": "0x694e3f85",
            "calldata_variants": [
                "0x694e3f85",
                "0x694e3f850000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6fe4d97a",
            "selector": "0x6fe4d97a",
            "calldata_variants": [
                "0x6fe4d97a",
                "0x6fe4d97a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8c2d0aee",
            "selector": "0x8c2d0aee",
            "calldata_variants": [
                "0x8c2d0aee",
                "0x8c2d0aee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9c440161",
            "selector": "0x9c440161",
            "calldata_variants": [
                "0x9c440161",
                "0x9c4401610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf441b1c8",
            "selector": "0xf441b1c8",
            "calldata_variants": [
                "0xf441b1c8",
                "0xf441b1c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1491,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xf093a0d9d08867c342ec11e5af2b1b68933b50a5ee16e04e206e146b4c60e065
call_targets: 0xd5c7fa6a4f8cbdee5a11a5ffc1bf74f30e8d4bbd
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf093a0d9d08867c342ec11e5af2b1b68933b50a5ee16e04e206e146b4c60e065",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd5c7fa6a4f8cbdee5a11a5ffc1bf74f30e8d4bbd"
    ],
    "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": "0x12065fe0",
            "selector": "0x12065fe0",
            "calldata_variants": [
                "0x12065fe0",
                "0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2a090de1",
            "selector": "0x2a090de1",
            "calldata_variants": [
                "0x2a090de1",
                "0x2a090de10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63b4062c",
            "selector": "0x63b4062c",
            "calldata_variants": [
                "0x63b4062c",
                "0x63b4062c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x694e3f85",
            "selector": "0x694e3f85",
            "calldata_variants": [
                "0x694e3f85",
                "0x694e3f850000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6fe4d97a",
            "selector": "0x6fe4d97a",
            "calldata_variants": [
                "0x6fe4d97a",
                "0x6fe4d97a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8c2d0aee",
            "selector": "0x8c2d0aee",
            "calldata_variants": [
                "0x8c2d0aee",
                "0x8c2d0aee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9c440161",
            "selector": "0x9c440161",
            "calldata_variants": [
                "0x9c440161",
                "0x9c4401610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf441b1c8",
            "selector": "0xf441b1c8",
            "calldata_variants": [
                "0xf441b1c8",
                "0xf441b1c80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1491,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}