Uses of Class
pascal.taie.language.classes.JMethod

Packages that use JMethod

Package	Description
pascal.taie
pascal.taie.analysis.bugfinder
pascal.taie.analysis.graph.callgraph	Provides the classes necessary to build and represent a call graph.
pascal.taie.analysis.graph.cfg
pascal.taie.analysis.graph.flowgraph
pascal.taie.analysis.graph.icfg	Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).
pascal.taie.analysis.pta
pascal.taie.analysis.pta.core.cs.element	Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
pascal.taie.analysis.pta.core.cs.selector	Provide various context selectors, which correspond to various context sensitivity variants.
pascal.taie.analysis.pta.core.heap	Provide model for heap objects.
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).
pascal.taie.analysis.pta.plugin.exception
pascal.taie.analysis.pta.plugin.invokedynamic
pascal.taie.analysis.pta.plugin.reflection
pascal.taie.analysis.pta.plugin.taint
pascal.taie.analysis.pta.plugin.util
pascal.taie.analysis.pta.toolkit
pascal.taie.analysis.pta.toolkit.scaler	This package contains implementation of Scaler, which selects suitable context variants for the methods in the program.
pascal.taie.analysis.pta.toolkit.util
pascal.taie.analysis.pta.toolkit.zipper	This package contains implementation of Zipper and Zipper-e, which selects precision-critical methods in the program.
pascal.taie.analysis.sideeffect	This package implements modification side-effect analysis (MOD) which computes the objects that may be modified by each method and statement.
pascal.taie.frontend.cache
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
pascal.taie.ir.exp
pascal.taie.ir.proginfo
pascal.taie.ir.stmt
pascal.taie.language.classes	Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.
pascal.taie.language.natives	Provide model for native methods.

Uses of JMethod in pascal.taie

Methods in pascal.taie that return JMethod

Modifier and Type	Method	Description
JMethod	World.getMainMethod()

Methods in pascal.taie that return types with arguments of type JMethod

Modifier and Type	Method	Description
Collection<JMethod>	World.getImplicitEntries()

Methods in pascal.taie with parameters of type JMethod

Modifier and Type	Method	Description
void	World.setMainMethod(JMethod mainMethod)

Method parameters in pascal.taie with type arguments of type JMethod

Modifier and Type	Method	Description
void	World.setImplicitEntries(Collection<JMethod> implicitEntries)

Uses of JMethod in pascal.taie.analysis.bugfinder

Constructors in pascal.taie.analysis.bugfinder with parameters of type JMethod

Modifier	Constructor	Description
	BugInstance(BugType type, Severity severity, JMethod jMethod)

Uses of JMethod in pascal.taie.analysis.graph.callgraph

Methods in pascal.taie.analysis.graph.callgraph that return JMethod

Modifier and Type	Method	Description
JMethod	DefaultCallGraph.getContainerOf(Invoke invoke)
static JMethod	CallGraphs.resolveCallee(Type type, Invoke callSite)

Methods in pascal.taie.analysis.graph.callgraph that return types with arguments of type JMethod

Modifier and Type	Method	Description
CallGraph<Invoke,JMethod>	CallGraphBuilder.analyze()
Set<JMethod>	DefaultCallGraph.getResult(Stmt stmt)

Methods in pascal.taie.analysis.graph.callgraph with parameters of type JMethod

Modifier and Type	Method	Description
void	DefaultCallGraph.addEntryMethod(JMethod entryMethod)	Adds an entry method to this call graph.
boolean	DefaultCallGraph.addReachableMethod(JMethod method)	Adds a reachable method to this call graph.

Method parameters in pascal.taie.analysis.graph.callgraph with type arguments of type JMethod

Modifier and Type	Method	Description
boolean	DefaultCallGraph.addEdge(Edge<Invoke,JMethod> edge)	Adds a new call graph edge to this call graph.

Uses of JMethod in pascal.taie.analysis.graph.cfg

Methods in pascal.taie.analysis.graph.cfg that return JMethod

Modifier and Type	Method	Description
JMethod	CFG.getMethod()

Uses of JMethod in pascal.taie.analysis.graph.flowgraph

Constructor parameters in pascal.taie.analysis.graph.flowgraph with type arguments of type JMethod

Modifier	Constructor	Description
	ObjectFlowGraph(PointerFlowGraph pfg, CallGraph<Invoke,JMethod> callGraph)

Uses of JMethod in pascal.taie.analysis.graph.icfg

Methods in pascal.taie.analysis.graph.icfg that return JMethod

Modifier and Type	Method	Description
JMethod	CallEdge.getCallee()

