arkanalyzer 1.0.20 → 1.0.21

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

@@ -1,16 +1,16 @@
-import { IPtsCollection, PtsCollectionType } from './PtsDS';
-import { NodeID } from '../../core/graph/BaseExplicitGraph';
-export declare class PointerAnalysisConfig {
-    private static instance;
-    kLimit: number;
-    outputDirectory: string;
-    detectTypeDiff: boolean;
-    dotDump: boolean;
-    unhandledFuncDump: boolean;
-    ptsCollectionType: PtsCollectionType;
-    ptsCollectionCtor: new () => IPtsCollection<NodeID>;
-    constructor(kLimit: number, outputDirectory: string, detectTypeDiff?: boolean, dotDump?: boolean, unhandledFuncDump?: boolean, ptsCoType?: PtsCollectionType);
-    static create(kLimit: number, outputDirectory: string, detectTypeDiff?: boolean, dotDump?: boolean, unhandledFuncDump?: boolean, ptsCoType?: PtsCollectionType): PointerAnalysisConfig;
-    static getInstance(): PointerAnalysisConfig;
-}
+import { IPtsCollection, PtsCollectionType } from './PtsDS';
+import { NodeID } from '../../core/graph/BaseExplicitGraph';
+export declare class PointerAnalysisConfig {
+    private static instance;
+    kLimit: number;
+    outputDirectory: string;
+    detectTypeDiff: boolean;
+    dotDump: boolean;
+    unhandledFuncDump: boolean;
+    ptsCollectionType: PtsCollectionType;
+    ptsCollectionCtor: new () => IPtsCollection<NodeID>;
+    constructor(kLimit: number, outputDirectory: string, detectTypeDiff?: boolean, dotDump?: boolean, unhandledFuncDump?: boolean, ptsCoType?: PtsCollectionType);
+    static create(kLimit: number, outputDirectory: string, detectTypeDiff?: boolean, dotDump?: boolean, unhandledFuncDump?: boolean, ptsCoType?: PtsCollectionType): PointerAnalysisConfig;
+    static getInstance(): PointerAnalysisConfig;
+}
 //# sourceMappingURL=PointerAnalysisConfig.d.ts.map

package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.js

