Module rupta::pta

Modules§

andersen
context_sensitive
context_strategy
Context strategies for context-sensitive pointer analyses, such as k-callsite-sensitive, k-object-sensitive, …
propagator

Structs§

PTACallbacks

Enums§

PTAType

Traits§

PointerAnalysis

Type Aliases§