Methods in pascal.taie.analysis.graph.icfg that return types with arguments of type JMethod

Modifier and Type	Method	Description
ICFG<JMethod,Stmt>	ICFGBuilder.analyze()

Uses of JMethod in pascal.taie.analysis.pta

Methods in pascal.taie.analysis.pta that return types with arguments of type JMethod

Modifier and Type	Method	Description
CallGraph<Invoke,JMethod>	PointerAnalysisResult.getCallGraph()
CallGraph<Invoke,JMethod>	PointerAnalysisResultImpl.getCallGraph()

Uses of JMethod in pascal.taie.analysis.pta.core.cs.element

Methods in pascal.taie.analysis.pta.core.cs.element that return JMethod

Modifier and Type	Method	Description
JMethod	CSMethod.getMethod()

Methods in pascal.taie.analysis.pta.core.cs.element with parameters of type JMethod

Modifier and Type	Method	Description
CSMethod	CSManager.getCSMethod(Context context, JMethod method)
CSMethod	MapBasedCSManager.getCSMethod(Context context, JMethod method)

Uses of JMethod in pascal.taie.analysis.pta.core.cs.selector

Methods in pascal.taie.analysis.pta.core.cs.selector with parameters of type JMethod

Modifier and Type	Method	Description
Context	ContextSelector.selectContext(CSCallSite callSite, CSObj recv, JMethod callee)	Selects contexts for instance methods.
Context	ContextSelector.selectContext(CSCallSite callSite, JMethod callee)	Selects contexts for static methods.

Method parameters in pascal.taie.analysis.pta.core.cs.selector with type arguments of type JMethod

Modifier and Type	Method	Description
static ContextSelector	ContextSelectorFactory.makeGuidedSelector(Map<JMethod,String> csMap)
static ContextSelector	ContextSelectorFactory.makeSelectiveSelector(String cs, Predicate<JMethod> isCSMethod, Predicate<Obj> isCSObj)
static ContextSelector	ContextSelectorFactory.makeSelectiveSelector(String cs, Set<JMethod> csMethods)

Uses of JMethod in pascal.taie.analysis.pta.core.heap

Methods in pascal.taie.analysis.pta.core.heap that return types with arguments of type JMethod

Modifier and Type	Method	Description
Optional<JMethod>	ConstantObj.getContainerMethod()
Optional<JMethod>	MergedObj.getContainerMethod()
Optional<JMethod>	MockObj.getContainerMethod()
Optional<JMethod>	NewObj.getContainerMethod()
abstract Optional<JMethod>	Obj.getContainerMethod()

Methods in pascal.taie.analysis.pta.core.heap with parameters of type JMethod

Modifier and Type	Method	Description
Obj	AbstractHeapModel.getMockObj(Descriptor desc, Object alloc, Type type, JMethod container, boolean isFunctional)
default Obj	HeapModel.getMockObj(Descriptor desc, Object alloc, Type type, JMethod container)
Obj	HeapModel.getMockObj(Descriptor desc, Object alloc, Type type, JMethod container, boolean isFunctional)

Constructors in pascal.taie.analysis.pta.core.heap with parameters of type JMethod

Modifier	Constructor	Description
	MockObj(Descriptor desc, Object alloc, Type type, JMethod container, boolean isFunctional)

Uses of JMethod in pascal.taie.analysis.pta.core.solver

Methods in pascal.taie.analysis.pta.core.solver that return JMethod

Modifier and Type	Method	Description
JMethod	EntryPoint.method()	Returns the value of the method record component.

Methods in pascal.taie.analysis.pta.core.solver with parameters of type JMethod

Modifier and Type	Method	Description
void	DefaultSolver.addIgnoredMethod(JMethod method)
void	Solver.addIgnoredMethod(JMethod method)	If a plugin takes over the analysis of a method, and wants this solver to ignore the method (for precision and/or efficiency reasons), then it could call this API with the method.

Constructors in pascal.taie.analysis.pta.core.solver with parameters of type JMethod

Modifier	Constructor	Description
	Builder(JMethod method)
	DeclaredParamProvider(JMethod method, HeapModel heapModel)
	DeclaredParamProvider(JMethod method, HeapModel heapModel, int k)
	EntryPoint(JMethod method, ParamProvider paramProvider)	Creates an instance of a EntryPoint record class.

Uses of JMethod in pascal.taie.analysis.pta.plugin

Methods in pascal.taie.analysis.pta.plugin with parameters of type JMethod

