Module functions 

Auto-generated module

🤖 Generated with SplitRS

Constants

ALIAS_MAX_ITERS

Alias default max iterations

ALIAS_PASS_NAME_BASIC

Alias analysis pass name constants

ALIAS_PASS_NAME_CFL

ALIAS_PASS_NAME_GLOBALS

ALIAS_PASS_NAME_SCOPED

ALIAS_PASS_NAME_TBAA

ALIAS_PASS_VERSION

Alias analysis version string

ALIAS_V2

Alias version 2.0 marker constant

ANDERSEN_PASS

Andersen pass name

CFL_ANDERSEN_PASS

CFL-Andersen pass name

OXILEAN_DEFAULT_ALIAS_PASS

Default alias pass for oxilean

STEENSGAARD_PASS

Steensgaard pass name

Functions

alias_certainty_order

Alias analysis result ordering (most certain first)

alias_config_from_features

Alias analysis config from feature flags

alias_config_summary

Print alias config summary

alias_default_features

Default alias feature flags

alias_default_pipeline_passes

Alias analysis pipeline default passes

alias_default_version

Alias analysis version info default

alias_is_must

Alias analysis is_must_alias shorthand

alias_is_no

Alias analysis is_no_alias shorthand

alias_result_str

Alias analysis diagnostic helper

alias_stats_summary

Alias analysis final code stats helper

tbaa_no_alias

Returns true if two LCNF types are known to be non-aliasing.

transitive_pts_closure

Compute the transitive closure of the copy edges in the points-to graph.