Variable GasFeatureKey`Const`

GasFeatureKey: {
    Dataflow: "dataflow";
    Linter: "linter";
    SideEffectLinking: "side-effect-linking";
    Slicer: "slicer";
    Source: "source";
} = ...

Known feature keys accepted by ReadOnlyFlowrAnalyzerGasContext.checkGas, each a sensitivity factor in FlowrGasConfig.features.

Type Declaration

ReadonlyDataflow: "dataflow"

Gas key for dataflow extraction. Unlike the keys above it is armed once per run (see ReadOnlyFlowrAnalyzerGasContext.budget) and counted as the fold goes.
ReadonlyLinter: "linter"

Gas key for the linter, checked once per rule; remaining rules are skipped under critical pressure.
ReadonlySideEffectLinking: "side-effect-linking"

Gas key for the side-effect link resolution phase of the dataflow extractor (matches unknown side effects against call sites via the CFG).
ReadonlySlicer: "slicer"

Gas key for the static slicer, checked while traversing the dataflow graph; a hit stops traversal early (SliceResult.stoppedEarly).
ReadonlySource: "source"

Gas key for built-in source() file analysis.

Variable GasFeatureKey`Const`

Type Declaration

`Readonly`Dataflow: "dataflow"

`Readonly`Linter: "linter"

`Readonly`SideEffectLinking: "side-effect-linking"

`Readonly`Slicer: "slicer"

`Readonly`Source: "source"

Settings

Variable GasFeatureKeyConst

Type Declaration

ReadonlyDataflow: "dataflow"

ReadonlyLinter: "linter"

ReadonlySideEffectLinking: "side-effect-linking"

ReadonlySlicer: "slicer"

ReadonlySource: "source"

Settings

Variable GasFeatureKey`Const`

`Readonly`Dataflow: "dataflow"

`Readonly`Linter: "linter"

`Readonly`SideEffectLinking: "side-effect-linking"

`Readonly`Slicer: "slicer"

`Readonly`Source: "source"