Modifier and Type	Method	Description
void	ClassInitializer.onNewMethod(JMethod method)
void	CompositePlugin.onNewMethod(JMethod method)
void	ConstraintChecker.onNewMethod(JMethod method)
default void	Plugin.onNewMethod(JMethod method)	Invoked when a new reachable method is discovered.
void	ClassInitializer.onNewStmt(Stmt stmt, JMethod container)
void	CompositePlugin.onNewStmt(Stmt stmt, JMethod container)
void	NullHandler.onNewStmt(Stmt stmt, JMethod container)
void	NumberLiteralHandler.onNewStmt(Stmt stmt, JMethod container)
default void	Plugin.onNewStmt(Stmt stmt, JMethod container)	Invoked when a new reachable stmt is discovered.

Uses of JMethod in pascal.taie.analysis.pta.plugin.exception

Methods in pascal.taie.analysis.pta.plugin.exception with parameters of type JMethod

Modifier and Type	Method	Description
Optional<MethodThrowResult>	PTAThrowResult.getResult(JMethod method)
void	ExceptionAnalysis.onNewMethod(JMethod method)	For the throw statements in the method, analyzes and records all the exception entries that handle the exceptions thrown by the statements.
void	ExceptionAnalysis.onNewStmt(Stmt stmt, JMethod container)	Establishes the map from all exception references to related throw statements.

Constructors in pascal.taie.analysis.pta.plugin.exception with parameters of type JMethod

Modifier	Constructor	Description
	MethodThrowResult(JMethod method)

Uses of JMethod in pascal.taie.analysis.pta.plugin.invokedynamic

Methods in pascal.taie.analysis.pta.plugin.invokedynamic with parameters of type JMethod

Modifier and Type	Method	Description
void	InvokeDynamicAnalysis.onNewStmt(Stmt stmt, JMethod container)
void	Java9StringConcatHandler.onNewStmt(Stmt stmt, JMethod container)
void	LambdaAnalysis.onNewStmt(Stmt stmt, JMethod container)

Uses of JMethod in pascal.taie.analysis.pta.plugin.reflection

Methods in pascal.taie.analysis.pta.plugin.reflection with parameters of type JMethod

Modifier and Type	Method	Description
void	SolarModel.onNewStmt(Stmt stmt, JMethod container)

Uses of JMethod in pascal.taie.analysis.pta.plugin.taint

Methods in pascal.taie.analysis.pta.plugin.taint that return JMethod

Modifier and Type	Method	Description
JMethod	CallSource.method()	Returns the value of the method record component.
JMethod	ParamSanitizer.method()	Returns the value of the method record component.
JMethod	ParamSource.method()	Returns the value of the method record component.
JMethod	Sink.method()	Returns the value of the method record component.
JMethod	TaintTransfer.method()	Returns the value of the method record component.

Constructors in pascal.taie.analysis.pta.plugin.taint with parameters of type JMethod

Modifier	Constructor	Description
	CallSource(JMethod method, IndexRef indexRef, Type type)	Creates an instance of a CallSource record class.
	ParamSanitizer(JMethod method, int index)	Creates an instance of a ParamSanitizer record class.
	ParamSource(JMethod method, IndexRef indexRef, Type type)	Creates an instance of a ParamSource record class.
	Sink(JMethod method, IndexRef indexRef)	Creates an instance of a Sink record class.
	TaintTransfer(JMethod method, IndexRef from, IndexRef to, Type type)	Creates an instance of a TaintTransfer record class.

Uses of JMethod in pascal.taie.analysis.pta.plugin.util

Fields in pascal.taie.analysis.pta.plugin.util with type parameters of type JMethod

Modifier and Type	Field	Description
protected final Map<JMethod,Function<Invoke,Collection<Stmt>>>	AbstractIRModel.handlers	Deprecated.
protected final Map<JMethod,TriConsumer<CSVar,PointsToSet,Invoke>>	AbstractModel.handlers	Deprecated.
protected final Map<JMethod,Method>	AnalysisModelPlugin.handlers
protected final Map<JMethod,Method>	IRModelPlugin.handlers
protected final Map<JMethod,Collection<Stmt>>	AbstractIRModel.method2GenStmts	Deprecated.
protected final Map<JMethod,Collection<Stmt>>	IRModelPlugin.method2GenStmts
protected final Map<JMethod,int[]>	AbstractModel.relevantVarIndexes	Deprecated.
protected final Map<JMethod,int[]>	AnalysisModelPlugin.relevantVarIndexes

Methods in pascal.taie.analysis.pta.plugin.util that return JMethod

