it.unive.lisa.interprocedural.context.ContextSensitivityToken Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of lisa-analyses Show documentation

A library for static analysis

The newest version!

package it.unive.lisa.interprocedural.context;

import it.unive.lisa.interprocedural.ScopeId;
import it.unive.lisa.program.cfg.statement.call.CFGCall;

/**
 * A token for interprocedural analysis that tunes the level of context
 * sensitivity. This works as a mask over the call stack, keeping track only of
 * some of the calls appearing in it.
 */
public interface ContextSensitivityToken extends ScopeId {

	// we redefine these just to give a more specific return type

	@Override
	ContextSensitivityToken startingId();

	@Override
	ContextSensitivityToken push(
			CFGCall c);
}