Provides an abstract class for accurate alias modeling of library
functions when source code is not available. To use this QL library,
create a QL class extending
AliasFunction with a characteristic
predicate that selects the function or set of functions you are modeling.
Within that class, override the predicates provided by
to match the flow within that function.
Models the aliasing behavior of a library function.