Modifier and Type	Method	Description
static JMethod	CSObjs.toConstructor(CSObj csObj)	Converts a CSObj of java.lang.reflect.Constructor to corresponding JMethod.
static JMethod	CSObjs.toMethod(CSObj csObj)	Converts a CSObj of java.lang.reflect.Method to corresponding JMethod.

Methods in pascal.taie.analysis.pta.plugin.util that return types with arguments of type JMethod

Modifier and Type	Method	Description
Set<JMethod>	AbstractIRModel.getModeledAPIs()	Deprecated.
Set<JMethod>	IRModel.getModeledAPIs()	Deprecated.

Methods in pascal.taie.analysis.pta.plugin.util with parameters of type JMethod

Modifier and Type	Method	Description
void	AbstractIRModel.handleNewMethod(JMethod method)	Deprecated.
void	IRModel.handleNewMethod(JMethod method)	Deprecated.
void	AnalysisModelPlugin.onNewStmt(Stmt stmt, JMethod container)
void	IRModelPlugin.onNewStmt(Stmt stmt, JMethod container)
protected void	AbstractModel.registerAPIHandler(JMethod api, TriConsumer<CSVar,PointsToSet,Invoke> handler)	Deprecated.
protected void	AbstractIRModel.registerHandler(JMethod api, Function<Invoke,Collection<Stmt>> handler)	Deprecated.
protected void	AbstractModel.registerRelevantVarIndexes(JMethod api, int... indexes)	Deprecated.

Uses of JMethod in pascal.taie.analysis.pta.toolkit

Methods in pascal.taie.analysis.pta.toolkit that return types with arguments of type JMethod

Modifier and Type	Method	Description
Set<JMethod>	CollectionMethods.get()
Set<JMethod>	PointerAnalysisResultEx.getMethodsInvokedOn(Obj obj)
Set<JMethod>	PointerAnalysisResultExImpl.getMethodsInvokedOn(Obj obj)

Methods in pascal.taie.analysis.pta.toolkit with parameters of type JMethod

Modifier and Type	Method	Description
Set<Obj>	PointerAnalysisResultEx.getObjectsAllocatedIn(JMethod method)
Set<Obj>	PointerAnalysisResultExImpl.getObjectsAllocatedIn(JMethod method)
Set<Obj>	PointerAnalysisResultEx.getReceiverObjectsOf(JMethod method)
Set<Obj>	PointerAnalysisResultExImpl.getReceiverObjectsOf(JMethod method)

Uses of JMethod in pascal.taie.analysis.pta.toolkit.scaler

Methods in pascal.taie.analysis.pta.toolkit.scaler that return types with arguments of type JMethod

Modifier and Type	Method	Description
static Map<JMethod,String>	Scaler.run(PointerAnalysisResult pta, String arg)	Parses Scaler argument and runs Scaler.
Map<JMethod,String>	Scaler.selectContext()	Selects context sensitivity variants for the methods in the program.

Uses of JMethod in pascal.taie.analysis.pta.toolkit.util

Methods in pascal.taie.analysis.pta.toolkit.util that return types with arguments of type JMethod

Modifier and Type	Method	Description
static Map<Obj,Set<JMethod>>	OAGs.computeInvokedMethods(PointerAnalysisResultEx pta)	Computes the methods invoked on all objects in the program.

Uses of JMethod in pascal.taie.analysis.pta.toolkit.zipper

Methods in pascal.taie.analysis.pta.toolkit.zipper that return types with arguments of type JMethod

Modifier and Type	Method	Description
static Set<JMethod>	Zipper.run(PointerAnalysisResult pta, String arg)	Parses Zipper argument and runs Zipper.
Set<JMethod>	Zipper.selectPrecisionCriticalMethods()

Uses of JMethod in pascal.taie.analysis.sideeffect

Methods in pascal.taie.analysis.sideeffect with parameters of type JMethod

Modifier and Type	Method	Description
Set<Obj>	SideEffect.getModifiedObjects(JMethod method)
boolean	SideEffect.isPure(JMethod method)

Uses of JMethod in pascal.taie.frontend.cache

Methods in pascal.taie.frontend.cache with parameters of type JMethod

Modifier and Type	Method	Description
IR	CachedIRBuilder.buildIR(JMethod method)	This method will be called by getIR() only once, so remove the IR from the map after returning it.

Uses of JMethod in pascal.taie.ir

Methods in pascal.taie.ir that return JMethod

Modifier and Type	Method	Description
JMethod	DefaultIR.getMethod()
JMethod	IR.getMethod()

Methods in pascal.taie.ir with parameters of type JMethod

