This package contains packages and classes that are used to maintain context sensitivity in flow analyses. Note that context here stands for any sort of information that is used differentiate value sets in flow analyses. It can be program points, call-string, receiver objects, etc.