Class BoundsAnalyser

Analyser that scan code to detect unsafe array accesses

Hierarchy (View Summary)

Analyser
- BoundsAnalyser

Index

Constructors

Properties

resultFormatManager

Methods

Constructors

constructor

new BoundsAnalyser(): BoundsAnalyser

Returns BoundsAnalyser

Inherited from Analyser.constructor

Properties

resultFormatManager

resultFormatManager: ResultFormatManager<FileJp | Program> = ...

Methods

analyse

analyse($startNode?: T): ResultList | undefined
Check file for illegal access of an array with an invalid index
Parameters
- $startNode: T = ...
Returns ResultList | undefined
fileResult
Overrides Analyser.analyse
- Defined in clava/Clava-JS/src-api/clava/analysis/analysers/BoundsAnalyser.ts:27