Module rupta::pta::propagator::propagator

source ·
Expand description

The key component of our pointer analysis.

Structs§

  • Propagator
    Propagating the points-to information along the PAG edges.