arkanalyzer 1.0.6 → 1.0.8

package/lib/core/dataflow/DataflowSolver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DataflowSolver.d.ts","sourceRoot":"","sources":["../../../src/core/dataflow/DataflowSolver.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAGpC,OAAO,EAAE,aAAa,EAAoC,IAAI,EAAE,MAAM,cAAc,CAAC;AAErF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAgB,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAiB,MAAM,QAAQ,CAAC;AAmBjD,8BAAsB,cAAc,CAAC,CAAC;IAElC,OAAO,CAAC,OAAO,CAAqB;IACpC,OAAO,CAAC,QAAQ,CAAqB;IACrC,OAAO,CAAC,WAAW,CAAmB;IACtC,OAAO,CAAC,QAAQ,CAAI;IACpB,OAAO,CAAC,QAAQ,CAA+C;IAC/D,OAAO,CAAC,UAAU,CAA+C;IACjE,OAAO,CAAC,WAAW,CAAgC;IACnD,OAAO,CAAC,KAAK,CAAQ;IACrB,OAAO,CAAC,GAAG,CAA0B;IACrC,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,UAAU,CAA+B;gBAErC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK;IAa9C,KAAK;IAKZ,SAAS,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,OAAO;IASlD,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,EAAE;IAIzC,SAAS,CAAC,IAAI;IAiBd,OAAO,CAAC,mBAAmB;IAyB3B,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,cAAc;IAQtB,SAAS,CAAC,mBAAmB,CAAC,QAAQ,EAAE,aAAa,GAAG,GAAG,CAAC,SAAS,CAAC;IActE,SAAS,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAI/C,SAAS,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAMlD,SAAS,CAAC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAU9C,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAcrC,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IA0C3C,SAAS,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAgB7C,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IA+D3C,SAAS,CAAC,OAAO;IAiBjB,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO;IAc9C,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO;IAIvC,cAAc,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CAG5C;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAKxD"}
+{"version":3,"file":"DataflowSolver.d.ts","sourceRoot":"","sources":["../../../src/core/dataflow/DataflowSolver.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,OAAO,EAAE,aAAa,EAAoC,IAAI,EAAE,MAAM,cAAc,CAAC;AACrF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAgB,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,kDAAkD,CAAC;AAa1F,KAAK,qBAAqB,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;AAE5C,8BAAsB,cAAc,CAAC,CAAC;IAElC,SAAS,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IACtC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,SAAS,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;IACtB,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,SAAS,CAAC,WAAW,EAAE,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC;IACvB,SAAS,CAAC,GAAG,EAAG,sBAAsB,CAAC;IACvC,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1C,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAa;gBAEvC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK;IAa9C,KAAK;IAKZ,SAAS,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,OAAO;IASlD,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,EAAE;IAIzC,SAAS,CAAC,IAAI;IAcd,SAAS,CAAC,mBAAmB;IAe7B,SAAS,CAAC,mBAAmB,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAgBtD,SAAS,CAAC,cAAc;IAQxB,SAAS,CAAC,mBAAmB,CAAC,QAAQ,EAAE,aAAa,GAAG,GAAG,CAAC,SAAS,CAAC;IAatE,SAAS,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAI/C,SAAS,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAMlD,SAAS,CAAC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAW9C,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAcrC,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IA0C3C,SAAS,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAgB7C,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAkC3C,SAAS,CAAC,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,GAAG,IAAI;IAgCpG,SAAS,CAAC,OAAO;IAiBjB,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO;IAc9C,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO;IAIvC,cAAc,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CAG5C"}

package/lib/core/dataflow/DataflowSolver.js

@@ -14,13 +14,11 @@
  * limitations under the License.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.factEqual = exports.DataflowSolver = void 0;
+exports.DataflowSolver = void 0;
 const Expr_1 = require("../base/Expr");
-const Ref_1 = require("../base/Ref");
 const Stmt_1 = require("../base/Stmt");
 const Edge_1 = require("./Edge");
 const CallGraph_1 = require("../../callgraph/model/CallGraph");
-const CallGraphBuilder_1 = require("../../callgraph/model/builder/CallGraphBuilder");
 const ClassHierarchyAnalysis_1 = require("../../callgraph/algorithm/ClassHierarchyAnalysis");
 const entryMethodUtils_1 = require("../../utils/entryMethodUtils");
 const Util_1 = require("./Util");
@@ -44,7 +42,7 @@ class DataflowSolver {
     }
     computeResult(stmt, d) {
         for (let pathEdge of this.pathEdgeSet) {
-            if (pathEdge.edgeEnd.node == stmt && pathEdge.edgeEnd.fact == d) {
+            if (pathEdge.edgeEnd.node === stmt && pathEdge.edgeEnd.fact === d) {
                 return true;
             }
         }
@@ -60,43 +58,38 @@ class DataflowSolver {
         this.pathEdgeSet.add(edge);
         // build CHA
         let cg = new CallGraph_1.CallGraph(this.scene);
-        let cgBuilder = new CallGraphBuilder_1.CallGraphBuilder(cg, this.scene);
-        cgBuilder.buildClassHierarchyCallGraph([this.problem.getEntryMethod().getSignature()]);
         this.CHA = new ClassHierarchyAnalysis_1.ClassHierarchyAnalysis(this.scene, cg);
-        // this.CHA = this.scene.makeCallGraphCHA([this.problem.getEntryMethod().getSignature()]) as ClassHierarchyAnalysisAlgorithm;
-        this.buildStmtMap();
+        this.buildStmtMapInClass();
         this.setCfg4AllStmt();
         return;
     }
-    buildStmtMapInClass(clas) {
-        for (const method of clas.getMethods(true)) {
+    buildStmtMapInClass() {
+        const methods = this.scene.getMethods(true);
+        methods.push(this.problem.getEntryMethod());
+        for (const method of methods) {
             const cfg = method.getCfg();
             const blocks = [];
             if (cfg) {
                 blocks.push(...cfg.getBlocks());
             }
             for (const block of blocks) {
-                const stmts = block.getStmts();
-                for (let stmtIndex = 0; stmtIndex < stmts.length; stmtIndex++) {
-                    const stmt = stmts[stmtIndex];
-                    if (stmtIndex != stmts.length - 1) {
-                        this.stmtNexts.set(stmt, new Set([stmts[stmtIndex + 1]]));
-                    }
-                    else {
-                        const set = new Set();
-                        for (const successor of block.getSuccessors()) {
-                            set.add(successor.getStmts()[0]);
-                        }
-                        this.stmtNexts.set(stmt, set);
-                    }
-                }
+                this.buildStmtMapInBlock(block);
             }
         }
     }
-    buildStmtMap() {
-        for (const classes of this.scene.getClassMap()) {
-            for (const cls of classes[1]) {
-                this.buildStmtMapInClass(cls);
+    buildStmtMapInBlock(block) {
+        const stmts = block.getStmts();
+        for (let stmtIndex = 0; stmtIndex < stmts.length; stmtIndex++) {
+            const stmt = stmts[stmtIndex];
+            if (stmtIndex !== stmts.length - 1) {
+                this.stmtNexts.set(stmt, new Set([stmts[stmtIndex + 1]]));
+            }
+            else {
+                const set = new Set();
+                for (const successor of block.getSuccessors()) {
+                    set.add(successor.getStmts()[0]);
+                }
+                this.stmtNexts.set(stmt, set);
             }
         }
     }
@@ -108,7 +101,6 @@ class DataflowSolver {
         }
     }
     getAllCalleeMethods(callNode) {
-        // const methodSignatures = this.CHA.resolveCall(this.problem.getEntryMethod().getSignature(), callNode);
         const callSites = this.CHA.resolveCall(this.CHA.getCallGraph().getCallGraphNodeByMethod(this.problem.getEntryMethod().getSignature()).getID(), callNode);
         const methods = new Set();
         for (const callSite of callSites) {
@@ -129,8 +121,9 @@ class DataflowSolver {
     }
     pathEdgeSetHasEdge(edge) {
         for (const path of this.pathEdgeSet) {
-            if (path.edgeEnd.node == edge.edgeEnd.node && factEqual(path.edgeEnd.fact, edge.edgeEnd.fact) &&
-                path.edgeStart.node == edge.edgeStart.node && factEqual(path.edgeStart.fact, edge.edgeStart.fact)) {
+            this.problem.factEqual(path.edgeEnd.fact, edge.edgeEnd.fact);
+            if (path.edgeEnd.node === edge.edgeEnd.node && this.problem.factEqual(path.edgeEnd.fact, edge.edgeEnd.fact) &&
+                path.edgeStart.node === edge.edgeStart.node && this.problem.factEqual(path.edgeStart.fact, edge.edgeStart.fact)) {
                 return true;
             }
         }
@@ -154,15 +147,15 @@ class DataflowSolver {
         let startEdgePoint = edge.edgeStart;
         let exitEdgePoint = edge.edgeEnd;
         const summary = this.endSummary.get(startEdgePoint);
-        if (summary == undefined) {
+        if (summary === undefined) {
             this.endSummary.set(startEdgePoint, new Set([exitEdgePoint]));
         }
         else {
             summary.add(exitEdgePoint);
         }
         const callEdgePoints = this.inComing.get(startEdgePoint);
-        if (callEdgePoints == undefined) {
-            if (startEdgePoint.node.getCfg().getDeclaringMethod() == this.problem.getEntryMethod()) {
+        if (callEdgePoints === undefined) {
+            if (startEdgePoint.node.getCfg().getDeclaringMethod() === this.problem.getEntryMethod()) {
                 return;
             }
             throw new Error('incoming does not have ' + ((_a = startEdgePoint.node.getCfg()) === null || _a === void 0 ? void 0 : _a.getDeclaringMethod().toString()));
@@ -175,7 +168,7 @@ class DataflowSolver {
                 let cacheEdge = new Edge_1.PathEdge(callEdgePoint, returnSitePoint);
                 let summaryEdgeHasCacheEdge = false;
                 for (const sEdge of this.summaryEdge) {
-                    if (sEdge.edgeStart == callEdgePoint && sEdge.edgeEnd.node == returnSite && sEdge.edgeEnd.fact == fact) {
+                    if (sEdge.edgeStart === callEdgePoint && sEdge.edgeEnd.node === returnSite && sEdge.edgeEnd.fact === fact) {
                         summaryEdgeHasCacheEdge = true;
                         break;
                     }
@@ -184,7 +177,7 @@ class DataflowSolver {
                     this.summaryEdge.add(cacheEdge);
                     let startOfCaller = this.getStartOfCallerMethod(callEdgePoint.node);
                     for (let pathEdge of this.pathEdgeSet) {
-                        if (pathEdge.edgeStart.node == startOfCaller && pathEdge.edgeEnd == callEdgePoint) {
+                        if (pathEdge.edgeStart.node === startOfCaller && pathEdge.edgeEnd === callEdgePoint) {
                             this.propagate(new Edge_1.PathEdge(pathEdge.edgeStart, returnSitePoint));
                         }
                     }
@@ -212,51 +205,22 @@ class DataflowSolver {
         let callEdgePoint = edge.edgeEnd;
         const invokeStmt = callEdgePoint.node;
         let callees;
-        if (this.scene.getFilesMap().get(invokeStmt.getInvokeExpr().getMethodSignature().getDeclaringClassSignature().getDeclaringFileSignature().toString())) {
+        if (this.scene.getFile(invokeStmt.getInvokeExpr().getMethodSignature().getDeclaringClassSignature().getDeclaringFileSignature())) {
             callees = this.getAllCalleeMethods(callEdgePoint.node);
         }
         else {
             callees = new Set([(0, Util_1.getRecallMethodInParam)(invokeStmt)]);
         }
-        let callNode = edge.edgeEnd.node;
         let returnSite = this.getReturnSiteOfCall(callEdgePoint.node);
         for (let callee of callees) {
-            let callFlowFunc = this.problem.getCallFlowFunction(callNode, callee);
+            let callFlowFunc = this.problem.getCallFlowFunction(invokeStmt, callee);
             if (!callee.getCfg()) {
                 continue;
             }
             let firstStmt = [...callee.getCfg().getBlocks()][0].getStmts()[callee.getParameters().length];
             let facts = callFlowFunc.getDataFacts(callEdgePoint.fact);
             for (let fact of facts) {
-                // method start loop path edge
-                let startEdgePoint = new Edge_1.PathEdgePoint(firstStmt, fact);
-                this.propagate(new Edge_1.PathEdge(startEdgePoint, startEdgePoint));
-                //add callEdgePoint in inComing.get(startEdgePoint)
-                let coming = undefined;
-                for (const incoming of this.inComing.keys()) {
-                    if (incoming.fact == startEdgePoint.fact && incoming.node == startEdgePoint.node) {
-                        coming = this.inComing.get(incoming);
-                        break;
-                    }
-                }
-                if (coming == undefined) {
-                    this.inComing.set(startEdgePoint, new Set([callEdgePoint]));
-                }
-                else {
-                    coming.add(callEdgePoint);
-                }
-                let exitEdgePoints = new Set();
-                for (const end of Array.from(this.endSummary.keys())) {
-                    if (end.fact == fact && end.node == firstStmt) {
-                        exitEdgePoints = this.endSummary.get(end);
-                    }
-                }
-                for (let exitEdgePoint of exitEdgePoints) {
-                    let returnFlowFunc = this.problem.getExitToReturnFlowFunction(exitEdgePoint.node, returnSite, callEdgePoint.node);
-                    for (let returnFact of returnFlowFunc.getDataFacts(exitEdgePoint.fact)) {
-                        this.summaryEdge.add(new Edge_1.PathEdge(edge.edgeEnd, new Edge_1.PathEdgePoint(returnSite, returnFact)));
-                    }
-                }
+                this.callNodeFactPropagate(edge, firstStmt, fact, returnSite);
             }
         }
         let callToReturnflowFunc = this.problem.getCallToReturnFlowFunction(edge.edgeEnd.node, returnSite);
@@ -265,13 +229,45 @@ class DataflowSolver {
             this.propagate(new Edge_1.PathEdge(start, new Edge_1.PathEdgePoint(returnSite, fact)));
         }
         for (let cacheEdge of this.summaryEdge) {
-            if (cacheEdge.edgeStart == edge.edgeEnd && cacheEdge.edgeEnd.node == returnSite) {
+            if (cacheEdge.edgeStart === edge.edgeEnd && cacheEdge.edgeEnd.node === returnSite) {
                 this.propagate(new Edge_1.PathEdge(start, cacheEdge.edgeEnd));
             }
         }
     }
+    callNodeFactPropagate(edge, firstStmt, fact, returnSite) {
+        let callEdgePoint = edge.edgeEnd;
+        // method start loop path edge
+        let startEdgePoint = new Edge_1.PathEdgePoint(firstStmt, fact);
+        this.propagate(new Edge_1.PathEdge(startEdgePoint, startEdgePoint));
+        //add callEdgePoint in inComing.get(startEdgePoint)
+        let coming;
+        for (const incoming of this.inComing.keys()) {
+            if (incoming.fact === startEdgePoint.fact && incoming.node === startEdgePoint.node) {
+                coming = this.inComing.get(incoming);
+                break;
+            }
+        }
+        if (coming === undefined) {
+            this.inComing.set(startEdgePoint, new Set([callEdgePoint]));
+        }
+        else {
+            coming.add(callEdgePoint);
+        }
+        let exitEdgePoints = new Set();
+        for (const end of Array.from(this.endSummary.keys())) {
+            if (end.fact === fact && end.node === firstStmt) {
+                exitEdgePoints = this.endSummary.get(end);
+            }
+        }
+        for (let exitEdgePoint of exitEdgePoints) {
+            let returnFlowFunc = this.problem.getExitToReturnFlowFunction(exitEdgePoint.node, returnSite, callEdgePoint.node);
+            for (let returnFact of returnFlowFunc.getDataFacts(exitEdgePoint.fact)) {
+                this.summaryEdge.add(new Edge_1.PathEdge(edge.edgeEnd, new Edge_1.PathEdgePoint(returnSite, returnFact)));
+            }
+        }
+    }
     doSolve() {
-        while (this.workList.length != 0) {
+        while (this.workList.length !== 0) {
             let pathEdge = this.workList.shift();
             if (this.laterEdges.has(pathEdge)) {
                 this.laterEdges.delete(pathEdge);
@@ -291,7 +287,7 @@ class DataflowSolver {
     isCallStatement(stmt) {
         for (const expr of stmt.getExprs()) {
             if (expr instanceof Expr_1.AbstractInvokeExpr) {
-                if (this.scene.getFilesMap().get(expr.getMethodSignature().getDeclaringClassSignature().getDeclaringFileSignature().toString())) {
+                if (this.scene.getFile(expr.getMethodSignature().getDeclaringClassSignature().getDeclaringFileSignature())) {
                     return true;
                 }
                 if (stmt instanceof Stmt_1.ArkInvokeStmt && (0, Util_1.getRecallMethodInParam)(stmt)) {
@@ -309,10 +305,3 @@ class DataflowSolver {
     }
 }
 exports.DataflowSolver = DataflowSolver;
-function factEqual(fact1, fact2) {
-    if (fact1 instanceof Ref_1.AbstractRef && fact2 instanceof Ref_1.AbstractRef) {
-        return fact1.toString() == fact2.toString();
-    }
-    return fact1 == fact2;
-}
-exports.factEqual = factEqual;

package/lib/core/dataflow/TiantAnalysis.d.ts

@@ -30,6 +30,7 @@ export declare class TiantAnalysisChecker extends DataflowProblem<Value> {
     createZeroValue(): Value;
     getZeroValue(): Value;
     Json2ArkMethod(path: string): ArkMethod[];
+    factEqual(d1: Value, d2: Value): boolean;
 }
 export declare class TiantAnalysisSolver extends DataflowSolver<Value> {
     constructor(problem: TiantAnalysisChecker, scene: Scene);

package/lib/core/dataflow/TiantAnalysis.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TiantAnalysis.d.ts","sourceRoot":"","sources":["../../../src/core/dataflow/TiantAnalysis.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAA+C,IAAI,EAAE,MAAM,cAAc,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,cAAc,EAAa,MAAM,kBAAkB,CAAC;AAG7D,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAK7C,qBAAa,oBAAqB,SAAQ,eAAe,CAAC,KAAK,CAAC;IAC5D,SAAS,EAAE,QAAQ,CAA0D;IAC7E,UAAU,EAAE,IAAI,CAAC;IACjB,WAAW,EAAE,SAAS,CAAC;IACvB,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE,GAAG,CAAC,aAAa,GAAG,kBAAkB,EAAE,QAAQ,EAAE,CAAC,CAA6D;IAC1H,iBAAiB,EAAE,GAAG,CAAC,aAAa,GAAG,kBAAkB,EAAE,KAAK,EAAE,CAAC,CAA0D;IAC7H,OAAO,EAAE,SAAS,EAAE,CAAM;IAC1B,KAAK,EAAE,SAAS,EAAE,CAAM;gBACZ,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS;IAQzC,aAAa,IAAI,IAAI;IAIrB,cAAc,IAAI,SAAS;IAI3B,OAAO,CAAC,UAAU;IAWX,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,IAAI;IAItC,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,IAAI;IAI3C,qBAAqB,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IAsDtE,mBAAmB,CAAC,OAAO,EAAC,IAAI,EAAE,MAAM,EAAC,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC;IA2DxE,2BAA2B,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,EAAE,QAAQ,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IAsC3F,2BAA2B,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IAkB5E,eAAe,IAAI,KAAK;IAIxB,YAAY,IAAI,KAAK;IAIrB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,EAAE;CA4D5C;AAED,qBAAa,mBAAoB,SAAQ,cAAc,CAAC,KAAK,CAAC;gBAC9C,OAAO,EAAE,oBAAoB,EAAE,KAAK,EAAE,KAAK;CAG1D"}
+{"version":3,"file":"TiantAnalysis.d.ts","sourceRoot":"","sources":["../../../src/core/dataflow/TiantAnalysis.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAA+C,IAAI,EAAE,MAAM,cAAc,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,cAAc,EAAC,MAAM,kBAAkB,CAAC;AAGjD,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAM7C,qBAAa,oBAAqB,SAAQ,eAAe,CAAC,KAAK,CAAC;IAC5D,SAAS,EAAE,QAAQ,CAA0D;IAC7E,UAAU,EAAE,IAAI,CAAC;IACjB,WAAW,EAAE,SAAS,CAAC;IACvB,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE,GAAG,CAAC,aAAa,GAAG,kBAAkB,EAAE,QAAQ,EAAE,CAAC,CAA6D;IAC1H,iBAAiB,EAAE,GAAG,CAAC,aAAa,GAAG,kBAAkB,EAAE,KAAK,EAAE,CAAC,CAA0D;IAC7H,OAAO,EAAE,SAAS,EAAE,CAAM;IAC1B,KAAK,EAAE,SAAS,EAAE,CAAM;gBACZ,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS;IAQzC,aAAa,IAAI,IAAI;IAIrB,cAAc,IAAI,SAAS;IAI3B,OAAO,CAAC,UAAU;IAWX,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,IAAI;IAItC,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,IAAI;IAI3C,qBAAqB,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IAsDtE,mBAAmB,CAAC,OAAO,EAAC,IAAI,EAAE,MAAM,EAAC,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC;IA2DxE,2BAA2B,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,EAAE,QAAQ,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IAsC3F,2BAA2B,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IAkB5E,eAAe,IAAI,KAAK;IAIxB,YAAY,IAAI,KAAK;IAIrB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,EAAE;IA6DzC,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,GAAG,OAAO;CAU3C;AAED,qBAAa,mBAAoB,SAAQ,cAAc,CAAC,KAAK,CAAC;gBAC9C,OAAO,EAAE,oBAAoB,EAAE,KAAK,EAAE,KAAK;CAG1D"}

package/lib/core/dataflow/TiantAnalysis.js

@@ -46,7 +46,9 @@ const Ref_1 = require("../base/Ref");
 const DataflowSolver_1 = require("./DataflowSolver");
 const Expr_1 = require("../base/Expr");
 const Type_1 = require("../base/Type");
+const ArkSignature_1 = require("../model/ArkSignature");
 const fs = __importStar(require("fs"));
+const Util_1 = require("./Util");
 class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
     constructor(stmt, method) {
         super();
@@ -69,7 +71,7 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
     callSource(val) {
         if (val instanceof Expr_1.AbstractInvokeExpr) {
             for (const source of this.sources) {
-                if (source.getSignature() == val.getMethodSignature()) {
+                if (source.getSignature() === val.getMethodSignature()) {
                     return true;
                 }
             }
@@ -87,7 +89,7 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
         return new class {
             getDataFacts(dataFact) {
                 let ret = new Set();
-                if (checkerInstance.getEntryPoint() == srcStmt && checkerInstance.getZeroValue() == dataFact) {
+                if (checkerInstance.getEntryPoint() === srcStmt && checkerInstance.getZeroValue() === dataFact) {
                     let entryMethod = checkerInstance.getEntryMethod();
                     const parameters = [...entryMethod.getCfg().getBlocks()][0].getStmts().slice(0, entryMethod.getParameters().length);
                     for (let i = 0; i < parameters.length; i++) {
@@ -99,7 +101,7 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
                     // 加入所有的全局变量和静态属性（may analysis）
                     const staticFields = entryMethod.getDeclaringArkClass().getStaticFields(checkerInstance.classMap);
                     for (const field of staticFields) {
-                        if (field.getInitializer() == undefined) {
+                        if (field.getInitializer() === undefined) {
                             ret.add(new Ref_1.ArkStaticFieldRef(field.getSignature()));
                         }
                     }
@@ -108,25 +110,25 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
                     }
                     return ret;
                 }
-                if (!(0, DataflowSolver_1.factEqual)(srcStmt.getDef(), dataFact)) {
-                    if (!(dataFact instanceof Local_1.Local && dataFact.getName() == srcStmt.getDef().toString()))
+                if (!checkerInstance.factEqual(srcStmt.getDef(), dataFact)) {
+                    if (!(dataFact instanceof Local_1.Local && dataFact.getName() === srcStmt.getDef().toString()))
                         ret.add(dataFact);
                 }
                 if (srcStmt instanceof Stmt_1.ArkAssignStmt) {
                     let stmt = srcStmt;
                     let assigned = stmt.getLeftOp();
                     let rightOp = stmt.getRightOp();
-                    if (checkerInstance.getZeroValue() == dataFact) {
+                    if (checkerInstance.getZeroValue() === dataFact) {
                         if (checkerInstance.callSource(rightOp)) {
                             ret.add(assigned);
                         }
                     }
-                    else if ((0, DataflowSolver_1.factEqual)(rightOp, dataFact) || rightOp.getType() instanceof Type_1.UndefinedType) {
+                    else if (checkerInstance.factEqual(rightOp, dataFact) || rightOp.getType() instanceof Type_1.UndefinedType) {
                         ret.add(assigned);
                         if (assigned instanceof Ref_1.ArkInstanceFieldRef) {
                         }
                     }
-                    else if (dataFact instanceof Ref_1.ArkInstanceFieldRef && rightOp == dataFact.getBase()) {
+                    else if (dataFact instanceof Ref_1.ArkInstanceFieldRef && rightOp === dataFact.getBase()) {
                         const field = new Ref_1.ArkInstanceFieldRef(srcStmt.getLeftOp(), dataFact.getFieldSignature());
                         ret.add(field);
                     }
@@ -140,11 +142,11 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
         return new class {
             getDataFacts(dataFact) {
                 const ret = new Set();
-                if (checkerInstance.getZeroValue() == dataFact) {
+                if (checkerInstance.getZeroValue() === dataFact) {
                     ret.add(checkerInstance.getZeroValue());
                     // 加上调用函数能访问到的所有静态变量，如果不考虑多线程，加上所有变量，考虑则要统计之前已经处理过的变量并排除
                     for (const field of method.getDeclaringArkClass().getStaticFields(checkerInstance.classMap)) {
-                        if (field.getInitializer() == undefined) {
+                        if (field.getInitializer() === undefined) {
                             ret.add(new Ref_1.ArkStaticFieldRef(field.getSignature()));
                         }
                     }
@@ -154,19 +156,19 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
                 }
                 else {
                     const callExpr = srcStmt.getExprs()[0];
-                    if (callExpr instanceof Expr_1.ArkInstanceInvokeExpr && dataFact instanceof Ref_1.ArkInstanceFieldRef && callExpr.getBase().getName() == dataFact.getBase().getName()) {
+                    if (callExpr instanceof Expr_1.ArkInstanceInvokeExpr && dataFact instanceof Ref_1.ArkInstanceFieldRef && callExpr.getBase().getName() === dataFact.getBase().getName()) {
                         // todo:base转this
                         const _this = [...srcStmt.getCfg().getBlocks()][0].getStmts()[0].getDef();
                         const thisRef = new Ref_1.ArkInstanceFieldRef(_this, dataFact.getFieldSignature());
                         ret.add(thisRef);
                     }
-                    else if (callExpr instanceof Expr_1.ArkStaticInvokeExpr && dataFact instanceof Ref_1.ArkStaticFieldRef && callExpr.getMethodSignature().getDeclaringClassSignature() == dataFact.getFieldSignature().getDeclaringSignature()) {
+                    else if (callExpr instanceof Expr_1.ArkStaticInvokeExpr && dataFact instanceof Ref_1.ArkStaticFieldRef && callExpr.getMethodSignature().getDeclaringClassSignature() === dataFact.getFieldSignature().getDeclaringSignature()) {
                         ret.add(dataFact);
                     }
                     for (const sink of checkerInstance.sinks) {
-                        if (callExpr.getMethodSignature() == sink.getSignature()) {
+                        if (callExpr.getMethodSignature() === sink.getSignature()) {
                             for (const param of callExpr.getArgs()) {
-                                if ((0, DataflowSolver_1.factEqual)(param, dataFact)) {
+                                if (checkerInstance.factEqual(param, dataFact)) {
                                     console.log("source: " + dataFact);
                                     console.log("sink: " + srcStmt.getOriginPositionInfo().toString() + ", " + srcStmt.toString());
                                 }
@@ -177,12 +179,12 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
                 const callStmt = srcStmt;
                 const args = callStmt.getInvokeExpr().getArgs();
                 for (let i = 0; i < args.length; i++) {
-                    if (args[i] == dataFact || checkerInstance.callSource(args[i]) && checkerInstance.getZeroValue() == dataFact) {
+                    if (args[i] === dataFact || checkerInstance.callSource(args[i]) && checkerInstance.getZeroValue() === dataFact) {
                         const realParameter = [...method.getCfg().getBlocks()][0].getStmts()[i].getDef();
                         if (realParameter)
                             ret.add(realParameter);
                     }
-                    else if (dataFact instanceof Ref_1.ArkInstanceFieldRef && dataFact.getBase().getName() == args[i].toString()) {
+                    else if (dataFact instanceof Ref_1.ArkInstanceFieldRef && dataFact.getBase().getName() === args[i].toString()) {
                         const realParameter = [...method.getCfg().getBlocks()][0].getStmts()[i].getDef();
                         if (realParameter) {
                             const retRef = new Ref_1.ArkInstanceFieldRef(realParameter, dataFact.getFieldSignature());
@@ -199,10 +201,10 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
         return new class {
             getDataFacts(dataFact) {
                 let ret = new Set();
-                if (dataFact == checkerInstance.getZeroValue()) {
+                if (dataFact === checkerInstance.getZeroValue()) {
                     ret.add(checkerInstance.getZeroValue());
                 }
-                if (dataFact instanceof Ref_1.ArkInstanceFieldRef && dataFact.getBase().getName() == "this") {
+                if (dataFact instanceof Ref_1.ArkInstanceFieldRef && dataFact.getBase().getName() === "this") {
                     // todo:this转base。
                     const expr = callStmt.getExprs()[0];
                     if (expr instanceof Expr_1.ArkInstanceInvokeExpr) {
@@ -217,13 +219,13 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
                     let ass = callStmt;
                     let leftOp = ass.getLeftOp();
                     let retVal = srcStmt.getOp();
-                    if (dataFact == checkerInstance.getZeroValue()) {
+                    if (dataFact === checkerInstance.getZeroValue()) {
                         ret.add(checkerInstance.getZeroValue());
                         if (checkerInstance.callSource(retVal) || checkerInstance.callSource(ass.getRightOp())) {
                             ret.add(leftOp);
                         }
                     }
-                    else if (retVal == dataFact) {
+                    else if (retVal === dataFact) {
                         ret.add(leftOp);
                     }
                 }
@@ -236,11 +238,11 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
         return new class {
             getDataFacts(dataFact) {
                 const ret = new Set();
-                if (checkerInstance.getZeroValue() == dataFact) {
+                if (checkerInstance.getZeroValue() === dataFact) {
                     ret.add(checkerInstance.getZeroValue());
                 }
                 const defValue = srcStmt.getDef();
-                if (!(defValue && defValue == dataFact)) {
+                if (!(defValue && defValue === dataFact)) {
                     ret.add(dataFact);
                 }
                 return ret;
@@ -258,15 +260,15 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
         const data = fs.readFileSync(path, 'utf-8');
         const objects = JSON.parse(data);
         for (const object of objects) {
-            const file = this.scene.getSdkArkFilesMap().get(object.file);
+            const file = this.scene.getFile(new ArkSignature_1.FileSignature(object.sdkName, object.file));
             if (!file) {
                 console.log("no file: " + object.file);
                 continue;
             }
             let arkClass = null;
-            if (object.namespace == "_") {
+            if (object.namespace === "_") {
                 for (const clas of file.getClasses()) {
-                    if (clas.getName() == object.class) {
+                    if (clas.getName() === object.class) {
                         arkClass = clas;
                         break;
                     }
@@ -275,14 +277,14 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
             else {
                 let arkNamespace = null;
                 for (const ns of file.getNamespaces()) {
-                    if (ns.getName() == object.namespace) {
+                    if (ns.getName() === object.namespace) {
                         arkNamespace = ns;
                         break;
                     }
                 }
                 if (arkNamespace) {
                     for (const clas of arkNamespace.getClasses()) {
-                        if (clas.getName() == object.class) {
+                        if (clas.getName() === object.class) {
                             arkClass = clas;
                             break;
                         }
@@ -300,7 +302,7 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
             else {
                 let arkMethod = null;
                 for (const method of arkClass.getMethods()) {
-                    if (method.getName() == object.method) {
+                    if (method.getName() === object.method) {
                         arkMethod = method;
                         break;
                     }
@@ -316,6 +318,18 @@ class TiantAnalysisChecker extends DataflowProblem_1.DataflowProblem {
         }
         return arkMethods;
     }
+    factEqual(d1, d2) {
+        if (d1 instanceof Constant_1.Constant && d2 instanceof Constant_1.Constant) {
+            return d1 === d2;
+        }
+        else if (d1 instanceof Local_1.Local && d2 instanceof Local_1.Local) {
+            return (0, Util_1.LocalEqual)(d1, d2);
+        }
+        else if (d1 instanceof Ref_1.AbstractRef && d2 instanceof Ref_1.AbstractRef) {
+            return (0, Util_1.RefEqual)(d1, d2);
+        }
+        return false;
+    }
 }
 exports.TiantAnalysisChecker = TiantAnalysisChecker;
 class TiantAnalysisSolver extends DataflowSolver_1.DataflowSolver {

package/lib/core/dataflow/UndefinedVariable.d.ts

@@ -2,12 +2,13 @@ import { Scene } from '../../Scene';
 import { DataflowProblem, FlowFunction } from './DataflowProblem';
 import { Local } from '../base/Local';
 import { Value } from '../base/Value';
-import { Stmt } from '../base/Stmt';
+import { ArkAssignStmt, Stmt } from '../base/Stmt';
 import { ArkMethod } from '../model/ArkMethod';
 import { Constant } from '../base/Constant';
 import { DataflowSolver } from './DataflowSolver';
 import { FileSignature, NamespaceSignature } from '../model/ArkSignature';
 import { ArkClass } from '../model/ArkClass';
+import { ArkField } from '../model/ArkField';
 export declare class UndefinedVariableChecker extends DataflowProblem<Value> {
     zeroValue: Constant;
     entryPoint: Stmt;
@@ -15,18 +16,31 @@ export declare class UndefinedVariableChecker extends DataflowProblem<Value> {
     scene: Scene;
     classMap: Map<FileSignature | NamespaceSignature, ArkClass[]>;
     globalVariableMap: Map<FileSignature | NamespaceSignature, Local[]>;
+    outcomes: Outcome[];
     constructor(stmt: Stmt, method: ArkMethod);
     getEntryPoint(): Stmt;
     getEntryMethod(): ArkMethod;
     private isUndefined;
     getNormalFlowFunction(srcStmt: Stmt, tgtStmt: Stmt): FlowFunction<Value>;
+    insideNormalFlowFunction(ret: Set<Value>, srcStmt: ArkAssignStmt, dataFact: Value): void;
     getCallFlowFunction(srcStmt: Stmt, method: ArkMethod): FlowFunction<Value>;
+    insideCallFlowFunction(ret: Set<Value>, method: ArkMethod): void;
+    addUndefinedField(field: ArkField, method: ArkMethod, ret: Set<Value>): void;
+    addParameters(srcStmt: Stmt, dataFact: Value, method: ArkMethod, ret: Set<Value>): void;
     getExitToReturnFlowFunction(srcStmt: Stmt, tgtStmt: Stmt, callStmt: Stmt): FlowFunction<Value>;
     getCallToReturnFlowFunction(srcStmt: Stmt, tgtStmt: Stmt): FlowFunction<Value>;
     createZeroValue(): Value;
     getZeroValue(): Value;
+    factEqual(d1: Value, d2: Value): boolean;
+    getOutcomes(): Outcome[];
 }
 export declare class UndefinedVariableSolver extends DataflowSolver<Value> {
     constructor(problem: UndefinedVariableChecker, scene: Scene);
 }
+declare class Outcome {
+    value: Value;
+    stmt: Stmt;
+    constructor(v: Value, s: Stmt);
+}
+export {};
 //# sourceMappingURL=UndefinedVariable.d.ts.map

package/lib/core/dataflow/UndefinedVariable.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"UndefinedVariable.d.ts","sourceRoot":"","sources":["../../../src/core/dataflow/UndefinedVariable.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,OAAO,EAA+C,IAAI,EAAE,MAAM,cAAc,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGlD,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAG7C,qBAAa,wBAAyB,SAAQ,eAAe,CAAC,KAAK,CAAC;IAChE,SAAS,EAAE,QAAQ,CAA0D;IAC7E,UAAU,EAAE,IAAI,CAAC;IACjB,WAAW,EAAE,SAAS,CAAC;IACvB,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE,GAAG,CAAC,aAAa,GAAG,kBAAkB,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC9D,iBAAiB,EAAE,GAAG,CAAC,aAAa,GAAG,kBAAkB,EAAE,KAAK,EAAE,CAAC,CAAC;gBACxD,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS;IASzC,aAAa,IAAI,IAAI;IAIrB,cAAc,IAAI,SAAS;IAI3B,OAAO,CAAC,WAAW;IAUnB,qBAAqB,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IA4DtE,mBAAmB,CAAC,OAAO,EAAC,IAAI,EAAE,MAAM,EAAC,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC;IAyDxE,2BAA2B,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,EAAE,QAAQ,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IAuC3F,2BAA2B,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IAkB5E,eAAe,IAAI,KAAK;IAIxB,YAAY,IAAI,KAAK;CAGxB;AAED,qBAAa,uBAAwB,SAAQ,cAAc,CAAC,KAAK,CAAC;gBAClD,OAAO,EAAE,wBAAwB,EAAE,KAAK,EAAE,KAAK;CAG9D"}
+{"version":3,"file":"UndefinedVariable.d.ts","sourceRoot":"","sources":["../../../src/core/dataflow/UndefinedVariable.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,OAAO,EAAE,aAAa,EAAgC,IAAI,EAAE,MAAM,cAAc,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAI7C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAG7C,qBAAa,wBAAyB,SAAQ,eAAe,CAAC,KAAK,CAAC;IAChE,SAAS,EAAE,QAAQ,CAA0D;IAC7E,UAAU,EAAE,IAAI,CAAC;IACjB,WAAW,EAAE,SAAS,CAAC;IACvB,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE,GAAG,CAAC,aAAa,GAAG,kBAAkB,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC9D,iBAAiB,EAAE,GAAG,CAAC,aAAa,GAAG,kBAAkB,EAAE,KAAK,EAAE,CAAC,CAAC;IACpE,QAAQ,EAAE,OAAO,EAAE,CAAM;gBACb,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS;IASzC,aAAa,IAAI,IAAI;IAIrB,cAAc,IAAI,SAAS;IAI3B,OAAO,CAAC,WAAW;IAUnB,qBAAqB,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IAoCtE,wBAAwB,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,GAAG,IAAI;IA6BxF,mBAAmB,CAAC,OAAO,EAAC,IAAI,EAAE,MAAM,EAAC,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC;IAuBxE,sBAAsB,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,SAAS,GAAG,IAAI;IAmBhE,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI;IAe5E,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI;IAmBvF,2BAA2B,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,EAAE,QAAQ,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IAuC3F,2BAA2B,CAAC,OAAO,EAAC,IAAI,EAAE,OAAO,EAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC;IAkB5E,eAAe,IAAI,KAAK;IAIxB,YAAY,IAAI,KAAK;IAIrB,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,GAAG,OAAO;IAWjC,WAAW,IAAI,OAAO,EAAE;CAGlC;AAED,qBAAa,uBAAwB,SAAQ,cAAc,CAAC,KAAK,CAAC;gBAClD,OAAO,EAAE,wBAAwB,EAAE,KAAK,EAAE,KAAK;CAG9D;AAGD,cAAM,OAAO;IACT,KAAK,EAAE,KAAK,CAAC;IACb,IAAI,EAAE,IAAI,CAAC;gBACC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI;CAIhC"}