Module this_tracking

Module this_tracking 

Source

Structs§

ThisPointerTracker
Tracks the state of member fields within a method based on ‘this’ pointer semantics