@specs-feup/clava/api/clava/analysis/analysers/BoundsAnalyser.d.ts

A C/C++ source-to-source compiler written in Typescript

import { FileJp, Program } from "../../../Joinpoints.js";
import Analyser from "../Analyser.js";
import ResultFormatManager from "../ResultFormatManager.js";
type T = Program | FileJp;
/**
 * Analyser that scan code to detect unsafe array accesses
 */
export default class BoundsAnalyser extends Analyser {
    resultFormatManager: ResultFormatManager<FileJp | Program>;
    /**
     * Check file for illegal access of an array with an invalid index
     * @param $startNode -
     * @returns fileResult
     */
    analyse($startNode?: T): import("../ResultList.js").default | undefined;
}
export {};
//# sourceMappingURL=BoundsAnalyser.d.ts.map