Analysis Run

019b3836-21dd-7033-9b65-f6bd9f0ce722

complete

Chain ID

1

Address

0x63990ffd8133cdc5b202eef18c52ef05f6c87843

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

ETH value transfer possible

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
181	artifact.fetch	complete	1 / 3	3 months ago
182	tool.cast_disasm	complete	1 / 3	3 months ago
43363	analysis.bundle	complete	1 / 3	1 week ago
43364	capability.graph	complete	1 / 3	1 week ago
43365	detector.run	complete	1 / 3	1 week ago
43366	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)

9

EXT*/BALANCE

4

Total opcodes

1762

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 0x010d
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x1bccca14
00000025: EQ
00000026: PUSH2 0x013d
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x27e235e3
00000030: EQ
00000031: PUSH2 0x015e
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x29f8df0d
0000003b: EQ
0000003c: PUSH2 0x0176
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x444bdb1b
00000046: EQ
00000047: PUSH2 0x017f
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x51870150
00000051: EQ
00000052: PUSH2 0x01c8
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x67c18aa1
0000005c: EQ
0000005d: PUSH2 0x02db
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x6d4ce63c
00000067: EQ
00000068: PUSH2 0x038f
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x6e723e24
00000072: EQ
00000073: PUSH2 0x03bb
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x6f7bc9be
0000007d: EQ
0000007e: PUSH2 0x03c4
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x71ad7221
00000088: EQ
00000089: PUSH2 0x03dc
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xa32da9d1
00000093: EQ
00000094: PUSH2 0x03fc
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xe8b5e51f
0000009e: EQ
0000009f: PUSH2 0x041d
000000a2: JUMPI
000000a3: JUMPDEST
000000a4: PUSH2 0x0479
000000a7: PUSH4 0x05f5e0ff
000000ac: PUSH1 0x60
000000ae: SWAP1
000000af: DUP2
000000b0: MSTORE
000000b1: PUSH1 0x00
000000b3: SWAP1
000000b4: DUP2
000000b5: SWAP1
000000b6: DUP2
000000b7: SWAP1
000000b8: DUP2
000000b9: SWAP1
000000ba: DUP2
000000bb: SWAP1
000000bc: PUSH32 0x909c57d5c6ac08245cf2a6de3900e2b868513fa59099b92b27d8db823d92df9c
000000dd: SWAP1
000000de: PUSH1 0x20
000000e0: SWAP1
000000e1: LOG1
000000e2: PUSH20 0x26588a9301b0428d95e6fc3a5024fce8bec12d51
000000f7: PUSH1 0x01
000000f9: PUSH1 0xa0
000000fb: PUSH1 0x02
000000fd: EXP
000000fe: SUB
000000ff: CALLER
00000100: AND
00000101: EQ
00000102: PUSH2 0x047b
00000105: JUMPI
00000106: JUMPDEST
00000107: POP
00000108: POP
00000109: POP
0000010a: POP
0000010b: POP
0000010c: JUMP
0000010d: JUMPDEST
0000010e: PUSH2 0x0479
00000111: PUSH1 0x01
00000113: PUSH1 0xa0
00000115: PUSH1 0x02
00000117: EXP
00000118: SUB
00000119: CALLER
0000011a: AND
0000011b: PUSH1 0x00
0000011d: SWAP1
0000011e: DUP2
0000011f: MSTORE
00000120: PUSH1 0x0b
00000122: PUSH1 0x20
00000124: MSTORE
00000125: PUSH1 0x40
00000127: DUP2
00000128: KECCAK256
00000129: SLOAD
0000012a: DUP2
0000012b: SWAP1
0000012c: DUP2
0000012d: SWAP1
0000012e: DUP2
0000012f: SWAP1
00000130: DUP2
00000131: EQ
00000132: ISZERO
00000133: PUSH2 0x0794
00000136: JUMPI
00000137: JUMPDEST
00000138: POP
00000139: POP
0000013a: POP
0000013b: POP
0000013c: JUMP
0000013d: JUMPDEST
0000013e: PUSH2 0x0546
00000141: PUSH1 0x04
00000143: CALLDATALOAD
00000144: PUSH1 0x06
00000146: DUP2
00000147: PUSH1 0x05
00000149: DUP2
0000014a: LT
0000014b: ISZERO
0000014c: PUSH2 0x0002
0000014f: JUMPI
00000150: POP
00000151: ADD
00000152: SLOAD
00000153: PUSH1 0x01
00000155: PUSH1 0xa0
00000157: PUSH1 0x02
00000159: EXP
0000015a: SUB
0000015b: AND
0000015c: DUP2
0000015d: JUMP
0000015e: JUMPDEST
0000015f: PUSH2 0x03a9
00000162: PUSH1 0x04
00000164: CALLDATALOAD
00000165: PUSH1 0x05
00000167: PUSH1 0x20
00000169: MSTORE
0000016a: PUSH1 0x00
0000016c: SWAP1
0000016d: DUP2
0000016e: MSTORE
0000016f: PUSH1 0x40
00000171: SWAP1
00000172: KECCAK256
00000173: SLOAD
00000174: DUP2
00000175: JUMP
00000176: JUMPDEST
00000177: PUSH2 0x03a9
0000017a: PUSH1 0x0c
0000017c: SLOAD
0000017d: DUP2
0000017e: JUMP
0000017f: JUMPDEST
00000180: PUSH2 0x03a9
00000183: PUSH1 0x00
00000185: DUP1
00000186: DUP1
00000187: DUP1
00000188: DUP1
00000189: JUMPDEST
0000018a: PUSH1 0x0c
0000018c: SLOAD
0000018d: DUP4
0000018e: LT
0000018f: ISZERO
00000190: PUSH2 0x08f2
00000193: JUMPI
00000194: PUSH1 0x05
00000196: DUP2
00000197: DUP1
00000198: DUP6
00000199: DUP4
0000019a: DUP2
0000019b: LT
0000019c: ISZERO
0000019d: PUSH2 0x0002
000001a0: JUMPI
000001a1: SLOAD
000001a2: PUSH1 0x01
000001a4: PUSH1 0xa0
000001a6: PUSH1 0x02
000001a8: EXP
000001a9: SUB
000001aa: AND
000001ab: SWAP1
000001ac: MSTORE
000001ad: POP
000001ae: PUSH1 0x20
000001b0: DUP2
000001b1: SWAP1
000001b2: MSTORE
000001b3: PUSH1 0x40
000001b5: DUP3
000001b6: KECCAK256
000001b7: SLOAD
000001b8: MUL
000001b9: SWAP1
000001ba: SWAP4
000001bb: ADD
000001bc: SWAP3
000001bd: PUSH1 0x01
000001bf: SWAP3
000001c0: SWAP1
000001c1: SWAP3
000001c2: ADD
000001c3: SWAP2
000001c4: PUSH2 0x0189
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH1 0x04
000001cb: DUP1
000001cc: CALLDATALOAD
000001cd: SWAP1
000001ce: DUP2
000001cf: ADD
000001d0: CALLDATALOAD
000001d1: PUSH1 0x20
000001d3: DUP2
000001d4: MUL
000001d5: PUSH1 0x80
000001d7: DUP2
000001d8: DUP2
000001d9: ADD
000001da: PUSH1 0x40
000001dc: MSTORE
000001dd: PUSH1 0x60
000001df: DUP4
000001e0: DUP2
000001e1: MSTORE
000001e2: PUSH2 0x03a9
000001e5: SWAP5
000001e6: PUSH1 0x24
000001e8: SWAP5
000001e9: SWAP2
000001ea: SWAP4
000001eb: SWAP1
000001ec: DUP6
000001ed: ADD
000001ee: SWAP3
000001ef: DUP3
000001f0: SWAP2
000001f1: DUP5
000001f2: SWAP1
000001f3: DUP1
000001f4: DUP3
000001f5: DUP5
000001f6: CALLDATACOPY
000001f7: POP
000001f8: POP
000001f9: PUSH1 0x40
000001fb: DUP1
000001fc: MLOAD
000001fd: DUP8
000001fe: CALLDATALOAD
000001ff: PUSH1 0x04
00000201: DUP2
00000202: ADD
00000203: CALLDATALOAD
00000204: PUSH1 0x20
00000206: DUP2
00000207: DUP2
00000208: MUL
00000209: DUP5
0000020a: DUP2
0000020b: ADD
0000020c: DUP3
0000020d: ADD
0000020e: SWAP1
0000020f: SWAP6
00000210: MSTORE
00000211: DUP2
00000212: DUP5
00000213: MSTORE
00000214: SWAP9
00000215: SWAP10
00000216: PUSH1 0x44
00000218: SWAP10
00000219: SWAP4
0000021a: SWAP9
0000021b: POP
0000021c: SWAP2
0000021d: SWAP1
0000021e: SWAP2
0000021f: ADD
00000220: SWAP6
00000221: POP
00000222: SWAP4
00000223: POP
00000224: DUP4
00000225: SWAP3
00000226: POP
00000227: DUP6
00000228: ADD
00000229: SWAP1
0000022a: DUP5
0000022b: SWAP1
0000022c: DUP1
0000022d: DUP3
0000022e: DUP5
0000022f: CALLDATACOPY
00000230: POP
00000231: POP
00000232: PUSH1 0x40
00000234: DUP1
00000235: MLOAD
00000236: SWAP7
00000237: CALLDATALOAD
00000238: PUSH1 0x04
0000023a: DUP2
0000023b: ADD
0000023c: CALLDATALOAD
0000023d: PUSH1 0x20
0000023f: DUP2
00000240: DUP2
00000241: MUL
00000242: DUP11
00000243: DUP2
00000244: ADD
00000245: DUP3
00000246: ADD
00000247: SWAP1
00000248: SWAP5
00000249: MSTORE
0000024a: DUP2
0000024b: DUP11
0000024c: MSTORE
0000024d: SWAP8
0000024e: SWAP9
0000024f: PUSH1 0x64
00000251: SWAP9
00000252: SWAP1
00000253: SWAP8
00000254: POP
00000255: PUSH1 0x24
00000257: SWAP3
00000258: SWAP1
00000259: SWAP3
0000025a: ADD
0000025b: SWAP6
0000025c: POP
0000025d: SWAP4
0000025e: POP
0000025f: DUP4
00000260: SWAP3
00000261: POP
00000262: DUP6
00000263: ADD
00000264: SWAP1
00000265: DUP5
00000266: SWAP1
00000267: DUP1
00000268: DUP3
00000269: DUP5
0000026a: CALLDATACOPY
0000026b: POP
0000026c: POP
0000026d: PUSH1 0x40
0000026f: DUP1
00000270: MLOAD
00000271: SWAP7
00000272: CALLDATALOAD
00000273: PUSH1 0x04
00000275: DUP2
00000276: ADD
00000277: CALLDATALOAD
00000278: PUSH1 0x20
0000027a: DUP2
0000027b: DUP2
0000027c: MUL
0000027d: DUP11
0000027e: DUP2
0000027f: ADD
00000280: DUP3
00000281: ADD
00000282: SWAP1
00000283: SWAP5
00000284: MSTORE
00000285: DUP2
00000286: DUP11
00000287: MSTORE
00000288: SWAP8
00000289: SWAP9
0000028a: PUSH1 0x84
0000028c: SWAP9
0000028d: SWAP1
0000028e: SWAP8
0000028f: POP
00000290: PUSH1 0x24
00000292: SWAP3
00000293: SWAP1
00000294: SWAP3
00000295: ADD
00000296: SWAP6
00000297: POP
00000298: SWAP4
00000299: POP
0000029a: DUP4
0000029b: SWAP3
0000029c: POP
0000029d: DUP6
0000029e: ADD
0000029f: SWAP1
000002a0: DUP5
000002a1: SWAP1
000002a2: DUP1
000002a3: DUP3
000002a4: DUP5
000002a5: CALLDATACOPY
000002a6: POP
000002a7: SWAP5
000002a8: SWAP6
000002a9: CALLDATALOAD
000002aa: SWAP5
000002ab: POP
000002ac: POP
000002ad: POP
000002ae: POP
000002af: POP
000002b0: PUSH1 0x01
000002b2: PUSH1 0xa0
000002b4: PUSH1 0x02
000002b6: EXP
000002b7: SUB
000002b8: CALLER
000002b9: AND
000002ba: PUSH1 0x00
000002bc: SWAP1
000002bd: DUP2
000002be: MSTORE
000002bf: PUSH1 0x05
000002c1: PUSH1 0x20
000002c3: MSTORE
000002c4: PUSH1 0x40
000002c6: DUP2
000002c7: KECCAK256
000002c8: SLOAD
000002c9: DUP2
000002ca: SWAP1
000002cb: DUP2
000002cc: SWAP1
000002cd: DUP2
000002ce: SWAP1
000002cf: DUP2
000002d0: SWAP1
000002d1: GT
000002d2: ISZERO
000002d3: PUSH2 0x071d
000002d6: JUMPI
000002d7: PUSH2 0x0711
000002da: JUMP
000002db: JUMPDEST
000002dc: PUSH2 0x0479
000002df: PUSH1 0x04
000002e1: CALLDATALOAD
000002e2: PUSH1 0x24
000002e4: CALLDATALOAD
000002e5: PUSH1 0x01
000002e7: PUSH1 0xa0
000002e9: PUSH1 0x02
000002eb: EXP
000002ec: SUB
000002ed: DUP3
000002ee: AND
000002ef: PUSH1 0x00
000002f1: SWAP1
000002f2: DUP2
000002f3: MSTORE
000002f4: PUSH1 0x05
000002f6: PUSH1 0x20
000002f8: MSTORE
000002f9: PUSH1 0x40
000002fb: DUP2
000002fc: KECCAK256
000002fd: DUP1
000002fe: SLOAD
000002ff: SWAP1
00000300: DUP3
00000301: SWAP1
00000302: SSTORE
00000303: SWAP1
00000304: DUP1
00000305: DUP4
00000306: GT
00000307: ISZERO
00000308: PUSH2 0x0334
0000030b: JUMPI
0000030c: DUP4
0000030d: PUSH1 0x01
0000030f: PUSH1 0xa0
00000311: PUSH1 0x02
00000313: EXP
00000314: SUB
00000315: AND
00000316: PUSH1 0x00
00000318: DUP4
00000319: PUSH1 0x05
0000031b: MUL
0000031c: PUSH1 0x40
0000031e: MLOAD
0000031f: DUP1
00000320: SWAP1
00000321: POP
00000322: PUSH1 0x00
00000324: PUSH1 0x40
00000326: MLOAD
00000327: DUP1
00000328: DUP4
00000329: SUB
0000032a: DUP2
0000032b: DUP6
0000032c: DUP9
0000032d: DUP9
0000032e: CALL
0000032f: POP
00000330: POP
00000331: POP
00000332: POP
00000333: POP
00000334: JUMPDEST
00000335: JUMPDEST
00000336: PUSH1 0x0c
00000338: SLOAD
00000339: DUP2
0000033a: LT
0000033b: ISZERO
0000033c: PUSH2 0x0137
0000033f: JUMPI
00000340: PUSH1 0x01
00000342: PUSH1 0xa0
00000344: PUSH1 0x02
00000346: EXP
00000347: SUB
00000348: DUP5
00000349: AND
0000034a: PUSH1 0x00
0000034c: DUP3
0000034d: PUSH1 0x05
0000034f: DUP2
00000350: LT
00000351: ISZERO
00000352: PUSH2 0x0002
00000355: JUMPI
00000356: SLOAD
00000357: PUSH1 0x01
00000359: PUSH1 0xa0
0000035b: PUSH1 0x02
0000035d: EXP
0000035e: SUB
0000035f: AND
00000360: SWAP1
00000361: SWAP2
00000362: EQ
00000363: ISZERO
00000364: SWAP1
00000365: POP
00000366: PUSH2 0x0387
00000369: JUMPI
0000036a: PUSH1 0x00
0000036c: DUP1
0000036d: DUP3
0000036e: PUSH1 0x05
00000370: DUP2
00000371: LT
00000372: ISZERO
00000373: PUSH2 0x0002
00000376: JUMPI
00000377: DUP1
00000378: SLOAD
00000379: PUSH1 0x01
0000037b: PUSH1 0xa0
0000037d: PUSH1 0x02
0000037f: EXP
00000380: SUB
00000381: NOT
00000382: AND
00000383: SWAP1
00000384: SSTORE
00000385: POP
00000386: POP
00000387: JUMPDEST
00000388: PUSH1 0x01
0000038a: ADD
0000038b: PUSH2 0x0335
0000038e: JUMP
0000038f: JUMPDEST
00000390: CALLER
00000391: PUSH1 0x01
00000393: PUSH1 0xa0
00000395: PUSH1 0x02
00000397: EXP
00000398: SUB
00000399: AND
0000039a: PUSH1 0x00
0000039c: SWAP1
0000039d: DUP2
0000039e: MSTORE
0000039f: PUSH1 0x05
000003a1: PUSH1 0x20
000003a3: MSTORE
000003a4: PUSH1 0x40
000003a6: SWAP1
000003a7: KECCAK256
000003a8: SLOAD
000003a9: JUMPDEST
000003aa: PUSH1 0x40
000003ac: DUP1
000003ad: MLOAD
000003ae: SWAP2
000003af: DUP3
000003b0: MSTORE
000003b1: MLOAD
000003b2: SWAP1
000003b3: DUP2
000003b4: SWAP1
000003b5: SUB
000003b6: PUSH1 0x20
000003b8: ADD
000003b9: SWAP1
000003ba: RETURN
000003bb: JUMPDEST
000003bc: PUSH2 0x03a9
000003bf: PUSH1 0x0d
000003c1: SLOAD
000003c2: DUP2
000003c3: JUMP
000003c4: JUMPDEST
000003c5: PUSH2 0x03a9
000003c8: PUSH1 0x04
000003ca: CALLDATALOAD
000003cb: PUSH1 0x0b
000003cd: PUSH1 0x20
000003cf: MSTORE
000003d0: PUSH1 0x00
000003d2: SWAP1
000003d3: DUP2
000003d4: MSTORE
000003d5: PUSH1 0x40
000003d7: SWAP1
000003d8: KECCAK256
000003d9: SLOAD
000003da: DUP2
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH1 0x04
000003df: CALLDATALOAD
000003e0: PUSH1 0x01
000003e2: PUSH1 0xa0
000003e4: PUSH1 0x02
000003e6: EXP
000003e7: SUB
000003e8: AND
000003e9: PUSH1 0x00
000003eb: SWAP1
000003ec: DUP2
000003ed: MSTORE
000003ee: PUSH1 0x05
000003f0: PUSH1 0x20
000003f2: MSTORE
000003f3: PUSH1 0x40
000003f5: SWAP1
000003f6: KECCAK256
000003f7: SLOAD
000003f8: PUSH2 0x03a9
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH2 0x0546
00000400: PUSH1 0x04
00000402: CALLDATALOAD
00000403: PUSH1 0x00
00000405: DUP2
00000406: PUSH1 0x05
00000408: DUP2
00000409: LT
0000040a: ISZERO
0000040b: PUSH2 0x0002
0000040e: JUMPI
0000040f: POP
00000410: POP
00000411: SLOAD
00000412: PUSH1 0x01
00000414: PUSH1 0xa0
00000416: PUSH1 0x02
00000418: EXP
00000419: SUB
0000041a: AND
0000041b: DUP2
0000041c: JUMP
0000041d: JUMPDEST
0000041e: PUSH2 0x0479
00000421: PUSH1 0x01
00000423: PUSH1 0xa0
00000425: PUSH1 0x02
00000427: EXP
00000428: SUB
00000429: CALLER
0000042a: AND
0000042b: PUSH1 0x00
0000042d: SWAP1
0000042e: DUP2
0000042f: MSTORE
00000430: PUSH1 0x0b
00000432: PUSH1 0x20
00000434: MSTORE
00000435: PUSH1 0x40
00000437: DUP2
00000438: KECCAK256
00000439: SLOAD
0000043a: EQ
0000043b: ISZERO
0000043c: PUSH2 0x046c
0000043f: JUMPI
00000440: PUSH1 0x0d
00000442: SLOAD
00000443: CALLER
00000444: SWAP1
00000445: PUSH1 0x06
00000447: SWAP1
00000448: PUSH1 0x05
0000044a: DUP2
0000044b: LT
0000044c: ISZERO
0000044d: PUSH2 0x0002
00000450: JUMPI
00000451: ADD
00000452: DUP1
00000453: SLOAD
00000454: PUSH1 0x01
00000456: PUSH1 0xa0
00000458: PUSH1 0x02
0000045a: EXP
0000045b: SUB
0000045c: NOT
0000045d: AND
0000045e: SWAP1
0000045f: SWAP2
00000460: OR
00000461: SWAP1
00000462: SSTORE
00000463: PUSH1 0x0d
00000465: DUP1
00000466: SLOAD
00000467: PUSH1 0x01
00000469: ADD
0000046a: SWAP1
0000046b: SSTORE
0000046c: JUMPDEST
0000046d: PUSH1 0x40
0000046f: PUSH1 0x00
00000471: KECCAK256
00000472: DUP1
00000473: SLOAD
00000474: CALLVALUE
00000475: ADD
00000476: SWAP1
00000477: SSTORE
00000478: JUMP
00000479: JUMPDEST
0000047a: STOP
0000047b: JUMPDEST
0000047c: JUMPDEST
0000047d: PUSH1 0x14
0000047f: DUP5
00000480: LT
00000481: ISZERO
00000482: PUSH2 0x04b5
00000485: JUMPI
00000486: PUSH2 0x0100
00000489: SWAP5
0000048a: SWAP1
0000048b: SWAP5
0000048c: MUL
0000048d: SWAP4
0000048e: DUP1
0000048f: DUP5
00000490: CALLDATASIZE
00000491: DUP2
00000492: LT
00000493: ISZERO
00000494: PUSH2 0x0002
00000497: JUMPI
00000498: PUSH1 0xf8
0000049a: PUSH1 0x02
0000049c: EXP
0000049d: SWAP1
0000049e: CALLDATALOAD
0000049f: DUP2
000004a0: SWAP1
000004a1: DIV
000004a2: DUP2
000004a3: MUL
000004a4: DIV
000004a5: SWAP1
000004a6: SWAP6
000004a7: ADD
000004a8: SWAP5
000004a9: POP
000004aa: PUSH1 0x01
000004ac: SWAP4
000004ad: SWAP1
000004ae: SWAP4
000004af: ADD
000004b0: SWAP3
000004b1: PUSH2 0x047c
000004b4: JUMP
000004b5: JUMPDEST
000004b6: PUSH1 0x01
000004b8: PUSH1 0xa0
000004ba: PUSH1 0x02
000004bc: EXP
000004bd: SUB
000004be: DUP6
000004bf: AND
000004c0: DUP1
000004c1: DUP3
000004c2: MSTORE
000004c3: PUSH1 0x05
000004c5: PUSH1 0x20
000004c7: DUP2
000004c8: SWAP1
000004c9: MSTORE
000004ca: PUSH1 0x40
000004cc: DUP4
000004cd: KECCAK256
000004ce: DUP1
000004cf: SLOAD
000004d0: SWAP1
000004d1: DUP5
000004d2: SWAP1
000004d3: SSTORE
000004d4: DUP8
000004d5: SWAP6
000004d6: POP
000004d7: SWAP4
000004d8: POP
000004d9: DUP3
000004da: SWAP1
000004db: DUP5
000004dc: MUL
000004dd: PUSH1 0x60
000004df: DUP3
000004e0: DUP2
000004e1: DUP2
000004e2: DUP2
000004e3: DUP6
000004e4: DUP9
000004e5: DUP4
000004e6: CALL
000004e7: POP
000004e8: POP
000004e9: POP
000004ea: POP
000004eb: POP
000004ec: JUMPDEST
000004ed: PUSH1 0x0c
000004ef: SLOAD
000004f0: DUP2
000004f1: LT
000004f2: ISZERO
000004f3: PUSH2 0x0106
000004f6: JUMPI
000004f7: PUSH1 0x01
000004f9: PUSH1 0xa0
000004fb: PUSH1 0x02
000004fd: EXP
000004fe: SUB
000004ff: DUP4
00000500: AND
00000501: PUSH1 0x00
00000503: DUP3
00000504: PUSH1 0x05
00000506: DUP2
00000507: LT
00000508: ISZERO
00000509: PUSH2 0x0002
0000050c: JUMPI
0000050d: SLOAD
0000050e: PUSH1 0x01
00000510: PUSH1 0xa0
00000512: PUSH1 0x02
00000514: EXP
00000515: SUB
00000516: AND
00000517: SWAP1
00000518: SWAP2
00000519: EQ
0000051a: ISZERO
0000051b: SWAP1
0000051c: POP
0000051d: PUSH2 0x053e
00000520: JUMPI
00000521: PUSH1 0x00
00000523: DUP1
00000524: DUP3
00000525: PUSH1 0x05
00000527: DUP2
00000528: LT
00000529: ISZERO
0000052a: PUSH2 0x0002
0000052d: JUMPI
0000052e: DUP1
0000052f: SLOAD
00000530: PUSH1 0x01
00000532: PUSH1 0xa0
00000534: PUSH1 0x02
00000536: EXP
00000537: SUB
00000538: NOT
00000539: AND
0000053a: SWAP1
0000053b: SSTORE
0000053c: POP
0000053d: POP
0000053e: JUMPDEST
0000053f: PUSH1 0x01
00000541: ADD
00000542: PUSH2 0x04ec
00000545: JUMP
00000546: JUMPDEST
00000547: PUSH1 0x01
00000549: PUSH1 0xa0
0000054b: PUSH1 0x02
0000054d: EXP
0000054e: SUB
0000054f: AND
00000550: PUSH1 0x60
00000552: SWAP1
00000553: DUP2
00000554: MSTORE
00000555: PUSH1 0x20
00000557: SWAP1
00000558: RETURN
00000559: JUMPDEST
0000055a: PUSH20 0x393519c01e80b188d326d461e4639bc0e3f62af0
0000056f: SWAP1
00000570: POP
00000571: DUP1
00000572: PUSH1 0x01
00000574: PUSH1 0xa0
00000576: PUSH1 0x02
00000578: EXP
00000579: SUB
0000057a: AND
0000057b: PUSH4 0xa0a1cddb
00000580: DUP7
00000581: PUSH2 0x2a30
00000584: ADD
00000585: CALLER
00000586: DUP13
00000587: DUP13
00000588: DUP13
00000589: DUP13
0000058a: PUSH1 0x40
0000058c: MLOAD
0000058d: DUP8
0000058e: PUSH1 0xe0
00000590: PUSH1 0x02
00000592: EXP
00000593: MUL
00000594: DUP2
00000595: MSTORE
00000596: PUSH1 0x04
00000598: ADD
00000599: DUP1
0000059a: DUP8
0000059b: DUP2
0000059c: MSTORE
0000059d: PUSH1 0x20
0000059f: ADD
000005a0: DUP7
000005a1: PUSH1 0x01
000005a3: PUSH1 0xa0
000005a5: PUSH1 0x02
000005a7: EXP
000005a8: SUB
000005a9: AND
000005aa: DUP2
000005ab: MSTORE
000005ac: PUSH1 0x20
000005ae: ADD
000005af: DUP1
000005b0: PUSH1 0x20
000005b2: ADD
000005b3: DUP1
000005b4: PUSH1 0x20
000005b6: ADD
000005b7: DUP1
000005b8: PUSH1 0x20
000005ba: ADD
000005bb: DUP1
000005bc: PUSH1 0x20
000005be: ADD
000005bf: DUP6
000005c0: DUP2
000005c1: SUB
000005c2: DUP6
000005c3: MSTORE
000005c4: DUP10
000005c5: DUP2
000005c6: DUP2
000005c7: MLOAD
000005c8: DUP2
000005c9: MSTORE
000005ca: PUSH1 0x20
000005cc: ADD
000005cd: SWAP2
000005ce: POP
000005cf: DUP1
000005d0: MLOAD
000005d1: SWAP1
000005d2: PUSH1 0x20
000005d4: ADD
000005d5: SWAP1
000005d6: PUSH1 0x20
000005d8: MUL
000005d9: DUP1
000005da: DUP4
000005db: DUP4
000005dc: DUP3
000005dd: SWAP1
000005de: PUSH1 0x00
000005e0: PUSH1 0x04
000005e2: PUSH1 0x20
000005e4: DUP5
000005e5: PUSH1 0x1f
000005e7: ADD
000005e8: DIV
000005e9: PUSH1 0x03
000005eb: MUL
000005ec: PUSH1 0x0f
000005ee: ADD
000005ef: CALL
000005f0: POP
000005f1: SWAP1
000005f2: POP
000005f3: ADD
000005f4: DUP6
000005f5: DUP2
000005f6: SUB
000005f7: DUP5
000005f8: MSTORE
000005f9: DUP9
000005fa: DUP2
000005fb: DUP2
000005fc: MLOAD
000005fd: DUP2
000005fe: MSTORE
000005ff: PUSH1 0x20
00000601: ADD
00000602: SWAP2
00000603: POP
00000604: DUP1
00000605: MLOAD
00000606: SWAP1
00000607: PUSH1 0x20
00000609: ADD
0000060a: SWAP1
0000060b: PUSH1 0x20
0000060d: MUL
0000060e: DUP1
0000060f: DUP4
00000610: DUP4
00000611: DUP3
00000612: SWAP1
00000613: PUSH1 0x00
00000615: PUSH1 0x04
00000617: PUSH1 0x20
00000619: DUP5
0000061a: PUSH1 0x1f
0000061c: ADD
0000061d: DIV
0000061e: PUSH1 0x03
00000620: MUL
00000621: PUSH1 0x0f
00000623: ADD
00000624: CALL
00000625: POP
00000626: SWAP1
00000627: POP
00000628: ADD
00000629: DUP6
0000062a: DUP2
0000062b: SUB
0000062c: DUP4
0000062d: MSTORE
0000062e: DUP8
0000062f: DUP2
00000630: DUP2
00000631: MLOAD
00000632: DUP2
00000633: MSTORE
00000634: PUSH1 0x20
00000636: ADD
00000637: SWAP2
00000638: POP
00000639: DUP1
0000063a: MLOAD
0000063b: SWAP1
0000063c: PUSH1 0x20
0000063e: ADD
0000063f: SWAP1
00000640: PUSH1 0x20
00000642: MUL
00000643: DUP1
00000644: DUP4
00000645: DUP4
00000646: DUP3
00000647: SWAP1
00000648: PUSH1 0x00
0000064a: PUSH1 0x04
0000064c: PUSH1 0x20
0000064e: DUP5
0000064f: PUSH1 0x1f
00000651: ADD
00000652: DIV
00000653: PUSH1 0x03
00000655: MUL
00000656: PUSH1 0x0f
00000658: ADD
00000659: CALL
0000065a: POP
0000065b: SWAP1
0000065c: POP
0000065d: ADD
0000065e: DUP6
0000065f: DUP2
00000660: SUB
00000661: DUP3
00000662: MSTORE
00000663: DUP7
00000664: DUP2
00000665: DUP2
00000666: MLOAD
00000667: DUP2
00000668: MSTORE
00000669: PUSH1 0x20
0000066b: ADD
0000066c: SWAP2
0000066d: POP
0000066e: DUP1
0000066f: MLOAD
00000670: SWAP1
00000671: PUSH1 0x20
00000673: ADD
00000674: SWAP1
00000675: PUSH1 0x20
00000677: MUL
00000678: DUP1
00000679: DUP4
0000067a: DUP4
0000067b: DUP3
0000067c: SWAP1
0000067d: PUSH1 0x00
0000067f: PUSH1 0x04
00000681: PUSH1 0x20
00000683: DUP5
00000684: PUSH1 0x1f
00000686: ADD
00000687: DIV
00000688: PUSH1 0x03
0000068a: MUL
0000068b: PUSH1 0x0f
0000068d: ADD
0000068e: CALL
0000068f: POP
00000690: SWAP1
00000691: POP
00000692: ADD
00000693: SWAP11
00000694: POP
00000695: POP
00000696: POP
00000697: POP
00000698: POP
00000699: POP
0000069a: POP
0000069b: POP
0000069c: POP
0000069d: POP
0000069e: POP
0000069f: PUSH1 0x00
000006a1: PUSH1 0x40
000006a3: MLOAD
000006a4: DUP1
000006a5: DUP4
000006a6: SUB
000006a7: DUP2
000006a8: PUSH1 0x00
000006aa: DUP8
000006ab: PUSH2 0x61da
000006ae: GAS
000006af: SUB
000006b0: CALL
000006b1: ISZERO
000006b2: PUSH2 0x0002
000006b5: JUMPI
000006b6: POP
000006b7: POP
000006b8: POP
000006b9: CALLVALUE
000006ba: PUSH1 0x05
000006bc: PUSH1 0x00
000006be: POP
000006bf: PUSH1 0x00
000006c1: CALLER
000006c2: PUSH1 0x01
000006c4: PUSH1 0xa0
000006c6: PUSH1 0x02
000006c8: EXP
000006c9: SUB
000006ca: AND
000006cb: DUP2
000006cc: MSTORE
000006cd: PUSH1 0x20
000006cf: ADD
000006d0: SWAP1
000006d1: DUP2
000006d2: MSTORE
000006d3: PUSH1 0x20
000006d5: ADD
000006d6: PUSH1 0x00
000006d8: KECCAK256
000006d9: PUSH1 0x00
000006db: POP
000006dc: DUP2
000006dd: SWAP1
000006de: SSTORE
000006df: POP
000006e0: CALLER
000006e1: PUSH1 0x00
000006e3: PUSH1 0x00
000006e5: POP
000006e6: PUSH1 0x0c
000006e8: PUSH1 0x00
000006ea: POP
000006eb: SLOAD
000006ec: PUSH1 0x05
000006ee: DUP2
000006ef: LT
000006f0: ISZERO
000006f1: PUSH2 0x0002
000006f4: JUMPI
000006f5: DUP1
000006f6: SLOAD
000006f7: PUSH1 0x01
000006f9: PUSH1 0xa0
000006fb: PUSH1 0x02
000006fd: EXP
000006fe: SUB
000006ff: NOT
00000700: AND
00000701: SWAP1
00000702: SWAP3
00000703: OR
00000704: SWAP1
00000705: SWAP2
00000706: SSTORE
00000707: POP
00000708: PUSH1 0x0c
0000070a: DUP1
0000070b: SLOAD
0000070c: PUSH1 0x01
0000070e: ADD
0000070f: SWAP1
00000710: SSTORE
00000711: JUMPDEST
00000712: POP
00000713: POP
00000714: POP
00000715: SWAP6
00000716: SWAP5
00000717: POP
00000718: POP
00000719: POP
0000071a: POP
0000071b: POP
0000071c: JUMP
0000071d: JUMPDEST
0000071e: JUMPDEST
0000071f: PUSH1 0x0c
00000721: SLOAD
00000722: DUP3
00000723: LT
00000724: ISZERO
00000725: PUSH2 0x0758
00000728: JUMPI
00000729: PUSH1 0x05
0000072b: DUP2
0000072c: DUP1
0000072d: DUP5
0000072e: DUP4
0000072f: DUP2
00000730: LT
00000731: ISZERO
00000732: PUSH2 0x0002
00000735: JUMPI
00000736: SLOAD
00000737: PUSH1 0x01
00000739: PUSH1 0xa0
0000073b: PUSH1 0x02
0000073d: EXP
0000073e: SUB
0000073f: AND
00000740: SWAP1
00000741: MSTORE
00000742: POP
00000743: PUSH1 0x40
00000745: DUP3
00000746: KECCAK256
00000747: SLOAD
00000748: MUL
00000749: SWAP1
0000074a: SWAP3
0000074b: ADD
0000074c: SWAP2
0000074d: PUSH1 0x01
0000074f: SWAP2
00000750: SWAP1
00000751: SWAP2
00000752: ADD
00000753: SWAP1
00000754: PUSH2 0x071e
00000757: JUMP
00000758: JUMPDEST
00000759: CALLVALUE
0000075a: PUSH1 0x05
0000075c: MUL
0000075d: DUP4
0000075e: ADDRESS
0000075f: PUSH1 0x01
00000761: PUSH1 0xa0
00000763: PUSH1 0x02
00000765: EXP
00000766: SUB
00000767: AND
00000768: BALANCE
00000769: SUB
0000076a: LT
0000076b: ISZERO
0000076c: PUSH2 0x0559
0000076f: JUMPI
00000770: PUSH1 0x40
00000772: MLOAD
00000773: PUSH1 0x01
00000775: PUSH1 0xa0
00000777: PUSH1 0x02
00000779: EXP
0000077a: SUB
0000077b: CALLER
0000077c: AND
0000077d: SWAP1
0000077e: DUP3
0000077f: SWAP1
00000780: CALLVALUE
00000781: SWAP1
00000782: DUP3
00000783: DUP2
00000784: DUP2
00000785: DUP2
00000786: DUP6
00000787: DUP9
00000788: DUP4
00000789: CALL
0000078a: SWAP4
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: POP
00000790: PUSH2 0x0711
00000793: JUMP
00000794: JUMPDEST
00000795: JUMPDEST
00000796: PUSH1 0x0c
00000798: SLOAD
00000799: DUP4
0000079a: LT
0000079b: ISZERO
0000079c: PUSH2 0x07d4
0000079f: JUMPI
000007a0: PUSH1 0x05
000007a2: DUP2
000007a3: DUP1
000007a4: DUP6
000007a5: DUP4
000007a6: DUP2
000007a7: LT
000007a8: ISZERO
000007a9: PUSH2 0x0002
000007ac: JUMPI
000007ad: SLOAD
000007ae: PUSH1 0x01
000007b0: PUSH1 0xa0
000007b2: PUSH1 0x02
000007b4: EXP
000007b5: SUB
000007b6: AND
000007b7: SWAP1
000007b8: MSTORE
000007b9: POP
000007ba: PUSH1 0x20
000007bc: DUP2
000007bd: SWAP1
000007be: MSTORE
000007bf: PUSH1 0x40
000007c1: DUP3
000007c2: KECCAK256
000007c3: SLOAD
000007c4: MUL
000007c5: SWAP1
000007c6: SWAP4
000007c7: ADD
000007c8: SWAP3
000007c9: PUSH1 0x01
000007cb: SWAP3
000007cc: SWAP1
000007cd: SWAP3
000007ce: ADD
000007cf: SWAP2
000007d0: PUSH2 0x0795
000007d3: JUMP
000007d4: JUMPDEST
000007d5: ADDRESS
000007d6: PUSH1 0x01
000007d8: PUSH1 0xa0
000007da: PUSH1 0x02
000007dc: EXP
000007dd: SUB
000007de: AND
000007df: BALANCE
000007e0: DUP5
000007e1: GT
000007e2: ISZERO
000007e3: PUSH2 0x07eb
000007e6: JUMPI
000007e7: PUSH2 0x0137
000007ea: JUMP
000007eb: JUMPDEST
000007ec: SWAP2
000007ed: POP
000007ee: DUP1
000007ef: JUMPDEST
000007f0: PUSH1 0x0d
000007f2: SLOAD
000007f3: DUP4
000007f4: LT
000007f5: ISZERO
000007f6: PUSH2 0x082d
000007f9: JUMPI
000007fa: PUSH1 0x0b
000007fc: DUP2
000007fd: PUSH1 0x06
000007ff: DUP6
00000800: PUSH1 0x05
00000802: DUP2
00000803: LT
00000804: ISZERO
00000805: PUSH2 0x0002
00000808: JUMPI
00000809: ADD
0000080a: SLOAD
0000080b: PUSH1 0x01
0000080d: PUSH1 0xa0
0000080f: PUSH1 0x02
00000811: EXP
00000812: SUB
00000813: AND
00000814: SWAP1
00000815: MSTORE
00000816: PUSH1 0x20
00000818: MSTORE
00000819: PUSH1 0x40
0000081b: DUP2
0000081c: KECCAK256
0000081d: SLOAD
0000081e: SWAP1
0000081f: SWAP2
00000820: ADD
00000821: SWAP1
00000822: PUSH1 0x01
00000824: SWAP3
00000825: SWAP1
00000826: SWAP3
00000827: ADD
00000828: SWAP2
00000829: PUSH2 0x07ef
0000082c: JUMP
0000082d: JUMPDEST
0000082e: PUSH1 0x40
00000830: DUP2
00000831: KECCAK256
00000832: SLOAD
00000833: PUSH1 0x01
00000835: PUSH1 0xa0
00000837: PUSH1 0x02
00000839: EXP
0000083a: SUB
0000083b: CALLER
0000083c: DUP2
0000083d: AND
0000083e: DUP1
0000083f: DUP5
00000840: MSTORE
00000841: PUSH1 0x0b
00000843: PUSH1 0x20
00000845: MSTORE
00000846: ADDRESS
00000847: SWAP1
00000848: SWAP2
00000849: AND
0000084a: BALANCE
0000084b: DUP7
0000084c: SWAP1
0000084d: SUB
0000084e: SWAP2
0000084f: DUP5
00000850: SWAP1
00000851: DIV
00000852: SWAP2
00000853: SWAP1
00000854: SWAP2
00000855: MUL
00000856: SWAP2
00000857: DUP3
00000858: PUSH1 0x60
0000085a: DUP3
0000085b: DUP2
0000085c: DUP2
0000085d: DUP2
0000085e: DUP6
0000085f: DUP9
00000860: DUP4
00000861: CALL
00000862: SWAP4
00000863: POP
00000864: POP
00000865: POP
00000866: POP
00000867: POP
00000868: PUSH1 0x00
0000086a: PUSH1 0x0b
0000086c: PUSH1 0x00
0000086e: POP
0000086f: PUSH1 0x00
00000871: CALLER
00000872: PUSH1 0x01
00000874: PUSH1 0xa0
00000876: PUSH1 0x02
00000878: EXP
00000879: SUB
0000087a: AND
0000087b: DUP2
0000087c: MSTORE
0000087d: PUSH1 0x20
0000087f: ADD
00000880: SWAP1
00000881: DUP2
00000882: MSTORE
00000883: PUSH1 0x20
00000885: ADD
00000886: PUSH1 0x00
00000888: KECCAK256
00000889: PUSH1 0x00
0000088b: POP
0000088c: DUP2
0000088d: SWAP1
0000088e: SSTORE
0000088f: POP
00000890: PUSH1 0x00
00000892: SWAP3
00000893: POP
00000894: DUP3
00000895: POP
00000896: JUMPDEST
00000897: PUSH1 0x0d
00000899: SLOAD
0000089a: DUP4
0000089b: LT
0000089c: ISZERO
0000089d: PUSH2 0x0137
000008a0: JUMPI
000008a1: PUSH1 0x01
000008a3: PUSH1 0xa0
000008a5: PUSH1 0x02
000008a7: EXP
000008a8: SUB
000008a9: CALLER
000008aa: AND
000008ab: PUSH1 0x06
000008ad: DUP5
000008ae: PUSH1 0x05
000008b0: DUP2
000008b1: LT
000008b2: ISZERO
000008b3: PUSH2 0x0002
000008b6: JUMPI
000008b7: ADD
000008b8: SLOAD
000008b9: PUSH1 0x01
000008bb: PUSH1 0xa0
000008bd: PUSH1 0x02
000008bf: EXP
000008c0: SUB
000008c1: AND
000008c2: EQ
000008c3: ISZERO
000008c4: PUSH2 0x08e6
000008c7: JUMPI
000008c8: PUSH1 0x00
000008ca: PUSH1 0x06
000008cc: DUP5
000008cd: PUSH1 0x05
000008cf: DUP2
000008d0: LT
000008d1: ISZERO
000008d2: PUSH2 0x0002
000008d5: JUMPI
000008d6: ADD
000008d7: DUP1
000008d8: SLOAD
000008d9: PUSH1 0x01
000008db: PUSH1 0xa0
000008dd: PUSH1 0x02
000008df: EXP
000008e0: SUB
000008e1: NOT
000008e2: AND
000008e3: SWAP1
000008e4: SSTORE
000008e5: POP
000008e6: JUMPDEST
000008e7: PUSH1 0x01
000008e9: SWAP3
000008ea: SWAP1
000008eb: SWAP3
000008ec: ADD
000008ed: SWAP2
000008ee: PUSH2 0x0896
000008f1: JUMP
000008f2: JUMPDEST
000008f3: SWAP2
000008f4: POP
000008f5: DUP1
000008f6: JUMPDEST
000008f7: PUSH1 0x0d
000008f9: SLOAD
000008fa: DUP4
000008fb: LT
000008fc: ISZERO
000008fd: PUSH2 0x0935
00000900: JUMPI
00000901: PUSH1 0x0b
00000903: DUP2
00000904: PUSH1 0x06
00000906: DUP6
00000907: PUSH1 0x05
00000909: DUP2
0000090a: LT
0000090b: ISZERO
0000090c: PUSH2 0x0002
0000090f: JUMPI
00000910: ADD
00000911: SLOAD
00000912: PUSH1 0x01
00000914: PUSH1 0xa0
00000916: PUSH1 0x02
00000918: EXP
00000919: SUB
0000091a: AND
0000091b: SWAP1
0000091c: MSTORE
0000091d: PUSH1 0x20
0000091f: MSTORE
00000920: PUSH1 0x40
00000922: DUP2
00000923: KECCAK256
00000924: SLOAD
00000925: SWAP2
00000926: SWAP1
00000927: SWAP2
00000928: ADD
00000929: SWAP1
0000092a: PUSH1 0x01
0000092c: SWAP3
0000092d: SWAP1
0000092e: SWAP3
0000092f: ADD
00000930: SWAP2
00000931: PUSH2 0x08f6
00000934: JUMP
00000935: JUMPDEST
00000936: POP
00000937: ADDRESS
00000938: PUSH1 0x01
0000093a: PUSH1 0xa0
0000093c: PUSH1 0x02
0000093e: EXP
0000093f: SUB
00000940: AND
00000941: BALANCE
00000942: SWAP3
00000943: SWAP1
00000944: SWAP3
00000945: SUB
00000946: SWAP1
00000947: SWAP2
00000948: DIV
00000949: PUSH1 0x64
0000094b: MUL
0000094c: SWAP3
0000094d: SWAP2
0000094e: POP
0000094f: POP
00000950: 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	ETH value transfer possible	55	no	no	view trace_id: 0xca0a6915bb6bf1598b7922c91f83a178b56b4822cb8077874e1dc3dc59ca6bc6 call_targets: 0x63990ffd8133cdc5b202eef18c52ef05f6c87843 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xca0a6915bb6bf1598b7922c91f83a178b56b4822cb8077874e1dc3dc59ca6bc6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x63990ffd8133cdc5b202eef18c52ef05f6c87843" ], "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": "0x51870150", "selector": "0x51870150", "calldata_variants": [ "0x51870150", "0x518701500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x67c18aa1", "selector": "0x67c18aa1", "calldata_variants": [ "0x67c18aa1", "0x67c18aa10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6d4ce63c", "selector": "0x6d4ce63c", "calldata_variants": [ "0x6d4ce63c", "0x6d4ce63c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 814, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1254, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1519, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 9, "guards_detected": [] }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xca0a6915bb6bf1598b7922c91f83a178b56b4822cb8077874e1dc3dc59ca6bc6 call_targets: 0x63990ffd8133cdc5b202eef18c52ef05f6c87843 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xca0a6915bb6bf1598b7922c91f83a178b56b4822cb8077874e1dc3dc59ca6bc6", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x63990ffd8133cdc5b202eef18c52ef05f6c87843" ], "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": "0x51870150", "selector": "0x51870150", "calldata_variants": [ "0x51870150", "0x518701500000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x67c18aa1", "selector": "0x67c18aa1", "calldata_variants": [ "0x67c18aa1", "0x67c18aa10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6d4ce63c", "selector": "0x6d4ce63c", "calldata_variants": [ "0x6d4ce63c", "0x6d4ce63c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 814, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1254, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1519, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 9, "guards_detected": [], "untrusted_call_count": 9 }

Severity