Analysis Run

019b3836-2242-70f9-b850-5e1848082865

complete

Chain ID

1

Address

0x9518f3c5aa82dd101b012d052822fe0b339464d6

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
253	artifact.fetch	complete	1 / 3	3 months ago
254	tool.cast_disasm	complete	1 / 3	3 months ago
43499	analysis.bundle	complete	1 / 3	1 week ago
43500	capability.graph	complete	1 / 3	1 week ago
43501	detector.run	complete	1 / 3	1 week ago
43502	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)

8

EXT*/BALANCE

4

Total opcodes

1699

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00ae
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x083b2732
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00de
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x187c5903
00000025: EQ
00000026: PUSH2 0x0123
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1bccca14
00000030: EQ
00000031: PUSH2 0x0153
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x29f8df0d
0000003b: EQ
0000003c: PUSH2 0x0174
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x3f32e918
00000046: EQ
00000047: PUSH2 0x017d
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x437600bc
00000051: EQ
00000052: PUSH2 0x01a3
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x444bdb1b
0000005c: EQ
0000005d: PUSH2 0x01bb
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x51870150
00000067: EQ
00000068: PUSH2 0x0206
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x6d4ce63c
00000072: EQ
00000073: PUSH2 0x0307
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x6e723e24
0000007d: EQ
0000007e: PUSH2 0x0333
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x71ad7221
00000088: EQ
00000089: PUSH2 0x033c
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xa32da9d1
00000093: EQ
00000094: PUSH2 0x035c
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xbf37df2f
0000009e: EQ
0000009f: PUSH2 0x037d
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xe8b5e51f
000000a9: EQ
000000aa: PUSH2 0x0395
000000ad: JUMPI
000000ae: JUMPDEST
000000af: PUSH2 0x0404
000000b2: CALLER
000000b3: PUSH1 0x01
000000b5: PUSH1 0xa0
000000b7: PUSH1 0x02
000000b9: EXP
000000ba: SUB
000000bb: AND
000000bc: PUSH20 0x26588a9301b0428d95e6fc3a5024fce8bec12d51
000000d1: EQ
000000d2: ISZERO
000000d3: PUSH2 0x0406
000000d6: JUMPI
000000d7: PUSH2 0x0406
000000da: PUSH2 0x00e2
000000dd: JUMP
000000de: JUMPDEST
000000df: PUSH2 0x0404
000000e2: JUMPDEST
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: DUP1
000000e7: DUP1
000000e8: DUP1
000000e9: JUMPDEST
000000ea: PUSH1 0x14
000000ec: DUP5
000000ed: LT
000000ee: ISZERO
000000ef: PUSH2 0x0425
000000f2: JUMPI
000000f3: PUSH2 0x0100
000000f6: SWAP5
000000f7: SWAP1
000000f8: SWAP5
000000f9: MUL
000000fa: SWAP4
000000fb: PUSH1 0x00
000000fd: DUP5
000000fe: CALLDATASIZE
000000ff: DUP2
00000100: LT
00000101: ISZERO
00000102: PUSH2 0x0002
00000105: JUMPI
00000106: PUSH1 0xf8
00000108: PUSH1 0x02
0000010a: EXP
0000010b: SWAP1
0000010c: CALLDATALOAD
0000010d: DUP2
0000010e: SWAP1
0000010f: DIV
00000110: DUP2
00000111: MUL
00000112: DIV
00000113: SWAP1
00000114: SWAP6
00000115: ADD
00000116: SWAP5
00000117: POP
00000118: PUSH1 0x01
0000011a: SWAP4
0000011b: SWAP1
0000011c: SWAP4
0000011d: ADD
0000011e: SWAP3
0000011f: PUSH2 0x00e9
00000122: JUMP
00000123: JUMPDEST
00000124: PUSH2 0x0404
00000127: CALLER
00000128: PUSH1 0x01
0000012a: PUSH1 0xa0
0000012c: PUSH1 0x02
0000012e: EXP
0000012f: SUB
00000130: AND
00000131: PUSH1 0x00
00000133: SWAP1
00000134: DUP2
00000135: MSTORE
00000136: PUSH1 0x0d
00000138: PUSH1 0x20
0000013a: MSTORE
0000013b: PUSH1 0x40
0000013d: DUP2
0000013e: KECCAK256
0000013f: SLOAD
00000140: DUP2
00000141: SWAP1
00000142: DUP2
00000143: SWAP1
00000144: DUP2
00000145: SWAP1
00000146: DUP2
00000147: EQ
00000148: ISZERO
00000149: PUSH2 0x04c2
0000014c: JUMPI
0000014d: JUMPDEST
0000014e: POP
0000014f: POP
00000150: POP
00000151: POP
00000152: JUMP
00000153: JUMPDEST
00000154: PUSH2 0x0408
00000157: PUSH1 0x04
00000159: CALLDATALOAD
0000015a: PUSH1 0x07
0000015c: DUP2
0000015d: PUSH1 0x05
0000015f: DUP2
00000160: LT
00000161: ISZERO
00000162: PUSH2 0x0002
00000165: JUMPI
00000166: POP
00000167: ADD
00000168: SLOAD
00000169: PUSH1 0x01
0000016b: PUSH1 0xa0
0000016d: PUSH1 0x02
0000016f: EXP
00000170: SUB
00000171: AND
00000172: DUP2
00000173: JUMP
00000174: JUMPDEST
00000175: PUSH2 0x0321
00000178: PUSH1 0x05
0000017a: SLOAD
0000017b: DUP2
0000017c: JUMP
0000017d: JUMPDEST
0000017e: PUSH2 0x0404
00000181: JUMPDEST
00000182: PUSH1 0x40
00000184: MLOAD
00000185: CALLER
00000186: PUSH1 0x01
00000188: PUSH1 0xa0
0000018a: PUSH1 0x02
0000018c: EXP
0000018d: SUB
0000018e: AND
0000018f: SWAP1
00000190: PUSH1 0x00
00000192: SWAP1
00000193: CALLVALUE
00000194: SWAP1
00000195: DUP3
00000196: DUP2
00000197: DUP2
00000198: DUP2
00000199: DUP6
0000019a: DUP9
0000019b: DUP4
0000019c: CALL
0000019d: POP
0000019e: POP
0000019f: POP
000001a0: POP
000001a1: POP
000001a2: JUMP
000001a3: JUMPDEST
000001a4: PUSH2 0x0321
000001a7: PUSH1 0x04
000001a9: CALLDATALOAD
000001aa: PUSH1 0x06
000001ac: PUSH1 0x20
000001ae: MSTORE
000001af: PUSH1 0x00
000001b1: SWAP1
000001b2: DUP2
000001b3: MSTORE
000001b4: PUSH1 0x40
000001b6: SWAP1
000001b7: KECCAK256
000001b8: SLOAD
000001b9: DUP2
000001ba: JUMP
000001bb: JUMPDEST
000001bc: PUSH2 0x0321
000001bf: PUSH1 0x00
000001c1: DUP1
000001c2: DUP1
000001c3: DUP1
000001c4: DUP1
000001c5: JUMPDEST
000001c6: PUSH1 0x05
000001c8: SLOAD
000001c9: DUP4
000001ca: LT
000001cb: ISZERO
000001cc: PUSH2 0x0633
000001cf: JUMPI
000001d0: PUSH1 0x06
000001d2: PUSH1 0x00
000001d4: DUP1
000001d5: DUP6
000001d6: PUSH1 0x05
000001d8: DUP2
000001d9: LT
000001da: ISZERO
000001db: PUSH2 0x0002
000001de: JUMPI
000001df: SLOAD
000001e0: PUSH1 0x01
000001e2: PUSH1 0xa0
000001e4: PUSH1 0x02
000001e6: EXP
000001e7: SUB
000001e8: AND
000001e9: SWAP1
000001ea: MSTORE
000001eb: PUSH1 0x20
000001ed: SWAP2
000001ee: SWAP1
000001ef: SWAP2
000001f0: MSTORE
000001f1: PUSH1 0x40
000001f3: SWAP1
000001f4: KECCAK256
000001f5: SLOAD
000001f6: SWAP4
000001f7: SWAP1
000001f8: SWAP4
000001f9: ADD
000001fa: SWAP3
000001fb: PUSH1 0x01
000001fd: SWAP3
000001fe: SWAP1
000001ff: SWAP3
00000200: ADD
00000201: SWAP2
00000202: PUSH2 0x01c5
00000205: JUMP
00000206: JUMPDEST
00000207: PUSH1 0x40
00000209: DUP1
0000020a: MLOAD
0000020b: PUSH1 0x04
0000020d: DUP1
0000020e: CALLDATALOAD
0000020f: SWAP1
00000210: DUP2
00000211: ADD
00000212: CALLDATALOAD
00000213: PUSH1 0x20
00000215: DUP2
00000216: DUP2
00000217: MUL
00000218: DUP5
00000219: DUP2
0000021a: ADD
0000021b: DUP3
0000021c: ADD
0000021d: SWAP1
0000021e: SWAP6
0000021f: MSTORE
00000220: DUP2
00000221: DUP5
00000222: MSTORE
00000223: PUSH2 0x0404
00000226: SWAP5
00000227: PUSH1 0x24
00000229: SWAP5
0000022a: SWAP4
0000022b: DUP6
0000022c: ADD
0000022d: SWAP3
0000022e: SWAP2
0000022f: DUP3
00000230: SWAP2
00000231: SWAP1
00000232: DUP6
00000233: ADD
00000234: SWAP1
00000235: DUP5
00000236: SWAP1
00000237: DUP1
00000238: DUP3
00000239: DUP5
0000023a: CALLDATACOPY
0000023b: POP
0000023c: POP
0000023d: PUSH1 0x40
0000023f: DUP1
00000240: MLOAD
00000241: DUP8
00000242: CALLDATALOAD
00000243: PUSH1 0x04
00000245: DUP2
00000246: ADD
00000247: CALLDATALOAD
00000248: PUSH1 0x20
0000024a: DUP2
0000024b: DUP2
0000024c: MUL
0000024d: DUP5
0000024e: DUP2
0000024f: ADD
00000250: DUP3
00000251: ADD
00000252: SWAP1
00000253: SWAP6
00000254: MSTORE
00000255: DUP2
00000256: DUP5
00000257: MSTORE
00000258: SWAP9
00000259: SWAP10
0000025a: PUSH1 0x44
0000025c: SWAP10
0000025d: SWAP4
0000025e: SWAP9
0000025f: POP
00000260: SWAP2
00000261: SWAP1
00000262: SWAP2
00000263: ADD
00000264: SWAP6
00000265: POP
00000266: SWAP4
00000267: POP
00000268: DUP4
00000269: SWAP3
0000026a: POP
0000026b: DUP6
0000026c: ADD
0000026d: SWAP1
0000026e: DUP5
0000026f: SWAP1
00000270: DUP1
00000271: DUP3
00000272: DUP5
00000273: CALLDATACOPY
00000274: POP
00000275: POP
00000276: PUSH1 0x40
00000278: DUP1
00000279: MLOAD
0000027a: SWAP7
0000027b: CALLDATALOAD
0000027c: PUSH1 0x04
0000027e: DUP2
0000027f: ADD
00000280: CALLDATALOAD
00000281: PUSH1 0x20
00000283: DUP2
00000284: DUP2
00000285: MUL
00000286: DUP11
00000287: DUP2
00000288: ADD
00000289: DUP3
0000028a: ADD
0000028b: SWAP1
0000028c: SWAP5
0000028d: MSTORE
0000028e: DUP2
0000028f: DUP11
00000290: MSTORE
00000291: SWAP8
00000292: SWAP9
00000293: PUSH1 0x64
00000295: SWAP9
00000296: SWAP1
00000297: SWAP8
00000298: POP
00000299: PUSH1 0x24
0000029b: SWAP3
0000029c: SWAP1
0000029d: SWAP3
0000029e: ADD
0000029f: SWAP6
000002a0: POP
000002a1: SWAP4
000002a2: POP
000002a3: DUP4
000002a4: SWAP3
000002a5: POP
000002a6: DUP6
000002a7: ADD
000002a8: SWAP1
000002a9: DUP5
000002aa: SWAP1
000002ab: DUP1
000002ac: DUP3
000002ad: DUP5
000002ae: CALLDATACOPY
000002af: POP
000002b0: POP
000002b1: PUSH1 0x40
000002b3: DUP1
000002b4: MLOAD
000002b5: SWAP7
000002b6: CALLDATALOAD
000002b7: PUSH1 0x04
000002b9: DUP2
000002ba: ADD
000002bb: CALLDATALOAD
000002bc: PUSH1 0x20
000002be: DUP2
000002bf: DUP2
000002c0: MUL
000002c1: DUP11
000002c2: DUP2
000002c3: ADD
000002c4: DUP3
000002c5: ADD
000002c6: SWAP1
000002c7: SWAP5
000002c8: MSTORE
000002c9: DUP2
000002ca: DUP11
000002cb: MSTORE
000002cc: SWAP8
000002cd: SWAP9
000002ce: PUSH1 0x84
000002d0: SWAP9
000002d1: SWAP1
000002d2: SWAP8
000002d3: POP
000002d4: PUSH1 0x24
000002d6: SWAP3
000002d7: SWAP1
000002d8: SWAP3
000002d9: ADD
000002da: SWAP6
000002db: POP
000002dc: SWAP4
000002dd: POP
000002de: DUP4
000002df: SWAP3
000002e0: POP
000002e1: DUP6
000002e2: ADD
000002e3: SWAP1
000002e4: DUP5
000002e5: SWAP1
000002e6: DUP1
000002e7: DUP3
000002e8: DUP5
000002e9: CALLDATACOPY
000002ea: POP
000002eb: SWAP5
000002ec: SWAP6
000002ed: CALLDATALOAD
000002ee: SWAP5
000002ef: POP
000002f0: POP
000002f1: POP
000002f2: POP
000002f3: POP
000002f4: PUSH1 0x00
000002f6: PUSH1 0x00
000002f8: PUSH1 0x00
000002fa: CALLVALUE
000002fb: PUSH1 0x00
000002fd: EQ
000002fe: ISZERO
000002ff: PUSH2 0x0849
00000302: JUMPI
00000303: PUSH2 0x083f
00000306: JUMP
00000307: JUMPDEST
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 0x06
00000319: PUSH1 0x20
0000031b: MSTORE
0000031c: PUSH1 0x40
0000031e: SWAP1
0000031f: KECCAK256
00000320: SLOAD
00000321: JUMPDEST
00000322: PUSH1 0x40
00000324: DUP1
00000325: MLOAD
00000326: SWAP2
00000327: DUP3
00000328: MSTORE
00000329: MLOAD
0000032a: SWAP1
0000032b: DUP2
0000032c: SWAP1
0000032d: SUB
0000032e: PUSH1 0x20
00000330: ADD
00000331: SWAP1
00000332: RETURN
00000333: JUMPDEST
00000334: PUSH2 0x0321
00000337: PUSH1 0x0c
00000339: SLOAD
0000033a: DUP2
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH1 0x04
0000033f: CALLDATALOAD
00000340: PUSH1 0x01
00000342: PUSH1 0xa0
00000344: PUSH1 0x02
00000346: EXP
00000347: SUB
00000348: AND
00000349: PUSH1 0x00
0000034b: SWAP1
0000034c: DUP2
0000034d: MSTORE
0000034e: PUSH1 0x06
00000350: PUSH1 0x20
00000352: MSTORE
00000353: PUSH1 0x40
00000355: SWAP1
00000356: KECCAK256
00000357: SLOAD
00000358: PUSH2 0x0321
0000035b: JUMP
0000035c: JUMPDEST
0000035d: PUSH2 0x0408
00000360: PUSH1 0x04
00000362: CALLDATALOAD
00000363: PUSH1 0x00
00000365: DUP2
00000366: PUSH1 0x05
00000368: DUP2
00000369: LT
0000036a: ISZERO
0000036b: PUSH2 0x0002
0000036e: JUMPI
0000036f: POP
00000370: POP
00000371: SLOAD
00000372: PUSH1 0x01
00000374: PUSH1 0xa0
00000376: PUSH1 0x02
00000378: EXP
00000379: SUB
0000037a: AND
0000037b: DUP2
0000037c: JUMP
0000037d: JUMPDEST
0000037e: PUSH2 0x0321
00000381: PUSH1 0x04
00000383: CALLDATALOAD
00000384: PUSH1 0x0d
00000386: PUSH1 0x20
00000388: MSTORE
00000389: PUSH1 0x00
0000038b: SWAP1
0000038c: DUP2
0000038d: MSTORE
0000038e: PUSH1 0x40
00000390: SWAP1
00000391: KECCAK256
00000392: SLOAD
00000393: DUP2
00000394: JUMP
00000395: JUMPDEST
00000396: PUSH2 0x0404
00000399: CALLER
0000039a: PUSH1 0x01
0000039c: PUSH1 0xa0
0000039e: PUSH1 0x02
000003a0: EXP
000003a1: SUB
000003a2: AND
000003a3: PUSH1 0x00
000003a5: SWAP1
000003a6: DUP2
000003a7: MSTORE
000003a8: PUSH1 0x0d
000003aa: PUSH1 0x20
000003ac: MSTORE
000003ad: PUSH1 0x40
000003af: DUP2
000003b0: KECCAK256
000003b1: SLOAD
000003b2: EQ
000003b3: ISZERO
000003b4: PUSH2 0x03e4
000003b7: JUMPI
000003b8: PUSH1 0x0c
000003ba: SLOAD
000003bb: CALLER
000003bc: SWAP1
000003bd: PUSH1 0x07
000003bf: SWAP1
000003c0: PUSH1 0x05
000003c2: DUP2
000003c3: LT
000003c4: ISZERO
000003c5: PUSH2 0x0002
000003c8: JUMPI
000003c9: ADD
000003ca: DUP1
000003cb: SLOAD
000003cc: PUSH1 0x01
000003ce: PUSH1 0xa0
000003d0: PUSH1 0x02
000003d2: EXP
000003d3: SUB
000003d4: NOT
000003d5: AND
000003d6: SWAP1
000003d7: SWAP2
000003d8: OR
000003d9: SWAP1
000003da: SSTORE
000003db: PUSH1 0x0c
000003dd: DUP1
000003de: SLOAD
000003df: PUSH1 0x01
000003e1: ADD
000003e2: SWAP1
000003e3: SSTORE
000003e4: JUMPDEST
000003e5: CALLER
000003e6: PUSH1 0x01
000003e8: PUSH1 0xa0
000003ea: PUSH1 0x02
000003ec: EXP
000003ed: SUB
000003ee: AND
000003ef: PUSH1 0x00
000003f1: SWAP1
000003f2: DUP2
000003f3: MSTORE
000003f4: PUSH1 0x0d
000003f6: PUSH1 0x20
000003f8: MSTORE
000003f9: PUSH1 0x40
000003fb: SWAP1
000003fc: KECCAK256
000003fd: DUP1
000003fe: SLOAD
000003ff: CALLVALUE
00000400: ADD
00000401: SWAP1
00000402: SSTORE
00000403: JUMP
00000404: JUMPDEST
00000405: STOP
00000406: JUMPDEST
00000407: JUMP
00000408: JUMPDEST
00000409: PUSH1 0x40
0000040b: DUP1
0000040c: MLOAD
0000040d: PUSH1 0x01
0000040f: PUSH1 0xa0
00000411: PUSH1 0x02
00000413: EXP
00000414: SUB
00000415: SWAP3
00000416: SWAP1
00000417: SWAP3
00000418: AND
00000419: DUP3
0000041a: MSTORE
0000041b: MLOAD
0000041c: SWAP1
0000041d: DUP2
0000041e: SWAP1
0000041f: SUB
00000420: PUSH1 0x20
00000422: ADD
00000423: SWAP1
00000424: RETURN
00000425: JUMPDEST
00000426: PUSH1 0x01
00000428: PUSH1 0xa0
0000042a: PUSH1 0x02
0000042c: EXP
0000042d: SUB
0000042e: DUP6
0000042f: AND
00000430: PUSH1 0x00
00000432: DUP2
00000433: DUP2
00000434: MSTORE
00000435: PUSH1 0x06
00000437: PUSH1 0x20
00000439: MSTORE
0000043a: PUSH1 0x40
0000043c: DUP1
0000043d: DUP3
0000043e: KECCAK256
0000043f: DUP1
00000440: SLOAD
00000441: SWAP1
00000442: DUP4
00000443: SWAP1
00000444: SSTORE
00000445: SWAP1
00000446: MLOAD
00000447: DUP9
00000448: SWAP7
00000449: POP
0000044a: SWAP1
0000044b: SWAP5
0000044c: POP
0000044d: PUSH1 0x05
0000044f: DUP6
00000450: MUL
00000451: SWAP1
00000452: DUP3
00000453: DUP2
00000454: DUP2
00000455: DUP2
00000456: DUP6
00000457: DUP9
00000458: DUP4
00000459: CALL
0000045a: POP
0000045b: SWAP2
0000045c: SWAP4
0000045d: POP
0000045e: POP
0000045f: POP
00000460: POP
00000461: JUMPDEST
00000462: PUSH1 0x05
00000464: SLOAD
00000465: DUP2
00000466: LT
00000467: ISZERO
00000468: PUSH2 0x04bb
0000046b: JUMPI
0000046c: PUSH1 0x01
0000046e: PUSH1 0xa0
00000470: PUSH1 0x02
00000472: EXP
00000473: SUB
00000474: DUP4
00000475: AND
00000476: PUSH1 0x00
00000478: DUP3
00000479: PUSH1 0x05
0000047b: DUP2
0000047c: LT
0000047d: ISZERO
0000047e: PUSH2 0x0002
00000481: JUMPI
00000482: SLOAD
00000483: PUSH1 0x01
00000485: PUSH1 0xa0
00000487: PUSH1 0x02
00000489: EXP
0000048a: SUB
0000048b: AND
0000048c: SWAP1
0000048d: SWAP2
0000048e: EQ
0000048f: ISZERO
00000490: SWAP1
00000491: POP
00000492: PUSH2 0x04b3
00000495: JUMPI
00000496: PUSH1 0x00
00000498: DUP1
00000499: DUP3
0000049a: PUSH1 0x05
0000049c: DUP2
0000049d: LT
0000049e: ISZERO
0000049f: PUSH2 0x0002
000004a2: JUMPI
000004a3: DUP1
000004a4: SLOAD
000004a5: PUSH1 0x01
000004a7: PUSH1 0xa0
000004a9: PUSH1 0x02
000004ab: EXP
000004ac: SUB
000004ad: NOT
000004ae: AND
000004af: SWAP1
000004b0: SSTORE
000004b1: POP
000004b2: POP
000004b3: JUMPDEST
000004b4: PUSH1 0x01
000004b6: ADD
000004b7: PUSH2 0x0461
000004ba: JUMP
000004bb: JUMPDEST
000004bc: POP
000004bd: POP
000004be: POP
000004bf: POP
000004c0: POP
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH1 0x00
000004c5: SWAP4
000004c6: POP
000004c7: PUSH1 0x00
000004c9: SWAP3
000004ca: POP
000004cb: JUMPDEST
000004cc: PUSH1 0x05
000004ce: SLOAD
000004cf: DUP4
000004d0: LT
000004d1: ISZERO
000004d2: PUSH2 0x050e
000004d5: JUMPI
000004d6: PUSH1 0x06
000004d8: PUSH1 0x00
000004da: DUP1
000004db: DUP6
000004dc: PUSH1 0x05
000004de: DUP2
000004df: LT
000004e0: ISZERO
000004e1: PUSH2 0x0002
000004e4: JUMPI
000004e5: SLOAD
000004e6: PUSH1 0x01
000004e8: PUSH1 0xa0
000004ea: PUSH1 0x02
000004ec: EXP
000004ed: SUB
000004ee: AND
000004ef: SWAP1
000004f0: MSTORE
000004f1: PUSH1 0x20
000004f3: SWAP2
000004f4: SWAP1
000004f5: SWAP2
000004f6: MSTORE
000004f7: PUSH1 0x40
000004f9: SWAP1
000004fa: KECCAK256
000004fb: SLOAD
000004fc: PUSH1 0x05
000004fe: MUL
000004ff: SWAP1
00000500: SWAP4
00000501: ADD
00000502: SWAP3
00000503: PUSH1 0x01
00000505: SWAP3
00000506: SWAP1
00000507: SWAP3
00000508: ADD
00000509: SWAP2
0000050a: PUSH2 0x04cb
0000050d: JUMP
0000050e: JUMPDEST
0000050f: PUSH1 0x00
00000511: SWAP3
00000512: POP
00000513: DUP3
00000514: SWAP2
00000515: POP
00000516: JUMPDEST
00000517: PUSH1 0x0c
00000519: SLOAD
0000051a: DUP4
0000051b: LT
0000051c: ISZERO
0000051d: PUSH2 0x0559
00000520: JUMPI
00000521: PUSH1 0x0d
00000523: PUSH1 0x00
00000525: PUSH1 0x07
00000527: DUP6
00000528: PUSH1 0x05
0000052a: DUP2
0000052b: LT
0000052c: ISZERO
0000052d: PUSH2 0x0002
00000530: JUMPI
00000531: ADD
00000532: SLOAD
00000533: PUSH1 0x01
00000535: PUSH1 0xa0
00000537: PUSH1 0x02
00000539: EXP
0000053a: SUB
0000053b: AND
0000053c: DUP2
0000053d: MSTORE
0000053e: PUSH1 0x20
00000540: SWAP2
00000541: SWAP1
00000542: SWAP2
00000543: MSTORE
00000544: PUSH1 0x40
00000546: SWAP1
00000547: KECCAK256
00000548: SLOAD
00000549: SWAP2
0000054a: SWAP1
0000054b: SWAP2
0000054c: ADD
0000054d: SWAP1
0000054e: PUSH1 0x01
00000550: SWAP3
00000551: SWAP1
00000552: SWAP3
00000553: ADD
00000554: SWAP2
00000555: PUSH2 0x0516
00000558: JUMP
00000559: JUMPDEST
0000055a: DUP4
0000055b: ADDRESS
0000055c: PUSH1 0x01
0000055e: PUSH1 0xa0
00000560: PUSH1 0x02
00000562: EXP
00000563: SUB
00000564: AND
00000565: BALANCE
00000566: SUB
00000567: DUP3
00000568: PUSH1 0x0d
0000056a: PUSH1 0x00
0000056c: POP
0000056d: PUSH1 0x00
0000056f: CALLER
00000570: PUSH1 0x01
00000572: PUSH1 0xa0
00000574: PUSH1 0x02
00000576: EXP
00000577: SUB
00000578: AND
00000579: DUP2
0000057a: MSTORE
0000057b: PUSH1 0x20
0000057d: ADD
0000057e: SWAP1
0000057f: DUP2
00000580: MSTORE
00000581: PUSH1 0x20
00000583: ADD
00000584: PUSH1 0x00
00000586: KECCAK256
00000587: PUSH1 0x00
00000589: POP
0000058a: SLOAD
0000058b: DIV
0000058c: MUL
0000058d: SWAP1
0000058e: POP
0000058f: DUP4
00000590: ADDRESS
00000591: PUSH1 0x01
00000593: PUSH1 0xa0
00000595: PUSH1 0x02
00000597: EXP
00000598: SUB
00000599: AND
0000059a: BALANCE
0000059b: SUB
0000059c: DUP2
0000059d: GT
0000059e: ISZERO
0000059f: PUSH2 0x05a7
000005a2: JUMPI
000005a3: PUSH2 0x014d
000005a6: JUMP
000005a7: JUMPDEST
000005a8: PUSH1 0x40
000005aa: MLOAD
000005ab: CALLER
000005ac: PUSH1 0x01
000005ae: PUSH1 0xa0
000005b0: PUSH1 0x02
000005b2: EXP
000005b3: SUB
000005b4: AND
000005b5: SWAP1
000005b6: PUSH1 0x00
000005b8: SWAP1
000005b9: DUP4
000005ba: SWAP1
000005bb: DUP3
000005bc: DUP2
000005bd: DUP2
000005be: DUP2
000005bf: DUP6
000005c0: DUP9
000005c1: DUP4
000005c2: CALL
000005c3: POP
000005c4: POP
000005c5: POP
000005c6: SWAP1
000005c7: DUP2
000005c8: MSTORE
000005c9: PUSH1 0x0d
000005cb: PUSH1 0x20
000005cd: MSTORE
000005ce: PUSH1 0x40
000005d0: DUP2
000005d1: KECCAK256
000005d2: DUP2
000005d3: SWAP1
000005d4: SSTORE
000005d5: SWAP3
000005d6: POP
000005d7: JUMPDEST
000005d8: PUSH1 0x0c
000005da: SLOAD
000005db: DUP4
000005dc: LT
000005dd: ISZERO
000005de: PUSH2 0x014d
000005e1: JUMPI
000005e2: CALLER
000005e3: PUSH1 0x01
000005e5: PUSH1 0xa0
000005e7: PUSH1 0x02
000005e9: EXP
000005ea: SUB
000005eb: AND
000005ec: PUSH1 0x07
000005ee: DUP5
000005ef: PUSH1 0x05
000005f1: DUP2
000005f2: LT
000005f3: ISZERO
000005f4: PUSH2 0x0002
000005f7: JUMPI
000005f8: ADD
000005f9: SLOAD
000005fa: PUSH1 0x01
000005fc: PUSH1 0xa0
000005fe: PUSH1 0x02
00000600: EXP
00000601: SUB
00000602: AND
00000603: EQ
00000604: ISZERO
00000605: PUSH2 0x0627
00000608: JUMPI
00000609: PUSH1 0x00
0000060b: PUSH1 0x07
0000060d: DUP5
0000060e: PUSH1 0x05
00000610: DUP2
00000611: LT
00000612: ISZERO
00000613: PUSH2 0x0002
00000616: JUMPI
00000617: ADD
00000618: DUP1
00000619: SLOAD
0000061a: PUSH1 0x01
0000061c: PUSH1 0xa0
0000061e: PUSH1 0x02
00000620: EXP
00000621: SUB
00000622: NOT
00000623: AND
00000624: SWAP1
00000625: SSTORE
00000626: POP
00000627: JUMPDEST
00000628: PUSH1 0x01
0000062a: SWAP3
0000062b: SWAP1
0000062c: SWAP3
0000062d: ADD
0000062e: SWAP2
0000062f: PUSH2 0x05d7
00000632: JUMP
00000633: JUMPDEST
00000634: PUSH1 0x00
00000636: SWAP3
00000637: POP
00000638: DUP3
00000639: SWAP2
0000063a: POP
0000063b: JUMPDEST
0000063c: PUSH1 0x0c
0000063e: SLOAD
0000063f: DUP4
00000640: LT
00000641: ISZERO
00000642: PUSH2 0x067e
00000645: JUMPI
00000646: PUSH1 0x0d
00000648: PUSH1 0x00
0000064a: PUSH1 0x07
0000064c: DUP6
0000064d: PUSH1 0x05
0000064f: DUP2
00000650: LT
00000651: ISZERO
00000652: PUSH2 0x0002
00000655: JUMPI
00000656: ADD
00000657: SLOAD
00000658: PUSH1 0x01
0000065a: PUSH1 0xa0
0000065c: PUSH1 0x02
0000065e: EXP
0000065f: SUB
00000660: AND
00000661: DUP2
00000662: MSTORE
00000663: PUSH1 0x20
00000665: SWAP2
00000666: SWAP1
00000667: SWAP2
00000668: MSTORE
00000669: PUSH1 0x40
0000066b: SWAP1
0000066c: KECCAK256
0000066d: SLOAD
0000066e: SWAP2
0000066f: SWAP1
00000670: SWAP2
00000671: ADD
00000672: SWAP1
00000673: PUSH1 0x01
00000675: SWAP3
00000676: SWAP1
00000677: SWAP3
00000678: ADD
00000679: SWAP2
0000067a: PUSH2 0x063b
0000067d: JUMP
0000067e: JUMPDEST
0000067f: POP
00000680: ADDRESS
00000681: PUSH1 0x01
00000683: PUSH1 0xa0
00000685: PUSH1 0x02
00000687: EXP
00000688: SUB
00000689: AND
0000068a: BALANCE
0000068b: SWAP3
0000068c: SWAP1
0000068d: SWAP3
0000068e: SUB
0000068f: SWAP2
00000690: SWAP1
00000691: SWAP2
00000692: DIV
00000693: PUSH1 0x64
00000695: MUL
00000696: SWAP3
00000697: SWAP2
00000698: POP
00000699: POP
0000069a: JUMP
0000069b: JUMPDEST
0000069c: PUSH20 0x393519c01e80b188d326d461e4639bc0e3f62af0
000006b1: SWAP1
000006b2: POP
000006b3: DUP1
000006b4: PUSH1 0x01
000006b6: PUSH1 0xa0
000006b8: PUSH1 0x02
000006ba: EXP
000006bb: SUB
000006bc: AND
000006bd: PUSH4 0xa0a1cddb
000006c2: DUP6
000006c3: PUSH2 0x2a30
000006c6: ADD
000006c7: CALLER
000006c8: DUP12
000006c9: DUP12
000006ca: DUP12
000006cb: DUP12
000006cc: PUSH1 0x40
000006ce: MLOAD
000006cf: DUP8
000006d0: PUSH1 0xe0
000006d2: PUSH1 0x02
000006d4: EXP
000006d5: MUL
000006d6: DUP2
000006d7: MSTORE
000006d8: PUSH1 0x04
000006da: ADD
000006db: DUP1
000006dc: DUP8
000006dd: DUP2
000006de: MSTORE
000006df: PUSH1 0x20
000006e1: ADD
000006e2: DUP7
000006e3: PUSH1 0x01
000006e5: PUSH1 0xa0
000006e7: PUSH1 0x02
000006e9: EXP
000006ea: SUB
000006eb: AND
000006ec: DUP2
000006ed: MSTORE
000006ee: PUSH1 0x20
000006f0: ADD
000006f1: DUP1
000006f2: PUSH1 0x20
000006f4: ADD
000006f5: DUP1
000006f6: PUSH1 0x20
000006f8: ADD
000006f9: DUP1
000006fa: PUSH1 0x20
000006fc: ADD
000006fd: DUP1
000006fe: PUSH1 0x20
00000700: ADD
00000701: DUP6
00000702: DUP2
00000703: SUB
00000704: DUP6
00000705: MSTORE
00000706: DUP10
00000707: DUP2
00000708: DUP2
00000709: MLOAD
0000070a: DUP2
0000070b: MSTORE
0000070c: PUSH1 0x20
0000070e: ADD
0000070f: SWAP2
00000710: POP
00000711: DUP1
00000712: MLOAD
00000713: SWAP1
00000714: PUSH1 0x20
00000716: ADD
00000717: SWAP1
00000718: PUSH1 0x20
0000071a: MUL
0000071b: DUP1
0000071c: DUP4
0000071d: DUP4
0000071e: DUP3
0000071f: SWAP1
00000720: PUSH1 0x00
00000722: PUSH1 0x04
00000724: PUSH1 0x20
00000726: DUP5
00000727: PUSH1 0x1f
00000729: ADD
0000072a: DIV
0000072b: PUSH1 0x03
0000072d: MUL
0000072e: PUSH1 0x0f
00000730: ADD
00000731: CALL
00000732: POP
00000733: SWAP1
00000734: POP
00000735: ADD
00000736: DUP6
00000737: DUP2
00000738: SUB
00000739: DUP5
0000073a: MSTORE
0000073b: DUP9
0000073c: DUP2
0000073d: DUP2
0000073e: MLOAD
0000073f: DUP2
00000740: MSTORE
00000741: PUSH1 0x20
00000743: ADD
00000744: SWAP2
00000745: POP
00000746: DUP1
00000747: MLOAD
00000748: SWAP1
00000749: PUSH1 0x20
0000074b: ADD
0000074c: SWAP1
0000074d: PUSH1 0x20
0000074f: MUL
00000750: DUP1
00000751: DUP4
00000752: DUP4
00000753: DUP3
00000754: SWAP1
00000755: PUSH1 0x00
00000757: PUSH1 0x04
00000759: PUSH1 0x20
0000075b: DUP5
0000075c: PUSH1 0x1f
0000075e: ADD
0000075f: DIV
00000760: PUSH1 0x03
00000762: MUL
00000763: PUSH1 0x0f
00000765: ADD
00000766: CALL
00000767: POP
00000768: SWAP1
00000769: POP
0000076a: ADD
0000076b: DUP6
0000076c: DUP2
0000076d: SUB
0000076e: DUP4
0000076f: MSTORE
00000770: DUP8
00000771: DUP2
00000772: DUP2
00000773: MLOAD
00000774: DUP2
00000775: MSTORE
00000776: PUSH1 0x20
00000778: ADD
00000779: SWAP2
0000077a: POP
0000077b: DUP1
0000077c: MLOAD
0000077d: SWAP1
0000077e: PUSH1 0x20
00000780: ADD
00000781: SWAP1
00000782: PUSH1 0x20
00000784: MUL
00000785: DUP1
00000786: DUP4
00000787: DUP4
00000788: DUP3
00000789: SWAP1
0000078a: PUSH1 0x00
0000078c: PUSH1 0x04
0000078e: PUSH1 0x20
00000790: DUP5
00000791: PUSH1 0x1f
00000793: ADD
00000794: DIV
00000795: PUSH1 0x03
00000797: MUL
00000798: PUSH1 0x0f
0000079a: ADD
0000079b: CALL
0000079c: POP
0000079d: SWAP1
0000079e: POP
0000079f: ADD
000007a0: DUP6
000007a1: DUP2
000007a2: SUB
000007a3: DUP3
000007a4: MSTORE
000007a5: DUP7
000007a6: DUP2
000007a7: DUP2
000007a8: MLOAD
000007a9: DUP2
000007aa: MSTORE
000007ab: PUSH1 0x20
000007ad: ADD
000007ae: SWAP2
000007af: POP
000007b0: DUP1
000007b1: MLOAD
000007b2: SWAP1
000007b3: PUSH1 0x20
000007b5: ADD
000007b6: SWAP1
000007b7: PUSH1 0x20
000007b9: MUL
000007ba: DUP1
000007bb: DUP4
000007bc: DUP4
000007bd: DUP3
000007be: SWAP1
000007bf: PUSH1 0x00
000007c1: PUSH1 0x04
000007c3: PUSH1 0x20
000007c5: DUP5
000007c6: PUSH1 0x1f
000007c8: ADD
000007c9: DIV
000007ca: PUSH1 0x03
000007cc: MUL
000007cd: PUSH1 0x0f
000007cf: ADD
000007d0: CALL
000007d1: POP
000007d2: SWAP1
000007d3: POP
000007d4: ADD
000007d5: SWAP11
000007d6: POP
000007d7: POP
000007d8: POP
000007d9: POP
000007da: POP
000007db: POP
000007dc: POP
000007dd: POP
000007de: POP
000007df: POP
000007e0: POP
000007e1: PUSH1 0x00
000007e3: PUSH1 0x40
000007e5: MLOAD
000007e6: DUP1
000007e7: DUP4
000007e8: SUB
000007e9: DUP2
000007ea: PUSH1 0x00
000007ec: DUP8
000007ed: PUSH2 0x61da
000007f0: GAS
000007f1: SUB
000007f2: CALL
000007f3: ISZERO
000007f4: PUSH2 0x0002
000007f7: JUMPI
000007f8: POP
000007f9: POP
000007fa: POP
000007fb: CALLER
000007fc: PUSH1 0x01
000007fe: PUSH1 0xa0
00000800: PUSH1 0x02
00000802: EXP
00000803: SUB
00000804: DUP2
00000805: AND
00000806: PUSH1 0x00
00000808: SWAP1
00000809: DUP2
0000080a: MSTORE
0000080b: PUSH1 0x06
0000080d: PUSH1 0x20
0000080f: MSTORE
00000810: PUSH1 0x40
00000812: DUP2
00000813: KECCAK256
00000814: CALLVALUE
00000815: SWAP1
00000816: SSTORE
00000817: PUSH1 0x05
00000819: DUP1
0000081a: SLOAD
0000081b: SWAP1
0000081c: DUP2
0000081d: LT
0000081e: ISZERO
0000081f: PUSH2 0x0002
00000822: JUMPI
00000823: DUP1
00000824: SLOAD
00000825: PUSH1 0x01
00000827: PUSH1 0xa0
00000829: PUSH1 0x02
0000082b: EXP
0000082c: SUB
0000082d: NOT
0000082e: AND
0000082f: SWAP1
00000830: SWAP3
00000831: OR
00000832: SWAP1
00000833: SWAP2
00000834: SSTORE
00000835: POP
00000836: PUSH1 0x05
00000838: DUP1
00000839: SLOAD
0000083a: PUSH1 0x01
0000083c: ADD
0000083d: SWAP1
0000083e: SSTORE
0000083f: JUMPDEST
00000840: POP
00000841: POP
00000842: POP
00000843: POP
00000844: POP
00000845: POP
00000846: POP
00000847: POP
00000848: JUMP
00000849: JUMPDEST
0000084a: PUSH1 0x05
0000084c: SLOAD
0000084d: PUSH1 0x04
0000084f: SWAP1
00000850: GT
00000851: ISZERO
00000852: PUSH2 0x085d
00000855: JUMPI
00000856: PUSH2 0x0884
00000859: PUSH2 0x0181
0000085c: JUMP
0000085d: JUMPDEST
0000085e: CALLER
0000085f: PUSH1 0x01
00000861: PUSH1 0xa0
00000863: PUSH1 0x02
00000865: EXP
00000866: SUB
00000867: AND
00000868: PUSH1 0x00
0000086a: SWAP1
0000086b: DUP2
0000086c: MSTORE
0000086d: PUSH1 0x06
0000086f: PUSH1 0x20
00000871: MSTORE
00000872: PUSH1 0x40
00000874: DUP2
00000875: KECCAK256
00000876: SLOAD
00000877: GT
00000878: ISZERO
00000879: PUSH2 0x0889
0000087c: JUMPI
0000087d: PUSH2 0x0884
00000880: PUSH2 0x0181
00000883: JUMP
00000884: JUMPDEST
00000885: PUSH2 0x083f
00000888: JUMP
00000889: JUMPDEST
0000088a: PUSH1 0x00
0000088c: SWAP3
0000088d: POP
0000088e: PUSH1 0x00
00000890: SWAP2
00000891: POP
00000892: JUMPDEST
00000893: PUSH1 0x05
00000895: SLOAD
00000896: DUP3
00000897: LT
00000898: ISZERO
00000899: PUSH2 0x08d5
0000089c: JUMPI
0000089d: PUSH1 0x06
0000089f: PUSH1 0x00
000008a1: DUP1
000008a2: DUP5
000008a3: PUSH1 0x05
000008a5: DUP2
000008a6: LT
000008a7: ISZERO
000008a8: PUSH2 0x0002
000008ab: JUMPI
000008ac: SLOAD
000008ad: PUSH1 0x01
000008af: PUSH1 0xa0
000008b1: PUSH1 0x02
000008b3: EXP
000008b4: SUB
000008b5: AND
000008b6: SWAP1
000008b7: MSTORE
000008b8: PUSH1 0x20
000008ba: SWAP2
000008bb: SWAP1
000008bc: SWAP2
000008bd: MSTORE
000008be: PUSH1 0x40
000008c0: SWAP1
000008c1: KECCAK256
000008c2: SLOAD
000008c3: PUSH1 0x05
000008c5: MUL
000008c6: SWAP1
000008c7: SWAP3
000008c8: ADD
000008c9: SWAP2
000008ca: PUSH1 0x01
000008cc: SWAP2
000008cd: SWAP1
000008ce: SWAP2
000008cf: ADD
000008d0: SWAP1
000008d1: PUSH2 0x0892
000008d4: JUMP
000008d5: JUMPDEST
000008d6: CALLVALUE
000008d7: PUSH1 0x05
000008d9: MUL
000008da: DUP4
000008db: ADDRESS
000008dc: PUSH1 0x01
000008de: PUSH1 0xa0
000008e0: PUSH1 0x02
000008e2: EXP
000008e3: SUB
000008e4: AND
000008e5: BALANCE
000008e6: SUB
000008e7: LT
000008e8: ISZERO
000008e9: PUSH2 0x069b
000008ec: JUMPI
000008ed: PUSH2 0x0884
000008f0: PUSH2 0x0181
000008f3: 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: 0xdead427f1436b6aaa7d7920483d22279367db5a831a4554d784a247e4287c5da call_targets: 0x9518f3c5aa82dd101b012d052822fe0b339464d6 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xdead427f1436b6aaa7d7920483d22279367db5a831a4554d784a247e4287c5da", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x9518f3c5aa82dd101b012d052822fe0b339464d6" ], "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": "0x083b2732", "selector": "0x083b2732", "calldata_variants": [ "0x083b2732", "0x083b27320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x187c5903", "selector": "0x187c5903", "calldata_variants": [ "0x187c5903", "0x187c59030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1bccca14", "selector": "0x1bccca14", "calldata_variants": [ "0x1bccca14", "0x1bccca140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29f8df0d", "selector": "0x29f8df0d", "calldata_variants": [ "0x29f8df0d", "0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f32e918", "selector": "0x3f32e918", "calldata_variants": [ "0x3f32e918", "0x3f32e9180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x437600bc", "selector": "0x437600bc", "calldata_variants": [ "0x437600bc", "0x437600bc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x444bdb1b", "selector": "0x444bdb1b", "calldata_variants": [ "0x444bdb1b", "0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x51870150", "selector": "0x51870150", "calldata_variants": [ "0x51870150", "0x518701500000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 412, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1113, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1474, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 8, "guards_detected": [], "untrusted_call_count": 8 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xdead427f1436b6aaa7d7920483d22279367db5a831a4554d784a247e4287c5da call_targets: 0x9518f3c5aa82dd101b012d052822fe0b339464d6 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xdead427f1436b6aaa7d7920483d22279367db5a831a4554d784a247e4287c5da", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x9518f3c5aa82dd101b012d052822fe0b339464d6" ], "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": "0x083b2732", "selector": "0x083b2732", "calldata_variants": [ "0x083b2732", "0x083b27320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x187c5903", "selector": "0x187c5903", "calldata_variants": [ "0x187c5903", "0x187c59030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1bccca14", "selector": "0x1bccca14", "calldata_variants": [ "0x1bccca14", "0x1bccca140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29f8df0d", "selector": "0x29f8df0d", "calldata_variants": [ "0x29f8df0d", "0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f32e918", "selector": "0x3f32e918", "calldata_variants": [ "0x3f32e918", "0x3f32e9180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x437600bc", "selector": "0x437600bc", "calldata_variants": [ "0x437600bc", "0x437600bc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x444bdb1b", "selector": "0x444bdb1b", "calldata_variants": [ "0x444bdb1b", "0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x51870150", "selector": "0x51870150", "calldata_variants": [ "0x51870150", "0x518701500000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 412, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1113, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1474, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 8, "guards_detected": [] }

Severity