Interface AbsintAnalysis<Domains>

Represents an abstract interpretation analysis with the given domains, abstract semantics, and reduction functions.

interface AbsintAnalysis<Domains extends AbstractProduct> {
    domains: Required<Domains>;
    reductions?: readonly ProductReduction<Partial<Domains>>[];
    semantics: DomainSemantics<Domains>;
}

Domains extends AbstractProduct
Type of the abstract product mapping the names of the abstract domains of the analysis to the respective domains

Properties

domains: Required<Domains>

The value abstract domains inferred by the analysis, mapping each domain name to an instance of the respective abstract domain

reductions?: readonly ProductReduction<Partial<Domains>>[]

Optional reduction functions of the reduced product domain, refining the inferred abstract values based on the values of the other abstract domains

The abstract semantics to apply for each of the abstract domains of the analysis