@@ -1,81 +1,81 @@
-"use strict";
-/*
- * Copyright (c) 2024-2025 Huawei Device Co., Ltd.
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
-    __setModuleDefault(result, mod);
-    return result;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.PointerAnalysisConfig = void 0;
-const fs = __importStar(require("fs"));
-const PtsDS_1 = require("./PtsDS");
-class PointerAnalysisConfig {
-    /*
-     * Note: DO NOT use `new PointerAnalysisConfig` to initialize ptaconfig
-     *       Use PointerAnalysisConfig.create() for singleton pattern
-     */
-    constructor(kLimit, outputDirectory, detectTypeDiff = false, dotDump = false, unhandledFuncDump = false, ptsCoType = PtsDS_1.PtsCollectionType.Set) {
-        if (kLimit > 5) {
-            throw new Error('K Limit too large');
-        }
-        this.kLimit = kLimit;
-        this.outputDirectory = outputDirectory;
-        this.detectTypeDiff = detectTypeDiff;
-        this.dotDump = dotDump;
-        this.unhandledFuncDump = unhandledFuncDump;
-        this.ptsCollectionType = ptsCoType;
-        this.ptsCollectionCtor = (0, PtsDS_1.createPtsCollectionCtor)(ptsCoType);
-        if (!fs.existsSync(outputDirectory)) {
-            fs.mkdirSync(outputDirectory, { recursive: true });
-        }
-    }
-    /*
-     * Create Singleton instance
-     * The instance can be created multi-times and be overwrited
-     */
-    static create(kLimit, outputDirectory, detectTypeDiff = false, dotDump = false, unhandledFuncDump = false, ptsCoType = PtsDS_1.PtsCollectionType.Set) {
-        PointerAnalysisConfig.instance = new PointerAnalysisConfig(kLimit, outputDirectory, detectTypeDiff, dotDump, unhandledFuncDump, ptsCoType);
-        return PointerAnalysisConfig.instance;
-    }
-    /*
-     * Get Singleton instance
-     */
-    static getInstance() {
-        if (!PointerAnalysisConfig.instance) {
-            throw new Error('PTA config: instance is not existing');
-        }
-        return PointerAnalysisConfig.instance;
-    }
-}
-exports.PointerAnalysisConfig = PointerAnalysisConfig;
+"use strict";
+/*
+ * Copyright (c) 2024-2025 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PointerAnalysisConfig = void 0;
+const fs = __importStar(require("fs"));
+const PtsDS_1 = require("./PtsDS");
+class PointerAnalysisConfig {
+    /*
+     * Note: DO NOT use `new PointerAnalysisConfig` to initialize ptaconfig
+     *       Use PointerAnalysisConfig.create() for singleton pattern
+     */
+    constructor(kLimit, outputDirectory, detectTypeDiff = false, dotDump = false, unhandledFuncDump = false, ptsCoType = PtsDS_1.PtsCollectionType.Set) {
+        if (kLimit > 5) {
+            throw new Error('K Limit too large');
+        }
+        this.kLimit = kLimit;
+        this.outputDirectory = outputDirectory;
+        this.detectTypeDiff = detectTypeDiff;
+        this.dotDump = dotDump;
+        this.unhandledFuncDump = unhandledFuncDump;
+        this.ptsCollectionType = ptsCoType;
+        this.ptsCollectionCtor = (0, PtsDS_1.createPtsCollectionCtor)(ptsCoType);
+        if (!fs.existsSync(outputDirectory)) {
+            fs.mkdirSync(outputDirectory, { recursive: true });
+        }
+    }
+    /*
+     * Create Singleton instance
+     * The instance can be created multi-times and be overwrited
+     */
+    static create(kLimit, outputDirectory, detectTypeDiff = false, dotDump = false, unhandledFuncDump = false, ptsCoType = PtsDS_1.PtsCollectionType.Set) {
+        PointerAnalysisConfig.instance = new PointerAnalysisConfig(kLimit, outputDirectory, detectTypeDiff, dotDump, unhandledFuncDump, ptsCoType);
+        return PointerAnalysisConfig.instance;
+    }
+    /*
+     * Get Singleton instance
+     */
+    static getInstance() {
+        if (!PointerAnalysisConfig.instance) {
+            throw new Error('PTA config: instance is not existing');
+        }
+        return PointerAnalysisConfig.instance;
+    }
+}
+exports.PointerAnalysisConfig = PointerAnalysisConfig;

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

