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

Analysis Run

019b3836-21e0-7211-ace2-9f62ecd05b61

complete
Chain ID
1
Address
0x4557f35b137145e7b4b605836f9bd217d23c166a
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
183 artifact.fetch complete 1 / 3 4 months ago
184 tool.cast_disasm complete 1 / 3 4 months ago
78275 analysis.bundle complete 1 / 3 2 weeks ago
78276 capability.graph complete 1 / 3 2 weeks ago
78277 detector.run complete 1 / 3 2 weeks ago
78278 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)
5
EXT*/BALANCE
4
Total opcodes
1204
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00a3
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x187c5903
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00a5
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x1bccca14
00000025: EQ
00000026: PUSH2 0x00d3
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x27e235e3
00000030: EQ
00000031: PUSH2 0x00f4
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x29f8df0d
0000003b: EQ
0000003c: PUSH2 0x010c
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x444bdb1b
00000046: EQ
00000047: PUSH2 0x0115
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x67c18aa1
00000051: EQ
00000052: PUSH2 0x015f
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x6d4ce63c
0000005c: EQ
0000005d: PUSH2 0x0212
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x6e723e24
00000067: EQ
00000068: PUSH2 0x023e
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x6f7bc9be
00000072: EQ
00000073: PUSH2 0x0247
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x71ad7221
0000007d: EQ
0000007e: PUSH2 0x025f
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x89ac5d13
00000088: EQ
00000089: PUSH2 0x027f
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xa32da9d1
00000093: EQ
00000094: PUSH2 0x02e3
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xe8b5e51f
0000009e: EQ
0000009f: PUSH2 0x0304
000000a2: JUMPI
000000a3: JUMPDEST
000000a4: STOP
000000a5: JUMPDEST
000000a6: PUSH2 0x00a3
000000a9: PUSH1 0x01
000000ab: PUSH1 0xa0
000000ad: PUSH1 0x02
000000af: EXP
000000b0: SUB
000000b1: CALLER
000000b2: AND
000000b3: PUSH1 0x00
000000b5: SWAP1
000000b6: DUP2
000000b7: MSTORE
000000b8: PUSH1 0x0b
000000ba: PUSH1 0x20
000000bc: MSTORE
000000bd: PUSH1 0x40
000000bf: DUP2
000000c0: KECCAK256
000000c1: SLOAD
000000c2: DUP2
000000c3: SWAP1
000000c4: DUP2
000000c5: SWAP1
000000c6: DUP2
000000c7: SWAP1
000000c8: DUP2
000000c9: EQ
000000ca: ISZERO
000000cb: PUSH2 0x03dc
000000ce: JUMPI
000000cf: PUSH2 0x03d6
000000d2: JUMP
000000d3: JUMPDEST
000000d4: PUSH2 0x0360
000000d7: PUSH1 0x04
000000d9: CALLDATALOAD
000000da: PUSH1 0x06
000000dc: DUP2
000000dd: PUSH1 0x05
000000df: DUP2
000000e0: LT
000000e1: ISZERO
000000e2: PUSH2 0x0002
000000e5: JUMPI
000000e6: POP
000000e7: ADD
000000e8: SLOAD
000000e9: PUSH1 0x01
000000eb: PUSH1 0xa0
000000ed: PUSH1 0x02
000000ef: EXP
000000f0: SUB
000000f1: AND
000000f2: DUP2
000000f3: JUMP
000000f4: JUMPDEST
000000f5: PUSH2 0x022c
000000f8: PUSH1 0x04
000000fa: CALLDATALOAD
000000fb: PUSH1 0x05
000000fd: PUSH1 0x20
000000ff: MSTORE
00000100: PUSH1 0x00
00000102: SWAP1
00000103: DUP2
00000104: MSTORE
00000105: PUSH1 0x40
00000107: SWAP1
00000108: KECCAK256
00000109: SLOAD
0000010a: DUP2
0000010b: JUMP
0000010c: JUMPDEST
0000010d: PUSH2 0x022c
00000110: PUSH1 0x0c
00000112: SLOAD
00000113: DUP2
00000114: JUMP
00000115: JUMPDEST
00000116: PUSH2 0x022c
00000119: PUSH1 0x00
0000011b: DUP1
0000011c: DUP1
0000011d: DUP1
0000011e: DUP1
0000011f: JUMPDEST
00000120: PUSH1 0x0c
00000122: SLOAD
00000123: DUP4
00000124: LT
00000125: ISZERO
00000126: PUSH2 0x0611
00000129: JUMPI
0000012a: PUSH1 0x05
0000012c: DUP2
0000012d: DUP1
0000012e: DUP6
0000012f: DUP4
00000130: DUP2
00000131: LT
00000132: ISZERO
00000133: PUSH2 0x0002
00000136: JUMPI
00000137: SLOAD
00000138: PUSH1 0x01
0000013a: PUSH1 0xa0
0000013c: PUSH1 0x02
0000013e: EXP
0000013f: SUB
00000140: AND
00000141: SWAP1
00000142: MSTORE
00000143: POP
00000144: PUSH1 0x20
00000146: DUP2
00000147: SWAP1
00000148: MSTORE
00000149: PUSH1 0x40
0000014b: DUP3
0000014c: KECCAK256
0000014d: SLOAD
0000014e: MUL
0000014f: SWAP4
00000150: SWAP1
00000151: SWAP4
00000152: ADD
00000153: SWAP3
00000154: PUSH1 0x01
00000156: SWAP3
00000157: SWAP1
00000158: SWAP3
00000159: ADD
0000015a: SWAP2
0000015b: PUSH2 0x011f
0000015e: JUMP
0000015f: JUMPDEST
00000160: PUSH2 0x00a3
00000163: PUSH1 0x04
00000165: CALLDATALOAD
00000166: PUSH1 0x24
00000168: CALLDATALOAD
00000169: PUSH1 0x00
0000016b: PUSH1 0x00
0000016d: DUP3
0000016e: GT
0000016f: ISZERO
00000170: PUSH2 0x019f
00000173: JUMPI
00000174: PUSH1 0x01
00000176: PUSH1 0xa0
00000178: PUSH1 0x02
0000017a: EXP
0000017b: SUB
0000017c: DUP4
0000017d: AND
0000017e: DUP1
0000017f: DUP3
00000180: MSTORE
00000181: PUSH1 0x05
00000183: PUSH1 0x20
00000185: DUP2
00000186: SWAP1
00000187: MSTORE
00000188: PUSH1 0x40
0000018a: DUP4
0000018b: KECCAK256
0000018c: SLOAD
0000018d: DUP4
0000018e: SWAP2
0000018f: MUL
00000190: PUSH1 0x60
00000192: DUP3
00000193: DUP2
00000194: DUP2
00000195: DUP2
00000196: DUP6
00000197: DUP9
00000198: DUP4
00000199: CALL
0000019a: POP
0000019b: POP
0000019c: POP
0000019d: POP
0000019e: POP
0000019f: JUMPDEST
000001a0: PUSH1 0x40
000001a2: DUP2
000001a3: KECCAK256
000001a4: PUSH1 0x01
000001a6: PUSH1 0xa0
000001a8: PUSH1 0x02
000001aa: EXP
000001ab: SUB
000001ac: DUP5
000001ad: AND
000001ae: DUP3
000001af: MSTORE
000001b0: PUSH1 0x05
000001b2: PUSH1 0x20
000001b4: MSTORE
000001b5: DUP2
000001b6: SWAP1
000001b7: SSTORE
000001b8: JUMPDEST
000001b9: PUSH1 0x0c
000001bb: SLOAD
000001bc: DUP2
000001bd: LT
000001be: ISZERO
000001bf: PUSH2 0x0670
000001c2: JUMPI
000001c3: PUSH1 0x01
000001c5: PUSH1 0xa0
000001c7: PUSH1 0x02
000001c9: EXP
000001ca: SUB
000001cb: DUP4
000001cc: AND
000001cd: PUSH1 0x00
000001cf: DUP3
000001d0: PUSH1 0x05
000001d2: DUP2
000001d3: LT
000001d4: ISZERO
000001d5: PUSH2 0x0002
000001d8: JUMPI
000001d9: SLOAD
000001da: PUSH1 0x01
000001dc: PUSH1 0xa0
000001de: PUSH1 0x02
000001e0: EXP
000001e1: SUB
000001e2: AND
000001e3: SWAP1
000001e4: SWAP2
000001e5: EQ
000001e6: ISZERO
000001e7: SWAP1
000001e8: POP
000001e9: PUSH2 0x020a
000001ec: JUMPI
000001ed: PUSH1 0x00
000001ef: DUP1
000001f0: DUP3
000001f1: PUSH1 0x05
000001f3: DUP2
000001f4: LT
000001f5: ISZERO
000001f6: PUSH2 0x0002
000001f9: JUMPI
000001fa: DUP1
000001fb: SLOAD
000001fc: PUSH1 0x01
000001fe: PUSH1 0xa0
00000200: PUSH1 0x02
00000202: EXP
00000203: SUB
00000204: NOT
00000205: AND
00000206: SWAP1
00000207: SSTORE
00000208: POP
00000209: POP
0000020a: JUMPDEST
0000020b: PUSH1 0x01
0000020d: ADD
0000020e: PUSH2 0x01b8
00000211: JUMP
00000212: JUMPDEST
00000213: CALLER
00000214: PUSH1 0x01
00000216: PUSH1 0xa0
00000218: PUSH1 0x02
0000021a: EXP
0000021b: SUB
0000021c: AND
0000021d: PUSH1 0x00
0000021f: SWAP1
00000220: DUP2
00000221: MSTORE
00000222: PUSH1 0x05
00000224: PUSH1 0x20
00000226: MSTORE
00000227: PUSH1 0x40
00000229: SWAP1
0000022a: KECCAK256
0000022b: SLOAD
0000022c: JUMPDEST
0000022d: PUSH1 0x40
0000022f: DUP1
00000230: MLOAD
00000231: SWAP2
00000232: DUP3
00000233: MSTORE
00000234: MLOAD
00000235: SWAP1
00000236: DUP2
00000237: SWAP1
00000238: SUB
00000239: PUSH1 0x20
0000023b: ADD
0000023c: SWAP1
0000023d: RETURN
0000023e: JUMPDEST
0000023f: PUSH2 0x022c
00000242: PUSH1 0x0d
00000244: SLOAD
00000245: DUP2
00000246: JUMP
00000247: JUMPDEST
00000248: PUSH2 0x022c
0000024b: PUSH1 0x04
0000024d: CALLDATALOAD
0000024e: PUSH1 0x0b
00000250: PUSH1 0x20
00000252: MSTORE
00000253: PUSH1 0x00
00000255: SWAP1
00000256: DUP2
00000257: MSTORE
00000258: PUSH1 0x40
0000025a: SWAP1
0000025b: KECCAK256
0000025c: SLOAD
0000025d: DUP2
0000025e: JUMP
0000025f: JUMPDEST
00000260: PUSH1 0x04
00000262: CALLDATALOAD
00000263: PUSH1 0x01
00000265: PUSH1 0xa0
00000267: PUSH1 0x02
00000269: EXP
0000026a: SUB
0000026b: AND
0000026c: PUSH1 0x00
0000026e: SWAP1
0000026f: DUP2
00000270: MSTORE
00000271: PUSH1 0x05
00000273: PUSH1 0x20
00000275: MSTORE
00000276: PUSH1 0x40
00000278: SWAP1
00000279: KECCAK256
0000027a: SLOAD
0000027b: PUSH2 0x022c
0000027e: JUMP
0000027f: JUMPDEST
00000280: PUSH1 0x04
00000282: DUP1
00000283: CALLDATALOAD
00000284: SWAP1
00000285: DUP2
00000286: ADD
00000287: CALLDATALOAD
00000288: PUSH1 0x20
0000028a: DUP2
0000028b: MUL
0000028c: PUSH1 0x80
0000028e: DUP2
0000028f: DUP2
00000290: ADD
00000291: PUSH1 0x40
00000293: MSTORE
00000294: PUSH1 0x60
00000296: DUP4
00000297: DUP2
00000298: MSTORE
00000299: PUSH2 0x022c
0000029c: SWAP5
0000029d: PUSH1 0x24
0000029f: SWAP5
000002a0: SWAP2
000002a1: SWAP4
000002a2: SWAP1
000002a3: DUP6
000002a4: ADD
000002a5: SWAP3
000002a6: DUP3
000002a7: SWAP2
000002a8: DUP5
000002a9: SWAP1
000002aa: DUP1
000002ab: DUP3
000002ac: DUP5
000002ad: CALLDATACOPY
000002ae: POP
000002af: SWAP5
000002b0: SWAP6
000002b1: CALLDATALOAD
000002b2: SWAP5
000002b3: POP
000002b4: POP
000002b5: POP
000002b6: POP
000002b7: POP
000002b8: PUSH1 0x01
000002ba: PUSH1 0xa0
000002bc: PUSH1 0x02
000002be: EXP
000002bf: SUB
000002c0: CALLER
000002c1: AND
000002c2: PUSH1 0x00
000002c4: SWAP1
000002c5: DUP2
000002c6: MSTORE
000002c7: PUSH1 0x05
000002c9: PUSH1 0x20
000002cb: MSTORE
000002cc: PUSH1 0x40
000002ce: DUP2
000002cf: KECCAK256
000002d0: SLOAD
000002d1: DUP2
000002d2: SWAP1
000002d3: DUP2
000002d4: SWAP1
000002d5: DUP2
000002d6: SWAP1
000002d7: DUP2
000002d8: SWAP1
000002d9: GT
000002da: ISZERO
000002db: PUSH2 0x0599
000002de: JUMPI
000002df: PUSH2 0x0590
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH2 0x0360
000002e7: PUSH1 0x04
000002e9: CALLDATALOAD
000002ea: PUSH1 0x00
000002ec: DUP2
000002ed: PUSH1 0x05
000002ef: DUP2
000002f0: LT
000002f1: ISZERO
000002f2: PUSH2 0x0002
000002f5: JUMPI
000002f6: POP
000002f7: POP
000002f8: SLOAD
000002f9: PUSH1 0x01
000002fb: PUSH1 0xa0
000002fd: PUSH1 0x02
000002ff: EXP
00000300: SUB
00000301: AND
00000302: DUP2
00000303: JUMP
00000304: JUMPDEST
00000305: PUSH2 0x00a3
00000308: PUSH1 0x01
0000030a: PUSH1 0xa0
0000030c: PUSH1 0x02
0000030e: EXP
0000030f: SUB
00000310: CALLER
00000311: AND
00000312: PUSH1 0x00
00000314: SWAP1
00000315: DUP2
00000316: MSTORE
00000317: PUSH1 0x0b
00000319: PUSH1 0x20
0000031b: MSTORE
0000031c: PUSH1 0x40
0000031e: DUP2
0000031f: KECCAK256
00000320: SLOAD
00000321: EQ
00000322: ISZERO
00000323: PUSH2 0x0353
00000326: JUMPI
00000327: PUSH1 0x0d
00000329: SLOAD
0000032a: CALLER
0000032b: SWAP1
0000032c: PUSH1 0x06
0000032e: SWAP1
0000032f: PUSH1 0x05
00000331: DUP2
00000332: LT
00000333: ISZERO
00000334: PUSH2 0x0002
00000337: JUMPI
00000338: ADD
00000339: DUP1
0000033a: SLOAD
0000033b: PUSH1 0x01
0000033d: PUSH1 0xa0
0000033f: PUSH1 0x02
00000341: EXP
00000342: SUB
00000343: NOT
00000344: AND
00000345: SWAP1
00000346: SWAP2
00000347: OR
00000348: SWAP1
00000349: SSTORE
0000034a: PUSH1 0x0d
0000034c: DUP1
0000034d: SLOAD
0000034e: PUSH1 0x01
00000350: ADD
00000351: SWAP1
00000352: SSTORE
00000353: JUMPDEST
00000354: PUSH1 0x40
00000356: PUSH1 0x00
00000358: KECCAK256
00000359: DUP1
0000035a: SLOAD
0000035b: CALLVALUE
0000035c: ADD
0000035d: SWAP1
0000035e: SSTORE
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH1 0x01
00000363: PUSH1 0xa0
00000365: PUSH1 0x02
00000367: EXP
00000368: SUB
00000369: AND
0000036a: PUSH1 0x60
0000036c: SWAP1
0000036d: DUP2
0000036e: MSTORE
0000036f: PUSH1 0x20
00000371: SWAP1
00000372: RETURN
00000373: JUMPDEST
00000374: PUSH1 0x40
00000376: DUP2
00000377: KECCAK256
00000378: SLOAD
00000379: PUSH1 0x01
0000037b: PUSH1 0xa0
0000037d: PUSH1 0x02
0000037f: EXP
00000380: SUB
00000381: CALLER
00000382: DUP2
00000383: AND
00000384: DUP1
00000385: DUP5
00000386: MSTORE
00000387: PUSH1 0x0b
00000389: PUSH1 0x20
0000038b: MSTORE
0000038c: ADDRESS
0000038d: SWAP1
0000038e: SWAP2
0000038f: AND
00000390: BALANCE
00000391: DUP7
00000392: SWAP1
00000393: SUB
00000394: SWAP2
00000395: DUP5
00000396: SWAP1
00000397: DIV
00000398: SWAP2
00000399: SWAP1
0000039a: SWAP2
0000039b: MUL
0000039c: SWAP2
0000039d: DUP3
0000039e: PUSH1 0x60
000003a0: DUP3
000003a1: DUP2
000003a2: DUP2
000003a3: DUP2
000003a4: DUP6
000003a5: DUP9
000003a6: DUP4
000003a7: CALL
000003a8: SWAP4
000003a9: POP
000003aa: POP
000003ab: POP
000003ac: POP
000003ad: POP
000003ae: PUSH1 0x00
000003b0: PUSH1 0x0b
000003b2: PUSH1 0x00
000003b4: POP
000003b5: PUSH1 0x00
000003b7: CALLER
000003b8: PUSH1 0x01
000003ba: PUSH1 0xa0
000003bc: PUSH1 0x02
000003be: EXP
000003bf: SUB
000003c0: AND
000003c1: DUP2
000003c2: MSTORE
000003c3: PUSH1 0x20
000003c5: ADD
000003c6: SWAP1
000003c7: DUP2
000003c8: MSTORE
000003c9: PUSH1 0x20
000003cb: ADD
000003cc: PUSH1 0x00
000003ce: KECCAK256
000003cf: PUSH1 0x00
000003d1: POP
000003d2: DUP2
000003d3: SWAP1
000003d4: SSTORE
000003d5: POP
000003d6: JUMPDEST
000003d7: POP
000003d8: POP
000003d9: POP
000003da: POP
000003db: JUMP
000003dc: JUMPDEST
000003dd: JUMPDEST
000003de: PUSH1 0x0c
000003e0: SLOAD
000003e1: DUP4
000003e2: LT
000003e3: ISZERO
000003e4: PUSH2 0x041d
000003e7: JUMPI
000003e8: PUSH1 0x05
000003ea: DUP2
000003eb: DUP1
000003ec: DUP6
000003ed: DUP4
000003ee: DUP2
000003ef: LT
000003f0: ISZERO
000003f1: PUSH2 0x0002
000003f4: JUMPI
000003f5: SLOAD
000003f6: PUSH1 0x01
000003f8: PUSH1 0xa0
000003fa: PUSH1 0x02
000003fc: EXP
000003fd: SUB
000003fe: AND
000003ff: SWAP1
00000400: MSTORE
00000401: POP
00000402: PUSH1 0x20
00000404: DUP2
00000405: SWAP1
00000406: MSTORE
00000407: PUSH1 0x40
00000409: DUP3
0000040a: KECCAK256
0000040b: SLOAD
0000040c: MUL
0000040d: SWAP4
0000040e: SWAP1
0000040f: SWAP4
00000410: ADD
00000411: SWAP3
00000412: PUSH1 0x01
00000414: SWAP3
00000415: SWAP1
00000416: SWAP3
00000417: ADD
00000418: SWAP2
00000419: PUSH2 0x03dd
0000041c: JUMP
0000041d: JUMPDEST
0000041e: ADDRESS
0000041f: PUSH1 0x01
00000421: PUSH1 0xa0
00000423: PUSH1 0x02
00000425: EXP
00000426: SUB
00000427: AND
00000428: BALANCE
00000429: DUP5
0000042a: GT
0000042b: ISZERO
0000042c: PUSH2 0x0434
0000042f: JUMPI
00000430: PUSH2 0x03d6
00000433: JUMP
00000434: JUMPDEST
00000435: SWAP2
00000436: POP
00000437: DUP1
00000438: JUMPDEST
00000439: PUSH1 0x0d
0000043b: SLOAD
0000043c: DUP4
0000043d: LT
0000043e: ISZERO
0000043f: PUSH2 0x0373
00000442: JUMPI
00000443: PUSH1 0x0b
00000445: DUP2
00000446: PUSH1 0x06
00000448: DUP6
00000449: PUSH1 0x05
0000044b: DUP2
0000044c: LT
0000044d: ISZERO
0000044e: PUSH2 0x0002
00000451: JUMPI
00000452: ADD
00000453: SLOAD
00000454: PUSH1 0x01
00000456: PUSH1 0xa0
00000458: PUSH1 0x02
0000045a: EXP
0000045b: SUB
0000045c: AND
0000045d: SWAP1
0000045e: MSTORE
0000045f: PUSH1 0x20
00000461: MSTORE
00000462: PUSH1 0x40
00000464: DUP2
00000465: KECCAK256
00000466: SLOAD
00000467: SWAP2
00000468: SWAP1
00000469: SWAP2
0000046a: ADD
0000046b: SWAP1
0000046c: PUSH1 0x01
0000046e: SWAP3
0000046f: SWAP1
00000470: SWAP3
00000471: ADD
00000472: SWAP2
00000473: PUSH2 0x0438
00000476: JUMP
00000477: JUMPDEST
00000478: PUSH20 0x3c94923400ccc528e8ab0f849edafca06fe332e5
0000048d: SWAP1
0000048e: POP
0000048f: DUP1
00000490: PUSH1 0x01
00000492: PUSH1 0xa0
00000494: PUSH1 0x02
00000496: EXP
00000497: SUB
00000498: AND
00000499: PUSH4 0xb4aa6cc1
0000049e: DUP7
0000049f: PUSH2 0x2a30
000004a2: ADD
000004a3: DUP8
000004a4: PUSH2 0x2a30
000004a7: ADD
000004a8: PUSH1 0x01
000004aa: DUP11
000004ab: CALLER
000004ac: PUSH1 0x40
000004ae: MLOAD
000004af: DUP7
000004b0: PUSH1 0xe0
000004b2: PUSH1 0x02
000004b4: EXP
000004b5: MUL
000004b6: DUP2
000004b7: MSTORE
000004b8: PUSH1 0x04
000004ba: ADD
000004bb: DUP1
000004bc: DUP7
000004bd: DUP2
000004be: MSTORE
000004bf: PUSH1 0x20
000004c1: ADD
000004c2: DUP6
000004c3: DUP2
000004c4: MSTORE
000004c5: PUSH1 0x20
000004c7: ADD
000004c8: DUP5
000004c9: DUP2
000004ca: MSTORE
000004cb: PUSH1 0x20
000004cd: ADD
000004ce: DUP1
000004cf: PUSH1 0x20
000004d1: ADD
000004d2: DUP4
000004d3: PUSH1 0x01
000004d5: PUSH1 0xa0
000004d7: PUSH1 0x02
000004d9: EXP
000004da: SUB
000004db: AND
000004dc: DUP2
000004dd: MSTORE
000004de: PUSH1 0x20
000004e0: ADD
000004e1: DUP3
000004e2: DUP2
000004e3: SUB
000004e4: DUP3
000004e5: MSTORE
000004e6: DUP5
000004e7: DUP2
000004e8: DUP2
000004e9: MLOAD
000004ea: DUP2
000004eb: MSTORE
000004ec: PUSH1 0x20
000004ee: ADD
000004ef: SWAP2
000004f0: POP
000004f1: DUP1
000004f2: MLOAD
000004f3: SWAP1
000004f4: PUSH1 0x20
000004f6: ADD
000004f7: SWAP1
000004f8: PUSH1 0x20
000004fa: MUL
000004fb: DUP1
000004fc: DUP4
000004fd: DUP4
000004fe: DUP3
000004ff: SWAP1
00000500: PUSH1 0x00
00000502: PUSH1 0x04
00000504: PUSH1 0x20
00000506: DUP5
00000507: PUSH1 0x1f
00000509: ADD
0000050a: DIV
0000050b: PUSH1 0x03
0000050d: MUL
0000050e: PUSH1 0x0f
00000510: ADD
00000511: CALL
00000512: POP
00000513: SWAP1
00000514: POP
00000515: ADD
00000516: SWAP7
00000517: POP
00000518: POP
00000519: POP
0000051a: POP
0000051b: POP
0000051c: POP
0000051d: POP
0000051e: PUSH1 0x00
00000520: PUSH1 0x40
00000522: MLOAD
00000523: DUP1
00000524: DUP4
00000525: SUB
00000526: DUP2
00000527: PUSH1 0x00
00000529: DUP8
0000052a: PUSH2 0x61da
0000052d: GAS
0000052e: SUB
0000052f: CALL
00000530: ISZERO
00000531: PUSH2 0x0002
00000534: JUMPI
00000535: POP
00000536: POP
00000537: POP
00000538: CALLVALUE
00000539: PUSH1 0x05
0000053b: PUSH1 0x00
0000053d: POP
0000053e: PUSH1 0x00
00000540: CALLER
00000541: PUSH1 0x01
00000543: PUSH1 0xa0
00000545: PUSH1 0x02
00000547: EXP
00000548: SUB
00000549: AND
0000054a: DUP2
0000054b: MSTORE
0000054c: PUSH1 0x20
0000054e: ADD
0000054f: SWAP1
00000550: DUP2
00000551: MSTORE
00000552: PUSH1 0x20
00000554: ADD
00000555: PUSH1 0x00
00000557: KECCAK256
00000558: PUSH1 0x00
0000055a: POP
0000055b: DUP2
0000055c: SWAP1
0000055d: SSTORE
0000055e: POP
0000055f: CALLER
00000560: PUSH1 0x00
00000562: PUSH1 0x00
00000564: POP
00000565: PUSH1 0x0c
00000567: PUSH1 0x00
00000569: POP
0000056a: SLOAD
0000056b: PUSH1 0x05
0000056d: DUP2
0000056e: LT
0000056f: ISZERO
00000570: PUSH2 0x0002
00000573: JUMPI
00000574: DUP1
00000575: SLOAD
00000576: PUSH1 0x01
00000578: PUSH1 0xa0
0000057a: PUSH1 0x02
0000057c: EXP
0000057d: SUB
0000057e: NOT
0000057f: AND
00000580: SWAP1
00000581: SWAP3
00000582: OR
00000583: SWAP1
00000584: SWAP2
00000585: SSTORE
00000586: POP
00000587: PUSH1 0x0c
00000589: DUP1
0000058a: SLOAD
0000058b: PUSH1 0x01
0000058d: ADD
0000058e: SWAP1
0000058f: SSTORE
00000590: JUMPDEST
00000591: POP
00000592: POP
00000593: POP
00000594: SWAP3
00000595: SWAP2
00000596: POP
00000597: POP
00000598: JUMP
00000599: JUMPDEST
0000059a: JUMPDEST
0000059b: PUSH1 0x0c
0000059d: SLOAD
0000059e: DUP3
0000059f: LT
000005a0: ISZERO
000005a1: PUSH2 0x05d5
000005a4: JUMPI
000005a5: PUSH1 0x05
000005a7: DUP2
000005a8: DUP1
000005a9: DUP5
000005aa: DUP4
000005ab: DUP2
000005ac: LT
000005ad: ISZERO
000005ae: PUSH2 0x0002
000005b1: JUMPI
000005b2: SLOAD
000005b3: PUSH1 0x01
000005b5: PUSH1 0xa0
000005b7: PUSH1 0x02
000005b9: EXP
000005ba: SUB
000005bb: AND
000005bc: SWAP1
000005bd: MSTORE
000005be: POP
000005bf: PUSH1 0x40
000005c1: DUP3
000005c2: KECCAK256
000005c3: SLOAD
000005c4: MUL
000005c5: SWAP3
000005c6: SWAP1
000005c7: SWAP3
000005c8: ADD
000005c9: SWAP2
000005ca: PUSH1 0x01
000005cc: SWAP2
000005cd: SWAP1
000005ce: SWAP2
000005cf: ADD
000005d0: SWAP1
000005d1: PUSH2 0x059a
000005d4: JUMP
000005d5: JUMPDEST
000005d6: CALLVALUE
000005d7: PUSH1 0x05
000005d9: MUL
000005da: DUP4
000005db: ADDRESS
000005dc: PUSH1 0x01
000005de: PUSH1 0xa0
000005e0: PUSH1 0x02
000005e2: EXP
000005e3: SUB
000005e4: AND
000005e5: BALANCE
000005e6: SUB
000005e7: LT
000005e8: ISZERO
000005e9: PUSH2 0x0477
000005ec: JUMPI
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: PUSH1 0x01
000005f2: PUSH1 0xa0
000005f4: PUSH1 0x02
000005f6: EXP
000005f7: SUB
000005f8: CALLER
000005f9: AND
000005fa: SWAP1
000005fb: DUP3
000005fc: SWAP1
000005fd: CALLVALUE
000005fe: SWAP1
000005ff: DUP3
00000600: DUP2
00000601: DUP2
00000602: DUP2
00000603: DUP6
00000604: DUP9
00000605: DUP4
00000606: CALL
00000607: SWAP4
00000608: POP
00000609: POP
0000060a: POP
0000060b: POP
0000060c: POP
0000060d: PUSH2 0x0590
00000610: JUMP
00000611: JUMPDEST
00000612: SWAP2
00000613: POP
00000614: DUP1
00000615: JUMPDEST
00000616: PUSH1 0x0d
00000618: SLOAD
00000619: DUP4
0000061a: LT
0000061b: ISZERO
0000061c: PUSH2 0x0654
0000061f: JUMPI
00000620: PUSH1 0x0b
00000622: DUP2
00000623: PUSH1 0x06
00000625: DUP6
00000626: PUSH1 0x05
00000628: DUP2
00000629: LT
0000062a: ISZERO
0000062b: PUSH2 0x0002
0000062e: JUMPI
0000062f: ADD
00000630: SLOAD
00000631: PUSH1 0x01
00000633: PUSH1 0xa0
00000635: PUSH1 0x02
00000637: EXP
00000638: SUB
00000639: AND
0000063a: SWAP1
0000063b: MSTORE
0000063c: PUSH1 0x20
0000063e: MSTORE
0000063f: PUSH1 0x40
00000641: DUP2
00000642: KECCAK256
00000643: SLOAD
00000644: SWAP2
00000645: SWAP1
00000646: SWAP2
00000647: ADD
00000648: SWAP1
00000649: PUSH1 0x01
0000064b: SWAP3
0000064c: SWAP1
0000064d: SWAP3
0000064e: ADD
0000064f: SWAP2
00000650: PUSH2 0x0615
00000653: JUMP
00000654: JUMPDEST
00000655: POP
00000656: ADDRESS
00000657: PUSH1 0x01
00000659: PUSH1 0xa0
0000065b: PUSH1 0x02
0000065d: EXP
0000065e: SUB
0000065f: AND
00000660: BALANCE
00000661: SWAP3
00000662: SWAP1
00000663: SWAP3
00000664: SUB
00000665: SWAP1
00000666: SWAP2
00000667: DIV
00000668: PUSH1 0x64
0000066a: MUL
0000066b: SWAP3
0000066c: SWAP2
0000066d: POP
0000066e: POP
0000066f: JUMP
00000670: JUMPDEST
00000671: POP
00000672: POP
00000673: POP
00000674: 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: 0x0eaeae71c6b76678a0471fa4b9086804a0a73dbce1cafd15634ef2a52015d7c8
call_targets: 0x4557f35b137145e7b4b605836f9bd217d23c166a
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0eaeae71c6b76678a0471fa4b9086804a0a73dbce1cafd15634ef2a52015d7c8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4557f35b137145e7b4b605836f9bd217d23c166a"
    ],
    "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": "0x187c5903",
            "selector": "0x187c5903",
            "calldata_variants": [
                "0x187c5903",
                "0x187c59030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1bccca14",
            "selector": "0x1bccca14",
            "calldata_variants": [
                "0x1bccca14",
                "0x1bccca140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27e235e3",
            "selector": "0x27e235e3",
            "calldata_variants": [
                "0x27e235e3",
                "0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29f8df0d",
            "selector": "0x29f8df0d",
            "calldata_variants": [
                "0x29f8df0d",
                "0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x444bdb1b",
            "selector": "0x444bdb1b",
            "calldata_variants": [
                "0x444bdb1b",
                "0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x67c18aa1",
            "selector": "0x67c18aa1",
            "calldata_variants": [
                "0x67c18aa1",
                "0x67c18aa10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6d4ce63c",
            "selector": "0x6d4ce63c",
            "calldata_variants": [
                "0x6d4ce63c",
                "0x6d4ce63c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6e723e24",
            "selector": "0x6e723e24",
            "calldata_variants": [
                "0x6e723e24",
                "0x6e723e240000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 409,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 935,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1297,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x0eaeae71c6b76678a0471fa4b9086804a0a73dbce1cafd15634ef2a52015d7c8
call_targets: 0x4557f35b137145e7b4b605836f9bd217d23c166a
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0eaeae71c6b76678a0471fa4b9086804a0a73dbce1cafd15634ef2a52015d7c8",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x4557f35b137145e7b4b605836f9bd217d23c166a"
    ],
    "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": "0x187c5903",
            "selector": "0x187c5903",
            "calldata_variants": [
                "0x187c5903",
                "0x187c59030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1bccca14",
            "selector": "0x1bccca14",
            "calldata_variants": [
                "0x1bccca14",
                "0x1bccca140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27e235e3",
            "selector": "0x27e235e3",
            "calldata_variants": [
                "0x27e235e3",
                "0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x29f8df0d",
            "selector": "0x29f8df0d",
            "calldata_variants": [
                "0x29f8df0d",
                "0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x444bdb1b",
            "selector": "0x444bdb1b",
            "calldata_variants": [
                "0x444bdb1b",
                "0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x67c18aa1",
            "selector": "0x67c18aa1",
            "calldata_variants": [
                "0x67c18aa1",
                "0x67c18aa10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6d4ce63c",
            "selector": "0x6d4ce63c",
            "calldata_variants": [
                "0x6d4ce63c",
                "0x6d4ce63c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6e723e24",
            "selector": "0x6e723e24",
            "calldata_variants": [
                "0x6e723e24",
                "0x6e723e240000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 409,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 935,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1297,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}