arkanalyzer 1.0.7 → 1.0.9

package/lib/callgraph/pointerAnalysis/PointerAnalysis.d.ts

@@ -46,6 +46,8 @@ export declare class PointerAnalysis extends AbstractAnalysis {
      * 3. 在addDynamicCall里对传入指针过滤（已处理指针和未处理指针）
      */
     private onTheFlyDynamicCallSolve;
+    private processDynCallSite;
+    private processUnknownCallSite;
     private addToReanalyze;
     /**
      * compare interface
@@ -63,5 +65,6 @@ export declare class PointerAnalysis extends AbstractAnalysis {
     getHandledFuncs(): FuncID[];
     getPTAConfig(): PointerAnalysisConfig;
     private dumpUnhandledFunctions;
+    mergeInstanceFieldMap(src: Map<number, number[]>, dst: Map<number, number[]>): Map<number, number[]>;
 }
 //# sourceMappingURL=PointerAnalysis.d.ts.map

package/lib/callgraph/pointerAnalysis/PointerAnalysis.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PointerAnalysis.d.ts","sourceRoot":"","sources":["../../../src/callgraph/pointerAnalysis/PointerAnalysis.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAG5C,OAAO,EAAE,SAAS,EAAiB,QAAQ,EAAe,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC7F,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAa,IAAI,EAAe,MAAM,sBAAsB,CAAC;AAEpE,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAI5C,OAAO,EAAE,GAAG,EAAgF,MAAM,OAAO,CAAC;AAE1G,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAKhE,qBAAa,eAAgB,SAAQ,gBAAgB;IACjD,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,GAAG,CAA6C;IACxD,OAAO,CAAC,OAAO,CAAY;IAC3B,OAAO,CAAC,QAAQ,CAAY;IAE5B,OAAO,CAAC,OAAO,CAAU;IACzB,OAAO,CAAC,WAAW,CAAyB;IAC5C,OAAO,CAAC,MAAM,CAAwB;gBAE1B,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB;IAW1E,MAAM,CAAC,8BAA8B,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,qBAAqB,GAAG,eAAe;IAuB3G,SAAS,CAAC,IAAI;IAYP,KAAK;IAMZ,OAAO,CAAC,WAAW;IAgBnB,SAAS,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE;IAK/C,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE;IAIhC,OAAO,CAAC,eAAe;IAoBvB;;OAEG;IACH,OAAO,CAAC,YAAY;IAiBpB,OAAO,CAAC,aAAa;IASrB,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,eAAe;IA+BvB,OAAO,CAAC,kBAAkB;IA2B1B,OAAO,CAAC,mBAAmB;IA0B3B;;OAEG;IACH,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,QAAQ;IAWhB,OAAO,CAAC,SAAS;IAoBjB;;;;OAIG;IACH,OAAO,CAAC,wBAAwB;IAoChC,OAAO,CAAC,cAAc;IAWtB;;OAEG;IACI,OAAO,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,GAAG,OAAO;IAmCrD,QAAQ,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,GAAG,OAAO;IAItD,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IA6BhD,OAAO,CAAC,kBAAkB;IAS1B,OAAO,CAAC,0BAA0B;IAYlC,OAAO,CAAC,0BAA0B;IAYlC,OAAO,CAAC,cAAc;IA2Cf,cAAc,IAAI,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAI9C,SAAS,CAAC,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,GAAG,QAAQ,EAAE;IAIlE,iBAAiB,IAAI,MAAM,EAAE;IAI7B,eAAe,IAAI,MAAM,EAAE;IAI3B,YAAY,IAAI,qBAAqB;IAI5C,OAAO,CAAC,sBAAsB;CA+BjC"}
+{"version":3,"file":"PointerAnalysis.d.ts","sourceRoot":"","sources":["../../../src/callgraph/pointerAnalysis/PointerAnalysis.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAG5C,OAAO,EAAE,SAAS,EAAiB,QAAQ,EAAe,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC7F,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAa,IAAI,EAAe,MAAM,sBAAsB,CAAC;AAEpE,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAI5C,OAAO,EAAE,GAAG,EAAgF,MAAM,OAAO,CAAC;AAE1G,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAMhE,qBAAa,eAAgB,SAAQ,gBAAgB;IACjD,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,GAAG,CAA6C;IACxD,OAAO,CAAC,OAAO,CAAY;IAC3B,OAAO,CAAC,QAAQ,CAAY;IAE5B,OAAO,CAAC,OAAO,CAAU;IACzB,OAAO,CAAC,WAAW,CAAyB;IAC5C,OAAO,CAAC,MAAM,CAAwB;gBAE1B,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB;IAW1E,MAAM,CAAC,8BAA8B,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,qBAAqB,GAAG,eAAe;IAuB3G,SAAS,CAAC,IAAI;IAYP,KAAK;IAMZ,OAAO,CAAC,WAAW;IAgBnB,SAAS,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE;IAK/C,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE;IAIhC,OAAO,CAAC,eAAe;IAoBvB;;OAEG;IACH,OAAO,CAAC,YAAY;IAiBpB,OAAO,CAAC,aAAa;IASrB,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,eAAe;IAkDvB,OAAO,CAAC,kBAAkB;IA2B1B,OAAO,CAAC,mBAAmB;IA0B3B;;OAEG;IACH,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,QAAQ;IAWhB,OAAO,CAAC,SAAS;IAoBjB;;;;OAIG;IACH,OAAO,CAAC,wBAAwB;IAuBhC,OAAO,CAAC,kBAAkB;IAqB1B,OAAO,CAAC,sBAAsB;IAoB9B,OAAO,CAAC,cAAc;IAWtB;;OAEG;IACI,OAAO,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,GAAG,OAAO;IAmCrD,QAAQ,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,GAAG,OAAO;IAItD,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IA6BhD,OAAO,CAAC,kBAAkB;IAS1B,OAAO,CAAC,0BAA0B;IAYlC,OAAO,CAAC,0BAA0B;IAYlC,OAAO,CAAC,cAAc;IA2Cf,cAAc,IAAI,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAI9C,SAAS,CAAC,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,GAAG,QAAQ,EAAE;IAIlE,iBAAiB,IAAI,MAAM,EAAE;IAI7B,eAAe,IAAI,MAAM,EAAE;IAI3B,YAAY,IAAI,qBAAqB;IAI5C,OAAO,CAAC,sBAAsB;IAgCvB,qBAAqB,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;CAU9G"}

package/lib/callgraph/pointerAnalysis/PointerAnalysis.js

@@ -54,6 +54,7 @@ const Pag_1 = require("./Pag");
 const PagBuilder_1 = require("./PagBuilder");
 const PointerAnalysisConfig_1 = require("./PointerAnalysisConfig");
 const PtsDS_1 = require("./PtsDS");
+const Local_1 = require("../../core/base/Local");
 const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'PTA');
 class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
     constructor(p, cg, s, config) {
@@ -181,19 +182,29 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
         return true;
     }
     handleLoadWrite(nodeID) {
+        var _a;
         let node = this.pag.getNode(nodeID);
+        let nodeValue = node.getValue();
         let diffPts = this.ptd.getDiffPts(nodeID);
         if (!diffPts || diffPts.count() === 0) {
             return false;
         }
         // get related field node with current node's value
-        let instanceFieldNodeMap = this.pag.getNodesByBaseValue(node.getValue());
-        if (instanceFieldNodeMap === undefined) {
-            return true;
+        let instanceFieldNodeMap = (_a = this.pag.getNodesByBaseValue(nodeValue)) !== null && _a !== void 0 ? _a : new Map();
+        // get intra procedural field node by exportMap
+        let intraProceduralFieldNodeMap = new Map();
+        if (nodeValue instanceof Local_1.Local) {
+            this.pagBuilder.getExportVariableMap(nodeValue).forEach((dst) => {
+                var _a;
+                let temp = (_a = this.pag.getNodesByBaseValue(dst)) !== null && _a !== void 0 ? _a : new Map();
+                intraProceduralFieldNodeMap = this.mergeInstanceFieldMap(instanceFieldNodeMap, temp);
+            });
         }
         instanceFieldNodeMap.forEach((nodeIDs, cid) => {
             // TODO: check cid
-            if (cid !== node.getCid()) {
+            // cid === -1 will escape the check, mainly for globalThis
+            let baseCid = node.getCid();
+            if (baseCid !== -1 && cid !== baseCid) {
                 return;
             }
             nodeIDs.forEach((nodeID) => {
@@ -203,6 +214,15 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
                 this.handleFieldOutEdges(fieldNode, diffPts);
             });
         });
+        // without cid check, because closure and export is under different cid
+        intraProceduralFieldNodeMap.forEach((nodeIDs) => {
+            nodeIDs.forEach((nodeID) => {
+                // get abstract field node
+                let fieldNode = this.pag.getNode(nodeID);
+                this.handleFieldInEdges(fieldNode, diffPts);
+                this.handleFieldOutEdges(fieldNode, diffPts);
+            });
+        });
         return true;
     }
     handleFieldInEdges(fieldNode, diffPts) {
@@ -307,19 +327,8 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
                 logger.warn(`node ${nodeID} is not local node, value: ${node.getValue()}`);
                 return;
             }
-            let dynCallSites = node.getRelatedDynCallSites();
-            if (!dynCallSites) {
-                logger.warn(`node ${nodeID} has no related dynamic call site`);
-                return;
-            }
-            logger.info(`[process dynamic callsite] node ${nodeID}`);
-            dynCallSites.forEach((dynCallsite) => {
-                for (let pt of pts) {
-                    let srcNodes = this.pagBuilder.addDynamicCallEdge(dynCallsite, pt, node.getCid());
-                    changed = this.addToReanalyze(srcNodes) || changed;
-                }
-                processedCallSites.add(dynCallsite);
-            });
+            changed = this.processDynCallSite(node, pts, processedCallSites) || changed;
+            changed = this.processUnknownCallSite(node, pts) || changed;
         });
         this.pagBuilder.resetUpdatedNodes();
         let srcNodes = this.pagBuilder.handleUnprocessedCallSites(processedCallSites);
@@ -328,6 +337,39 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
         this.initWorklist();
         return changed;
     }
+    processDynCallSite(node, pts, processedCallSites) {
+        let changed = false;
+        let dynCallSites = node.getRelatedDynCallSites();
+        if (!dynCallSites && !node.isSdkParam()) {
+            logger.warn(`node ${node.getID()} has no related dynamic call site`);
+            return changed;
+        }
+        logger.info(`[process dynamic callsite] node ${node.getID()}`);
+        dynCallSites.forEach((dynCallsite) => {
+            for (let pt of pts) {
+                let srcNodes = this.pagBuilder.addDynamicCallEdge(dynCallsite, pt, node.getCid());
+                changed = this.addToReanalyze(srcNodes) || changed;
+            }
+            processedCallSites.add(dynCallsite);
+        });
+        return changed;
+    }
+    processUnknownCallSite(node, pts) {
+        let changed = false;
+        let unknownCallSites = node.getRelatedUnknownCallSites();
+        if (!unknownCallSites) {
+            logger.warn(`node ${node.getID()} has no related unknown call site`);
+            return changed;
+        }
+        logger.info(`[process unknown callsite] node ${node.getID()}`);
+        unknownCallSites.forEach((unknownCallSite) => {
+            for (let pt of pts) {
+                let srcNodes = this.pagBuilder.addDynamicCallEdge(unknownCallSite, pt, node.getCid());
+                changed = this.addToReanalyze(srcNodes) || changed;
+            }
+        });
+        return changed;
+    }
     addToReanalyze(startNodes) {
         let flag = false;
         for (let node of startNodes) {
@@ -493,7 +535,7 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
             let updatedContent = '';
             this.getUnhandledFuncs().forEach(funcID => {
                 let cgNode = this.cg.getNode(funcID);
-                if (cgNode.getIsSdkMethod()) {
+                if (cgNode.isSdkMethod()) {
                     return;
                 }
                 let f = this.cg.getArkMethodByFuncID(funcID);
@@ -508,5 +550,16 @@ class PointerAnalysis extends AbstractAnalysis_1.AbstractAnalysis {
             });
         });
     }
+    mergeInstanceFieldMap(src, dst) {
+        dst.forEach((value, key) => {
+            if (src.has(key)) {
+                src.set(key, [...src.get(key), ...value]);
+            }
+            else {
+                src.set(key, value);
+            }
+        });
+        return src;
+    }
 }
 exports.PointerAnalysis = PointerAnalysis;

package/lib/core/base/Constant.d.ts

@@ -4,26 +4,46 @@ import { Value } from './Value';
  * @category core/base
  */
 export declare class Constant implements Value {
-    private value;
-    private type;
-    constructor(value: string, type?: Type);
+    private readonly value;
+    private readonly type;
+    constructor(value: string, type: Type);
     /**
      * Returns the constant's value as a **string**.
      * @returns The constant's value.
      */
     getValue(): string;
-    setValue(newValue: string): void;
     getUses(): Value[];
     /**
      * Returns the type of this constant.
      * @returns The type of this constant.
      */
     getType(): Type;
-    setType(newType: Type): void;
     /**
      * Get a string of constant value in Constant.
      * @returns The string of constant value.
      */
     toString(): string;
 }
+export declare class BooleanConstant extends Constant {
+    private static readonly FALSE;
+    private static readonly TRUE;
+    constructor(value: boolean);
+    static getInstance(value: boolean): NullConstant;
+}
+export declare class NumberConstant extends Constant {
+    constructor(value: number);
+}
+export declare class StringConstant extends Constant {
+    constructor(value: string);
+}
+export declare class NullConstant extends Constant {
+    private static readonly INSTANCE;
+    constructor();
+    static getInstance(): NullConstant;
+}
+export declare class UndefinedConstant extends Constant {
+    private static readonly INSTANCE;
+    constructor();
+    static getInstance(): UndefinedConstant;
+}
 //# sourceMappingURL=Constant.d.ts.map

package/lib/core/base/Constant.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Constant.d.ts","sourceRoot":"","sources":["../../../src/core/base/Constant.ts"],"names":[],"mappings":"AAeA,OAAO,EAAc,IAAI,EAAe,MAAM,QAAQ,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAEhC;;GAEG;AACH,qBAAa,QAAS,YAAW,KAAK;IAClC,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,IAAI,CAAO;gBAEP,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE,IAAgC;IAKjE;;;OAGG;IACI,QAAQ,IAAI,MAAM;IAIlB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI;IAIhC,OAAO,IAAI,KAAK,EAAE;IAIzB;;;OAGG;IACI,OAAO,IAAI,IAAI;IAIf,OAAO,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAInC;;;OAGG;IACI,QAAQ,IAAI,MAAM;CAS5B"}
+{"version":3,"file":"Constant.d.ts","sourceRoot":"","sources":["../../../src/core/base/Constant.ts"],"names":[],"mappings":"AAeA,OAAO,EAAiD,IAAI,EAAiB,MAAM,QAAQ,CAAC;AAC5F,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAGhC;;GAEG;AACH,qBAAa,QAAS,YAAW,KAAK;IAClC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAS;IAC/B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAO;gBAEhB,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI;IAKrC;;;OAGG;IACI,QAAQ,IAAI,MAAM;IAIlB,OAAO,IAAI,KAAK,EAAE;IAIzB;;;OAGG;IACI,OAAO,IAAI,IAAI;IAItB;;;OAGG;IACI,QAAQ,IAAI,MAAM;CAS5B;AAED,qBAAa,eAAgB,SAAQ,QAAQ;IACzC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAA8B;IAC3D,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAA6B;gBAE7C,KAAK,EAAE,OAAO;WAIZ,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY;CAG1D;AAED,qBAAa,cAAe,SAAQ,QAAQ;gBAC5B,KAAK,EAAE,MAAM;CAG5B;AAED,qBAAa,cAAe,SAAQ,QAAQ;gBAC5B,KAAK,EAAE,MAAM;CAG5B;AAED,qBAAa,YAAa,SAAQ,QAAQ;IACtC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAsB;;WAMxC,WAAW,IAAI,YAAY;CAG5C;AAED,qBAAa,iBAAkB,SAAQ,QAAQ;IAC3C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAA2B;;WAM7C,WAAW,IAAI,iBAAiB;CAGjD"}

package/lib/core/base/Constant.js

@@ -14,13 +14,14 @@
  * limitations under the License.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.Constant = void 0;
+exports.UndefinedConstant = exports.NullConstant = exports.StringConstant = exports.NumberConstant = exports.BooleanConstant = exports.Constant = void 0;
 const Type_1 = require("./Type");
+const TSConst_1 = require("../common/TSConst");
 /**
  * @category core/base
  */
 class Constant {
-    constructor(value, type = Type_1.UnknownType.getInstance()) {
+    constructor(value, type) {
         this.value = value;
         this.type = type;
     }
@@ -31,9 +32,6 @@ class Constant {
     getValue() {
         return this.value;
     }
-    setValue(newValue) {
-        this.value = newValue;
-    }
     getUses() {
         return [];
     }
@@ -44,9 +42,6 @@ class Constant {
     getType() {
         return this.type;
     }
-    setType(newType) {
-        this.type = newType;
-    }
     /**
      * Get a string of constant value in Constant.
      * @returns The string of constant value.
@@ -63,3 +58,46 @@ class Constant {
     }
 }
 exports.Constant = Constant;
+class BooleanConstant extends Constant {
+    constructor(value) {
+        super(value.toString(), Type_1.BooleanType.getInstance());
+    }
+    static getInstance(value) {
+        return value ? this.TRUE : this.FALSE;
+    }
+}
+exports.BooleanConstant = BooleanConstant;
+BooleanConstant.FALSE = new BooleanConstant(false);
+BooleanConstant.TRUE = new BooleanConstant(true);
+class NumberConstant extends Constant {
+    constructor(value) {
+        super(value.toString(), Type_1.NumberType.getInstance());
+    }
+}
+exports.NumberConstant = NumberConstant;
+class StringConstant extends Constant {
+    constructor(value) {
+        super(value.toString(), Type_1.StringType.getInstance());
+    }
+}
+exports.StringConstant = StringConstant;
+class NullConstant extends Constant {
+    constructor() {
+        super(TSConst_1.NULL_KEYWORD, Type_1.NullType.getInstance());
+    }
+    static getInstance() {
+        return this.INSTANCE;
+    }
+}
+exports.NullConstant = NullConstant;
+NullConstant.INSTANCE = new NullConstant();
+class UndefinedConstant extends Constant {
+    constructor() {
+        super(TSConst_1.UNDEFINED_KEYWORD, Type_1.UndefinedType.getInstance());
+    }
+    static getInstance() {
+        return this.INSTANCE;
+    }
+}
+exports.UndefinedConstant = UndefinedConstant;
+UndefinedConstant.INSTANCE = new UndefinedConstant();

package/lib/core/base/Expr.d.ts

@@ -1,10 +1,11 @@
 import { BasicBlock } from '../graph/BasicBlock';
-import { ArkClass } from '../model/ArkClass';
 import { MethodSignature } from '../model/ArkSignature';
 import { Local } from './Local';
 import { ArrayType, ClassType, Type } from './Type';
 import { Value } from './Value';
 import { AbstractFieldRef } from './Ref';
+import { Scene } from '../../Scene';
+import { ArkMethod } from '../model/ArkMethod';
 /**
  * @category core/base/expr
  */
@@ -12,7 +13,7 @@ export declare abstract class AbstractExpr implements Value {
     abstract getUses(): Value[];
     abstract getType(): Type;
     abstract toString(): string;
-    inferType(arkClass: ArkClass): AbstractExpr;
+    inferType(arkMethod: ArkMethod): AbstractExpr;
 }
 export declare abstract class AbstractInvokeExpr extends AbstractExpr {
     private methodSignature;
@@ -26,12 +27,12 @@ export declare abstract class AbstractInvokeExpr extends AbstractExpr {
      * @example
      * 1. 3AC information composed of getMethodSignature ().
 
-    ```typescript
-    let strs: string[] = [];
-    strs.push('staticinvoke <');
-    strs.push(this.getMethodSignature().toString());
-    strs.push('>(');
-    ```
+     ```typescript
+     let strs: string[] = [];
+     strs.push('staticinvoke <');
+     strs.push(this.getMethodSignature().toString());
+     strs.push('>(');
+     ```
      */
     getMethodSignature(): MethodSignature;
     setMethodSignature(newMethodSignature: MethodSignature): void;
@@ -47,26 +48,30 @@ export declare abstract class AbstractInvokeExpr extends AbstractExpr {
      * @example
      * 1. get args number.
 
-    ```typescript
-    const argsNum = expr.getArgs().length;
-    if (argsNum < 5) {
-        ... ...
-    }
-    ```
+     ```typescript
+     const argsNum = expr.getArgs().length;
+     if (argsNum < 5) {
+     ... ...
+     }
+     ```
 
-    2. iterate arg based on expression
+     2. iterate arg based on expression
 
-    ```typescript
-    for (const arg of this.getArgs()) {
-        strs.push(arg.toString());
-        strs.push(', ');
-    }
-    ```
+     ```typescript
+     for (const arg of this.getArgs()) {
+     strs.push(arg.toString());
+     strs.push(', ');
+     }
+     ```
      */
     getArgs(): Value[];
     setArgs(newArgs: Value[]): void;
+    inferArgs(arkMethod: ArkMethod): void;
+    private inferArg;
     getType(): Type;
     getRealGenericTypes(): Type[] | undefined;
+    inferMethod(baseType: Type, methodName: string, scene: Scene): AbstractInvokeExpr | null;
+    private processClassMethod;
     getUses(): Value[];
 }
 export declare class ArkInstanceInvokeExpr extends AbstractInvokeExpr {
@@ -86,15 +91,15 @@ export declare class ArkInstanceInvokeExpr extends AbstractInvokeExpr {
      */
     getUses(): Value[];
     toString(): string;
-    inferType(arkClass: ArkClass): AbstractInvokeExpr;
+    inferType(arkMethod: ArkMethod): AbstractInvokeExpr;
     private processForEach;
     private tryInferFormGlobal;
-    private inferMethod;
 }
 export declare class ArkStaticInvokeExpr extends AbstractInvokeExpr {
     constructor(methodSignature: MethodSignature, args: Value[], realGenericTypes?: Type[]);
     toString(): string;
-    inferType(arkClass: ArkClass): ArkStaticInvokeExpr;
+    inferType(arkMethod: ArkMethod): ArkStaticInvokeExpr;
+    private processDynamicImport;
 }
 export declare class ArkPtrInvokeExpr extends AbstractInvokeExpr {
     private funPtrLocal;
@@ -102,7 +107,7 @@ export declare class ArkPtrInvokeExpr extends AbstractInvokeExpr {
     setFunPtrLocal(ptr: Local): void;
     getFuncPtrLocal(): Local;
     toString(): string;
-    inferType(arkClass: ArkClass): ArkPtrInvokeExpr;
+    inferType(arkMethod: ArkMethod): ArkPtrInvokeExpr;
 }
 export declare class ArkNewExpr extends AbstractExpr {
     private classType;
@@ -111,7 +116,7 @@ export declare class ArkNewExpr extends AbstractExpr {
     getUses(): Value[];
     getType(): Type;
     toString(): string;
-    inferType(arkClass: ArkClass): ArkNewExpr;
+    inferType(arkMethod: ArkMethod): ArkNewExpr;
 }
 export declare class ArkNewArrayExpr extends AbstractExpr {
     private baseType;
@@ -124,7 +129,7 @@ export declare class ArkNewArrayExpr extends AbstractExpr {
     getBaseType(): Type;
     setBaseType(newType: Type): void;
     isFromLiteral(): boolean;
-    inferType(arkClass: ArkClass): ArkNewArrayExpr;
+    inferType(arkMethod: ArkMethod): ArkNewArrayExpr;
     getUses(): Value[];
     toString(): string;
 }
@@ -143,7 +148,7 @@ export declare class ArkAwaitExpr extends AbstractExpr {
     getPromise(): Value;
     setPromise(newPromise: Value): void;
     getType(): Type;
-    inferType(arkClass: ArkClass): ArkAwaitExpr;
+    inferType(arkMethod: ArkMethod): ArkAwaitExpr;
     getUses(): Value[];
     toString(): string;
 }
@@ -210,26 +215,26 @@ export declare abstract class AbstractBinopExpr extends AbstractExpr {
      * one is the normal binary operator and the other is relational binary operator.
      * @returns The binary operator from the statement.
      * @example
-    ```typescript
-    if (expr instanceof AbstractBinopExpr) {
-        let op1: Value = expr.getOp1();
-        let op2: Value = expr.getOp2();
-        let operator: string = expr.getOperator();
-        ... ...
-    }
-    ```
+     ```typescript
+     if (expr instanceof AbstractBinopExpr) {
+     let op1: Value = expr.getOp1();
+     let op2: Value = expr.getOp2();
+     let operator: string = expr.getOperator();
+     ... ...
+     }
+     ```
      */
     getOperator(): BinaryOperator;
     getType(): Type;
     getUses(): Value[];
     toString(): string;
-    protected inferOpType(op: Value, arkClass: ArkClass): void;
+    protected inferOpType(op: Value, arkMethod: ArkMethod): void;
     protected setType(): void;
-    inferType(arkClass: ArkClass): AbstractBinopExpr;
+    inferType(arkMethod: ArkMethod): AbstractBinopExpr;
 }
 export declare class ArkConditionExpr extends AbstractBinopExpr {
     constructor(op1: Value, op2: Value, operator: RelationalBinaryOperator);
-    inferType(arkClass: ArkClass): ArkConditionExpr;
+    inferType(arkMethod: ArkMethod): ArkConditionExpr;
 }
 export declare class ArkNormalBinopExpr extends AbstractBinopExpr {
     constructor(op1: Value, op2: Value, operator: NormalBinaryOperator);
@@ -262,7 +267,7 @@ export declare class ArkCastExpr extends AbstractExpr {
     setOp(newOp: Value): void;
     getUses(): Value[];
     getType(): Type;
-    inferType(arkClass: ArkClass): AbstractExpr;
+    inferType(arkMethod: ArkMethod): AbstractExpr;
     toString(): string;
 }
 export declare class ArkPhiExpr extends AbstractExpr {

package/lib/core/base/Expr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Expr.d.ts","sourceRoot":"","sources":["../../../src/core/base/Expr.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAiB,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAsB,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAGH,SAAS,EAET,SAAS,EAMT,IAAI,EAKP,MAAM,QAAQ,CAAC;AAChB,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,gBAAgB,EAAgC,MAAM,OAAO,CAAC;AAgBvE;;GAEG;AACH,8BAAsB,YAAa,YAAW,KAAK;IAC/C,QAAQ,CAAC,OAAO,IAAI,KAAK,EAAE;IAE3B,QAAQ,CAAC,OAAO,IAAI,IAAI;IAExB,QAAQ,CAAC,QAAQ,IAAI,MAAM;IAEpB,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,YAAY;CAGrD;AAED,8BAAsB,kBAAmB,SAAQ,YAAY;IACzD,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,IAAI,CAAU;IACtB,OAAO,CAAC,gBAAgB,CAAC,CAAS;gBAEtB,eAAe,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAOtF;;;;;;;;;;;;;OAaG;IACI,kBAAkB,IAAI,eAAe;IAIrC,kBAAkB,CAAC,kBAAkB,EAAE,eAAe,GAAG,IAAI;IAIpE;;;;OAIG;IACI,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK;IAInC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACI,OAAO,IAAI,KAAK,EAAE;IAIlB,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI;IAI/B,OAAO,IAAI,IAAI;IAwBf,mBAAmB,IAAI,IAAI,EAAE,GAAG,SAAS;IAIzC,OAAO,IAAI,KAAK,EAAE;CAQ5B;AAED,qBAAa,qBAAsB,SAAQ,kBAAkB;IACzD,OAAO,CAAC,IAAI,CAAQ;gBAER,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAKnG;;;OAGG;IACI,OAAO,IAAI,KAAK;IAIhB,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,IAAI;IAIpC;;;;;OAKG;IACI,OAAO,IAAI,KAAK,EAAE;IAWlB,QAAQ,IAAI,MAAM;IAkBlB,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,kBAAkB;IAgDxD,OAAO,CAAC,cAAc;IAmBtB,OAAO,CAAC,kBAAkB;IAY1B,OAAO,CAAC,WAAW;CA6CtB;AAED,qBAAa,mBAAoB,SAAQ,kBAAkB;gBAC3C,eAAe,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAI/E,QAAQ,IAAI,MAAM;IAgBlB,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,mBAAmB;CAwD5D;AAED,qBAAa,gBAAiB,SAAQ,kBAAkB;IACpD,OAAO,CAAC,WAAW,CAAQ;gBAEf,eAAe,EAAE,eAAe,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAK3F,cAAc,CAAC,GAAG,EAAE,KAAK,GAAG,IAAI;IAIhC,eAAe,IAAI,KAAK;IAIxB,QAAQ,IAAI,MAAM;IAgBlB,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,gBAAgB;CAIzD;AAED,qBAAa,UAAW,SAAQ,YAAY;IACxC,OAAO,CAAC,SAAS,CAAY;gBAEjB,SAAS,EAAE,SAAS;IAKzB,YAAY,IAAI,SAAS;IAIzB,OAAO,IAAI,KAAK,EAAE;IAIlB,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;IAIlB,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU;CASnD;AAED,qBAAa,eAAgB,SAAQ,YAAY;IAC7C,OAAO,CAAC,QAAQ,CAAO;IACvB,OAAO,CAAC,IAAI,CAAQ;IAEpB,OAAO,CAAC,WAAW,CAAU;gBAEjB,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,GAAE,OAAe;IAO9D,OAAO,IAAI,KAAK;IAIhB,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,IAAI;IAI7B,OAAO,IAAI,SAAS;IAIpB,WAAW,IAAI,IAAI;IAInB,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAIhC,aAAa,IAAI,OAAO;IAIxB,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,eAAe;IAQ9C,OAAO,IAAI,KAAK,EAAE;IAMlB,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,aAAc,SAAQ,YAAY;IAC3C,OAAO,CAAC,KAAK,CAAmB;gBAEpB,KAAK,EAAE,gBAAgB;IAK5B,QAAQ,IAAI,gBAAgB;IAI5B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,GAAG,IAAI;IAI1C,OAAO,IAAI,IAAI;IAIf,OAAO,IAAI,KAAK,EAAE;IAOlB,QAAQ,IAAI,MAAM;CAI5B;AAED,qBAAa,YAAa,SAAQ,YAAY;IAC1C,OAAO,CAAC,OAAO,CAAQ;gBAEX,OAAO,EAAE,KAAK;IAKnB,UAAU,IAAI,KAAK;IAInB,UAAU,CAAC,UAAU,EAAE,KAAK,GAAG,IAAI;IAInC,OAAO,IAAI,IAAI;IAIf,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,YAAY;IAK3C,OAAO,IAAI,KAAK,EAAE;IAOlB,QAAQ,IAAI,MAAM;CAI5B;AAED,qBAAa,YAAa,SAAQ,YAAY;IAC1C,OAAO,CAAC,UAAU,CAAQ;gBAEd,UAAU,EAAE,KAAK;IAKtB,aAAa,IAAI,KAAK;IAItB,aAAa,CAAC,aAAa,EAAE,KAAK,GAAG,IAAI;IAIzC,OAAO,IAAI,IAAI;IAIf,OAAO,IAAI,KAAK,EAAE;IAOlB,QAAQ,IAAI,MAAM;CAI5B;AAED,oBAAY,oBAAoB;IAE5B,iBAAiB,OAAO;IAGxB,cAAc,OAAO;IACrB,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,WAAW,MAAM;IACjB,cAAc,MAAM;IACpB,SAAS,MAAM;IAGf,SAAS,OAAO;IAChB,UAAU,OAAO;IACjB,kBAAkB,QAAQ;IAG1B,UAAU,MAAM;IAChB,SAAS,MAAM;IACf,UAAU,MAAM;IAGhB,UAAU,OAAO;IACjB,SAAS,OAAO;CACnB;AAED,oBAAY,wBAAwB;IAChC,QAAQ,MAAM;IACd,eAAe,OAAO;IACtB,WAAW,MAAM;IACjB,kBAAkB,OAAO;IACzB,QAAQ,OAAO;IACf,UAAU,OAAO;IACjB,cAAc,QAAQ;IACtB,gBAAgB,QAAQ;CAC3B;AAED,MAAM,MAAM,cAAc,GAAG,oBAAoB,GAAG,wBAAwB,CAAC;AAG7E,8BAAsB,iBAAkB,SAAQ,YAAY;IACxD,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC;IACrB,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC;IACrB,SAAS,CAAC,QAAQ,EAAE,cAAc,CAAC;IAEnC,SAAS,CAAC,IAAI,EAAG,IAAI,CAAC;gBAEV,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,cAAc;IAO5D;;;;OAIG;IACI,MAAM,IAAI,KAAK;IAIf,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,IAAI;IAIlC;;;;OAIG;IACI,MAAM,IAAI,KAAK;IAIf,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,IAAI;IAIlC;;;;;;;;;;;;;;OAcG;IACI,WAAW,IAAI,cAAc;IAI7B,OAAO,IAAI,IAAI;IAOf,OAAO,IAAI,KAAK,EAAE;IASlB,QAAQ,IAAI,MAAM;IAIzB,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ;IAMnD,SAAS,CAAC,OAAO;IA+DV,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,iBAAiB;CAM1D;AAED,qBAAa,gBAAiB,SAAQ,iBAAiB;gBACvC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,wBAAwB;IAI/D,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,gBAAgB;CAiBzD;AAED,qBAAa,kBAAmB,SAAQ,iBAAiB;gBACzC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,oBAAoB;CAGrE;AAED,qBAAa,aAAc,SAAQ,YAAY;IAC3C,OAAO,CAAC,EAAE,CAAQ;gBAEN,EAAE,EAAE,KAAK;IAKd,KAAK,IAAI,KAAK;IAId,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAIzB,OAAO,IAAI,KAAK,EAAE;IAOlB,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,iBAAkB,SAAQ,YAAY;IAC/C,OAAO,CAAC,EAAE,CAAQ;IAClB,OAAO,CAAC,SAAS,CAAO;gBAEZ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;IAM/B,KAAK,IAAI,KAAK;IAId,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAIzB,YAAY,IAAI,IAAI;IAIpB,OAAO,IAAI,IAAI;IAIf,OAAO,IAAI,KAAK,EAAE;IAOlB,QAAQ,IAAI,MAAM;CAG5B;AAGD,qBAAa,WAAY,SAAQ,YAAY;IACzC,OAAO,CAAC,EAAE,CAAQ;IAClB,OAAO,CAAC,IAAI,CAAO;gBAEP,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI;IAM1B,KAAK,IAAI,KAAK;IAId,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAIzB,OAAO,IAAI,KAAK,EAAE;IAOlB,OAAO,IAAI,IAAI;IAIf,SAAS,CAAC,QAAQ,EAAE,QAAQ,GAAG,YAAY;IAQ3C,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,UAAW,SAAQ,YAAY;IACxC,OAAO,CAAC,IAAI,CAAU;IACtB,OAAO,CAAC,UAAU,CAAyB;;IAQpC,OAAO,IAAI,KAAK,EAAE;IAMlB,OAAO,IAAI,KAAK,EAAE;IAIlB,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI;IAI5B,aAAa,IAAI,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC;IAIvC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,IAAI;IAIvD,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;CAa5B;AAED,oBAAY,aAAa;IACrB,GAAG,MAAM;IACT,UAAU,MAAM;IAChB,UAAU,MAAM;CACnB;AAGD,qBAAa,WAAY,SAAQ,YAAY;IACzC,OAAO,CAAC,EAAE,CAAQ;IAClB,OAAO,CAAC,QAAQ,CAAgB;gBAEpB,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa;IAMvC,OAAO,IAAI,KAAK,EAAE;IAOlB,KAAK,IAAI,KAAK;IAId,OAAO,IAAI,IAAI;IAItB;;;OAGG;IACI,WAAW,IAAI,aAAa;IAI5B,QAAQ,IAAI,MAAM;CAG5B"}
+{"version":3,"file":"Expr.d.ts","sourceRoot":"","sources":["../../../src/core/base/Expr.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEjD,OAAO,EAAE,eAAe,EAAsB,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAGH,SAAS,EAET,SAAS,EAMT,IAAI,EAMP,MAAM,QAAQ,CAAC;AAChB,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,gBAAgB,EAAgC,MAAM,OAAO,CAAC;AAIvE,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAGpC,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAY/C;;GAEG;AACH,8BAAsB,YAAa,YAAW,KAAK;IAC/C,QAAQ,CAAC,OAAO,IAAI,KAAK,EAAE;IAE3B,QAAQ,CAAC,OAAO,IAAI,IAAI;IAExB,QAAQ,CAAC,QAAQ,IAAI,MAAM;IAEpB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY;CAGvD;AAED,8BAAsB,kBAAmB,SAAQ,YAAY;IACzD,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,IAAI,CAAU;IACtB,OAAO,CAAC,gBAAgB,CAAC,CAAS;gBAEtB,eAAe,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAOtF;;;;;;;;;;;;;OAaG;IACI,kBAAkB,IAAI,eAAe;IAIrC,kBAAkB,CAAC,kBAAkB,EAAE,eAAe,GAAG,IAAI;IAIpE;;;;OAIG;IACI,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK;IAInC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACI,OAAO,IAAI,KAAK,EAAE;IAIlB,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI;IAI/B,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI;IAyB5C,OAAO,CAAC,QAAQ;IAyBT,OAAO,IAAI,IAAI;IAqBf,mBAAmB,IAAI,IAAI,EAAE,GAAG,SAAS;IAIzC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,kBAAkB,GAAG,IAAI;IAyB/F,OAAO,CAAC,kBAAkB;IA4CnB,OAAO,IAAI,KAAK,EAAE;CAQ5B;AAED,qBAAa,qBAAsB,SAAQ,kBAAkB;IACzD,OAAO,CAAC,IAAI,CAAQ;gBAER,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAKnG;;;OAGG;IACI,OAAO,IAAI,KAAK;IAIhB,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,IAAI;IAIpC;;;;;OAKG;IACI,OAAO,IAAI,KAAK,EAAE;IAWlB,QAAQ,IAAI,MAAM;IAkBlB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,kBAAkB;IAiD1D,OAAO,CAAC,cAAc;IAmBtB,OAAO,CAAC,kBAAkB;CAa7B;AAED,qBAAa,mBAAoB,SAAQ,kBAAkB;gBAC3C,eAAe,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAI/E,QAAQ,IAAI,MAAM;IAgBlB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,mBAAmB;IA0C3D,OAAO,CAAC,oBAAoB;CAe/B;AAED,qBAAa,gBAAiB,SAAQ,kBAAkB;IACpD,OAAO,CAAC,WAAW,CAAQ;gBAEf,eAAe,EAAE,eAAe,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAK3F,cAAc,CAAC,GAAG,EAAE,KAAK,GAAG,IAAI;IAIhC,eAAe,IAAI,KAAK;IAIxB,QAAQ,IAAI,MAAM;IAgBlB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,gBAAgB;CAI3D;AAED,qBAAa,UAAW,SAAQ,YAAY;IACxC,OAAO,CAAC,SAAS,CAAY;gBAEjB,SAAS,EAAE,SAAS;IAKzB,YAAY,IAAI,SAAS;IAIzB,OAAO,IAAI,KAAK,EAAE;IAIlB,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;IAIlB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,UAAU;CAYrD;AAED,qBAAa,eAAgB,SAAQ,YAAY;IAC7C,OAAO,CAAC,QAAQ,CAAO;IACvB,OAAO,CAAC,IAAI,CAAQ;IAEpB,OAAO,CAAC,WAAW,CAAU;gBAEjB,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,GAAE,OAAe;IAO9D,OAAO,IAAI,KAAK;IAIhB,OAAO,CAAC,OAAO,EAAE,KAAK,GAAG,IAAI;IAI7B,OAAO,IAAI,SAAS;IAIpB,WAAW,IAAI,IAAI;IAInB,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAIhC,aAAa,IAAI,OAAO;IAIxB,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,eAAe;IAQhD,OAAO,IAAI,KAAK,EAAE;IAMlB,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,aAAc,SAAQ,YAAY;IAC3C,OAAO,CAAC,KAAK,CAAmB;gBAEpB,KAAK,EAAE,gBAAgB;IAK5B,QAAQ,IAAI,gBAAgB;IAI5B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,GAAG,IAAI;IAI1C,OAAO,IAAI,IAAI;IAIf,OAAO,IAAI,KAAK,EAAE;IAOlB,QAAQ,IAAI,MAAM;CAI5B;AAED,qBAAa,YAAa,SAAQ,YAAY;IAC1C,OAAO,CAAC,OAAO,CAAQ;gBAEX,OAAO,EAAE,KAAK;IAKnB,UAAU,IAAI,KAAK;IAInB,UAAU,CAAC,UAAU,EAAE,KAAK,GAAG,IAAI;IAInC,OAAO,IAAI,IAAI;IAUf,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY;IAK7C,OAAO,IAAI,KAAK,EAAE;IAOlB,QAAQ,IAAI,MAAM;CAI5B;AAED,qBAAa,YAAa,SAAQ,YAAY;IAC1C,OAAO,CAAC,UAAU,CAAQ;gBAEd,UAAU,EAAE,KAAK;IAKtB,aAAa,IAAI,KAAK;IAItB,aAAa,CAAC,aAAa,EAAE,KAAK,GAAG,IAAI;IAIzC,OAAO,IAAI,IAAI;IAIf,OAAO,IAAI,KAAK,EAAE;IAOlB,QAAQ,IAAI,MAAM;CAI5B;AAED,oBAAY,oBAAoB;IAE5B,iBAAiB,OAAO;IAGxB,cAAc,OAAO;IACrB,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,WAAW,MAAM;IACjB,cAAc,MAAM;IACpB,SAAS,MAAM;IAGf,SAAS,OAAO;IAChB,UAAU,OAAO;IACjB,kBAAkB,QAAQ;IAG1B,UAAU,MAAM;IAChB,SAAS,MAAM;IACf,UAAU,MAAM;IAGhB,UAAU,OAAO;IACjB,SAAS,OAAO;CACnB;AAED,oBAAY,wBAAwB;IAChC,QAAQ,MAAM;IACd,eAAe,OAAO;IACtB,WAAW,MAAM;IACjB,kBAAkB,OAAO;IACzB,QAAQ,OAAO;IACf,UAAU,OAAO;IACjB,cAAc,QAAQ;IACtB,gBAAgB,QAAQ;CAC3B;AAED,MAAM,MAAM,cAAc,GAAG,oBAAoB,GAAG,wBAAwB,CAAC;AAG7E,8BAAsB,iBAAkB,SAAQ,YAAY;IACxD,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC;IACrB,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC;IACrB,SAAS,CAAC,QAAQ,EAAE,cAAc,CAAC;IAEnC,SAAS,CAAC,IAAI,EAAG,IAAI,CAAC;gBAEV,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,cAAc;IAO5D;;;;OAIG;IACI,MAAM,IAAI,KAAK;IAIf,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,IAAI;IAIlC;;;;OAIG;IACI,MAAM,IAAI,KAAK;IAIf,MAAM,CAAC,MAAM,EAAE,KAAK,GAAG,IAAI;IAIlC;;;;;;;;;;;;;;OAcG;IACI,WAAW,IAAI,cAAc;IAI7B,OAAO,IAAI,IAAI;IAOf,OAAO,IAAI,KAAK,EAAE;IASlB,QAAQ,IAAI,MAAM;IAIzB,SAAS,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS;IAMrD,SAAS,CAAC,OAAO;IA+DV,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,iBAAiB;CAM5D;AAED,qBAAa,gBAAiB,SAAQ,iBAAiB;gBACvC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,wBAAwB;IAI/D,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,gBAAgB;CAiB3D;AAED,qBAAa,kBAAmB,SAAQ,iBAAiB;gBACzC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,oBAAoB;CAGrE;AAED,qBAAa,aAAc,SAAQ,YAAY;IAC3C,OAAO,CAAC,EAAE,CAAQ;gBAEN,EAAE,EAAE,KAAK;IAKd,KAAK,IAAI,KAAK;IAId,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAIzB,OAAO,IAAI,KAAK,EAAE;IAOlB,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,iBAAkB,SAAQ,YAAY;IAC/C,OAAO,CAAC,EAAE,CAAQ;IAClB,OAAO,CAAC,SAAS,CAAO;gBAEZ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;IAM/B,KAAK,IAAI,KAAK;IAId,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAIzB,YAAY,IAAI,IAAI;IAIpB,OAAO,IAAI,IAAI;IAIf,OAAO,IAAI,KAAK,EAAE;IAOlB,QAAQ,IAAI,MAAM;CAG5B;AAGD,qBAAa,WAAY,SAAQ,YAAY;IACzC,OAAO,CAAC,EAAE,CAAQ;IAClB,OAAO,CAAC,IAAI,CAAO;gBAEP,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI;IAM1B,KAAK,IAAI,KAAK;IAId,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAIzB,OAAO,IAAI,KAAK,EAAE;IAOlB,OAAO,IAAI,IAAI;IAIf,SAAS,CAAC,SAAS,EAAE,SAAS,GAAG,YAAY;IAS7C,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,UAAW,SAAQ,YAAY;IACxC,OAAO,CAAC,IAAI,CAAU;IACtB,OAAO,CAAC,UAAU,CAAyB;;IAQpC,OAAO,IAAI,KAAK,EAAE;IAMlB,OAAO,IAAI,KAAK,EAAE;IAIlB,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI;IAI5B,aAAa,IAAI,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC;IAIvC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,IAAI;IAIvD,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,MAAM;CAa5B;AAED,oBAAY,aAAa;IACrB,GAAG,MAAM;IACT,UAAU,MAAM;IAChB,UAAU,MAAM;CACnB;AAGD,qBAAa,WAAY,SAAQ,YAAY;IACzC,OAAO,CAAC,EAAE,CAAQ;IAClB,OAAO,CAAC,QAAQ,CAAgB;gBAEpB,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa;IAMvC,OAAO,IAAI,KAAK,EAAE;IAOlB,KAAK,IAAI,KAAK;IAId,OAAO,IAAI,IAAI;IAItB;;;OAGG;IACI,WAAW,IAAI,aAAa;IAI5B,QAAQ,IAAI,MAAM;CAG5B"}