Analysis Run

019b3836-4e24-7108-8240-7b5a25671965

complete

Chain ID

1

Address

0x7ad925c40c6854a691780993cd18ea0920800157

Block Number

—

Created

Fri, Dec 19, 2025 8:04 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
7329	artifact.fetch	complete	1 / 3	3 months ago
7330	tool.cast_disasm	complete	1 / 3	3 months ago
109558	analysis.bundle	complete	1 / 3	1 week ago
109559	capability.graph	complete	1 / 3	1 week ago
109560	detector.run	complete	1 / 3	1 week ago
109561	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)

6

EXT*/BALANCE

1

Total opcodes

1675

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0098
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x16ece9db
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x009a
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x1982ed58
00000025: EQ
00000026: PUSH2 0x016a
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x31a73991
00000030: EQ
00000031: PUSH2 0x01a3
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x3773930e
0000003b: EQ
0000003c: PUSH2 0x01ef
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x5f52e9fd
00000046: EQ
00000047: PUSH2 0x021d
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x6169a7ed
00000051: EQ
00000052: PUSH2 0x024e
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x79799193
0000005c: EQ
0000005d: PUSH2 0x0257
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x7e7307c5
00000067: EQ
00000068: PUSH2 0x0260
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x8fe58eb9
00000072: EQ
00000073: PUSH2 0x0274
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x9894221a
0000007d: EQ
0000007e: PUSH2 0x02a0
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xa9fb4385
00000088: EQ
00000089: PUSH2 0x02ad
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xd3c65384
00000093: EQ
00000094: PUSH2 0x030d
00000097: JUMPI
00000098: JUMPDEST
00000099: STOP
0000009a: JUMPDEST
0000009b: PUSH2 0xffff
0000009e: PUSH1 0x04
000000a0: DUP1
000000a1: CALLDATALOAD
000000a2: DUP3
000000a3: AND
000000a4: PUSH1 0x00
000000a6: DUP2
000000a7: DUP2
000000a8: MSTORE
000000a9: PUSH1 0x08
000000ab: PUSH1 0x20
000000ad: DUP2
000000ae: DUP2
000000af: MSTORE
000000b0: PUSH1 0x40
000000b2: DUP1
000000b3: DUP5
000000b4: KECCAK256
000000b5: PUSH1 0x24
000000b7: CALLDATALOAD
000000b8: DUP9
000000b9: AND
000000ba: DUP6
000000bb: MSTORE
000000bc: PUSH1 0x01
000000be: DUP2
000000bf: DUP2
000000c0: ADD
000000c1: DUP5
000000c2: MSTORE
000000c3: DUP3
000000c4: DUP7
000000c5: KECCAK256
000000c6: DUP1
000000c7: SLOAD
000000c8: SWAP9
000000c9: DUP2
000000ca: ADD
000000cb: SLOAD
000000cc: SWAP2
000000cd: DUP2
000000ce: ADD
000000cf: SLOAD
000000d0: PUSH1 0x02
000000d2: DUP3
000000d3: ADD
000000d4: SLOAD
000000d5: PUSH1 0x03
000000d7: DUP4
000000d8: ADD
000000d9: SLOAD
000000da: PUSH1 0x05
000000dc: DUP5
000000dd: ADD
000000de: SLOAD
000000df: PUSH1 0x06
000000e1: DUP6
000000e2: ADD
000000e3: SLOAD
000000e4: PUSH1 0x07
000000e6: DUP7
000000e7: ADD
000000e8: SLOAD
000000e9: SWAP6
000000ea: DUP12
000000eb: ADD
000000ec: SLOAD
000000ed: SWAP13
000000ee: SWAP1
000000ef: SWAP12
000000f0: MSTORE
000000f1: SWAP9
000000f2: DUP9
000000f3: MSTORE
000000f4: SWAP5
000000f5: SLOAD
000000f6: DUP7
000000f7: MLOAD
000000f8: SWAP12
000000f9: DUP13
000000fa: MSTORE
000000fb: SWAP7
000000fc: DUP12
000000fd: ADD
000000fe: SWAP2
000000ff: SWAP1
00000100: SWAP2
00000101: MSTORE
00000102: SWAP1
00000103: SWAP10
00000104: AND
00000105: DUP9
00000106: DUP5
00000107: ADD
00000108: MSTORE
00000109: PUSH1 0x60
0000010b: DUP9
0000010c: ADD
0000010d: SWAP2
0000010e: SWAP1
0000010f: SWAP2
00000110: MSTORE
00000111: PUSH1 0xff
00000113: SWAP1
00000114: DUP2
00000115: AND
00000116: PUSH1 0x80
00000118: DUP9
00000119: ADD
0000011a: MSTORE
0000011b: PUSH1 0xa0
0000011d: DUP8
0000011e: ADD
0000011f: SWAP4
00000120: SWAP1
00000121: SWAP4
00000122: MSTORE
00000123: PUSH1 0xc0
00000125: DUP7
00000126: ADD
00000127: SWAP4
00000128: SWAP1
00000129: SWAP4
0000012a: MSTORE
0000012b: PUSH1 0xe0
0000012d: DUP6
0000012e: ADD
0000012f: SWAP6
00000130: SWAP1
00000131: SWAP6
00000132: MSTORE
00000133: DUP3
00000134: DUP2
00000135: AND
00000136: PUSH2 0x0100
00000139: DUP6
0000013a: DUP2
0000013b: ADD
0000013c: SWAP2
0000013d: SWAP1
0000013e: SWAP2
0000013f: MSTORE
00000140: SWAP1
00000141: SWAP3
00000142: DIV
00000143: SWAP1
00000144: SWAP2
00000145: AND
00000146: PUSH2 0x0120
00000149: DUP4
0000014a: ADD
0000014b: MSTORE
0000014c: PUSH1 0x01
0000014e: PUSH1 0xa0
00000150: PUSH1 0x02
00000152: EXP
00000153: SUB
00000154: SWAP3
00000155: SWAP1
00000156: SWAP3
00000157: AND
00000158: PUSH2 0x0140
0000015b: DUP3
0000015c: ADD
0000015d: MSTORE
0000015e: SWAP1
0000015f: MLOAD
00000160: SWAP1
00000161: DUP2
00000162: SWAP1
00000163: SUB
00000164: PUSH2 0x0160
00000167: ADD
00000168: SWAP1
00000169: RETURN
0000016a: JUMPDEST
0000016b: PUSH2 0x0098
0000016e: PUSH1 0x04
00000170: CALLDATALOAD
00000171: PUSH1 0x24
00000173: CALLDATALOAD
00000174: PUSH1 0x44
00000176: CALLDATALOAD
00000177: PUSH2 0xffff
0000017a: DUP3
0000017b: AND
0000017c: PUSH1 0x00
0000017e: SWAP1
0000017f: DUP2
00000180: MSTORE
00000181: PUSH1 0x08
00000183: PUSH1 0x20
00000185: MSTORE
00000186: PUSH1 0x40
00000188: SWAP1
00000189: KECCAK256
0000018a: SLOAD
0000018b: PUSH1 0x01
0000018d: PUSH1 0xa0
0000018f: PUSH1 0x02
00000191: EXP
00000192: SUB
00000193: SWAP1
00000194: DUP2
00000195: AND
00000196: CALLER
00000197: SWAP1
00000198: SWAP2
00000199: AND
0000019a: EQ
0000019b: PUSH2 0x0354
0000019e: JUMPI
0000019f: PUSH2 0x0387
000001a2: JUMP
000001a3: JUMPDEST
000001a4: PUSH2 0x0316
000001a7: PUSH1 0x04
000001a9: CALLDATALOAD
000001aa: JUMPDEST
000001ab: PUSH1 0x00
000001ad: DUP1
000001ae: JUMPDEST
000001af: PUSH1 0x07
000001b1: SLOAD
000001b2: PUSH2 0xffff
000001b5: SWAP1
000001b6: DUP2
000001b7: AND
000001b8: SWAP1
000001b9: DUP3
000001ba: AND
000001bb: LT
000001bc: ISZERO
000001bd: PUSH2 0x0340
000001c0: JUMPI
000001c1: PUSH2 0xffff
000001c4: DUP2
000001c5: AND
000001c6: PUSH1 0x00
000001c8: SWAP1
000001c9: DUP2
000001ca: MSTORE
000001cb: PUSH1 0x08
000001cd: PUSH1 0x20
000001cf: MSTORE
000001d0: PUSH1 0x40
000001d2: SWAP1
000001d3: KECCAK256
000001d4: SLOAD
000001d5: PUSH1 0x01
000001d7: PUSH1 0xa0
000001d9: PUSH1 0x02
000001db: EXP
000001dc: SUB
000001dd: DUP5
000001de: DUP2
000001df: AND
000001e0: SWAP2
000001e1: AND
000001e2: EQ
000001e3: ISZERO
000001e4: PUSH2 0x034c
000001e7: JUMPI
000001e8: DUP1
000001e9: SWAP2
000001ea: POP
000001eb: PUSH2 0x0346
000001ee: JUMP
000001ef: JUMPDEST
000001f0: PUSH2 0x0098
000001f3: PUSH1 0x04
000001f5: CALLDATALOAD
000001f6: PUSH1 0x24
000001f8: CALLDATALOAD
000001f9: PUSH1 0x44
000001fb: CALLDATALOAD
000001fc: PUSH1 0x64
000001fe: CALLDATALOAD
000001ff: PUSH1 0x84
00000201: CALLDATALOAD
00000202: PUSH1 0x00
00000204: SLOAD
00000205: PUSH1 0x01
00000207: PUSH1 0xa0
00000209: PUSH1 0x02
0000020b: EXP
0000020c: SUB
0000020d: SWAP1
0000020e: DUP2
0000020f: AND
00000210: CALLER
00000211: SWAP1
00000212: SWAP2
00000213: AND
00000214: EQ
00000215: PUSH2 0x0555
00000218: JUMPI
00000219: PUSH2 0x03cc
0000021c: JUMP
0000021d: JUMPDEST
0000021e: PUSH2 0x0098
00000221: PUSH1 0x04
00000223: CALLDATALOAD
00000224: PUSH1 0x00
00000226: SLOAD
00000227: PUSH1 0x01
00000229: PUSH1 0xa0
0000022b: PUSH1 0x02
0000022d: EXP
0000022e: SUB
0000022f: SWAP1
00000230: DUP2
00000231: AND
00000232: CALLER
00000233: SWAP1
00000234: SWAP2
00000235: AND
00000236: EQ
00000237: ISZERO
00000238: DUP1
00000239: PUSH2 0x0244
0000023c: JUMPI
0000023d: POP
0000023e: PUSH1 0x05
00000240: SLOAD
00000241: DUP2
00000242: SWAP1
00000243: LT
00000244: JUMPDEST
00000245: ISZERO
00000246: PUSH2 0x08ed
00000249: JUMPI
0000024a: PUSH2 0x0912
0000024d: JUMP
0000024e: JUMPDEST
0000024f: PUSH2 0x032e
00000252: PUSH1 0x05
00000254: SLOAD
00000255: DUP2
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH2 0x032e
0000025b: PUSH1 0x06
0000025d: SLOAD
0000025e: DUP2
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH2 0x0098
00000264: PUSH1 0x04
00000266: CALLDATALOAD
00000267: PUSH1 0x24
00000269: CALLDATALOAD
0000026a: PUSH2 0x038c
0000026d: DUP3
0000026e: DUP3
0000026f: CALLER
00000270: PUSH2 0x02ba
00000273: JUMP
00000274: JUMPDEST
00000275: PUSH2 0x0098
00000278: PUSH1 0x00
0000027a: DUP1
0000027b: SLOAD
0000027c: DUP2
0000027d: SWAP1
0000027e: DUP2
0000027f: SWAP1
00000280: DUP2
00000281: SWAP1
00000282: DUP2
00000283: SWAP1
00000284: DUP2
00000285: SWAP1
00000286: DUP2
00000287: SWAP1
00000288: PUSH1 0x01
0000028a: PUSH1 0xa0
0000028c: PUSH1 0x02
0000028e: EXP
0000028f: SUB
00000290: SWAP1
00000291: DUP2
00000292: AND
00000293: CALLER
00000294: SWAP1
00000295: SWAP2
00000296: AND
00000297: EQ
00000298: PUSH2 0x05ee
0000029b: JUMPI
0000029c: PUSH2 0x06ff
0000029f: JUMP
000002a0: JUMPDEST
000002a1: PUSH2 0x0098
000002a4: PUSH1 0x05
000002a6: DUP1
000002a7: SLOAD
000002a8: CALLVALUE
000002a9: ADD
000002aa: SWAP1
000002ab: SSTORE
000002ac: JUMP
000002ad: JUMPDEST
000002ae: PUSH2 0x0098
000002b1: PUSH1 0x04
000002b3: CALLDATALOAD
000002b4: PUSH1 0x24
000002b6: CALLDATALOAD
000002b7: PUSH1 0x44
000002b9: CALLDATALOAD
000002ba: JUMPDEST
000002bb: PUSH1 0x00
000002bd: PUSH1 0x00
000002bf: CALLVALUE
000002c0: PUSH1 0x00
000002c2: EQ
000002c3: DUP1
000002c4: PUSH2 0x02d0
000002c7: JUMPI
000002c8: POP
000002c9: PUSH1 0x64
000002cb: DUP5
000002cc: PUSH1 0xff
000002ce: AND
000002cf: GT
000002d0: JUMPDEST
000002d1: DUP1
000002d2: PUSH2 0x02e2
000002d5: JUMPI
000002d6: POP
000002d7: PUSH1 0x03
000002d9: SLOAD
000002da: PUSH1 0x04
000002dc: SLOAD
000002dd: CALLVALUE
000002de: SWAP1
000002df: SWAP2
000002e0: ADD
000002e1: GT
000002e2: JUMPDEST
000002e3: ISZERO
000002e4: PUSH2 0x03d3
000002e7: JUMPI
000002e8: PUSH1 0x40
000002ea: MLOAD
000002eb: PUSH1 0x01
000002ed: PUSH1 0xa0
000002ef: PUSH1 0x02
000002f1: EXP
000002f2: SUB
000002f3: DUP5
000002f4: AND
000002f5: SWAP1
000002f6: PUSH1 0x00
000002f8: SWAP1
000002f9: CALLVALUE
000002fa: SWAP1
000002fb: DUP3
000002fc: DUP2
000002fd: DUP2
000002fe: DUP2
000002ff: DUP6
00000300: DUP9
00000301: DUP4
00000302: CALL
00000303: SWAP4
00000304: POP
00000305: POP
00000306: POP
00000307: POP
00000308: POP
00000309: PUSH2 0x03cc
0000030c: JUMP
0000030d: JUMPDEST
0000030e: PUSH2 0x032e
00000311: PUSH1 0x03
00000313: SLOAD
00000314: DUP2
00000315: JUMP
00000316: JUMPDEST
00000317: PUSH1 0x40
00000319: DUP1
0000031a: MLOAD
0000031b: PUSH2 0xffff
0000031e: SWAP3
0000031f: SWAP1
00000320: SWAP3
00000321: AND
00000322: DUP3
00000323: MSTORE
00000324: MLOAD
00000325: SWAP1
00000326: DUP2
00000327: SWAP1
00000328: SUB
00000329: PUSH1 0x20
0000032b: ADD
0000032c: SWAP1
0000032d: RETURN
0000032e: JUMPDEST
0000032f: PUSH1 0x40
00000331: DUP1
00000332: MLOAD
00000333: SWAP2
00000334: DUP3
00000335: MSTORE
00000336: MLOAD
00000337: SWAP1
00000338: DUP2
00000339: SWAP1
0000033a: SUB
0000033b: PUSH1 0x20
0000033d: ADD
0000033e: SWAP1
0000033f: RETURN
00000340: JUMPDEST
00000341: PUSH2 0xffff
00000344: SWAP2
00000345: POP
00000346: JUMPDEST
00000347: POP
00000348: SWAP2
00000349: SWAP1
0000034a: POP
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH1 0x01
0000034f: ADD
00000350: PUSH2 0x01ae
00000353: JUMP
00000354: JUMPDEST
00000355: PUSH2 0xffff
00000358: DUP3
00000359: DUP2
0000035a: AND
0000035b: PUSH1 0x00
0000035d: SWAP1
0000035e: DUP2
0000035f: MSTORE
00000360: PUSH1 0x08
00000362: PUSH1 0x20
00000364: SWAP1
00000365: DUP2
00000366: MSTORE
00000367: PUSH1 0x40
00000369: DUP1
0000036a: DUP4
0000036b: KECCAK256
0000036c: SWAP4
0000036d: DUP6
0000036e: AND
0000036f: DUP4
00000370: MSTORE
00000371: PUSH1 0x01
00000373: SWAP4
00000374: SWAP1
00000375: SWAP4
00000376: ADD
00000377: SWAP1
00000378: MSTORE
00000379: KECCAK256
0000037a: PUSH1 0x04
0000037c: ADD
0000037d: DUP1
0000037e: SLOAD
0000037f: PUSH1 0xff
00000381: NOT
00000382: AND
00000383: DUP5
00000384: OR
00000385: SWAP1
00000386: SSTORE
00000387: JUMPDEST
00000388: POP
00000389: POP
0000038a: POP
0000038b: JUMP
0000038c: JUMPDEST
0000038d: POP
0000038e: POP
0000038f: JUMP
00000390: JUMPDEST
00000391: PUSH1 0x06
00000393: DUP1
00000394: SLOAD
00000395: DUP3
00000396: ADD
00000397: SWAP1
00000398: SSTORE
00000399: PUSH1 0x03
0000039b: DUP1
0000039c: SLOAD
0000039d: CALLVALUE
0000039e: SWAP1
0000039f: DUP2
000003a0: ADD
000003a1: SWAP1
000003a2: SWAP2
000003a3: SSTORE
000003a4: PUSH1 0x01
000003a6: SLOAD
000003a7: PUSH1 0x40
000003a9: MLOAD
000003aa: PUSH1 0x01
000003ac: PUSH1 0xa0
000003ae: PUSH1 0x02
000003b0: EXP
000003b1: SUB
000003b2: SWAP2
000003b3: SWAP1
000003b4: SWAP2
000003b5: AND
000003b6: SWAP2
000003b7: PUSH1 0x00
000003b9: SWAP2
000003ba: SWAP1
000003bb: DUP5
000003bc: SWAP1
000003bd: SUB
000003be: SWAP1
000003bf: DUP3
000003c0: DUP2
000003c1: DUP2
000003c2: DUP2
000003c3: DUP6
000003c4: DUP9
000003c5: DUP4
000003c6: CALL
000003c7: POP
000003c8: POP
000003c9: POP
000003ca: POP
000003cb: POP
000003cc: JUMPDEST
000003cd: POP
000003ce: POP
000003cf: POP
000003d0: POP
000003d1: POP
000003d2: JUMP
000003d3: JUMPDEST
000003d4: PUSH2 0x03dc
000003d7: DUP4
000003d8: PUSH2 0x01aa
000003db: JUMP
000003dc: JUMPDEST
000003dd: SWAP2
000003de: POP
000003df: DUP2
000003e0: PUSH2 0xffff
000003e3: AND
000003e4: PUSH2 0xffff
000003e7: EQ
000003e8: ISZERO
000003e9: PUSH2 0x0438
000003ec: JUMPI
000003ed: PUSH1 0x07
000003ef: DUP1
000003f0: SLOAD
000003f1: PUSH2 0xffff
000003f4: SWAP1
000003f5: DUP2
000003f6: AND
000003f7: PUSH1 0x00
000003f9: DUP2
000003fa: DUP2
000003fb: MSTORE
000003fc: PUSH1 0x08
000003fe: PUSH1 0x20
00000400: MSTORE
00000401: PUSH1 0x40
00000403: SWAP1
00000404: KECCAK256
00000405: DUP1
00000406: SLOAD
00000407: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000041c: NOT
0000041d: AND
0000041e: DUP8
0000041f: OR
00000420: SWAP1
00000421: SSTORE
00000422: DUP3
00000423: SLOAD
00000424: PUSH2 0xffff
00000427: NOT
00000428: DUP2
00000429: AND
0000042a: SWAP3
0000042b: AND
0000042c: PUSH1 0x01
0000042e: ADD
0000042f: SWAP2
00000430: SWAP1
00000431: SWAP2
00000432: OR
00000433: SWAP1
00000434: SWAP2
00000435: SSTORE
00000436: SWAP2
00000437: POP
00000438: JUMPDEST
00000439: DUP4
0000043a: PUSH1 0xff
0000043c: AND
0000043d: PUSH1 0x64
0000043f: CALLVALUE
00000440: DIV
00000441: MUL
00000442: SWAP1
00000443: POP
00000444: PUSH2 0x0390
00000447: DUP3
00000448: DUP3
00000449: CALLVALUE
0000044a: SUB
0000044b: DUP4
0000044c: DUP9
0000044d: JUMPDEST
0000044e: PUSH2 0xffff
00000451: SWAP4
00000452: DUP5
00000453: AND
00000454: PUSH1 0x00
00000456: DUP2
00000457: DUP2
00000458: MSTORE
00000459: PUSH1 0x08
0000045b: PUSH1 0x20
0000045d: DUP2
0000045e: DUP2
0000045f: MSTORE
00000460: PUSH1 0x40
00000462: DUP1
00000463: DUP5
00000464: KECCAK256
00000465: DUP1
00000466: SLOAD
00000467: PUSH1 0xa0
00000469: PUSH1 0x02
0000046b: EXP
0000046c: SWAP1
0000046d: DUP2
0000046e: SWAP1
0000046f: DIV
00000470: DUP12
00000471: AND
00000472: DUP7
00000473: MSTORE
00000474: PUSH1 0x01
00000476: DUP3
00000477: DUP2
00000478: ADD
00000479: DUP6
0000047a: MSTORE
0000047b: SWAP3
0000047c: DUP7
0000047d: KECCAK256
0000047e: DUP11
0000047f: DUP2
00000480: SSTORE
00000481: DUP1
00000482: DUP5
00000483: ADD
00000484: DUP11
00000485: SWAP1
00000486: SSTORE
00000487: PUSH1 0x02
00000489: DUP1
0000048a: SLOAD
0000048b: DUP6
0000048c: SLOAD
0000048d: SWAP2
0000048e: DUP4
0000048f: ADD
00000490: DUP1
00000491: SLOAD
00000492: PUSH2 0x2710
00000495: SWAP14
00000496: DUP16
00000497: ADD
00000498: PUSH1 0x64
0000049a: SWAP16
0000049b: SWAP1
0000049c: SWAP16
0000049d: MUL
0000049e: DUP16
0000049f: SWAP1
000004a0: DIV
000004a1: PUSH1 0xff
000004a3: AND
000004a4: PUSH8 0xffffffffffffffff
000004ad: DUP5
000004ae: DUP2
000004af: AND
000004b0: DUP3
000004b1: MUL
000004b2: SWAP6
000004b3: DUP9
000004b4: SWAP1
000004b5: DIV
000004b6: DUP2
000004b7: AND
000004b8: DUP3
000004b9: MUL
000004ba: SWAP1
000004bb: SWAP2
000004bc: MUL
000004bd: SWAP5
000004be: SWAP1
000004bf: SWAP5
000004c0: ADD
000004c1: PUSH9 0x010000000000000000
000004cb: SWAP1
000004cc: SWAP4
000004cd: DIV
000004ce: DUP5
000004cf: AND
000004d0: SWAP3
000004d1: SWAP1
000004d2: SWAP3
000004d3: ADD
000004d4: SWAP1
000004d5: SWAP3
000004d6: AND
000004d7: DUP13
000004d8: SWAP1
000004d9: DIV
000004da: PUSH2 0xffff
000004dd: NOT
000004de: SWAP2
000004df: SWAP1
000004e0: SWAP2
000004e1: AND
000004e2: OR
000004e3: SWAP1
000004e4: DUP2
000004e5: SWAP1
000004e6: SSTORE
000004e7: PUSH1 0x1e
000004e9: SWAP1
000004ea: DUP14
000004eb: AND
000004ec: SWAP11
000004ed: SWAP1
000004ee: SWAP12
000004ef: DIV
000004f0: SWAP10
000004f1: SWAP1
000004f2: SWAP10
000004f3: MUL
000004f4: SWAP10
000004f5: SWAP1
000004f6: SWAP10
000004f7: DIV
000004f8: PUSH1 0x03
000004fa: DUP10
000004fb: ADD
000004fc: SSTORE
000004fd: PUSH1 0x04
000004ff: DUP9
00000500: ADD
00000501: DUP1
00000502: SLOAD
00000503: PUSH1 0xff
00000505: NOT
00000506: AND
00000507: SWAP1
00000508: SWAP8
00000509: OR
0000050a: SWAP1
0000050b: SWAP7
0000050c: SSTORE
0000050d: TIMESTAMP
0000050e: PUSH1 0x05
00000510: DUP9
00000511: ADD
00000512: DUP2
00000513: SWAP1
00000514: SSTORE
00000515: PUSH1 0x06
00000517: SWAP8
00000518: SWAP1
00000519: SWAP8
0000051a: ADD
0000051b: SWAP7
0000051c: SWAP1
0000051d: SWAP7
0000051e: SSTORE
0000051f: SWAP3
00000520: SWAP1
00000521: SWAP2
00000522: MSTORE
00000523: SWAP1
00000524: MSTORE
00000525: DUP1
00000526: SLOAD
00000527: PUSH22 0xffff0000000000000000000000000000000000000000
0000053e: NOT
0000053f: DUP2
00000540: AND
00000541: SWAP1
00000542: DUP5
00000543: SWAP1
00000544: DIV
00000545: SWAP1
00000546: SWAP5
00000547: AND
00000548: SWAP1
00000549: SWAP2
0000054a: ADD
0000054b: SWAP1
0000054c: SWAP2
0000054d: MUL
0000054e: SWAP2
0000054f: SWAP1
00000550: SWAP2
00000551: OR
00000552: SWAP1
00000553: SSTORE
00000554: JUMP
00000555: JUMPDEST
00000556: PUSH1 0x01
00000558: DUP1
00000559: SLOAD
0000055a: PUSH1 0x04
0000055c: SWAP6
0000055d: SWAP1
0000055e: SWAP6
0000055f: SSTORE
00000560: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000575: NOT
00000576: SWAP5
00000577: SWAP1
00000578: SWAP5
00000579: AND
0000057a: SWAP1
0000057b: SWAP5
0000057c: OR
0000057d: PUSH32 0xffffffff0000000000000000ffffffffffffffffffffffffffffffffffffffff
0000059e: AND
0000059f: PUSH2 0xffff
000005a2: SWAP3
000005a3: DUP4
000005a4: AND
000005a5: PUSH1 0xa0
000005a7: PUSH1 0x02
000005a9: EXP
000005aa: MUL
000005ab: OR
000005ac: SWAP1
000005ad: SWAP3
000005ae: SSTORE
000005af: PUSH1 0x02
000005b1: DUP1
000005b2: SLOAD
000005b3: SWAP3
000005b4: DUP3
000005b5: AND
000005b6: PUSH8 0xffffffffffffffff
000005bf: NOT
000005c0: SWAP1
000005c1: SWAP4
000005c2: AND
000005c3: SWAP3
000005c4: SWAP1
000005c5: SWAP3
000005c6: OR
000005c7: PUSH16 0xffffffffffffffff0000000000000000
000005d8: NOT
000005d9: AND
000005da: SWAP3
000005db: AND
000005dc: PUSH9 0x010000000000000000
000005e6: MUL
000005e7: SWAP2
000005e8: SWAP1
000005e9: SWAP2
000005ea: OR
000005eb: SWAP1
000005ec: SSTORE
000005ed: JUMP
000005ee: JUMPDEST
000005ef: PUSH1 0x05
000005f1: SLOAD
000005f2: PUSH1 0x06
000005f4: SLOAD
000005f5: ADDRESS
000005f6: PUSH1 0x01
000005f8: PUSH1 0xa0
000005fa: PUSH1 0x02
000005fc: EXP
000005fd: SUB
000005fe: AND
000005ff: BALANCE
00000600: SWAP2
00000601: SWAP1
00000602: SWAP2
00000603: SUB
00000604: SUB
00000605: SWAP7
00000606: POP
00000607: PUSH1 0x00
00000609: SWAP6
0000060a: POP
0000060b: DUP6
0000060c: SWAP5
0000060d: POP
0000060e: JUMPDEST
0000060f: PUSH1 0x07
00000611: SLOAD
00000612: PUSH2 0xffff
00000615: SWAP1
00000616: DUP2
00000617: AND
00000618: SWAP1
00000619: DUP7
0000061a: AND
0000061b: LT
0000061c: ISZERO
0000061d: PUSH2 0x06d2
00000620: JUMPI
00000621: PUSH1 0x00
00000623: SWAP4
00000624: POP
00000625: JUMPDEST
00000626: PUSH1 0x08
00000628: PUSH1 0x00
0000062a: POP
0000062b: PUSH1 0x00
0000062d: DUP7
0000062e: PUSH2 0xffff
00000631: AND
00000632: DUP2
00000633: MSTORE
00000634: PUSH1 0x20
00000636: ADD
00000637: SWAP1
00000638: DUP2
00000639: MSTORE
0000063a: PUSH1 0x20
0000063c: ADD
0000063d: PUSH1 0x00
0000063f: KECCAK256
00000640: PUSH1 0x00
00000642: POP
00000643: PUSH1 0x00
00000645: ADD
00000646: PUSH1 0x14
00000648: SWAP1
00000649: SLOAD
0000064a: SWAP1
0000064b: PUSH2 0x0100
0000064e: EXP
0000064f: SWAP1
00000650: DIV
00000651: PUSH2 0xffff
00000654: AND
00000655: PUSH2 0xffff
00000658: AND
00000659: DUP5
0000065a: PUSH2 0xffff
0000065d: AND
0000065e: LT
0000065f: ISZERO
00000660: PUSH2 0x0708
00000663: JUMPI
00000664: PUSH1 0x08
00000666: PUSH1 0x00
00000668: POP
00000669: PUSH1 0x00
0000066b: DUP7
0000066c: PUSH2 0xffff
0000066f: AND
00000670: DUP2
00000671: MSTORE
00000672: PUSH1 0x20
00000674: ADD
00000675: SWAP1
00000676: DUP2
00000677: MSTORE
00000678: PUSH1 0x20
0000067a: ADD
0000067b: PUSH1 0x00
0000067d: KECCAK256
0000067e: PUSH1 0x00
00000680: POP
00000681: PUSH1 0x01
00000683: ADD
00000684: PUSH1 0x00
00000686: POP
00000687: PUSH1 0x00
00000689: DUP6
0000068a: PUSH2 0xffff
0000068d: AND
0000068e: DUP2
0000068f: MSTORE
00000690: PUSH1 0x20
00000692: ADD
00000693: SWAP1
00000694: DUP2
00000695: MSTORE
00000696: PUSH1 0x20
00000698: ADD
00000699: PUSH1 0x00
0000069b: KECCAK256
0000069c: PUSH1 0x00
0000069e: POP
0000069f: SWAP3
000006a0: POP
000006a1: DUP3
000006a2: PUSH1 0x08
000006a4: ADD
000006a5: PUSH1 0x01
000006a7: SWAP1
000006a8: SLOAD
000006a9: SWAP1
000006aa: PUSH2 0x0100
000006ad: EXP
000006ae: SWAP1
000006af: DIV
000006b0: PUSH1 0xff
000006b2: AND
000006b3: DUP1
000006b4: PUSH2 0x06c8
000006b7: JUMPI
000006b8: POP
000006b9: PUSH3 0x015180
000006bd: DUP4
000006be: PUSH1 0x06
000006c0: ADD
000006c1: PUSH1 0x00
000006c3: POP
000006c4: SLOAD
000006c5: TIMESTAMP
000006c6: SUB
000006c7: LT
000006c8: JUMPDEST
000006c9: ISZERO
000006ca: PUSH2 0x0714
000006cd: JUMPI
000006ce: PUSH2 0x08cd
000006d1: JUMP
000006d2: JUMPDEST
000006d3: DUP6
000006d4: ISZERO
000006d5: ISZERO
000006d6: PUSH2 0x06ff
000006d9: JUMPI
000006da: PUSH1 0x01
000006dc: SLOAD
000006dd: PUSH1 0x40
000006df: MLOAD
000006e0: PUSH1 0x01
000006e2: PUSH1 0xa0
000006e4: PUSH1 0x02
000006e6: EXP
000006e7: SUB
000006e8: SWAP2
000006e9: SWAP1
000006ea: SWAP2
000006eb: AND
000006ec: SWAP1
000006ed: PUSH1 0x00
000006ef: SWAP1
000006f0: DUP10
000006f1: SWAP1
000006f2: DUP3
000006f3: DUP2
000006f4: DUP2
000006f5: DUP2
000006f6: DUP6
000006f7: DUP9
000006f8: DUP4
000006f9: CALL
000006fa: POP
000006fb: POP
000006fc: POP
000006fd: POP
000006fe: POP
000006ff: JUMPDEST
00000700: POP
00000701: POP
00000702: POP
00000703: POP
00000704: POP
00000705: POP
00000706: POP
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH1 0x01
0000070b: SWAP5
0000070c: SWAP1
0000070d: SWAP5
0000070e: ADD
0000070f: SWAP4
00000710: PUSH2 0x060e
00000713: JUMP
00000714: JUMPDEST
00000715: PUSH1 0x03
00000717: DUP4
00000718: ADD
00000719: SLOAD
0000071a: PUSH1 0x07
0000071c: DUP5
0000071d: ADD
0000071e: SLOAD
0000071f: PUSH1 0x1e
00000721: SWAP2
00000722: SWAP1
00000723: SWAP2
00000724: MUL
00000725: EQ
00000726: PUSH2 0x07d6
00000729: JUMPI
0000072a: PUSH3 0x015180
0000072e: DUP4
0000072f: PUSH1 0x05
00000731: ADD
00000732: PUSH1 0x00
00000734: POP
00000735: SLOAD
00000736: TIMESTAMP
00000737: SUB
00000738: DIV
00000739: SWAP2
0000073a: POP
0000073b: PUSH1 0x1e
0000073d: DUP3
0000073e: PUSH1 0xff
00000740: AND
00000741: GT
00000742: ISZERO
00000743: PUSH2 0x074b
00000746: JUMPI
00000747: PUSH1 0x1e
00000749: SWAP2
0000074a: POP
0000074b: JUMPDEST
0000074c: POP
0000074d: PUSH1 0x07
0000074f: DUP3
00000750: ADD
00000751: SLOAD
00000752: PUSH1 0x03
00000754: DUP4
00000755: ADD
00000756: SLOAD
00000757: PUSH1 0xff
00000759: DUP4
0000075a: AND
0000075b: MUL
0000075c: SUB
0000075d: DUP1
0000075e: DUP8
0000075f: LT
00000760: ISZERO
00000761: PUSH2 0x076d
00000764: JUMPI
00000765: PUSH1 0x01
00000767: SWAP6
00000768: POP
00000769: PUSH2 0x07cf
0000076c: JUMP
0000076d: JUMPDEST
0000076e: PUSH8 0x016345785d8a0000
00000777: DUP2
00000778: GT
00000779: DUP1
0000077a: PUSH2 0x0786
0000077d: JUMPI
0000077e: POP
0000077f: PUSH1 0x1e
00000781: DUP3
00000782: PUSH1 0xff
00000784: AND
00000785: EQ
00000786: JUMPDEST
00000787: ISZERO
00000788: PUSH2 0x07cf
0000078b: JUMPI
0000078c: PUSH2 0xffff
0000078f: DUP6
00000790: AND
00000791: PUSH1 0x00
00000793: SWAP1
00000794: DUP2
00000795: MSTORE
00000796: PUSH1 0x08
00000798: PUSH1 0x20
0000079a: MSTORE
0000079b: PUSH1 0x40
0000079d: DUP1
0000079e: DUP3
0000079f: KECCAK256
000007a0: SLOAD
000007a1: SWAP1
000007a2: MLOAD
000007a3: SWAP9
000007a4: DUP4
000007a5: SWAP1
000007a6: SUB
000007a7: SWAP9
000007a8: PUSH1 0x01
000007aa: PUSH1 0xa0
000007ac: PUSH1 0x02
000007ae: EXP
000007af: SUB
000007b0: SWAP2
000007b1: SWAP1
000007b2: SWAP2
000007b3: AND
000007b4: SWAP2
000007b5: SWAP1
000007b6: DUP4
000007b7: SWAP1
000007b8: DUP3
000007b9: DUP2
000007ba: DUP2
000007bb: DUP2
000007bc: DUP6
000007bd: DUP9
000007be: DUP4
000007bf: CALL
000007c0: POP
000007c1: POP
000007c2: POP
000007c3: POP
000007c4: PUSH1 0x07
000007c6: DUP5
000007c7: ADD
000007c8: DUP1
000007c9: SLOAD
000007ca: DUP4
000007cb: ADD
000007cc: SWAP1
000007cd: SSTORE
000007ce: POP
000007cf: JUMPDEST
000007d0: TIMESTAMP
000007d1: PUSH1 0x06
000007d3: DUP5
000007d4: ADD
000007d5: SSTORE
000007d6: JUMPDEST
000007d7: PUSH1 0x05
000007d9: DUP4
000007da: ADD
000007db: SLOAD
000007dc: PUSH3 0x278d00
000007e0: ADD
000007e1: TIMESTAMP
000007e2: GT
000007e3: DUP1
000007e4: ISZERO
000007e5: PUSH2 0x07f3
000007e8: JUMPI
000007e9: POP
000007ea: PUSH1 0x08
000007ec: DUP4
000007ed: ADD
000007ee: SLOAD
000007ef: PUSH1 0xff
000007f1: AND
000007f2: ISZERO
000007f3: JUMPDEST
000007f4: ISZERO
000007f5: PUSH2 0x0895
000007f8: JUMPI
000007f9: PUSH1 0x04
000007fb: DUP4
000007fc: ADD
000007fd: SLOAD
000007fe: PUSH1 0xff
00000800: AND
00000801: ISZERO
00000802: PUSH2 0x081b
00000805: JUMPI
00000806: DUP3
00000807: SLOAD
00000808: PUSH1 0x01
0000080a: DUP5
0000080b: DUP2
0000080c: ADD
0000080d: SLOAD
0000080e: PUSH2 0x08d9
00000811: SWAP3
00000812: DUP9
00000813: SWAP3
00000814: SWAP1
00000815: SWAP2
00000816: SWAP1
00000817: PUSH2 0x044d
0000081a: JUMP
0000081b: JUMPDEST
0000081c: PUSH1 0x05
0000081e: SLOAD
0000081f: DUP4
00000820: SLOAD
00000821: SWAP1
00000822: LT
00000823: PUSH2 0x0895
00000826: JUMPI
00000827: PUSH1 0x05
00000829: DUP1
0000082a: SLOAD
0000082b: DUP5
0000082c: SLOAD
0000082d: SWAP1
0000082e: SUB
0000082f: SWAP1
00000830: SSTORE
00000831: PUSH1 0x06
00000833: DUP1
00000834: SLOAD
00000835: PUSH1 0x01
00000837: DUP6
00000838: ADD
00000839: DUP1
0000083a: SLOAD
0000083b: SWAP1
0000083c: SWAP2
0000083d: SUB
0000083e: SWAP1
0000083f: SWAP2
00000840: SSTORE
00000841: PUSH1 0x03
00000843: DUP1
00000844: SLOAD
00000845: DUP6
00000846: SLOAD
00000847: DUP4
00000848: SLOAD
00000849: ADD
0000084a: SWAP1
0000084b: SUB
0000084c: SWAP1
0000084d: SSTORE
0000084e: PUSH2 0xffff
00000851: DUP7
00000852: AND
00000853: PUSH1 0x00
00000855: SWAP1
00000856: DUP2
00000857: MSTORE
00000858: PUSH1 0x08
0000085a: PUSH1 0x20
0000085c: MSTORE
0000085d: PUSH1 0x40
0000085f: DUP1
00000860: DUP3
00000861: KECCAK256
00000862: SLOAD
00000863: SWAP3
00000864: SLOAD
00000865: DUP7
00000866: SLOAD
00000867: SWAP2
00000868: MLOAD
00000869: PUSH1 0x01
0000086b: PUSH1 0xa0
0000086d: PUSH1 0x02
0000086f: EXP
00000870: SUB
00000871: SWAP5
00000872: SWAP1
00000873: SWAP5
00000874: AND
00000875: SWAP4
00000876: SWAP2
00000877: ADD
00000878: SWAP1
00000879: DUP3
0000087a: DUP2
0000087b: DUP2
0000087c: DUP2
0000087d: DUP6
0000087e: DUP9
0000087f: DUP4
00000880: CALL
00000881: POP
00000882: POP
00000883: POP
00000884: POP
00000885: PUSH1 0x08
00000887: DUP5
00000888: ADD
00000889: DUP1
0000088a: SLOAD
0000088b: PUSH1 0xff
0000088d: NOT
0000088e: AND
0000088f: PUSH1 0x01
00000891: OR
00000892: SWAP1
00000893: SSTORE
00000894: POP
00000895: JUMPDEST
00000896: PUSH1 0x08
00000898: DUP4
00000899: ADD
0000089a: SLOAD
0000089b: PUSH1 0xff
0000089d: AND
0000089e: DUP1
0000089f: ISZERO
000008a0: PUSH2 0x08b6
000008a3: JUMPI
000008a4: POP
000008a5: PUSH1 0x03
000008a7: DUP4
000008a8: ADD
000008a9: SLOAD
000008aa: PUSH1 0x07
000008ac: DUP5
000008ad: ADD
000008ae: SLOAD
000008af: PUSH1 0x1e
000008b1: SWAP2
000008b2: SWAP1
000008b3: SWAP2
000008b4: MUL
000008b5: EQ
000008b6: JUMPDEST
000008b7: ISZERO
000008b8: PUSH2 0x08cd
000008bb: JUMPI
000008bc: PUSH1 0x08
000008be: DUP4
000008bf: ADD
000008c0: DUP1
000008c1: SLOAD
000008c2: PUSH2 0xff00
000008c5: NOT
000008c6: AND
000008c7: PUSH2 0x0100
000008ca: OR
000008cb: SWAP1
000008cc: SSTORE
000008cd: JUMPDEST
000008ce: PUSH1 0x01
000008d0: SWAP4
000008d1: SWAP1
000008d2: SWAP4
000008d3: ADD
000008d4: SWAP3
000008d5: PUSH2 0x0625
000008d8: JUMP
000008d9: JUMPDEST
000008da: PUSH1 0x08
000008dc: DUP4
000008dd: ADD
000008de: DUP1
000008df: SLOAD
000008e0: PUSH1 0xff
000008e2: NOT
000008e3: AND
000008e4: PUSH1 0x01
000008e6: OR
000008e7: SWAP1
000008e8: SSTORE
000008e9: PUSH2 0x0895
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH1 0x00
000008f0: DUP1
000008f1: SLOAD
000008f2: PUSH1 0x40
000008f4: MLOAD
000008f5: PUSH1 0x01
000008f7: PUSH1 0xa0
000008f9: PUSH1 0x02
000008fb: EXP
000008fc: SUB
000008fd: SWAP2
000008fe: SWAP1
000008ff: SWAP2
00000900: AND
00000901: SWAP2
00000902: SWAP1
00000903: DUP4
00000904: SWAP1
00000905: DUP3
00000906: DUP2
00000907: DUP2
00000908: DUP2
00000909: DUP6
0000090a: DUP9
0000090b: DUP4
0000090c: CALL
0000090d: POP
0000090e: POP
0000090f: POP
00000910: POP
00000911: POP
00000912: JUMPDEST
00000913: POP
00000914: 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: 0x3d4c639e68cdef4793ebf566d9ff742c37e86337fd29aa3a04c9fbc6cfff411e call_targets: 0x7ad925c40c6854a691780993cd18ea0920800157 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x3d4c639e68cdef4793ebf566d9ff742c37e86337fd29aa3a04c9fbc6cfff411e", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x7ad925c40c6854a691780993cd18ea0920800157" ], "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": "0x16ece9db", "selector": "0x16ece9db", "calldata_variants": [ "0x16ece9db", "0x16ece9db0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1982ed58", "selector": "0x1982ed58", "calldata_variants": [ "0x1982ed58", "0x1982ed580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31a73991", "selector": "0x31a73991", "calldata_variants": [ "0x31a73991", "0x31a739910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3773930e", "selector": "0x3773930e", "calldata_variants": [ "0x3773930e", "0x3773930e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f52e9fd", "selector": "0x5f52e9fd", "calldata_variants": [ "0x5f52e9fd", "0x5f52e9fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6169a7ed", "selector": "0x6169a7ed", "calldata_variants": [ "0x6169a7ed", "0x6169a7ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x79799193", "selector": "0x79799193", "calldata_variants": [ "0x79799193", "0x797991930000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7e7307c5", "selector": "0x7e7307c5", "calldata_variants": [ "0x7e7307c5", "0x7e7307c50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 770, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 966, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1785, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x3d4c639e68cdef4793ebf566d9ff742c37e86337fd29aa3a04c9fbc6cfff411e call_targets: 0x7ad925c40c6854a691780993cd18ea0920800157 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x3d4c639e68cdef4793ebf566d9ff742c37e86337fd29aa3a04c9fbc6cfff411e", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x7ad925c40c6854a691780993cd18ea0920800157" ], "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": "0x16ece9db", "selector": "0x16ece9db", "calldata_variants": [ "0x16ece9db", "0x16ece9db0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1982ed58", "selector": "0x1982ed58", "calldata_variants": [ "0x1982ed58", "0x1982ed580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31a73991", "selector": "0x31a73991", "calldata_variants": [ "0x31a73991", "0x31a739910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3773930e", "selector": "0x3773930e", "calldata_variants": [ "0x3773930e", "0x3773930e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5f52e9fd", "selector": "0x5f52e9fd", "calldata_variants": [ "0x5f52e9fd", "0x5f52e9fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6169a7ed", "selector": "0x6169a7ed", "calldata_variants": [ "0x6169a7ed", "0x6169a7ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x79799193", "selector": "0x79799193", "calldata_variants": [ "0x79799193", "0x797991930000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x7e7307c5", "selector": "0x7e7307c5", "calldata_variants": [ "0x7e7307c5", "0x7e7307c50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 770, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 966, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1785, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }

Severity