MCPcopy Create free account
hub / github.com/LFYSec/MScan / getParam

Method getParam

src/main/java/pascal/taie/ir/IR.java:68–68  ·  view source on GitHub ↗

@return the i-th parameter in this IR. The indexes start from 0.

(int i)

Source from the content-addressed store, hash-verified

66 * @return the i-th parameter in this IR. The indexes start from 0.
67 */
68 Var getParam(int i);
69
70 /**
71 * @return {@code true} if {@code var} is a parameter of this IR.

Callers 14

onNewCallEdgeMethod · 0.95
onNewCSMethodMethod · 0.95
handleParamSourceMethod · 0.95
addEntryPointMethod · 0.95
onNewPointsToSetMethod · 0.65
visitMethod · 0.65
onNewPointsToSetMethod · 0.65
onNewPointsToSetMethod · 0.65
initModelsMethod · 0.65
newBoundaryFactMethod · 0.65
dumpMethodDeclarationMethod · 0.65
buildCompleteMethod · 0.65

Implementers 1

DefaultIRsrc/main/java/pascal/taie/ir/DefaultIR

Calls

no outgoing calls

Tested by

no test coverage detected