Class SpecializedInstantiator

  • All Implemented Interfaces:
    IInstantiator

    public class SpecializedInstantiator
    extends FlatInstantiator
    Instantiates certain android-types differently. For example instantiating an android.content.Context would pull in all Android-components in scope resulting in a massivly overapproximated model.