import { FileJp, Joinpoint, Program } from "../../../Joinpoints.js";
import Analyser from "../Analyser.js";
import ResultFormatManager from "../ResultFormatManager.js";
type T = Program | FileJp;
/**
 * Analyser that scan scopes to check double-freed or unfreed memory
 */
export default class DoubleFreeAnalyser extends Analyser {
    resultFormatManager: ResultFormatManager<T>;
    static isDynamicAlloc($node: Joinpoint): 1 | 0;
    /**
     * Check file for pointers not being freed or being freed two times in the same scope
     * @param $startNode -
     * @returns fileResult
     */
    analyse($startNode: T): import("../ResultList.js").default | undefined;
}
export {};
//# sourceMappingURL=DoubleFreeAnalyser.d.ts.map