Provides common functionalities for {@link BinaryExp} implementations.

Provides common functionality for {@link IBitSet} implementations. <p> Especially, based on {@link IBitSet.Action}, it implements some operations on {

Common functionality for {@link CallGraph} implementations. This class contains the data structures and methods for storing and accessing information

All heap models should inherit this class, and we can define some uniform behaviors of heap modeling here.

This map supports hybrid of two map implementations, where one is efficient for small map and another one is efficient for large map. <p> When the num

This set supports hybrid of two set implementations, where one is efficient for small set and another one is efficient for large set. <p> When the num

Provides common functionalities for implementing IR-based API models.

Provides common functionalities for {@link InterDataflowAnalysis} implementations. @param <Method> type of ICFG edges @param <Node> type of ICFG no

Provides common functionalities for implementing API models.

Map-based implementation for {@link ResultHolder}.