it.unive.lisa.interprocedural.callgraph.RTACallGraph Maven / Gradle / Ivy

Go to download
package it.unive.lisa.interprocedural.callgraph;

import it.unive.lisa.program.cfg.statement.Expression;
import it.unive.lisa.type.Type;
import java.util.Collection;

/**
 * A call graph constructed following the Rapid Type Analysis as defined in:
 * Frank Tip and Jens Palsberg. 2000. Scalable propagation-based call graph
 * construction algorithms. In Proceedings of the 15th ACM SIGPLAN conference on
 * Object-oriented programming, systems, languages, and applications (OOPSLA
 * '00). Association for Computing Machinery, New York, NY, USA, 281–293.
 * DOI:https://doi.org/10.1145/353171.353190
 *
 * @author Pietro Ferrara
 */
public final class RTACallGraph extends BaseCallGraph {

	@Override
	protected Collection getPossibleTypesOfReceiver(Expression receiver) {
		return receiver.getRuntimeTypes();
	}

}