Functions — github.com/LFYSec/MScan

hub / github.com/LFYSec/MScan / functions

Functions5,103 in github.com/LFYSec/MScan

⨍ Functions 5,103◇ Types & classes 1,328

↓ 4 callersMethodaddPointers

(Map<String, Pointer> map, Collection<? extends Pointer> pointers)

src/main/java/pascal/taie/analysis/pta/plugin/ResultProcessor.java:392

↓ 4 callersMethodaddReflectiveCallEdge

( Context callerCtx, Invoke callSite, @Nullable CSObj recvObj, JMethod callee, Var arg

src/main/java/pascal/taie/analysis/pta/plugin/reflection/ReflectiveActionModel.java:168

↓ 4 callersMethodallocateArray

Creates an IR which allocates a new array object, fills the array by a new-created (but uninitialized) object as content, and returns the array.

src/main/java/pascal/taie/language/natives/DefaultNativeModel.java:463

↓ 4 callersMethodanalyze

Analyzes explicit exceptions (of Throw and Invoke) in given ir and store result.

src/main/java/pascal/taie/analysis/exception/ExplicitThrowAnalysis.java:33

↓ 4 callersMethodcallSitesIn

@return the call sites within the given method.

src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java:68

↓ 4 callersMethoddump

(Graph<Node> graph, File output)

src/main/java/pascal/taie/analysis/graph/flowgraph/FlowGraphDumper.java:71

↓ 4 callersMethoddumpPointers

( PrintStream out, Collection<? extends Pointer> pointers, String desc)

src/main/java/pascal/taie/analysis/pta/plugin/ResultProcessor.java:181

↓ 4 callersMethodeClass

()

src/test/resources/pta/reflection/UnknownMethodName.java:32

↓ 4 callersMethodendTypeParam

The valid automaton states for ending a {@link #visitFormalTypeParameter(String)} method call are: <ul> <li>{@link #visitFormalTypeParameter(Strin

src/main/java/pascal/taie/language/generics/TypeParameterAwareGSignatureBuilder.java:90

↓ 4 callersMethodentrySet

()

src/main/java/pascal/taie/util/collection/AbstractTwoKeyMap.java:70

↓ 4 callersMethodextractInvokeDynamics

(IR ir)

src/test/java/pascal/taie/frontend/soot/InvokeDynamicTest.java:112

↓ 4 callersMethodfield

()

src/main/java/pascal/taie/analysis/pta/plugin/taint/TransferPoint.java:36

↓ 4 callersMethodfive

()

src/test/resources/dataflow/constprop/inter/Call.java:36

↓ 4 callersMethodfoo

(int x)

src/test/resources/world/Switch.java:41

↓ 4 callersMethodget

(String value)

src/main/java/pascal/taie/ir/exp/StringLiteral.java:38

↓ 4 callersMethodget

(Type value)

src/main/java/pascal/taie/ir/exp/ClassLiteral.java:42

↓ 4 callersMethodgetAllocateesOf

(Type type)

src/main/java/pascal/taie/analysis/pta/toolkit/zipper/ObjectAllocationGraph.java:71

↓ 4 callersMethodgetAnalyses

()

src/main/java/pascal/taie/config/Options.java:272

↓ 4 callersMethodgetArray

@return the array object.

src/main/java/pascal/taie/analysis/pta/core/cs/element/ArrayIndex.java:43

↓ 4 callersMethodgetCSObjsOf

@return all relevant context-sensitive objects for given object.

src/main/java/pascal/taie/analysis/pta/core/cs/element/CSManager.java:100

↓ 4 callersMethodgetCSVarsOf

@return all relevant context-sensitive variables for given variable.

src/main/java/pascal/taie/analysis/pta/core/cs/element/CSManager.java:85

↓ 4 callersMethodgetCallSite

@return the call site (i.e., the source) of the call edge.

src/main/java/pascal/taie/analysis/graph/callgraph/Edge.java:60

↓ 4 callersMethodgetCalleesOf

@return the methods that are called by the given call site.

src/main/java/pascal/taie/analysis/graph/icfg/ICFG.java:55

↓ 4 callersMethodgetCalleesOfM

@return the methods that are called by all call sites in the given method.

src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java:53

↓ 4 callersMethodgetChild

(Object elem)

src/main/java/pascal/taie/analysis/pta/core/cs/context/TrieContext.java:74

↓ 4 callersMethodgetClasses

@return the classes that match given pattern.

src/main/java/pascal/taie/language/classes/SignatureMatcher.java:51

↓ 4 callersMethodgetConfig

Given an analysis id, returns the corresponding AnalysisConfig. @throws ConfigException when the manager does not contain the

src/main/java/pascal/taie/config/ConfigManager.java:65

↓ 4 callersMethodgetDeclaredMethods

(JClass jclass, String methodName)

src/main/java/pascal/taie/analysis/pta/plugin/util/Reflections.java:56

↓ 4 callersMethodgetDirectInnerClassesOf

@return the direct inner classes of {@code jclass}. If {@code jclass} does not have inner classes, an empty collection is returned.

src/main/java/pascal/taie/language/classes/ClassHierarchy.java:188

↓ 4 callersMethodgetEdges

()

src/main/java/pascal/taie/analysis/pta/core/cs/element/CSMethod.java:70

↓ 4 callersMethodgetEndpoints

()

src/main/java/fdu/secsys/microservice/plugin/GatewaySourcePlugin.java:28

↓ 4 callersMethodgetExceptions

If this edge is an exceptional edge, return the exception types along with this edge, otherwise return an empty set.

src/main/java/pascal/taie/analysis/graph/cfg/CFGEdge.java:144

↓ 4 callersMethodgetFieldAccess

()

src/main/java/pascal/taie/ir/stmt/LoadField.java:46

↓ 4 callersMethodgetIndex

Maps an object to the corresponding index.

src/main/java/pascal/taie/util/collection/GenericBitSet.java:258

↓ 4 callersMethodgetLoadArrays

@return {@link LoadArray}s whose base variable is this Var.

src/main/java/pascal/taie/ir/exp/Var.java:183

↓ 4 callersMethodgetLoadFields

@return {@link LoadField}s whose base variable is this Var.

src/main/java/pascal/taie/ir/exp/Var.java:159

↓ 4 callersMethodgetMethodType

@return corresponding type of index for the method.

src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintConfig.java:303

↓ 4 callersMethodgetNewObj

(New allocSite)

src/main/java/pascal/taie/analysis/pta/core/heap/AbstractHeapModel.java:165

↓ 4 callersMethodgetNumberOfMethods

@return the number of reachable methods in this call graph.

src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java:105

↓ 4 callersMethodgetObjectIndexer

@return {@link Indexer} for {@link CSObj} maintained by this manager. The indexer is useful for creating efficient points-to sets.

src/main/java/pascal/taie/analysis/pta/core/cs/element/CSManager.java:126

↓ 4 callersMethodgetObjects

()

src/main/java/pascal/taie/analysis/pta/toolkit/mahjong/DFAState.java:51

↓ 4 callersMethodgetObjectsOf

@return the objects of given type.

src/main/java/pascal/taie/analysis/pta/toolkit/PointerAnalysisResultEx.java:64

↓ 4 callersMethodgetOptions

()

src/main/java/pascal/taie/config/PlanConfig.java:80

↓ 4 callersMethodgetOutDegreeOf

@return the number of out edges of the given node.

src/main/java/pascal/taie/util/graph/Graph.java:96

↓ 4 callersMethodgetParamTypes

()

src/main/java/pascal/taie/language/classes/JMethod.java:124

↓ 4 callersMethodgetParent

()

src/main/java/pascal/taie/analysis/pta/core/cs/context/TrieContext.java:70

↓ 4 callersMethodgetRetVars

()

src/main/java/pascal/taie/analysis/pta/plugin/taint/container/spring/SpringBean.java:40

↓ 4 callersMethodgetS1

()

src/test/resources/pta/entrypoint/CustomEntryPoints.java:43

↓ 4 callersMethodgetStoreArrays

@return {@link StoreArray}s whose base variable is this Var.

src/main/java/pascal/taie/ir/exp/Var.java:195

↓ 4 callersMethodgetThreshold

@return the threshold between sizes of small set and large set. When number of elements exceeds the threshold, set should be upgraded to large set.

src/main/java/pascal/taie/util/collection/AbstractHybridSet.java:91

↓ 4 callersMethodgetThreshold

@return the threshold between sizes of small map and large map. When number of mappings exceeds the threshold, map should be upgraded to large map.

src/main/java/pascal/taie/util/collection/AbstractHybridMap.java:99

↓ 4 callersMethodgetType

@return the type of the object.

src/main/java/pascal/taie/analysis/pta/core/heap/Obj.java:68

↓ 4 callersMethodgetTypeName

()

src/main/java/pascal/taie/language/generics/TypeParameter.java:66

↓ 4 callersMethodgetValue

()

src/main/java/pascal/taie/ir/exp/CastExp.java:46

↓ 4 callersMethodgetVarNode

(Var var)

src/main/java/pascal/taie/analysis/graph/flowgraph/NodeManager.java:53

↓ 4 callersMethodhasNode

@return {@code true} if this graph has given node, otherwise {@code false}.

src/main/java/pascal/taie/util/graph/Graph.java:41

↓ 4 callersMethodinstanceSink

(String s)

src/test/resources/pta/taint/InstanceSourceSink.java:26

↓ 4 callersMethodisApplication

()

src/main/java/pascal/taie/language/classes/JClass.java:340

↓ 4 callersMethodisByType

()

src/main/java/pascal/taie/analysis/pta/plugin/taint/container/spring/InjectFieldInfo.java:14

↓ 4 callersMethodisEmpty

()

src/test/resources/pta/taint/LinkedQueue.java:17

↓ 4 callersMethodisEmpty

()

src/test/resources/pta/basic/LinkedQueue.java:17

↓ 4 callersMethodisEmpty

()

src/test/resources/pta/contextsensitivity/LinkedQueue.java:20

↓ 4 callersMethodisExposed

(JMethod jMethod)

src/main/java/fdu/secsys/microservice/util/GatewayUtil.java:11

↓ 4 callersMethodisFunctional

An object is functional means that it can hold fields (or array indexes). @return {@code true} if this is a function {@link Obj}.

src/main/java/pascal/taie/analysis/pta/core/heap/Obj.java:61

↓ 4 callersMethodisInterface

()

src/main/java/pascal/taie/language/classes/JClass.java:186

↓ 4 callersMethodisPrivate

()

src/main/java/pascal/taie/language/classes/JClass.java:182

↓ 4 callersMethodisTempVar

(Local local)

src/main/java/pascal/taie/frontend/soot/MethodIRBuilder.java:346

↓ 4 callersMethodisUnmatched

(Invoke invoke, JMethod target)

src/main/java/pascal/taie/analysis/pta/plugin/reflection/TypeMatcher.java:67

↓ 4 callersMethodisValidIndex

(int index)

src/main/java/pascal/taie/util/collection/IndexMap.java:97

↓ 4 callersMethodmake

(T elem)

src/main/java/pascal/taie/analysis/pta/core/cs/context/TrieContext.java:110

↓ 4 callersMethodmakePointsToSet

Creates a new empty points-to set.

src/main/java/pascal/taie/analysis/pta/core/solver/Solver.java:74

↓ 4 callersMethodnewVar

(String name, Type type)

src/main/java/pascal/taie/ir/IRBuildHelper.java:152

↓ 4 callersMethodonNewCSMethod

Invoked when a new reachable context-sensitive method is discovered. @param csMethod new reachable context-sensitive method

src/main/java/pascal/taie/analysis/pta/plugin/Plugin.java:106

↓ 4 callersMethodonNewPointsToSet

Invoked when set of new objects flow to a context-sensitive variable. @param csVar variable whose points-to set changes @param pts set of new objec

src/main/java/pascal/taie/analysis/pta/plugin/Plugin.java:73

↓ 4 callersMethodparseNamePattern

(String pattern)

src/main/java/pascal/taie/language/classes/Pattern.java:71

↓ 4 callersMethodparseTypePattern

(String pattern)

src/main/java/pascal/taie/language/classes/Pattern.java:203

↓ 4 callersMethodprint

(JClass jclass)

src/test/java/pascal/taie/frontend/soot/AnnotationPrinter.java:45

↓ 4 callersMethodprocessChildren

(Element doc, Element element, StringBuilder sql)

src/main/java/fdu/secsys/microservice/plugin/MybatisXmlPlugin.java:359

↓ 4 callersMethodput

(K key, V value)

src/main/java/pascal/taie/util/collection/IndexMap.java:107

↓ 4 callersMethodrank

(int key)

src/test/resources/dataflow/constprop/inter/RedBlackBST.java:335

↓ 4 callersMethodrank

(int key)

src/test/resources/pta/basic/RedBlackBST.java:335

↓ 4 callersMethodreportPtsTop

( PrintStream out, String desc, Collection<? extends Pointer> pointers)

src/main/java/pascal/taie/analysis/pta/plugin/Profiler.java:136

↓ 4 callersMethodreset

()

src/main/java/pascal/taie/World.java:102

↓ 4 callersMethodset

Sets current world to {@code world}.

src/main/java/pascal/taie/World.java:87

↓ 4 callersMethodsetEdgeAttributer

(Function<Edge<N>, DotAttributes> edgeAttributer)

src/main/java/pascal/taie/util/graph/DotDumper.java:117

↓ 4 callersMethodsetIndex

(int index)

src/main/java/pascal/taie/ir/stmt/Stmt.java:44

↓ 4 callersMethodsetSourceLine

(int start, int end)

src/main/java/pascal/taie/analysis/bugfinder/BugInstance.java:67

↓ 4 callersMethodsetValue

(V value)

src/main/java/pascal/taie/util/collection/MapEntry.java:59

↓ 4 callersMethodtest

(String s)

src/main/java/pascal/taie/language/classes/SignatureMatcher.java:150

↓ 4 callersMethodtestMain

Starts an analysis for a specific test case. Requires a main method in the given class. @param mainClass the main class to be analyzed @param classPa

src/test/java/pascal/taie/analysis/Tests.java:81

↓ 4 callersMethodtoTypeSig

(String sig)

src/main/java/pascal/taie/language/generics/GSignatures.java:66

↓ 4 callersMethodtransfer

(A taint)

src/test/resources/pta/taint/ArrayFieldTransfer.java:72

↓ 4 callersMethodtransferEdge

Edge Transfer function for this analysis. Note that this function should NOT modify {@code nodeFact}. @param edge the edge that the transfer func

src/main/java/pascal/taie/analysis/dataflow/analysis/DataflowAnalysis.java:82

↓ 4 callersMethodunion

Unions other fact into this fact. @return true if this fact changed as a result of the call, otherwise false.

src/main/java/pascal/taie/analysis/dataflow/fact/SetFact.java:108

↓ 4 callersMethoduse

(int x)

src/test/resources/world/ConstVar.java:19

↓ 4 callersMethoduse

(int x)

src/test/resources/deadcode/ForLoops.java:23

↓ 4 callersMethoduse

(int x)

src/test/resources/deadcode/UnreachableSwitchBranch.java:22

↓ 4 callersMethodvalidateSignature

(String signature)

src/main/java/pascal/taie/language/classes/StringReps.java:141

↓ 3 callersMethodadd

(Object e)

src/test/resources/pta/contextsensitivity/TwoType.java:40

↓ 3 callersMethodaddAllDiff

Adds all objects in given pts to this set. @return the difference between {@code pts} and this set.

src/main/java/pascal/taie/analysis/pta/pts/PointsToSet.java:58

← previous next →501–600 of 5,103, ranked by callers