Module cwe_checker_lib::analysis::string_abstraction::context

source ·
Expand description

This module contains the Context Object for the String Abstraction. It holds all necessary information that stays unchanged during the analysis.

Modules

  • symbol_calls
    This module handles the string processing at external symbol calls.

Structs

  • Context
    Contains all context information needed for the string abstract fixpoint computation.