Module rupta::pta::context_strategy
source · Expand description
Context strategies for context-sensitive pointer analyses, such as k-callsite-sensitive, k-object-sensitive, …
Only k-callsite-sensitive pointer analyses have been thoroughly evaluated so far.