Variable FILE_PATH_VALIDITYConst

Type Declaration

• ReadonlycreateSearch: (
      config: FilePathValidityConfig,
  ) => FlowrSearchBuilderOut<"from-query", [], ParentInformation, "with">

• Readonlyinfo: {
      certainty: BestEffort;
      defaultConfig: {
          additionalReadFunctions: readonly [];
          additionalWriteFunctions: readonly [];
          includeUnknown: false;
      };
      description: "Checks whether file paths used in read and write operations are valid and point to existing files.";
      name: "File Path Validity";
      tags: readonly [Robustness, Reproducibility, Bug];
  }

• ReadonlyprettyPrint: {
      full: (result: FilePathValidityResult) => string;
      query: (result: FilePathValidityResult) => string;
  }

• ReadonlyprocessSearchResult: (
      elements: FlowrSearchElements<
          ParentInformation,
          FlowrSearchElement<ParentInformation>[],
      >,
      config: FilePathValidityConfig,
      data: {
          analyzer: ReadonlyFlowrAnalysisProvider;
          cfg: ControlFlowInformation;
          dataflow: DataflowInformation;
          normalize: NormalizedAst;
      },
  ) => {
      ".meta": FilePathValidityMetadata;
      results: FilePathValidityResult[];
  }