Analysis Run

019b3836-21d7-739d-9733-c1d876ac46ea

complete

Chain ID

1

Address

0x3f755d8d706e50a7251dfc0511b26d19ee156c78

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
177	artifact.fetch	complete	1 / 3	3 months ago
178	tool.cast_disasm	complete	1 / 3	3 months ago
43415	analysis.bundle	complete	1 / 3	1 week ago
43416	capability.graph	complete	1 / 3	1 week ago
43417	detector.run	complete	1 / 3	1 week ago
43418	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 0x0793
00000136: JUMPI
00000137: JUMPDEST
00000138: POP
00000139: POP
0000013a: POP
0000013b: POP
0000013c: JUMP
0000013d: JUMPDEST
0000013e: PUSH2 0x0545
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 0x08f1
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 0x071c
000002d6: JUMPI
000002d7: PUSH2 0x0710
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 0x0545
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 0x04b4
00000485: JUMPI
00000486: PUSH1 0x04
00000488: SWAP5
00000489: SWAP1
0000048a: SWAP5
0000048b: MUL
0000048c: SWAP4
0000048d: DUP1
0000048e: DUP5
0000048f: CALLDATASIZE
00000490: DUP2
00000491: LT
00000492: ISZERO
00000493: PUSH2 0x0002
00000496: JUMPI
00000497: PUSH1 0xf8
00000499: PUSH1 0x02
0000049b: EXP
0000049c: SWAP1
0000049d: CALLDATALOAD
0000049e: DUP2
0000049f: SWAP1
000004a0: DIV
000004a1: DUP2
000004a2: MUL
000004a3: DIV
000004a4: SWAP1
000004a5: SWAP6
000004a6: ADD
000004a7: SWAP5
000004a8: POP
000004a9: PUSH1 0x01
000004ab: SWAP4
000004ac: SWAP1
000004ad: SWAP4
000004ae: ADD
000004af: SWAP3
000004b0: PUSH2 0x047c
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH1 0x01
000004b7: PUSH1 0xa0
000004b9: PUSH1 0x02
000004bb: EXP
000004bc: SUB
000004bd: DUP6
000004be: AND
000004bf: DUP1
000004c0: DUP3
000004c1: MSTORE
000004c2: PUSH1 0x05
000004c4: PUSH1 0x20
000004c6: DUP2
000004c7: SWAP1
000004c8: MSTORE
000004c9: PUSH1 0x40
000004cb: DUP4
000004cc: KECCAK256
000004cd: DUP1
000004ce: SLOAD
000004cf: SWAP1
000004d0: DUP5
000004d1: SWAP1
000004d2: SSTORE
000004d3: DUP8
000004d4: SWAP6
000004d5: POP
000004d6: SWAP4
000004d7: POP
000004d8: DUP3
000004d9: SWAP1
000004da: DUP5
000004db: MUL
000004dc: PUSH1 0x60
000004de: DUP3
000004df: DUP2
000004e0: DUP2
000004e1: DUP2
000004e2: DUP6
000004e3: DUP9
000004e4: DUP4
000004e5: CALL
000004e6: POP
000004e7: POP
000004e8: POP
000004e9: POP
000004ea: POP
000004eb: JUMPDEST
000004ec: PUSH1 0x0c
000004ee: SLOAD
000004ef: DUP2
000004f0: LT
000004f1: ISZERO
000004f2: PUSH2 0x0106
000004f5: JUMPI
000004f6: PUSH1 0x01
000004f8: PUSH1 0xa0
000004fa: PUSH1 0x02
000004fc: EXP
000004fd: SUB
000004fe: DUP4
000004ff: AND
00000500: PUSH1 0x00
00000502: DUP3
00000503: PUSH1 0x05
00000505: DUP2
00000506: LT
00000507: ISZERO
00000508: PUSH2 0x0002
0000050b: JUMPI
0000050c: SLOAD
0000050d: PUSH1 0x01
0000050f: PUSH1 0xa0
00000511: PUSH1 0x02
00000513: EXP
00000514: SUB
00000515: AND
00000516: SWAP1
00000517: SWAP2
00000518: EQ
00000519: ISZERO
0000051a: SWAP1
0000051b: POP
0000051c: PUSH2 0x053d
0000051f: JUMPI
00000520: PUSH1 0x00
00000522: DUP1
00000523: DUP3
00000524: PUSH1 0x05
00000526: DUP2
00000527: LT
00000528: ISZERO
00000529: PUSH2 0x0002
0000052c: JUMPI
0000052d: DUP1
0000052e: SLOAD
0000052f: PUSH1 0x01
00000531: PUSH1 0xa0
00000533: PUSH1 0x02
00000535: EXP
00000536: SUB
00000537: NOT
00000538: AND
00000539: SWAP1
0000053a: SSTORE
0000053b: POP
0000053c: POP
0000053d: JUMPDEST
0000053e: PUSH1 0x01
00000540: ADD
00000541: PUSH2 0x04eb
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH1 0x01
00000548: PUSH1 0xa0
0000054a: PUSH1 0x02
0000054c: EXP
0000054d: SUB
0000054e: AND
0000054f: PUSH1 0x60
00000551: SWAP1
00000552: DUP2
00000553: MSTORE
00000554: PUSH1 0x20
00000556: SWAP1
00000557: RETURN
00000558: JUMPDEST
00000559: PUSH20 0x393519c01e80b188d326d461e4639bc0e3f62af0
0000056e: SWAP1
0000056f: POP
00000570: DUP1
00000571: PUSH1 0x01
00000573: PUSH1 0xa0
00000575: PUSH1 0x02
00000577: EXP
00000578: SUB
00000579: AND
0000057a: PUSH4 0xa0a1cddb
0000057f: DUP7
00000580: PUSH2 0x2a30
00000583: ADD
00000584: CALLER
00000585: DUP13
00000586: DUP13
00000587: DUP13
00000588: DUP13
00000589: PUSH1 0x40
0000058b: MLOAD
0000058c: DUP8
0000058d: PUSH1 0xe0
0000058f: PUSH1 0x02
00000591: EXP
00000592: MUL
00000593: DUP2
00000594: MSTORE
00000595: PUSH1 0x04
00000597: ADD
00000598: DUP1
00000599: DUP8
0000059a: DUP2
0000059b: MSTORE
0000059c: PUSH1 0x20
0000059e: ADD
0000059f: DUP7
000005a0: PUSH1 0x01
000005a2: PUSH1 0xa0
000005a4: PUSH1 0x02
000005a6: EXP
000005a7: SUB
000005a8: AND
000005a9: DUP2
000005aa: MSTORE
000005ab: PUSH1 0x20
000005ad: ADD
000005ae: DUP1
000005af: PUSH1 0x20
000005b1: ADD
000005b2: DUP1
000005b3: PUSH1 0x20
000005b5: ADD
000005b6: DUP1
000005b7: PUSH1 0x20
000005b9: ADD
000005ba: DUP1
000005bb: PUSH1 0x20
000005bd: ADD
000005be: DUP6
000005bf: DUP2
000005c0: SUB
000005c1: DUP6
000005c2: MSTORE
000005c3: DUP10
000005c4: DUP2
000005c5: DUP2
000005c6: MLOAD
000005c7: DUP2
000005c8: MSTORE
000005c9: PUSH1 0x20
000005cb: ADD
000005cc: SWAP2
000005cd: POP
000005ce: DUP1
000005cf: MLOAD
000005d0: SWAP1
000005d1: PUSH1 0x20
000005d3: ADD
000005d4: SWAP1
000005d5: PUSH1 0x20
000005d7: MUL
000005d8: DUP1
000005d9: DUP4
000005da: DUP4
000005db: DUP3
000005dc: SWAP1
000005dd: PUSH1 0x00
000005df: PUSH1 0x04
000005e1: PUSH1 0x20
000005e3: DUP5
000005e4: PUSH1 0x1f
000005e6: ADD
000005e7: DIV
000005e8: PUSH1 0x03
000005ea: MUL
000005eb: PUSH1 0x0f
000005ed: ADD
000005ee: CALL
000005ef: POP
000005f0: SWAP1
000005f1: POP
000005f2: ADD
000005f3: DUP6
000005f4: DUP2
000005f5: SUB
000005f6: DUP5
000005f7: MSTORE
000005f8: DUP9
000005f9: DUP2
000005fa: DUP2
000005fb: MLOAD
000005fc: DUP2
000005fd: MSTORE
000005fe: PUSH1 0x20
00000600: ADD
00000601: SWAP2
00000602: POP
00000603: DUP1
00000604: MLOAD
00000605: SWAP1
00000606: PUSH1 0x20
00000608: ADD
00000609: SWAP1
0000060a: PUSH1 0x20
0000060c: MUL
0000060d: DUP1
0000060e: DUP4
0000060f: DUP4
00000610: DUP3
00000611: SWAP1
00000612: PUSH1 0x00
00000614: PUSH1 0x04
00000616: PUSH1 0x20
00000618: DUP5
00000619: PUSH1 0x1f
0000061b: ADD
0000061c: DIV
0000061d: PUSH1 0x03
0000061f: MUL
00000620: PUSH1 0x0f
00000622: ADD
00000623: CALL
00000624: POP
00000625: SWAP1
00000626: POP
00000627: ADD
00000628: DUP6
00000629: DUP2
0000062a: SUB
0000062b: DUP4
0000062c: MSTORE
0000062d: DUP8
0000062e: DUP2
0000062f: DUP2
00000630: MLOAD
00000631: DUP2
00000632: MSTORE
00000633: PUSH1 0x20
00000635: ADD
00000636: SWAP2
00000637: POP
00000638: DUP1
00000639: MLOAD
0000063a: SWAP1
0000063b: PUSH1 0x20
0000063d: ADD
0000063e: SWAP1
0000063f: PUSH1 0x20
00000641: MUL
00000642: DUP1
00000643: DUP4
00000644: DUP4
00000645: DUP3
00000646: SWAP1
00000647: PUSH1 0x00
00000649: PUSH1 0x04
0000064b: PUSH1 0x20
0000064d: DUP5
0000064e: PUSH1 0x1f
00000650: ADD
00000651: DIV
00000652: PUSH1 0x03
00000654: MUL
00000655: PUSH1 0x0f
00000657: ADD
00000658: CALL
00000659: POP
0000065a: SWAP1
0000065b: POP
0000065c: ADD
0000065d: DUP6
0000065e: DUP2
0000065f: SUB
00000660: DUP3
00000661: MSTORE
00000662: DUP7
00000663: DUP2
00000664: DUP2
00000665: MLOAD
00000666: DUP2
00000667: MSTORE
00000668: PUSH1 0x20
0000066a: ADD
0000066b: SWAP2
0000066c: POP
0000066d: DUP1
0000066e: MLOAD
0000066f: SWAP1
00000670: PUSH1 0x20
00000672: ADD
00000673: SWAP1
00000674: PUSH1 0x20
00000676: MUL
00000677: DUP1
00000678: DUP4
00000679: DUP4
0000067a: DUP3
0000067b: SWAP1
0000067c: PUSH1 0x00
0000067e: PUSH1 0x04
00000680: PUSH1 0x20
00000682: DUP5
00000683: PUSH1 0x1f
00000685: ADD
00000686: DIV
00000687: PUSH1 0x03
00000689: MUL
0000068a: PUSH1 0x0f
0000068c: ADD
0000068d: CALL
0000068e: POP
0000068f: SWAP1
00000690: POP
00000691: ADD
00000692: SWAP11
00000693: POP
00000694: POP
00000695: POP
00000696: POP
00000697: POP
00000698: POP
00000699: POP
0000069a: POP
0000069b: POP
0000069c: POP
0000069d: POP
0000069e: PUSH1 0x00
000006a0: PUSH1 0x40
000006a2: MLOAD
000006a3: DUP1
000006a4: DUP4
000006a5: SUB
000006a6: DUP2
000006a7: PUSH1 0x00
000006a9: DUP8
000006aa: PUSH2 0x61da
000006ad: GAS
000006ae: SUB
000006af: CALL
000006b0: ISZERO
000006b1: PUSH2 0x0002
000006b4: JUMPI
000006b5: POP
000006b6: POP
000006b7: POP
000006b8: CALLVALUE
000006b9: PUSH1 0x05
000006bb: PUSH1 0x00
000006bd: POP
000006be: PUSH1 0x00
000006c0: CALLER
000006c1: PUSH1 0x01
000006c3: PUSH1 0xa0
000006c5: PUSH1 0x02
000006c7: EXP
000006c8: SUB
000006c9: AND
000006ca: DUP2
000006cb: MSTORE
000006cc: PUSH1 0x20
000006ce: ADD
000006cf: SWAP1
000006d0: DUP2
000006d1: MSTORE
000006d2: PUSH1 0x20
000006d4: ADD
000006d5: PUSH1 0x00
000006d7: KECCAK256
000006d8: PUSH1 0x00
000006da: POP
000006db: DUP2
000006dc: SWAP1
000006dd: SSTORE
000006de: POP
000006df: CALLER
000006e0: PUSH1 0x00
000006e2: PUSH1 0x00
000006e4: POP
000006e5: PUSH1 0x0c
000006e7: PUSH1 0x00
000006e9: POP
000006ea: SLOAD
000006eb: PUSH1 0x05
000006ed: DUP2
000006ee: LT
000006ef: ISZERO
000006f0: PUSH2 0x0002
000006f3: JUMPI
000006f4: DUP1
000006f5: SLOAD
000006f6: PUSH1 0x01
000006f8: PUSH1 0xa0
000006fa: PUSH1 0x02
000006fc: EXP
000006fd: SUB
000006fe: NOT
000006ff: AND
00000700: SWAP1
00000701: SWAP3
00000702: OR
00000703: SWAP1
00000704: SWAP2
00000705: SSTORE
00000706: POP
00000707: PUSH1 0x0c
00000709: DUP1
0000070a: SLOAD
0000070b: PUSH1 0x01
0000070d: ADD
0000070e: SWAP1
0000070f: SSTORE
00000710: JUMPDEST
00000711: POP
00000712: POP
00000713: POP
00000714: SWAP6
00000715: SWAP5
00000716: POP
00000717: POP
00000718: POP
00000719: POP
0000071a: POP
0000071b: JUMP
0000071c: JUMPDEST
0000071d: JUMPDEST
0000071e: PUSH1 0x0c
00000720: SLOAD
00000721: DUP3
00000722: LT
00000723: ISZERO
00000724: PUSH2 0x0757
00000727: JUMPI
00000728: PUSH1 0x05
0000072a: DUP2
0000072b: DUP1
0000072c: DUP5
0000072d: DUP4
0000072e: DUP2
0000072f: LT
00000730: ISZERO
00000731: PUSH2 0x0002
00000734: JUMPI
00000735: SLOAD
00000736: PUSH1 0x01
00000738: PUSH1 0xa0
0000073a: PUSH1 0x02
0000073c: EXP
0000073d: SUB
0000073e: AND
0000073f: SWAP1
00000740: MSTORE
00000741: POP
00000742: PUSH1 0x40
00000744: DUP3
00000745: KECCAK256
00000746: SLOAD
00000747: MUL
00000748: SWAP1
00000749: SWAP3
0000074a: ADD
0000074b: SWAP2
0000074c: PUSH1 0x01
0000074e: SWAP2
0000074f: SWAP1
00000750: SWAP2
00000751: ADD
00000752: SWAP1
00000753: PUSH2 0x071d
00000756: JUMP
00000757: JUMPDEST
00000758: CALLVALUE
00000759: PUSH1 0x05
0000075b: MUL
0000075c: DUP4
0000075d: ADDRESS
0000075e: PUSH1 0x01
00000760: PUSH1 0xa0
00000762: PUSH1 0x02
00000764: EXP
00000765: SUB
00000766: AND
00000767: BALANCE
00000768: SUB
00000769: LT
0000076a: ISZERO
0000076b: PUSH2 0x0558
0000076e: JUMPI
0000076f: PUSH1 0x40
00000771: MLOAD
00000772: PUSH1 0x01
00000774: PUSH1 0xa0
00000776: PUSH1 0x02
00000778: EXP
00000779: SUB
0000077a: CALLER
0000077b: AND
0000077c: SWAP1
0000077d: DUP3
0000077e: SWAP1
0000077f: CALLVALUE
00000780: SWAP1
00000781: DUP3
00000782: DUP2
00000783: DUP2
00000784: DUP2
00000785: DUP6
00000786: DUP9
00000787: DUP4
00000788: CALL
00000789: SWAP4
0000078a: POP
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: PUSH2 0x0710
00000792: JUMP
00000793: JUMPDEST
00000794: JUMPDEST
00000795: PUSH1 0x0c
00000797: SLOAD
00000798: DUP4
00000799: LT
0000079a: ISZERO
0000079b: PUSH2 0x07d3
0000079e: JUMPI
0000079f: PUSH1 0x05
000007a1: DUP2
000007a2: DUP1
000007a3: DUP6
000007a4: DUP4
000007a5: DUP2
000007a6: LT
000007a7: ISZERO
000007a8: PUSH2 0x0002
000007ab: JUMPI
000007ac: SLOAD
000007ad: PUSH1 0x01
000007af: PUSH1 0xa0
000007b1: PUSH1 0x02
000007b3: EXP
000007b4: SUB
000007b5: AND
000007b6: SWAP1
000007b7: MSTORE
000007b8: POP
000007b9: PUSH1 0x20
000007bb: DUP2
000007bc: SWAP1
000007bd: MSTORE
000007be: PUSH1 0x40
000007c0: DUP3
000007c1: KECCAK256
000007c2: SLOAD
000007c3: MUL
000007c4: SWAP1
000007c5: SWAP4
000007c6: ADD
000007c7: SWAP3
000007c8: PUSH1 0x01
000007ca: SWAP3
000007cb: SWAP1
000007cc: SWAP3
000007cd: ADD
000007ce: SWAP2
000007cf: PUSH2 0x0794
000007d2: JUMP
000007d3: JUMPDEST
000007d4: ADDRESS
000007d5: PUSH1 0x01
000007d7: PUSH1 0xa0
000007d9: PUSH1 0x02
000007db: EXP
000007dc: SUB
000007dd: AND
000007de: BALANCE
000007df: DUP5
000007e0: GT
000007e1: ISZERO
000007e2: PUSH2 0x07ea
000007e5: JUMPI
000007e6: PUSH2 0x0137
000007e9: JUMP
000007ea: JUMPDEST
000007eb: SWAP2
000007ec: POP
000007ed: DUP1
000007ee: JUMPDEST
000007ef: PUSH1 0x0d
000007f1: SLOAD
000007f2: DUP4
000007f3: LT
000007f4: ISZERO
000007f5: PUSH2 0x082c
000007f8: JUMPI
000007f9: PUSH1 0x0b
000007fb: DUP2
000007fc: PUSH1 0x06
000007fe: DUP6
000007ff: PUSH1 0x05
00000801: DUP2
00000802: LT
00000803: ISZERO
00000804: PUSH2 0x0002
00000807: JUMPI
00000808: ADD
00000809: SLOAD
0000080a: PUSH1 0x01
0000080c: PUSH1 0xa0
0000080e: PUSH1 0x02
00000810: EXP
00000811: SUB
00000812: AND
00000813: SWAP1
00000814: MSTORE
00000815: PUSH1 0x20
00000817: MSTORE
00000818: PUSH1 0x40
0000081a: DUP2
0000081b: KECCAK256
0000081c: SLOAD
0000081d: SWAP1
0000081e: SWAP2
0000081f: ADD
00000820: SWAP1
00000821: PUSH1 0x01
00000823: SWAP3
00000824: SWAP1
00000825: SWAP3
00000826: ADD
00000827: SWAP2
00000828: PUSH2 0x07ee
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH1 0x40
0000082f: DUP2
00000830: KECCAK256
00000831: SLOAD
00000832: PUSH1 0x01
00000834: PUSH1 0xa0
00000836: PUSH1 0x02
00000838: EXP
00000839: SUB
0000083a: CALLER
0000083b: DUP2
0000083c: AND
0000083d: DUP1
0000083e: DUP5
0000083f: MSTORE
00000840: PUSH1 0x0b
00000842: PUSH1 0x20
00000844: MSTORE
00000845: ADDRESS
00000846: SWAP1
00000847: SWAP2
00000848: AND
00000849: BALANCE
0000084a: DUP7
0000084b: SWAP1
0000084c: SUB
0000084d: SWAP2
0000084e: DUP5
0000084f: SWAP1
00000850: DIV
00000851: SWAP2
00000852: SWAP1
00000853: SWAP2
00000854: MUL
00000855: SWAP2
00000856: DUP3
00000857: PUSH1 0x60
00000859: DUP3
0000085a: DUP2
0000085b: DUP2
0000085c: DUP2
0000085d: DUP6
0000085e: DUP9
0000085f: DUP4
00000860: CALL
00000861: SWAP4
00000862: POP
00000863: POP
00000864: POP
00000865: POP
00000866: POP
00000867: PUSH1 0x00
00000869: PUSH1 0x0b
0000086b: PUSH1 0x00
0000086d: POP
0000086e: PUSH1 0x00
00000870: CALLER
00000871: PUSH1 0x01
00000873: PUSH1 0xa0
00000875: PUSH1 0x02
00000877: EXP
00000878: SUB
00000879: AND
0000087a: DUP2
0000087b: MSTORE
0000087c: PUSH1 0x20
0000087e: ADD
0000087f: SWAP1
00000880: DUP2
00000881: MSTORE
00000882: PUSH1 0x20
00000884: ADD
00000885: PUSH1 0x00
00000887: KECCAK256
00000888: PUSH1 0x00
0000088a: POP
0000088b: DUP2
0000088c: SWAP1
0000088d: SSTORE
0000088e: POP
0000088f: PUSH1 0x00
00000891: SWAP3
00000892: POP
00000893: DUP3
00000894: POP
00000895: JUMPDEST
00000896: PUSH1 0x0d
00000898: SLOAD
00000899: DUP4
0000089a: LT
0000089b: ISZERO
0000089c: PUSH2 0x0137
0000089f: JUMPI
000008a0: PUSH1 0x01
000008a2: PUSH1 0xa0
000008a4: PUSH1 0x02
000008a6: EXP
000008a7: SUB
000008a8: CALLER
000008a9: AND
000008aa: PUSH1 0x06
000008ac: DUP5
000008ad: PUSH1 0x05
000008af: DUP2
000008b0: LT
000008b1: ISZERO
000008b2: PUSH2 0x0002
000008b5: JUMPI
000008b6: ADD
000008b7: SLOAD
000008b8: PUSH1 0x01
000008ba: PUSH1 0xa0
000008bc: PUSH1 0x02
000008be: EXP
000008bf: SUB
000008c0: AND
000008c1: EQ
000008c2: ISZERO
000008c3: PUSH2 0x08e5
000008c6: JUMPI
000008c7: PUSH1 0x00
000008c9: PUSH1 0x06
000008cb: DUP5
000008cc: PUSH1 0x05
000008ce: DUP2
000008cf: LT
000008d0: ISZERO
000008d1: PUSH2 0x0002
000008d4: JUMPI
000008d5: ADD
000008d6: DUP1
000008d7: SLOAD
000008d8: PUSH1 0x01
000008da: PUSH1 0xa0
000008dc: PUSH1 0x02
000008de: EXP
000008df: SUB
000008e0: NOT
000008e1: AND
000008e2: SWAP1
000008e3: SSTORE
000008e4: POP
000008e5: JUMPDEST
000008e6: PUSH1 0x01
000008e8: SWAP3
000008e9: SWAP1
000008ea: SWAP3
000008eb: ADD
000008ec: SWAP2
000008ed: PUSH2 0x0895
000008f0: JUMP
000008f1: JUMPDEST
000008f2: SWAP2
000008f3: POP
000008f4: DUP1
000008f5: JUMPDEST
000008f6: PUSH1 0x0d
000008f8: SLOAD
000008f9: DUP4
000008fa: LT
000008fb: ISZERO
000008fc: PUSH2 0x0934
000008ff: JUMPI
00000900: PUSH1 0x0b
00000902: DUP2
00000903: PUSH1 0x06
00000905: DUP6
00000906: PUSH1 0x05
00000908: DUP2
00000909: LT
0000090a: ISZERO
0000090b: PUSH2 0x0002
0000090e: JUMPI
0000090f: ADD
00000910: SLOAD
00000911: PUSH1 0x01
00000913: PUSH1 0xa0
00000915: PUSH1 0x02
00000917: EXP
00000918: SUB
00000919: AND
0000091a: SWAP1
0000091b: MSTORE
0000091c: PUSH1 0x20
0000091e: MSTORE
0000091f: PUSH1 0x40
00000921: DUP2
00000922: KECCAK256
00000923: SLOAD
00000924: SWAP2
00000925: SWAP1
00000926: SWAP2
00000927: ADD
00000928: SWAP1
00000929: PUSH1 0x01
0000092b: SWAP3
0000092c: SWAP1
0000092d: SWAP3
0000092e: ADD
0000092f: SWAP2
00000930: PUSH2 0x08f5
00000933: JUMP
00000934: JUMPDEST
00000935: POP
00000936: ADDRESS
00000937: PUSH1 0x01
00000939: PUSH1 0xa0
0000093b: PUSH1 0x02
0000093d: EXP
0000093e: SUB
0000093f: AND
00000940: BALANCE
00000941: SWAP3
00000942: SWAP1
00000943: SWAP3
00000944: SUB
00000945: SWAP1
00000946: SWAP2
00000947: DIV
00000948: PUSH1 0x64
0000094a: MUL
0000094b: SWAP3
0000094c: SWAP2
0000094d: POP
0000094e: POP
0000094f: 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: 0x14b35defd20eb1298bb5b619c0bdecdd64cfd6b8cd897efcb4f0ea6c11c172ce call_targets: 0x3f755d8d706e50a7251dfc0511b26d19ee156c78 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x14b35defd20eb1298bb5b619c0bdecdd64cfd6b8cd897efcb4f0ea6c11c172ce", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3f755d8d706e50a7251dfc0511b26d19ee156c78" ], "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": 1253, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1518, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 9, "guards_detected": [], "untrusted_call_count": 9 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x14b35defd20eb1298bb5b619c0bdecdd64cfd6b8cd897efcb4f0ea6c11c172ce call_targets: 0x3f755d8d706e50a7251dfc0511b26d19ee156c78 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x14b35defd20eb1298bb5b619c0bdecdd64cfd6b8cd897efcb4f0ea6c11c172ce", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3f755d8d706e50a7251dfc0511b26d19ee156c78" ], "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": 1253, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1518, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 9, "guards_detected": [] }

Severity