Module cwe_checker_lib::analysis::string_abstraction

source ·
Expand description

A fixpoint analysis that abstracts strings in the program using various string abstract domains. These include the Character Inclusion Domain and Bricks Domain among others.

Modules

  • context
    This module contains the Context Object for the String Abstraction. It holds all necessary information that stays unchanged during the analysis.
  • state
    The state module holds all information at CFG nodes that are generated from the String Abstraction analysis. Its content changes until a fixpoint is reached.

Structs

  • Config
    Configurable parameters for the analysis.
  • StringAbstraction
    A wrapper struct for the string abstraction computation object.

Functions

  • run
    Compute the string abstraction and return its results.