• Home
• io.github.nkbai
• soot-infoflow
• 2.10.4
• source code
• AbortRequestedReason.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

soot.jimple.infoflow.memory.reasons.AbortRequestedReason Maven / Gradle / Ivy

package soot.jimple.infoflow.memory.reasons;

import soot.jimple.infoflow.memory.ISolverTerminationReason;

/**
 * Reason for terminating a data flow solver after an external request
 * 
 * @author Steven Arzt
 *
 */
public class AbortRequestedReason implements ISolverTerminationReason {

	@Override
	public ISolverTerminationReason combine(ISolverTerminationReason terminationReason) {
		return new MultiReason(this, terminationReason);
	}

}