@@ -1,81 +1,81 @@
-import { SparseBitVector } from '../../utils/SparseBitVector';
-type Idx = number;
-export interface IPtsCollection<T extends Idx> {
-    contains(elem: T): boolean;
-    insert(elem: T): boolean;
-    remove(elem: T): boolean;
-    clone(): this;
-    union(other: this): boolean;
-    subtract(other: this): boolean;
-    clear(): void;
-    count(): number;
-    isEmpty(): boolean;
-    superset(other: this): boolean;
-    intersect(other: this): boolean;
-    getProtoPtsSet(): any;
-    [Symbol.iterator](): IterableIterator<T>;
-}
-export declare function createPtsCollectionCtor<T extends Idx>(type: PtsCollectionType): new () => IPtsCollection<T>;
-export declare class PtsSet<T extends Idx> implements IPtsCollection<T> {
-    pts: Set<T>;
-    constructor();
-    contains(elem: T): boolean;
-    insert(elem: T): boolean;
-    remove(elem: T): boolean;
-    clone(): this;
-    union(other: this): boolean;
-    subtract(other: this): boolean;
-    clear(): void;
-    count(): number;
-    isEmpty(): boolean;
-    superset(other: this): boolean;
-    intersect(other: this): boolean;
-    getProtoPtsSet(): Set<T>;
-    [Symbol.iterator](): IterableIterator<T>;
-}
-export declare class PtsBV<T extends Idx> implements IPtsCollection<T> {
-    pts: SparseBitVector;
-    constructor();
-    contains(elem: T): boolean;
-    insert(elem: T): boolean;
-    remove(elem: T): boolean;
-    clone(): this;
-    union(other: this): boolean;
-    subtract(other: this): boolean;
-    clear(): void;
-    count(): number;
-    isEmpty(): boolean;
-    superset(other: this): boolean;
-    intersect(other: this): boolean;
-    getProtoPtsSet(): SparseBitVector;
-    [Symbol.iterator](): IterableIterator<T>;
-}
-export declare enum PtsCollectionType {
-    Set = 0,
-    BitVector = 1
-}
-export declare class DiffPTData<K, D extends Idx, DS extends IPtsCollection<D>> {
-    private DSCreator;
-    private diffPtsMap;
-    private propaPtsMap;
-    constructor(DSCreator: (new () => DS));
-    clear(): void;
-    addPts(v: K, elem: D): boolean;
-    resetElem(v: K): boolean;
-    unionDiffPts(dstv: K, srcv: K): boolean;
-    unionPts(dstv: K, srcv: K): boolean;
-    unionPtsTo(dstv: K, srcDs: DS): boolean;
-    removePtsElem(v: K, elem: D): boolean;
-    getDiffPts(v: K): DS | undefined;
-    getMutDiffPts(v: K): DS | undefined;
-    getPropaPts(v: K): DS | undefined;
-    getAllPropaPts(): Map<K, DS>;
-    getPropaPtsMut(v: K): DS;
-    flush(v: K): void;
-    clearPts(v: K): void;
-    clearDiffPts(v: K): void;
-    clearPropaPts(v: K): void;
-    calculateDiff(src: K, dst: K): DS;
-}
-export {};
+import { SparseBitVector } from '../../utils/SparseBitVector';
+type Idx = number;
+export interface IPtsCollection<T extends Idx> {
+    contains(elem: T): boolean;
+    insert(elem: T): boolean;
+    remove(elem: T): boolean;
+    clone(): this;
+    union(other: this): boolean;
+    subtract(other: this): boolean;
+    clear(): void;
+    count(): number;
+    isEmpty(): boolean;
+    superset(other: this): boolean;
+    intersect(other: this): boolean;
+    getProtoPtsSet(): any;
+    [Symbol.iterator](): IterableIterator<T>;
+}
+export declare function createPtsCollectionCtor<T extends Idx>(type: PtsCollectionType): new () => IPtsCollection<T>;
+export declare class PtsSet<T extends Idx> implements IPtsCollection<T> {
+    pts: Set<T>;
+    constructor();
+    contains(elem: T): boolean;
+    insert(elem: T): boolean;
+    remove(elem: T): boolean;
+    clone(): this;
+    union(other: this): boolean;
+    subtract(other: this): boolean;
+    clear(): void;
+    count(): number;
+    isEmpty(): boolean;
+    superset(other: this): boolean;
+    intersect(other: this): boolean;
+    getProtoPtsSet(): Set<T>;
+    [Symbol.iterator](): IterableIterator<T>;
+}
+export declare class PtsBV<T extends Idx> implements IPtsCollection<T> {
+    pts: SparseBitVector;
+    constructor();
+    contains(elem: T): boolean;
+    insert(elem: T): boolean;
+    remove(elem: T): boolean;
+    clone(): this;
+    union(other: this): boolean;
+    subtract(other: this): boolean;
+    clear(): void;
+    count(): number;
+    isEmpty(): boolean;
+    superset(other: this): boolean;
+    intersect(other: this): boolean;
+    getProtoPtsSet(): SparseBitVector;
+    [Symbol.iterator](): IterableIterator<T>;
+}
+export declare enum PtsCollectionType {
+    Set = 0,
+    BitVector = 1
+}
+export declare class DiffPTData<K, D extends Idx, DS extends IPtsCollection<D>> {
+    private DSCreator;
+    private diffPtsMap;
+    private propaPtsMap;
+    constructor(DSCreator: (new () => DS));
+    clear(): void;
+    addPts(v: K, elem: D): boolean;
+    resetElem(v: K): boolean;
+    unionDiffPts(dstv: K, srcv: K): boolean;
+    unionPts(dstv: K, srcv: K): boolean;
+    unionPtsTo(dstv: K, srcDs: DS): boolean;
+    removePtsElem(v: K, elem: D): boolean;
+    getDiffPts(v: K): DS | undefined;
+    getMutDiffPts(v: K): DS | undefined;
+    getPropaPts(v: K): DS | undefined;
+    getAllPropaPts(): Map<K, DS>;
+    getPropaPtsMut(v: K): DS;
+    flush(v: K): void;
+    clearPts(v: K): void;
+    clearDiffPts(v: K): void;
+    clearPropaPts(v: K): void;
+    calculateDiff(src: K, dst: K): DS;
+}
+export {};
 //# sourceMappingURL=PtsDS.d.ts.map