Class BamCpaRun.Builder

    • Field Detail

      • maxCallStackDepth

        protected int maxCallStackDepth
      • reduceHeap

        protected boolean reduceHeap
    • Constructor Detail

      • Builder

        public Builder()
    • Method Detail

      • build

        public abstract BamCpaRun<?,​?,​?,​?,​?> build()
        Returns the BamCpaRun for given parameters.
      • setMaxCallStackDepth

        public BamCpaRun.Builder setMaxCallStackDepth​(int maxCallStackDepth)
        Sets the call stack limit for the interprocedural analysis.
      • setAbortOperator

        public BamCpaRun.Builder setAbortOperator​(AbortOperator abortOperator)
        Sets the abort operator for premature CPA algorithm termination.
      • setReduceHeap

        public BamCpaRun.Builder setReduceHeap​(boolean reduceHeap)
        Sets whether the heap should be reduced before method calls.