Modifier and Type	Method	Description
IR	IRBuilder.buildIR(JMethod method)	Builds IR for concrete methods.

Constructors in pascal.taie.ir with parameters of type JMethod

Modifier	Constructor	Description
	DefaultIR(JMethod method, Var thisVar, List<Var> params, Set<Var> returnVars, List<Var> vars, List<Stmt> stmts, List<ExceptionEntry> exceptionEntries)
	IRBuildHelper(JMethod method)

Uses of JMethod in pascal.taie.ir.exp

Methods in pascal.taie.ir.exp that return JMethod

Modifier and Type	Method	Description
JMethod	Var.getMethod()

Constructors in pascal.taie.ir.exp with parameters of type JMethod

Modifier	Constructor	Description
	Var(JMethod method, String name, Type type, int index)
	Var(JMethod method, String name, Type type, int index, Literal constValue)

Uses of JMethod in pascal.taie.ir.proginfo

Methods in pascal.taie.ir.proginfo that return JMethod

Modifier and Type	Method	Description
JMethod	MethodRef.resolve()
JMethod	MethodRef.resolveNullable()

Uses of JMethod in pascal.taie.ir.stmt

Methods in pascal.taie.ir.stmt that return JMethod

Modifier and Type	Method	Description
JMethod	Invoke.getContainer()
JMethod	New.getContainer()

Constructors in pascal.taie.ir.stmt with parameters of type JMethod

Modifier	Constructor	Description
	Invoke(JMethod container, InvokeExp invokeExp)
	Invoke(JMethod container, InvokeExp invokeExp, Var result)
	New(JMethod method, Var lvalue, NewExp rvalue)

Uses of JMethod in pascal.taie.language.classes

Methods in pascal.taie.language.classes that return JMethod

Modifier and Type	Method	Description
JMethod	ClassHierarchy.dispatch(JClass receiverClass, MethodRef methodRef)	Dispatches a method reference on a receiver class.
JMethod	ClassHierarchy.dispatch(Type receiverType, MethodRef methodRef)	Dispatches a method reference on a receiver type.
JMethod	ClassHierarchyImpl.dispatch(JClass receiverClass, MethodRef methodRef)
JMethod	ClassHierarchyImpl.dispatch(Type receiverType, MethodRef methodRef)
JMethod	JClass.getClinit()
JMethod	JClass.getDeclaredMethod(String methodName)	Attempts to retrieve the method with the given name.
JMethod	JClass.getDeclaredMethod(Subsignature subsignature)	Attempts to retrieve the method with given subsignature.
JMethod	ClassHierarchy.getJREMethod(String methodSig)	Obtains a method declared in a JRE class by its signature.
JMethod	ClassHierarchyImpl.getJREMethod(String methodSig)
JMethod	ClassHierarchy.getMethod(String methodSig)	Obtains a method by its signature.
JMethod	ClassHierarchyImpl.getMethod(String methodSig)
JMethod	ClassHierarchy.resolveMethod(MethodRef methodRef)	Resolves a method reference.
JMethod	ClassHierarchyImpl.resolveMethod(MethodRef methodRef)

Methods in pascal.taie.language.classes that return types with arguments of type JMethod

Modifier and Type	Method	Description
static Stream<JMethod>	Reflections.getConstructors(JClass jclass)
static Stream<JMethod>	Reflections.getDeclaredConstructors(JClass jclass)
Collection<JMethod>	JClass.getDeclaredMethods()
Collection<JMethod>	JClassBuilder.getDeclaredMethods()
static Stream<JMethod>	Reflections.getDeclaredMethods(JClass jclass)
static Stream<JMethod>	Reflections.getDeclaredMethods(JClass jclass, String methodName)
static Stream<JMethod>	Reflections.getMethods(JClass jclass)
static Stream<JMethod>	Reflections.getMethods(JClass jclass, String methodName)
Set<JMethod>	SignatureMatcher.getMethods(String methodPattern)

Methods in pascal.taie.language.classes with parameters of type JMethod

Modifier and Type	Method	Description
static String	StringReps.getDescriptorOf(JMethod method)
static String	StringReps.getSignatureOf(JMethod method)
static String	StringReps.getSubsignatureOf(JMethod method)

Uses of JMethod in pascal.taie.language.natives

Methods in pascal.taie.language.natives with parameters of type JMethod

Modifier and Type	Method	Description
IR	DefaultNativeModel.buildNativeIR(JMethod method)
IR	EmptyNativeModel.buildNativeIR(JMethod method)
IR	NativeModel.buildNativeIR(JMethod method)