- abortAnalysis() - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Aborts the data flow analysis.
- abortAnalysis() - 类 中的方法soot.jimple.infoflow.Infoflow
-
- AbortRequestedReason - soot.jimple.infoflow.memory.reasons中的类
-
Reason for terminating a data flow solver after an external request
- AbortRequestedReason() - 类 的构造器soot.jimple.infoflow.memory.reasons.AbortRequestedReason
-
- AbstractAbstractionPathBuilder - soot.jimple.infoflow.data.pathBuilders中的类
-
Abstract base class for all abstraction path builders
- AbstractAbstractionPathBuilder(InfoflowManager) - 类 的构造器soot.jimple.infoflow.data.pathBuilders.AbstractAbstractionPathBuilder
-
- AbstractAliasStrategy - soot.jimple.infoflow.aliasing中的类
-
Common base class for alias strategies
- AbstractAliasStrategy(InfoflowManager) - 类 的构造器soot.jimple.infoflow.aliasing.AbstractAliasStrategy
-
- AbstractBulkAliasStrategy - soot.jimple.infoflow.aliasing中的类
-
- AbstractBulkAliasStrategy(InfoflowManager) - 类 的构造器soot.jimple.infoflow.aliasing.AbstractBulkAliasStrategy
-
- AbstractGarbageCollector<N,D> - soot.jimple.infoflow.solver.gcSolver中的类
-
Abstract base class for garbage collectors
- AbstractGarbageCollector(BiDiInterproceduralCFG<N, SootMethod>, ConcurrentHashMultiMap<SootMethod, PathEdge<N, D>>, IGCReferenceProvider<D, N>) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.AbstractGarbageCollector
-
- AbstractGarbageCollector(BiDiInterproceduralCFG<N, SootMethod>, ConcurrentHashMultiMap<SootMethod, PathEdge<N, D>>) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.AbstractGarbageCollector
-
- AbstractInfoflow - soot.jimple.infoflow中的类
-
Abstract base class for all data/information flow analyses in FlowDroid
- AbstractInfoflow() - 类 的构造器soot.jimple.infoflow.AbstractInfoflow
-
Creates a new instance of the abstract info flow problem
- AbstractInfoflow(BiDirICFGFactory, String, boolean) - 类 的构造器soot.jimple.infoflow.AbstractInfoflow
-
Creates a new instance of the abstract info flow problem
- AbstractInfoflowProblem - soot.jimple.infoflow.problems中的类
-
abstract super class which - concentrates functionality used by
InfoflowProblem and BackwardsInfoflowProblem - contains helper functions
which should not pollute the naturally large InfofflowProblems
- AbstractInfoflowProblem(InfoflowManager) - 类 的构造器soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- AbstractInteractiveAliasStrategy - soot.jimple.infoflow.aliasing中的类
-
- AbstractInteractiveAliasStrategy(InfoflowManager) - 类 的构造器soot.jimple.infoflow.aliasing.AbstractInteractiveAliasStrategy
-
- Abstraction - soot.jimple.infoflow.data中的类
-
The abstraction class contains all information that is necessary to track the
taint.
- Abstraction(ISourceSinkDefinition, AccessPath, Stmt, Object, boolean, boolean) - 类 的构造器soot.jimple.infoflow.data.Abstraction
-
- Abstraction(AccessPath, Abstraction) - 类 的构造器soot.jimple.infoflow.data.Abstraction
-
Creates an abstraction as a copy of an existing abstraction, only exchanging
the access path. -> only used by AbstractionWithPath
- Abstraction.NeighborHashingStrategy - soot.jimple.infoflow.data中的类
-
- AbstractionAtSink - soot.jimple.infoflow.data中的类
-
- AbstractionAtSink(ISourceSinkDefinition, Abstraction, Stmt) - 类 的构造器soot.jimple.infoflow.data.AbstractionAtSink
-
- AbstractMethodAndClass - soot.jimple.infoflow.data中的类
-
Abstract class for all MethodAndClass containers.
- AbstractMethodAndClass(String, String, String, List<String>) - 类 的构造器soot.jimple.infoflow.data.AbstractMethodAndClass
-
- AbstractNativeCallHandler - soot.jimple.infoflow.nativeCallHandler中的类
-
Abstract base class for all native call handlers
- AbstractNativeCallHandler() - 类 的构造器soot.jimple.infoflow.nativeCallHandler.AbstractNativeCallHandler
-
- AbstractReferenceCountingGarbageCollector<N,D> - soot.jimple.infoflow.solver.gcSolver中的类
-
Abstract base class for garbage collectors based on reference counting
- AbstractReferenceCountingGarbageCollector(BiDiInterproceduralCFG<N, SootMethod>, ConcurrentHashMultiMap<SootMethod, PathEdge<N, D>>, IGCReferenceProvider<D, N>) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.AbstractReferenceCountingGarbageCollector
-
- AbstractReferenceCountingGarbageCollector(BiDiInterproceduralCFG<N, SootMethod>, ConcurrentHashMultiMap<SootMethod, PathEdge<N, D>>) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.AbstractReferenceCountingGarbageCollector
-
- AbstractReferenceProvider<D,N> - soot.jimple.infoflow.solver.gcSolver中的类
-
Abstract base class for reference providers
- AbstractReferenceProvider(BiDiInterproceduralCFG<N, SootMethod>) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.AbstractReferenceProvider
-
- AbstractResultSourceSinkInfo - soot.jimple.infoflow.results中的类
-
Abstract base class for information on data flow results
- AbstractResultSourceSinkInfo() - 类 的构造器soot.jimple.infoflow.results.AbstractResultSourceSinkInfo
-
- AbstractResultSourceSinkInfo(ISourceSinkDefinition, AccessPath, Stmt) - 类 的构造器soot.jimple.infoflow.results.AbstractResultSourceSinkInfo
-
- AbstractResultSourceSinkInfo(ISourceSinkDefinition, AccessPath, Stmt, Object) - 类 的构造器soot.jimple.infoflow.results.AbstractResultSourceSinkInfo
-
- AbstractSourceSinkDefinition - soot.jimple.infoflow.sourcesSinks.definitions中的类
-
A class to handle all access paths of sources and sinks for a certain method.
- AbstractSourceSinkDefinition() - 类 的构造器soot.jimple.infoflow.sourcesSinks.definitions.AbstractSourceSinkDefinition
-
- AbstractSourceSinkDefinition(ISourceSinkCategory) - 类 的构造器soot.jimple.infoflow.sourcesSinks.definitions.AbstractSourceSinkDefinition
-
- AbstractTaintPropagationRule - soot.jimple.infoflow.problems.rules中的类
-
Abstract base class for all taint propagation rules
- AbstractTaintPropagationRule(InfoflowManager, Abstraction, TaintPropagationResults) - 类 的构造器soot.jimple.infoflow.problems.rules.AbstractTaintPropagationRule
-
- AbstractTaintWrapper - soot.jimple.infoflow.taintWrappers中的类
-
Abstract base class for all taint propagation wrappers
- AbstractTaintWrapper() - 类 的构造器soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper
-
- acceptClass(SootClass) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Determines whether a class is accepted for generating a constructor.
- accepts(ISourceSinkDefinition) - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.FilteringSourceSinkDefinitionProvider.ISourceSinkFilter
-
Checks whether the filter accepts the given source/sink definition
- accessPath - 类 中的变量soot.jimple.infoflow.data.Abstraction
-
the access path contains the currently tainted variable or field
- AccessPath - soot.jimple.infoflow.data中的类
-
This class represents the taint, containing a base value and a list of fields
(length is bounded by Infoflow.ACCESSPATHLENGTH)
- accessPath - 类 中的变量soot.jimple.infoflow.data.SourceContext
-
- accessPath - 类 中的变量soot.jimple.infoflow.results.AbstractResultSourceSinkInfo
-
- AccessPath.ArrayTaintType - soot.jimple.infoflow.data中的枚举
-
- AccessPathConfiguration() - 类 的构造器soot.jimple.infoflow.InfoflowConfiguration.AccessPathConfiguration
-
- AccessPathFactory - soot.jimple.infoflow.data中的类
-
- AccessPathFactory(InfoflowConfiguration) - 类 的构造器soot.jimple.infoflow.data.AccessPathFactory
-
- AccessPathFactory.BasePair - soot.jimple.infoflow.data中的类
-
Specialized pair class for field bases
- accessPaths - 类 中的变量soot.jimple.infoflow.sourcesSinks.definitions.FieldSourceSinkDefinition
-
- accessPaths - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.SourceInfo
-
- AccessPathTuple - soot.jimple.infoflow.sourcesSinks.definitions中的类
-
Helper to save an AccessPath with the information about sink and sources.
- activationUnit - 类 中的变量soot.jimple.infoflow.data.Abstraction
-
Unit/Stmt which activates the taint when the abstraction passes it
- add(E) - 类 中的方法soot.jimple.infoflow.collect.BlackHoleCollection
-
- add(E) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentHashSet
-
- add(E) - 类 中的方法soot.jimple.infoflow.collect.MutableTwoElementSet
-
- add(E) - 类 中的方法soot.jimple.infoflow.collect.WeakConcurrentHashSet
-
- add(InfoflowPerformanceData) - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Adds the data of the given performance object to this one.
- add(T) - 类 中的方法soot.jimple.infoflow.util.extensiblelist.ExtensibleList
-
In case this list is locked, a new one is created and returned.
- addAll(Collection<? extends E>) - 类 中的方法soot.jimple.infoflow.collect.BlackHoleCollection
-
- addAll(InfoflowResults) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Adds all results from the given data structure to this one
- addAll(Set<DataFlowResult>) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Adds the given data flow results to this result object
- addAll(T...) - 类 中的方法soot.jimple.infoflow.util.extensiblelist.ExtensibleList
-
- addAllHandlers(TaintPropagationHandler[]) - 类 中的方法soot.jimple.infoflow.handlers.SequentialTaintPropagationHandler
-
Adds all of the given taint propagation handlers
- addEdgePropagationCount(long) - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Adds the given number of edges to the total number of edges propagated
- addException(String) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Adds an exception that has occurred during the data flow analysis to this
result object
- addFirstSlow(T) - 类 中的方法soot.jimple.infoflow.util.extensiblelist.ExtensibleList
-
Adds an element to the beginning.
- addFunction(PathEdge<SootMethod, D>) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Records a jump function.
- addFunction(PathEdge<N, D>) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Records a jump function.
- addFunction(PathEdge<N, D>) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Records a jump function.
- addGarbageCollector(IGarbageCollectorPeer) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.GarbageCollectorPeerGroup
-
Adds a garbage collector to this peer group
- addHandler(TaintPropagationHandler) - 类 中的方法soot.jimple.infoflow.handlers.SequentialTaintPropagationHandler
-
Adds a new handler to this sequence of handlers
- addIncludePrefix(String) - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
Registers a prefix of class names to be included when generating taints.
- addIncoming(SootMethod, D, Unit, D, D) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- addIncoming(SootMethod, D, N, D, D) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- addIncoming(SootMethod, D, N, D, D) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- addInitialSeeds(Unit, Set<Abstraction>) - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
Adds the given initial seeds to the information flow problem
- additionalEntryPointMethods - 类 中的变量soot.jimple.infoflow.Infoflow
-
- addListener(MemoryWarningSystem.OnMemoryThresholdReached) - 类 中的方法soot.jimple.infoflow.memory.MemoryWarningSystem
-
Adds a listener that is called when the memory usage threshold defined using
setWarningThreshold() has been reached
- addMethodForWrapping(String, String) - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
Adds a method to which the taint wrapping rules shall apply
- addNeighbor(Abstraction) - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- addNeighbor(D) - 接口 中的方法soot.jimple.infoflow.solver.fastSolver.FastSolverLinkedNode
-
Links this node to a neighbor node, i.e., to an abstraction that would have
been merged with this one of paths were not being tracked.
- addParameterDefinition(int, Set<AccessPathTuple>) - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Adds the given access path tuples to this source/sink definition for the
given parameter index
- addPerformanceData(InfoflowPerformanceData) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Adds the given performance data to this result object
- addResult(AbstractionAtSink) - 类 中的方法soot.jimple.infoflow.problems.TaintPropagationResults
-
Adds a new result of the data flow analysis to the collection
- addResult(ISourceSinkDefinition, AccessPath, Stmt, ISourceSinkDefinition, AccessPath, Stmt) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
- addResult(ISourceSinkDefinition, AccessPath, Stmt, ISourceSinkDefinition, AccessPath, Stmt, Object, List<Abstraction>) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
- addResult(ISourceSinkDefinition, AccessPath, Stmt, ISourceSinkDefinition, AccessPath, Stmt, Object, List<Stmt>, List<AccessPath>) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Adds the given result to this data structure
- addResult(DataFlowResult) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Adds the given data flow result to this data structure
- addResult(ResultSinkInfo, ResultSourceInfo) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Adds the given result to this data structure
- addResultAvailableHandler(IAbstractionPathBuilder.OnPathBuilderResultAvailable) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.AbstractAbstractionPathBuilder
-
- addResultAvailableHandler(IAbstractionPathBuilder.OnPathBuilderResultAvailable) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.EmptyPathBuilder
-
- addResultAvailableHandler(IAbstractionPathBuilder.OnPathBuilderResultAvailable) - 接口 中的方法soot.jimple.infoflow.data.pathBuilders.IAbstractionPathBuilder
-
Adds a handler that gets called when the path reconstructor has
found a new source-to-sink connection
- addResultAvailableHandler(TaintPropagationResults.OnTaintPropagationResultAdded) - 类 中的方法soot.jimple.infoflow.problems.TaintPropagationResults
-
Adds a new handler that is invoked when a new data flow result is added to
this data object
- addResultsAvailableHandler(ResultsAvailableHandler) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Adds a handler that is called when information flow results are available
- addResultsAvailableHandler(ResultsAvailableHandler) - 类 中的方法soot.jimple.infoflow.Infoflow
-
- addSolver(IMemoryBoundedSolver) - 类 中的方法soot.jimple.infoflow.memory.FlowDroidMemoryWatcher
-
Adds a solver that shall be terminated when the memory threshold is reached
- addSolver(IMemoryBoundedSolver) - 类 中的方法soot.jimple.infoflow.memory.FlowDroidTimeoutWatcher
-
Adds a solver that shall be terminated when the timeout is reached
- addSolver(IInfoflowSolver) - 类 中的方法soot.jimple.infoflow.solver.SolverPeerGroup
-
Adds a data flow solver to this peer group
- addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.BatchPathBuilder
-
- addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder
-
- addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.EmptyPathBuilder
-
- addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.RecursivePathBuilder
-
- addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification) - 接口 中的方法soot.jimple.infoflow.memory.IMemoryBoundedSolver
-
Adds a new listener that will be notified of status changes in the solver
- addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- addTaintPropagationSeconds(int) - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Adds the given number of seconds to the time spent on taint propagation
- addToGlobalTaintState(Abstraction) - 类 中的方法soot.jimple.infoflow.globalTaints.GlobalTaintManager
-
Adds an abstraction to the global taint state.
- addType(SourceSinkType) - 枚举 中的方法soot.jimple.infoflow.sourcesSinks.definitions.SourceSinkType
-
Adds the given source / sink type to the combined type.
- addWrapper(ITaintPropagationWrapper) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperList
-
Adds the given wrapper to the chain of wrappers.
- addWrapper(ITaintPropagationWrapper) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperSet
-
Adds the given wrapper to the chain of wrappers.
- afterExecute(Runnable, Throwable) - 类 中的方法soot.jimple.infoflow.solver.executors.SetPoolExecutor
-
- AggressiveGarbageCollector<N,D> - soot.jimple.infoflow.solver.gcSolver中的类
-
Aggressive garbage collector that optimizes memory usage, but may degrade
performance by removing path edges too early.
- AggressiveGarbageCollector(BiDiInterproceduralCFG<N, SootMethod>, ConcurrentHashMultiMap<SootMethod, PathEdge<N, D>>) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.AggressiveGarbageCollector
-
- AheadOfTimeReferenceProvider<D,N> - soot.jimple.infoflow.solver.gcSolver中的类
-
Implementation of a reference provider that computes its dependencies ahead
of time, and over-approximates the possible references by considering all
transitively callees of a given method as possible locations for new analysis
tasks, regardless of context and taint state.
- AheadOfTimeReferenceProvider(BiDiInterproceduralCFG<N, SootMethod>) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.AheadOfTimeReferenceProvider
-
- Aliasing - soot.jimple.infoflow.aliasing中的类
-
Helper class for aliasing operations
- Aliasing(IAliasingStrategy, InfoflowManager) - 类 的构造器soot.jimple.infoflow.aliasing.Aliasing
-
- allNonCallEndNodes() - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- allNonCallStartNodes() - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- and(boolean) - 类 中的方法soot.jimple.infoflow.util.ByReferenceBoolean
-
- androidPath - 类 中的变量soot.jimple.infoflow.AbstractInfoflow
-
- appendFields(AccessPath, SootField[], Type[], boolean) - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory
-
Appends additional fields to the given access path
- applyCallFlowFunction(Abstraction, Abstraction, Stmt, SootMethod, ByReferenceBoolean) - 类 中的方法soot.jimple.infoflow.problems.rules.PropagationRuleManager
-
Propagates a flow across a call site
- applyCallToReturnFlowFunction(Abstraction, Abstraction, Stmt) - 类 中的方法soot.jimple.infoflow.problems.rules.PropagationRuleManager
-
Applies all rules to the call-to-return flow function
- applyCallToReturnFlowFunction(Abstraction, Abstraction, Stmt, ByReferenceBoolean, ByReferenceBoolean, boolean) - 类 中的方法soot.jimple.infoflow.problems.rules.PropagationRuleManager
-
Applies all rules to the call-to-return flow function
- applyEndSummaryOnCall(D, Unit, D, Collection<Unit>, SootMethod, D) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- applyEndSummaryOnCall(D, N, D, Collection<N>, SootMethod, D) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- applyEndSummaryOnCall(D, N, D, Collection<N>, SootMethod, D) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- applyNormalFlowFunction(Abstraction, Abstraction, Stmt, Stmt) - 类 中的方法soot.jimple.infoflow.problems.rules.PropagationRuleManager
-
Applies all rules to the normal flow function
- applyNormalFlowFunction(Abstraction, Abstraction, Stmt, Stmt, ByReferenceBoolean, ByReferenceBoolean) - 类 中的方法soot.jimple.infoflow.problems.rules.PropagationRuleManager
-
Applies all rules to the normal flow function
- applyReturnFlowFunction(Collection<Abstraction>, Abstraction, Stmt, Stmt, Stmt, ByReferenceBoolean) - 类 中的方法soot.jimple.infoflow.problems.rules.PropagationRuleManager
-
Applies all rules to the return flow function
- ArgParser - soot.jimple.infoflow.util中的类
-
- ArgParser() - 类 的构造器soot.jimple.infoflow.util.ArgParser
-
- ArrayPropagationRule - soot.jimple.infoflow.problems.rules中的类
-
Rule for propagating array accesses
- ArrayPropagationRule(InfoflowManager, Abstraction, TaintPropagationResults) - 类 的构造器soot.jimple.infoflow.problems.rules.ArrayPropagationRule
-
- Assignable(String, RIFLDocument.SourceSinkSpec) - 类 的构造器soot.jimple.infoflow.rifl.RIFLDocument.Assignable
-
Creates a new instance of the Assignable class
- AtomicBitSet - soot.jimple.infoflow.collect中的类
-
Atomic and concurrent implementation of a BitSet.
- AtomicBitSet(int) - 类 的构造器soot.jimple.infoflow.collect.AtomicBitSet
-
- autoAddZero() - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
performance improvement: since we start directly at the sources, we do not
need to generate additional taints unconditionally
- autoAddZero() - 类 中的方法soot.jimple.infoflow.problems.InfoflowProblem
-
- awaitCompletion() - 类 中的方法soot.jimple.infoflow.solver.executors.InterruptableExecutor
-
- awaitCompletion(long, TimeUnit) - 类 中的方法soot.jimple.infoflow.solver.executors.InterruptableExecutor
-
- awaitCompletionComputeValuesAndShutdown() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Awaits the completion of the exploded super graph.
- awaitCompletionComputeValuesAndShutdown() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Awaits the completion of the exploded super graph.
- awaitCompletionComputeValuesAndShutdown() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Awaits the completion of the exploded super graph.
- CallbackDefinition - soot.jimple.infoflow.callbacks中的类
-
A base class for callbacks.
- CallbackDefinition(SootMethod, SootMethod) - 类 的构造器soot.jimple.infoflow.callbacks.CallbackDefinition
-
- callbackMethods - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- callStack - 类 中的变量soot.jimple.infoflow.data.SourceContextAndPath
-
- callType - 类 中的变量soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
- canContainValue(Value) - 类 中的静态方法soot.jimple.infoflow.data.AccessPath
-
Checks whether the given value can be the base value value of an access path
- canHaveAliases(Stmt, Value, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.Aliasing
-
Checks whether the given newly created taint can have an alias at the given
statement.
- canHaveAliases(AccessPath) - 类 中的静态方法soot.jimple.infoflow.aliasing.Aliasing
-
Gets whether the given access path can have aliases
- Category(String) - 类 的构造器soot.jimple.infoflow.rifl.RIFLDocument.Category
-
- category - 类 中的变量soot.jimple.infoflow.sourcesSinks.definitions.AbstractSourceSinkDefinition
-
- checkAndPropagateAlias(Abstraction, Stmt, Set<Abstraction>, Abstraction) - 类 中的方法soot.jimple.infoflow.problems.rules.WrapperPropagationRule
-
Starts alias tracking for the results of a taint wrapper if necessary
- checkCallbackParamSource(Stmt, IInfoflowCFG) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
Checks whether the given statement obtains data from a callback source
- checkCast(Type, Type) - 类 中的方法soot.jimple.infoflow.util.TypeUtils
-
Checks whether the given source type can be cast to the given destination
type
- checkCast(AccessPath, Type) - 类 中的方法soot.jimple.infoflow.util.TypeUtils
-
Checks whether the type of the given taint can be cast to the given target
type
- checkForSource(Abstraction, SourceContextAndPath) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ContextSensitivePathBuilder
-
Checks whether the given abstraction is a source.
- checkStaticFieldUsed(SootMethod, SootField) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- className - 类 中的变量soot.jimple.infoflow.data.AbstractMethodAndClass
-
- cleanup() - 类 中的方法soot.jimple.infoflow.aliasing.FlowSensitiveAliasStrategy
-
- cleanup() - 接口 中的方法soot.jimple.infoflow.aliasing.IAliasingStrategy
-
Performs a clean up, i.e., removes all generated data from memory
- cleanup() - 类 中的方法soot.jimple.infoflow.aliasing.ImplicitFlowAliasStrategy
-
- cleanup() - 类 中的方法soot.jimple.infoflow.aliasing.LazyAliasingStrategy
-
- cleanup() - 类 中的方法soot.jimple.infoflow.aliasing.NullAliasStrategy
-
- cleanup() - 类 中的方法soot.jimple.infoflow.aliasing.PtsBasedAliasStrategy
-
- cleanup() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Releases all resources that are no longer required after the main step of the
data flow analysis
- cleanup() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- cleanup() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- cleanup() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.InfoflowSolver
-
- cleanup() - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Cleans up some unused memory.
- clear() - 类 中的方法soot.jimple.infoflow.collect.BlackHoleCollection
-
- clear() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
- clear() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentHashSet
-
- clear() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMap
-
- clear() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMultiMap
-
- clear() - 类 中的方法soot.jimple.infoflow.collect.WeakConcurrentHashSet
-
- clear() - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Removes all results from the data structure
- clearSolvers() - 类 中的方法soot.jimple.infoflow.memory.FlowDroidMemoryWatcher
-
Clears the list of solvers registered with this memory watcher
- clone() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- clone() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- clone() - 类 中的方法soot.jimple.infoflow.data.SourceContext
-
- clone() - 类 中的方法soot.jimple.infoflow.data.SourceContextAndPath
-
- clone() - 类 中的方法soot.jimple.infoflow.memory.reasons.MultiReason
-
- clone() - 接口 中的方法soot.jimple.infoflow.solver.fastSolver.FastSolverLinkedNode
-
Clones this data flow abstraction
- clone() - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
- close() - 类 中的方法soot.jimple.infoflow.memory.FlowDroidMemoryWatcher
-
Shuts down the memory watcher and frees all resources associated with it
- close() - 类 中的方法soot.jimple.infoflow.memory.MemoryWarningSystem
-
Closes this warning system instance.
- cmdInfoflow - soot.jimple.infoflow中的类
-
cmdInfoflow offers a command-line interface to start the analysis.
- cmdInfoflow() - 类 的构造器soot.jimple.infoflow.cmdInfoflow
-
- collectedSinks - 类 中的变量soot.jimple.infoflow.Infoflow
-
- collectedSources - 类 中的变量soot.jimple.infoflow.Infoflow
-
- combine(ISolverTerminationReason) - 接口 中的方法soot.jimple.infoflow.memory.ISolverTerminationReason
-
Combines this termination reason with the given one
- combine(ISolverTerminationReason) - 类 中的方法soot.jimple.infoflow.memory.reasons.AbortRequestedReason
-
- combine(ISolverTerminationReason) - 类 中的方法soot.jimple.infoflow.memory.reasons.MultiReason
-
- combine(ISolverTerminationReason) - 类 中的方法soot.jimple.infoflow.memory.reasons.OutOfMemoryReason
-
- combine(ISolverTerminationReason) - 类 中的方法soot.jimple.infoflow.memory.reasons.TimeoutReason
-
- compareTo(ContextSensitivePathBuilder.SourceFindingTask) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ContextSensitivePathBuilder.SourceFindingTask
-
- computeAliases(Abstraction, Stmt, Value, Set<Abstraction>, SootMethod, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.Aliasing
-
Computes the taints for the aliases of a given tainted variable
- computeAliasTaints(Abstraction, Stmt, Value, Set<Abstraction>, SootMethod, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.AbstractInteractiveAliasStrategy
-
- computeAliasTaints(Abstraction, Stmt, Value, Set<Abstraction>, SootMethod, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.FlowSensitiveAliasStrategy
-
- computeAliasTaints(Abstraction, Stmt, Value, Set<Abstraction>, SootMethod, Abstraction) - 接口 中的方法soot.jimple.infoflow.aliasing.IAliasingStrategy
-
Computes the taints for the aliases of a given tainted variable
- computeAliasTaints(Abstraction, Stmt, Value, Set<Abstraction>, SootMethod, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.ImplicitFlowAliasStrategy
-
- computeAliasTaints(Abstraction, Stmt, Value, Set<Abstraction>, SootMethod, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.NullAliasStrategy
-
- computeAliasTaints(Abstraction, Stmt, Value, Set<Abstraction>, SootMethod, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.PtsBasedAliasStrategy
-
- computeAliasTaintsInternal(Abstraction, SootMethod, Abstraction, List<SootField>, List<Type>, boolean, Stmt) - 类 中的方法soot.jimple.infoflow.aliasing.PtsBasedAliasStrategy
-
- computeCallFlowFunction(FlowFunction<D>, D, D) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Computes the call flow function for the given call-site abstraction
- computeCallFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- computeCallFlowFunction(FlowFunction<D>, D, D) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Computes the call flow function for the given call-site abstraction
- computeCallFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- computeCallFlowFunction(FlowFunction<D>, D, D) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Computes the call flow function for the given call-site abstraction
- computeCallFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.InfoflowSolver
-
- computeCallToReturnFlowFunction(FlowFunction<D>, D, D) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Computes the call-to-return flow function for the given call-site abstraction
- computeCallToReturnFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- computeCallToReturnFlowFunction(FlowFunction<D>, D, D) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Computes the call-to-return flow function for the given call-site abstraction
- computeCallToReturnFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- computeCallToReturnFlowFunction(FlowFunction<D>, D, D) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Computes the call-to-return flow function for the given call-site abstraction
- computeCallToReturnFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.InfoflowSolver
-
- computeHashCode(Abstraction) - 类 中的方法soot.jimple.infoflow.data.Abstraction.NeighborHashingStrategy
-
- computeInfoflow(String, String, IEntryPointCreator, List<String>, List<String>) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- computeInfoflow(String, String, Collection<String>, Collection<String>, Collection<String>) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- computeInfoflow(String, String, String, Collection<String>, Collection<String>) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- computeInfoflow(String, String, IEntryPointCreator, List<String>, List<String>) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Computes the information flow on a list of entry point methods.
- computeInfoflow(String, String, Collection<String>, Collection<String>, Collection<String>) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Computes the information flow on a list of entry point methods.
- computeInfoflow(String, String, String, Collection<String>, Collection<String>) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Computes the information flow on a single method.
- computeInfoflow(String, String, IEntryPointCreator, ISourceSinkManager) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Computes the information flow on a list of entry point methods.
- computeInfoflow(String, String, String, ISourceSinkManager) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Computes the information flow on a single method.
- computeInfoflow(String, String, IEntryPointCreator, ISourceSinkManager) - 类 中的方法soot.jimple.infoflow.Infoflow
-
- computeInfoflow(String, String, String, ISourceSinkManager) - 类 中的方法soot.jimple.infoflow.Infoflow
-
- computeNormalFlowFunction(FlowFunction<D>, D, D) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Computes the normal flow function for the given set of start and end
abstractions.
- computeNormalFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- computeNormalFlowFunction(FlowFunction<D>, D, D) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Computes the normal flow function for the given set of start and end
abstractions.
- computeNormalFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- computeNormalFlowFunction(FlowFunction<D>, D, D) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Computes the normal flow function for the given set of start and end
abstractions.
- computeNormalFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.InfoflowSolver
-
- computeReturnFlowFunction(FlowFunction<D>, D, D, Unit, Collection<D>) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Computes the return flow function for the given set of caller-side
abstractions.
- computeReturnFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction, Unit, Collection<Abstraction>) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- computeReturnFlowFunction(FlowFunction<D>, D, D, N, Collection<D>) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Computes the return flow function for the given set of caller-side
abstractions.
- computeReturnFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction, Unit, Collection<Abstraction>) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- computeReturnFlowFunction(FlowFunction<D>, D, D, N, Collection<D>) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Computes the return flow function for the given set of caller-side
abstractions.
- computeReturnFlowFunction(FlowFunction<Abstraction>, Abstraction, Abstraction, Unit, Collection<Abstraction>) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.InfoflowSolver
-
- computeTaintPaths(Set<AbstractionAtSink>) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.BatchPathBuilder
-
- computeTaintPaths(Set<AbstractionAtSink>) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder
-
- computeTaintPaths(Set<AbstractionAtSink>) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ContextInsensitiveSourceFinder
-
- computeTaintPaths(Set<AbstractionAtSink>) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ContextSensitivePathBuilder
-
- computeTaintPaths(Set<AbstractionAtSink>) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.EmptyPathBuilder
-
- computeTaintPaths(Set<AbstractionAtSink>) - 接口 中的方法soot.jimple.infoflow.data.pathBuilders.IAbstractionPathBuilder
-
Computes the path of tainted data between the source and the sink
- computeTaintPaths(Set<AbstractionAtSink>) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.RecursivePathBuilder
-
- computeTargets(Abstraction) - 类 中的方法soot.jimple.infoflow.solver.functions.SolverCallFlowFunction
-
- computeTargets(Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.functions.SolverCallFlowFunction
-
Computes the call flow function for the given call-site abstraction
- computeTargets(Abstraction) - 类 中的方法soot.jimple.infoflow.solver.functions.SolverCallToReturnFlowFunction
-
- computeTargets(Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.functions.SolverCallToReturnFlowFunction
-
Computes the abstractions at the return site
- computeTargets(Abstraction) - 类 中的方法soot.jimple.infoflow.solver.functions.SolverNormalFlowFunction
-
- computeTargets(Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.functions.SolverNormalFlowFunction
-
Computes the abstractions at the next node in the CFG.
- computeTargets(Abstraction) - 类 中的方法soot.jimple.infoflow.solver.functions.SolverReturnFlowFunction
-
- computeTargets(Abstraction, Abstraction, Collection<Abstraction>) - 类 中的方法soot.jimple.infoflow.solver.functions.SolverReturnFlowFunction
-
Computes the abstractions at the return site.
- computeValues() - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- ConcurrentAbstractionPathBuilder - soot.jimple.infoflow.data.pathBuilders中的类
-
- ConcurrentAbstractionPathBuilder(InfoflowManager, InterruptableExecutor) - 类 的构造器soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder
-
- ConcurrentCountingMap<T> - soot.jimple.infoflow.collect中的类
-
A map that associates an element with a number.
- ConcurrentCountingMap() - 类 的构造器soot.jimple.infoflow.collect.ConcurrentCountingMap
-
- ConcurrentCountingMap(int) - 类 的构造器soot.jimple.infoflow.collect.ConcurrentCountingMap
-
- ConcurrentCountingMap(Map<T, AtomicInteger>) - 类 的构造器soot.jimple.infoflow.collect.ConcurrentCountingMap
-
- ConcurrentCountingMap.Entry - soot.jimple.infoflow.collect中的类
-
- ConcurrentCountingMap.LockingMode - soot.jimple.infoflow.collect中的枚举
-
- ConcurrentHashSet<E> - soot.jimple.infoflow.collect中的类
-
Multithreaded version of a hash set
- ConcurrentHashSet() - 类 的构造器soot.jimple.infoflow.collect.ConcurrentHashSet
-
Creates a new, empty ConcurrentHashSet.
- ConcurrentIdentityHashMap<K,V> - soot.jimple.infoflow.collect中的类
-
- ConcurrentIdentityHashMap() - 类 的构造器soot.jimple.infoflow.collect.ConcurrentIdentityHashMap
-
- ConcurrentIdentityHashMap.MapEntry - soot.jimple.infoflow.collect中的类
-
- ConcurrentIdentityHashMultiMap<K,V> - soot.jimple.infoflow.collect中的类
-
A concurrent version of the HashMultiMap that uses object identity
for comparison
- ConcurrentIdentityHashMultiMap() - 类 的构造器soot.jimple.infoflow.collect.ConcurrentIdentityHashMultiMap
-
- ConcurrentIdentityHashMultiMap(MultiMap<K, V>) - 类 的构造器soot.jimple.infoflow.collect.ConcurrentIdentityHashMultiMap
-
- conditionCounter - 类 中的变量soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
- config - 类 中的变量soot.jimple.infoflow.AbstractInfoflow
-
- config - 类 中的变量soot.jimple.infoflow.results.xml.InfoflowResultsSerializer
-
- constructCallgraph() - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
Constructs the callgraph
- contains(Object) - 类 中的方法soot.jimple.infoflow.collect.BlackHoleCollection
-
- contains(Object) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentHashSet
-
- contains(Object) - 类 中的方法soot.jimple.infoflow.collect.WeakConcurrentHashSet
-
- containsAll(Collection<?>) - 类 中的方法soot.jimple.infoflow.collect.BlackHoleCollection
-
- containsKey(Object) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
- containsKey(Object) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMap
-
- containsKey(Object) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMultiMap
-
- containsSink(Stmt) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Checks whether this result object contains a sink that exactly matches the
given value.
- containsSinkMethod(String) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Checks whether this result object contains a sink with the given method
signature
- containsValue(Object) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
- containsValue(Object) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMap
-
- containsValue(V) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMultiMap
-
- ContextInsensitivePathBuilder - soot.jimple.infoflow.data.pathBuilders中的类
-
Class for reconstructing abstraction paths from sinks to source.
- ContextInsensitivePathBuilder(InfoflowManager, InterruptableExecutor) - 类 的构造器soot.jimple.infoflow.data.pathBuilders.ContextInsensitivePathBuilder
-
- ContextInsensitiveSourceFinder - soot.jimple.infoflow.data.pathBuilders中的类
-
Class for reconstructing abstraction paths from sinks to source
- ContextInsensitiveSourceFinder(InfoflowManager, InterruptableExecutor) - 类 的构造器soot.jimple.infoflow.data.pathBuilders.ContextInsensitiveSourceFinder
-
- ContextInsensitiveSourceFinder(InfoflowManager, InterruptableExecutor, int) - 类 的构造器soot.jimple.infoflow.data.pathBuilders.ContextInsensitiveSourceFinder
-
- ContextSensitivePathBuilder - soot.jimple.infoflow.data.pathBuilders中的类
-
Class for reconstructing abstraction paths from sinks to source.
- ContextSensitivePathBuilder(InfoflowManager) - 类 的构造器soot.jimple.infoflow.data.pathBuilders.ContextSensitivePathBuilder
-
- ContextSensitivePathBuilder.SourceFindingTask - soot.jimple.infoflow.data.pathBuilders中的类
-
Task for tracking back the path from sink to source.
- copyWithNewValue(AccessPath, Value) - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory
-
Copies the given access path with a new base value, but retains the base type
- copyWithNewValue(AccessPath, Value, Type, boolean) - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory
-
value val gets new base, fields are preserved.
- copyWithNewValue(AccessPath, Value, Type, boolean, boolean) - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory
-
value val gets new base, fields are preserved.
- copyWithNewValue(AccessPath, Value, Type, boolean, boolean, AccessPath.ArrayTaintType) - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory
-
value val gets new base, fields are preserved.
- correspondingCallSite - 类 中的变量soot.jimple.infoflow.data.Abstraction
-
- create(boolean, boolean) - 类 中的静态方法soot.jimple.infoflow.sourcesSinks.definitions.AccessPathTuple
-
Simplified factory method for creating an access path that just denotes the
base object
- createAccessPath(Value, boolean) - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory
-
- createAccessPath(Value, Type, boolean, AccessPath.ArrayTaintType) - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory
-
- createAccessPath(Value, SootField[], boolean) - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory
-
- createAccessPath(Value, SootField[], Type, Type[], boolean, boolean, boolean, AccessPath.ArrayTaintType) - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory
-
- createAccessPath(Value, SootField[], Type, Type[], boolean, boolean, boolean, AccessPath.ArrayTaintType, boolean) - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory
-
- createAdditionalFields() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Creates additional fields in the entry point class that are required by the
dummy main method
- createAdditionalMethods() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Creates additional methods in the entry point class that are required by the
dummy main method
- createAliasController(IAliasingStrategy) - 类 中的方法soot.jimple.infoflow.Infoflow
-
Creates the controller object that handles aliasing operations.
- createDataFlowSolver(InterruptableExecutor, AbstractInfoflowProblem, InfoflowConfiguration.SolverConfiguration) - 类 中的方法soot.jimple.infoflow.Infoflow
-
Creates the instance of the data flow solver
- createDotGraph(Abstraction, boolean) - 类 中的静态方法soot.jimple.infoflow.util.DebugAbstractionTree
-
Creates a dot graph with indices as labels for the abstractions (otherwise, it would be way too large).
- createDummyMain() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
- createDummyMain() - 接口 中的方法soot.jimple.infoflow.entryPointCreators.IEntryPointCreator
-
Generates a dummy main method that calls all methods in the given list
- createDummyMainInternal() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Implementors need to overwrite this method for providing the actual dummy
main method
- createDummyMainInternal() - 类 中的方法soot.jimple.infoflow.entryPointCreators.DefaultEntryPointCreator
-
- createDummyMainInternal() - 类 中的方法soot.jimple.infoflow.entryPointCreators.SequentialEntryPointCreator
-
- createEmptyMainMethod() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Creates a new, empty main method containing the given body
- createExecutor(int, boolean, InfoflowConfiguration) - 类 中的方法soot.jimple.infoflow.threading.DefaultExecutorFactory
-
- createExecutor(int, boolean, InfoflowConfiguration) - 接口 中的方法soot.jimple.infoflow.threading.IExecutorFactory
-
Creates a new executor object for spawning worker threads
- createFlowFunctionsFactory() - 类 中的方法soot.jimple.infoflow.problems.BackwardsInfoflowProblem
-
- createFlowFunctionsFactory() - 类 中的方法soot.jimple.infoflow.problems.InfoflowProblem
-
- createGarbageCollector() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Factory method for creating an instance of the garbage collector
- createGenericThread(Runnable, String, boolean) - 类 中的静态方法soot.jimple.infoflow.util.ThreadUtils
-
Adds a thread which is generic, i.e. not necessary tied to a specific soot instance.
- createGenericThread(Runnable, String, boolean) - 接口 中的方法soot.jimple.infoflow.util.ThreadUtils.IThreadFactory
-
Adds a thread which is generic, i.e. not necessary tied to a specific soot instance.
- createIfStmt(Unit) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Creates an opaque predicate that jumps to the given target
- createOrGetApplicationHolder() - 类 中的静态方法soot.jimple.infoflow.cfg.LibraryClassPatcher
-
return the ApplicationHolder class (created if needed) This is a class with 1
static field to save the application instance in
- createParameterSource(int, MethodSourceSinkDefinition.CallType) - 类 中的静态方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Creates a source definition that considers a parameter as tainted
- createPathBuilder(InfoflowManager, int) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.DefaultPathBuilderFactory
-
- createPathBuilder(InfoflowManager, InterruptableExecutor) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.DefaultPathBuilderFactory
-
- createPathBuilder(InfoflowManager, int) - 接口 中的方法soot.jimple.infoflow.data.pathBuilders.IPathBuilderFactory
-
Creates a new path builder.
- createPathBuilder(InfoflowManager, InterruptableExecutor) - 接口 中的方法soot.jimple.infoflow.data.pathBuilders.IPathBuilderFactory
-
Creates a new path builder.
- createPathBuilder(InterruptableExecutor) - 类 中的方法soot.jimple.infoflow.Infoflow
-
Creates the path builder that shall be used for path reconstruction
- createPerformanceDataClass() - 类 中的方法soot.jimple.infoflow.Infoflow
-
Factory method for creating the data object that will receive the data flow
solver's performance data
- createReferenceProvider() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AbstractGarbageCollector
-
Creates the reference provider that garbage collectors can use to identify
dependencies
- createReturnSource(MethodSourceSinkDefinition.CallType) - 类 中的静态方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Creates a source definition that considers the return value as tainted
- createRuleManager(InfoflowManager, Abstraction, TaintPropagationResults) - 类 中的方法soot.jimple.infoflow.problems.rules.DefaultPropagationRuleManagerFactory
-
- createRuleManager(InfoflowManager, Abstraction, TaintPropagationResults) - 接口 中的方法soot.jimple.infoflow.problems.rules.IPropagationRuleManagerFactory
-
Creates a propagation rule manager
- createSourceInfo(Stmt, InfoflowManager, ISourceSinkDefinition) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- createValue() - 接口 中的方法soot.jimple.infoflow.collect.MyConcurrentHashMap.IValueFactory
-
Creates a new value to put into the map
- createZeroValue() - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- currentSource - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- currentStmt - 类 中的变量soot.jimple.infoflow.data.Abstraction
-
- GarbageCollectionTrigger - soot.jimple.infoflow.solver.gcSolver中的枚举
-
Possible triggers when to start garbage collection
- garbageCollector - 类 中的变量soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- GarbageCollectorPeerGroup - soot.jimple.infoflow.solver.gcSolver中的类
-
Set of multiple garbage collectors that share a set of active dependencies
- GarbageCollectorPeerGroup() - 类 的构造器soot.jimple.infoflow.solver.gcSolver.GarbageCollectorPeerGroup
-
- GarbageCollectorPeerGroup(Collection<IGarbageCollectorPeer>) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.GarbageCollectorPeerGroup
-
- gc() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AggressiveGarbageCollector
-
- gc() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.DefaultGarbageCollector
-
- gc() - 接口 中的方法soot.jimple.infoflow.solver.gcSolver.IGarbageCollector
-
Performs the garbage collection
- gc() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.NullGarbageCollector
-
- gc() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.ThreadedGarbageCollector
-
- gcImmediate() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AbstractReferenceCountingGarbageCollector
-
Immediately performs garbage collection
- GCSolverPeerGroup - soot.jimple.infoflow.solver.gcSolver中的类
-
Specialized solver peer group for garbage-collecting solvers
- GCSolverPeerGroup() - 类 的构造器soot.jimple.infoflow.solver.gcSolver.GCSolverPeerGroup
-
- generateClassConstructor(SootClass) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Generates code which creates a new instance of the given class.
- generateClassConstructor(SootClass, Set<SootClass>) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Generates code which creates a new instance of the given class.
- generateClassConstructor(SootClass, Set<SootClass>, Set<SootClass>, Set<Local>) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Generates code which creates a new instance of the given class.
- generator - 类 中的变量soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
- get(long) - 类 中的方法soot.jimple.infoflow.collect.AtomicBitSet
-
- get(Object) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
- get(Object) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMap
-
- get(K) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMultiMap
-
- getAbstraction() - 类 中的方法soot.jimple.infoflow.data.AbstractionAtSink
-
Gets the abstraction with which the sink has been reached
- getAbstraction() - 类 中的方法soot.jimple.infoflow.solver.Propagator
-
- getAbstractionPath() - 类 中的方法soot.jimple.infoflow.data.SourceContextAndPath
-
- getAccessPath() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- getAccessPath() - 类 中的方法soot.jimple.infoflow.data.SourceContext
-
- getAccessPath() - 类 中的方法soot.jimple.infoflow.results.AbstractResultSourceSinkInfo
-
- getAccessPathConfiguration() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the access path configuration that defines, e.g. low long access paths
may be before being truncated
- getAccessPathFactory() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Gets the factory object for creating new access paths
- getAccessPathLength() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.AccessPathConfiguration
-
Gets the maximum depth of the access paths.
- getAccessPaths() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.FieldSourceSinkDefinition
-
Gets the access paths on the field that have been defined as sources or sinks
- getAccessPaths() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.StatementSourceSinkDefinition
-
- getAccessPaths() - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.SourceInfo
-
Returns all access paths which are tainted by this source
- getActivationUnit() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- getActiveCopy() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- getActiveCopy() - 接口 中的方法soot.jimple.infoflow.solver.fastSolver.FastSolverLinkedNode
-
If this abstraction supports alias analysis, this returns the active copy of
the current abstraction.
- getActualList() - 类 中的方法soot.jimple.infoflow.util.extensiblelist.ExtensibleList
-
- getAdditionalFields() - 类 中的方法soot.jimple.infoflow.entryPointCreators.DefaultEntryPointCreator
-
- getAdditionalFields() - 接口 中的方法soot.jimple.infoflow.entryPointCreators.IEntryPointCreator
-
Gets the set of additional fields that are used by the entry point and that
were generated by this entry point creator.
- getAdditionalFields() - 类 中的方法soot.jimple.infoflow.entryPointCreators.SequentialEntryPointCreator
-
- getAdditionalMethods() - 类 中的方法soot.jimple.infoflow.entryPointCreators.DefaultEntryPointCreator
-
- getAdditionalMethods() - 接口 中的方法soot.jimple.infoflow.entryPointCreators.IEntryPointCreator
-
Gets the set of additional methods that are used by the entry point and that
were generated by this entry point creator, although they are not directly
entry points on their own.
- getAdditionalMethods() - 类 中的方法soot.jimple.infoflow.entryPointCreators.SequentialEntryPointCreator
-
- getAggressiveMode() - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
Gets whether the taint wrapper shall always consider return values as tainted
if the base object of the respective invocation is tainted
- getAliasesForMethod(Stmt, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
- getAliasesForMethod(Stmt, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.IdentityTaintWrapper
-
- getAliasesForMethod(Stmt, Abstraction, Abstraction) - 接口 中的方法soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper
-
Gets the aliases that a summarized method generates for the given
abstraction.
- getAliasesForMethod(Stmt, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.RecordingTaintWrapper
-
- getAliasesForMethod(Stmt, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperList
-
- getAliasesForMethod(Stmt, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperSet
-
- getAliasing() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
- getAliasing() - 类 中的方法soot.jimple.infoflow.problems.rules.AbstractTaintPropagationRule
-
- getAliasingAlgorithm() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the aliasing algorithm to be used by the data flow tracker
- getAliasingStrategy() - 类 中的方法soot.jimple.infoflow.aliasing.Aliasing
-
- getAllAccessPaths() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.FieldSourceSinkDefinition
-
- getAllAccessPaths() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.IAccessPathBasedSourceSinkDefinition
-
Gets all access paths referenced in this source or sink definition,
regardless of their respective semantics
- getAllAccessPaths() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
- getAllAccessPaths() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.StatementSourceSinkDefinition
-
- getAllMethods() - 类 中的方法soot.jimple.infoflow.rifl.RIFLSourceSinkDefinitionProvider
-
- getAllMethods() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.FilteringSourceSinkDefinitionProvider
-
- getAllMethods() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.ISourceSinkDefinitionProvider
-
Gets all methods for which there are source/sink definitions
- getAllMethods() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.NullSourceSinkDefinitionProvider
-
- getAlwaysModelEqualsHashCode() - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
Gets whether the equals() and hashCode() methods shall always be modeled,
regardless of the target type.
- getArrayTaintType() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
Gets whether this access path references only the length of the array to
which it points, not the contents of that array
- getBase() - 类 中的方法soot.jimple.infoflow.results.xml.SerializedAccessPath
-
Gets the tainted base object
- getBaseCFG(boolean) - 类 中的方法soot.jimple.infoflow.cfg.DefaultBiDiICFGFactory
-
- getBaseCFG() - 类 中的方法soot.jimple.infoflow.solver.cfg.BackwardsInfoflowCFG
-
- getBaseDirectory() - 类 中的静态方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the base directory used e.g. for SourcesSinks.xsd
- getBaseForType(Type) - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory
-
- getBaseObjectCount() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Gets the number of access paths defined as sources or sinks on base objects
- getBaseObjects() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Gets the source and sink definitions for the base object on which a method of
this class is invoked
- getBaseObjectSink() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Gets the shared sink definition that is not associated with any method and
taints the base object
- getBaseObjectSource() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Gets the shared source definition that is not associated with any method and
taints the base object
- getBaseType() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
Gets the type of the base value
- getBaseType() - 类 中的方法soot.jimple.infoflow.results.xml.SerializedAccessPath
-
Gets the type of the tainted base object
- getBaseType() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.AccessPathTuple
-
- getBlankSinkTuple() - 类 中的静态方法soot.jimple.infoflow.sourcesSinks.definitions.AccessPathTuple
-
Gets the shared tuple that denoted just the base object as a sink
- getBlankSourceTuple() - 类 中的静态方法soot.jimple.infoflow.sourcesSinks.definitions.AccessPathTuple
-
Gets the shared tuple that denoted just the base object as a source
- getByValue(int) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
Gets all keys that have the given value.
- getCallbackDefinition(SootMethod) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
Checks whether the given method is registered as a callback method.
- getCallbackSourceMode() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SourceSinkConfiguration
-
Sets under which circumstances the parameters of callback methods shall be
treated as sources.
- getCallees() - 类 中的方法soot.jimple.infoflow.taintWrappers.RecordingTaintWrapper
-
Gets the set with all methods for which this taint wrapper was queried
- getCalleesOfCallAt(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getCallersOf(SootMethod) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getCallgraphAlgorithm() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the callgraph algorithm to be used by the data flow tracker
- getCallgraphConstructionSeconds() - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Gets the number of seconds that the data flow analysis spent on callgraph
constructions
- getCallsFromWithin(SootMethod) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getCallType() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Gets the type of method invocations that are denoted by this source or sink
- getCanHaveImmutableAliases() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
Returns whether the tainted object can have immutable aliases.
- getCategory() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.AbstractSourceSinkDefinition
-
- getCategory() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.ISourceSinkDefinition
-
Gets the category to which this source or sink belonga
- getChangeCounter() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
Gets the current state of the change counter.
- getClassName() - 类 中的方法soot.jimple.infoflow.data.AbstractMethodAndClass
-
- getClassName() - 类 中的方法soot.jimple.infoflow.data.SootFieldAndClass
-
- getClassName() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.JavaSourceSinkSpec
-
Gets the name of the class containing the parameter to be defined as
a source or sink.
- getCodeEliminationMode() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether and how FlowDroid shall eliminate irrelevant code before running
the taint propagation
- getCollectedSinks() - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Gets the concrete set of sinks that have been collected in preparation for
the taint analysis.
- getCollectedSinks() - 类 中的方法soot.jimple.infoflow.Infoflow
-
- getCollectedSources() - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Gets the concrete set of sources that have been collected in preparation for
the taint analysis.
- getCollectedSources() - 类 中的方法soot.jimple.infoflow.Infoflow
-
- getCompleteValue() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- getConfig() - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- getConfig() - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Gets the configuration to be used for the data flow analysis
- getConfig() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Gets the configuration for this data flow analysis
- getCorrespondingCallSite() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- getCurrentMemory() - 类 中的方法soot.jimple.infoflow.memory.reasons.OutOfMemoryReason
-
- getCurrentStmt() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- getDataFlowSolver() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SolverConfiguration
-
Gets the data flow solver to be used for the taint analysis
- getDataFlowTimeout() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the timeout in seconds after which the taint analysis shall be aborted.
- getDebugName() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Returns a String used to identify the output of this solver in debug mode.
- getDebugName() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Returns a String used to identify the output of this solver in debug mode.
- getDebugName() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Returns a String used to identify the output of this solver in debug mode.
- getDefault() - 类 中的静态方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
- getDefinition() - 类 中的方法soot.jimple.infoflow.data.SourceContext
-
- getDefinition() - 类 中的方法soot.jimple.infoflow.results.AbstractResultSourceSinkInfo
-
- getDescription() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.AccessPathTuple
-
Gets the description of this access path
- getDocument() - 类 中的方法soot.jimple.infoflow.rifl.RIFLWriter
-
Gets the document associated with this writer
- getDomain() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.DomainAssignment
-
Gets the domain the source or sink is associated with
- getDomainAssignment() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument
-
Gets the list of domain assignments
- getDomainByName(String) - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument
-
Gets the flow domain with the given name
- getDomains() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument
-
Gets the list of domains
- getEdgePropagationCount() - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Gets the number of edges that have been propagated in the solver
- getElement() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.Assignable
-
Gets the element to which this assignable refers
- getElementByHandle(String) - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.InterfaceSpec
-
Gets the assignable with the given handle
- getElements() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.Category
-
Gets the sources and sinks in this category
- getEmptyAccessPath() - 类 中的静态方法soot.jimple.infoflow.data.AccessPath
-
- getEnableArraySizeTainting() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
- getEnableArrayTracking() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether the solver shall track taints of arrays and array elements
- getEnableExceptionTracking() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether the solver shall track taints of thrown exception objects
- getEnableLifecycleSources() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SourceSinkConfiguration
-
Gets whether the parameters of lifecycle methods shall be considered as
sources
- getEnableLineNumbers() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether line numbers associated with sources and sinks should be output
in XML results
- getEnableOriginalNames() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether the usage of original variablenames (if available) is enabled
- getEnableReflection() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether reflective method calls shall be supported
- getEnableTypeChecking() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether type checking shall be done on casts and method calls
- getEndPointsOf(SootMethod) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getExceptions() - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Gets the exceptions that have happened during the data flow analysis.
- getExceptionThrown() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
Gets whether this value has been thrown as an exception
- getExcludeSootLibraryClasses() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether classes that are declared library classes in Soot shall be
excluded from the data flow analysis, i.e., no flows shall be tracked through
them
- getExecutor() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Factory method for this solver's thread-pool executor.
- getExecutor() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- getExecutor() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Factory method for this solver's thread-pool executor.
- getExecutor() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- getExecutor() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Factory method for this solver's thread-pool executor.
- getExecutor() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.InfoflowSolver
-
- getFailedClasses() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Returns a copy of all classes that could not be instantiated properly
- getFailedMethods() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Returns all methods from from methodsToCall, where no call was possible
- getFieldCount() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- getFieldName() - 类 中的方法soot.jimple.infoflow.data.SootFieldAndClass
-
- getFieldName() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.JavaFieldSpec
-
Gets the name of the static field to be treated as a source or sink
- getFields() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- getFields() - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory.BasePair
-
- getFields() - 类 中的方法soot.jimple.infoflow.results.xml.SerializedAccessPath
-
Gets the sequence of fields in this access path
- getFields() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.AccessPathTuple
-
- getFieldSignature() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.FieldSourceSinkDefinition
-
Gets the signature of the referenced Soot field
- getFieldType() - 类 中的方法soot.jimple.infoflow.data.SootFieldAndClass
-
- getFieldTypes() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- getFieldTypes() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.AccessPathTuple
-
- getFileFormatVersion() - 类 中的方法soot.jimple.infoflow.results.xml.SerializedInfoflowResults
-
Gets the format version of the XML file from which this data was read
- getFirstDomain() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.FlowPair
-
Gets the first domain in the pair, i.e. the start domain of the
information flow
- getFirstField() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- getFirstFieldType() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- getFirstSlow() - 类 中的方法soot.jimple.infoflow.util.extensiblelist.ExtensibleList
-
Returns the first element.
- getFlowPolicy() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument
-
Gets the flow policy as a list of pair of domains between each data
flows are allowed
- getFlowSensitiveAliasing() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether a flow sensitive aliasing algorithm shall be used
- getForwardSolver() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Gets the IFDS solver that propagates edges forward
- getGcedEdges() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AbstractReferenceCountingGarbageCollector
-
- getGcedEdges() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AggressiveGarbageCollector
-
- getGcedEdges() - 接口 中的方法soot.jimple.infoflow.solver.gcSolver.IGarbageCollector
-
Gets the number of taint abstractions that were removed during garbage
collection
- getGcedEdges() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.NullGarbageCollector
-
- getGcedMethods() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AbstractReferenceCountingGarbageCollector
-
- getGcedMethods() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AggressiveGarbageCollector
-
- getGcedMethods() - 接口 中的方法soot.jimple.infoflow.solver.gcSolver.IGarbageCollector
-
Gets the number of methods for which taint abstractions were removed during
garbage collection
- getGcedMethods() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.NullGarbageCollector
-
- getGCPeerGroup() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.GCSolverPeerGroup
-
Creates the peer group for the garbage collectors
- getGeneratedMainMethod() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
- getGeneratedMainMethod() - 接口 中的方法soot.jimple.infoflow.entryPointCreators.IEntryPointCreator
-
Gets the last dummy main method that was generated by this creator
- getGlobalTaintManager() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Gets the manager object for handling global taints outside of the IFDS solver
- getHalfSignature() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.JavaMethodSourceSinkSpec
-
Gets the method name and the formal parameters with fully-qualified
names in brackets.
- getHandle() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.Assignable
-
Gets the handle by which this interface can be referenced
- getHandlers() - 类 中的方法soot.jimple.infoflow.handlers.SequentialTaintPropagationHandler
-
Gets the inner handlers registered with this object
- getHashCode() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- getHashCode() - 类 中的方法soot.jimple.infoflow.data.SootFieldAndClass
-
- getHierarchy() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Gets the Soot type hierarchy that was constructed together with the
callgraph.
- getHumanReadableDescription() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.ISourceSinkCategory
-
Gets a human-readable description of the current category.
- getICFG() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Gets the interprocedural control flow graph
- getID() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.ISourceSinkCategory
-
Gets a machine-readable description of the current category.
- getIgnoreFlowsInSystemPackages() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether flows starting or ending in system packages such as Android's
support library shall be ignored.
- getImplicitFlowMode() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the mode that defines whether and how the solver shall handle implicit
flows
- getIncrementalResultReporting() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether the data flow results shall be reported incrementally instead of
being only available after the full data flow analysis has been completed.
- getInitialSeeds() - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
Gets the initial seeds with which this information flow problem has been
configured
- getInspectSinks() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether the implementations of sink methods shall be analyzed as well
- getInspectSources() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether the implementations of source methods shall be analyzed as well
- getInterfaceSpec() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument
-
Gets the interface specification
- getInverseTaintsForMethod(Stmt, Abstraction, Abstraction) - 接口 中的方法soot.jimple.infoflow.taintWrappers.IReversibleTaintWrapper
-
Checks an invocation statement for black-box taint propagation.
- getInverseTaintsForMethod(Stmt, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperList
-
- getInverseTaintsForMethod(Stmt, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperSet
-
- getKey() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap.Entry
-
- getKey() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMap.MapEntry
-
- getLast() - 类 中的方法soot.jimple.infoflow.util.extensiblelist.ExtensibleList
-
Returns the last element
- getLastField() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- getLastFieldType() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- getLayoutMatchingMode() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SourceSinkConfiguration
-
Gets the mode to be used when deciding whether a UI control is a source or
not
- getLibraryClassPatcher() - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- getLocal() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.StatementSourceSinkDefinition
-
- getLogSourcesAndSinks() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether the discovered sources and sinks shall be logged
- getManager() - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- getManager() - 类 中的方法soot.jimple.infoflow.problems.rules.AbstractTaintPropagationRule
-
- getMaxAbstractionPathLength() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SolverConfiguration
-
Gets the maximum length over which an abstraction may be propagated before
the abstractions is dropped
- getMaxCalleesPerCallSite() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SolverConfiguration
-
Gets the maximum number of callees permitted per call site.
- getMaxCallersInOutputFile() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.OutputConfiguration
-
Gets the maximum number of callers that shall be considered per node when
writing out the call graph fraction from the entry point to the source.
- getMaxCallStackSize() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Gets the maximum call stack size.
- getMaxJoinPointAbstractions() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SolverConfiguration
-
Gets the maximum number of abstractions that shall be recorded per join
point.
- getMaxMemoryConsumption() - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Gets the peak amount of memory that the data flow analysis has been using
during its analysis
- getMaxPathLength() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Gets the maximum size for taint propagation paths.
- getMaxPathsPerAbstraction() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Gets the maximum number of paths that shall be recorded per abstraction.
- getMaxThreadNum() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the maximum number of threads to be used by the solver.
- getMemoryManager() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Gets the memory manager used by this solver to reduce memory consumption
- getMemoryManager() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Gets the memory manager used by this solver to reduce memory consumption
- getMemoryManager() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Gets the memory manager used by this solver to reduce memory consumption
- getMemoryManager() - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Gets the memory manager used by this solver to reduce memory consumption
- getMemoryManager(boolean, FlowDroidMemoryManager.PathDataErasureMode) - 类 中的方法soot.jimple.infoflow.solver.memory.DefaultMemoryManagerFactory
-
- getMemoryManager(boolean, FlowDroidMemoryManager.PathDataErasureMode) - 接口 中的方法soot.jimple.infoflow.solver.memory.IMemoryManagerFactory
-
Creates a new instance of the memory manager
- getMemoryThreshold() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the threshold at which the data flow analysis shall be terminated.
- getMergeNeighbors() - 类 中的静态方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether neighbors at the same statement shall be merged into a single
abstraction
- getMethod() - 类 中的方法soot.jimple.infoflow.solver.cfg.IInfoflowCFG.UnitContainer
-
- getMethod() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Gets the method for which this object defines sources and sinks
- getMethodName() - 类 中的方法soot.jimple.infoflow.data.AbstractMethodAndClass
-
- getMethodNameFromSubSignature(String) - 类 中的方法soot.jimple.infoflow.util.SootMethodRepresentationParser
-
Parses a Soot method subsignature and returns the method name
- getMethodOf(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getMethodReferences(SootMethod, FastSolverLinkedNode<D, N>) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AheadOfTimeReferenceProvider
-
- getMethodReferences(SootMethod, FastSolverLinkedNode<D, N>) - 接口 中的方法soot.jimple.infoflow.solver.gcSolver.IGCReferenceProvider
-
Given a method and a context, gets the set of methods that in which the
solver can transitively spawn new analysis tasks
- getMethodReferences(SootMethod, FastSolverLinkedNode<D, N>) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.OnDemandReferenceProvider
-
- getMethodsForSeeds(IInfoflowCFG) - 类 中的方法soot.jimple.infoflow.Infoflow
-
- getMorePreciseType(Type, Type) - 类 中的静态方法soot.jimple.infoflow.util.TypeUtils
-
Gets the more precise one of the two given types.
- getMorePreciseType(String, String) - 类 中的静态方法soot.jimple.infoflow.util.TypeUtils
-
Gets the more precise one of the two given types
- getName() - 类 中的方法soot.jimple.infoflow.cfg.FlowDroidEssentialMethodTag
-
- getName() - 类 中的方法soot.jimple.infoflow.entryPointCreators.SimulatedCodeElementTag
-
- getName() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.Category
-
Gets the name of this category
- getName() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.DomainSpec
-
Gets the name of this domain
- getNeighborCount() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- getNeighborCount() - 接口 中的方法soot.jimple.infoflow.solver.fastSolver.FastSolverLinkedNode
-
Gets the number of neighbors already registered with this abstraction
- getNeighborCounter() - 类 中的方法soot.jimple.infoflow.data.SourceContextAndPath
-
- getNeighbors() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- getNoCallGraphFraction() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.OutputConfiguration
-
Gets whether to exclude the call graph fraction from the entry points to the
source in the xml output
- getNonCollidingFieldName(String) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Gets a field name that is not already in use by some field
- getNoPassedValues() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.OutputConfiguration
-
Gets whether FlowDroid shall exclude the passed values to sources and sinks
from the xml output from the analysis
- getOneResultPerAccessPath() - 类 中的静态方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether different results shall be reported if they only differ in the
access path the reached the sink or left the source
- getOneSourceAtATime() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether one source shall be analyzed at a time instead of all sources
together
- getOrCreateDummyMainClass() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Gets the class that contains the dummy main method.
- getOrCreateUnitGraph(SootMethod) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getOrdinaryCalleesOfCallAt(Unit) - 接口 中的方法soot.jimple.infoflow.solver.cfg.IInfoflowCFG
-
Gets all ordinary callees of the call at call site u, i.e., those that are
not \ or a fake edge.
- getOrdinaryCalleesOfCallAt(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getOutputConfiguration() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the configuration for writing the data flow results into files
- getOverwriteDummyMainMethod() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Gets whether the dummy main method shall be overwritten if it already exists.
- getParameterCount() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Gets the number of access paths defined as sources or sinks on parameters
- getParameterRefs(SootMethod) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getParameters() - 类 中的方法soot.jimple.infoflow.data.AbstractMethodAndClass
-
- getParameters() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Gets the source and sink definitions for parameters of the current method
- getParameterTypesFromSubSignature(String) - 类 中的方法soot.jimple.infoflow.util.SootMethodRepresentationParser
-
Parses a Soot method subsignature and returns the list of parameter types
- getParamIdx() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.JavaParameterSpec
-
Gets the index of the parameter to be defined as a source or sink. 0
refers to the return value, so the list is 1-based.
- getParentMethod() - 类 中的方法soot.jimple.infoflow.callbacks.CallbackDefinition
-
Gets the parent method in the Android framework that causes the target method
to be a callback.
- getPath() - 类 中的方法soot.jimple.infoflow.data.SourceContextAndPath
-
- getPath() - 类 中的方法soot.jimple.infoflow.results.ResultSourceInfo
-
- getPathAccessPaths() - 类 中的方法soot.jimple.infoflow.results.ResultSourceInfo
-
- getPathAgnosticResults() - 类 中的静态方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether results (source-to-sink connections) that only differ in their
propagation paths shall be merged into a single result or not.
- getPathBuildingAlgorithm() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Gets the algorithm that shall be used for reconstructing the propagation
paths between source and sink
- getPathConfiguration() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the configuration for dealing with the paths between source and sinks
- getPathLength() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- getPathLength() - 接口 中的方法soot.jimple.infoflow.solver.fastSolver.FastSolverLinkedNode
-
Gets the length of the path over which this node was propagated
- getPathReconstructionBatchSize() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Gets the number of paths that shall be reconstructed in one batch.
- getPathReconstructionMode() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Gets the mode that defines how the paths between sources and sinks shall be
reconstructed
- getPathReconstructionSeconds() - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Gets the number of seconds spent on path reconstruction, i.e., finding the
sources to which the sinks are connected in the taint graph
- getPathReconstructionTimeout() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Gets the timeout in seconds after which path reconstruction shall be aborted.
- getPerformanceData() - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Gets the performance data on this FlowDroid run
- getPerformanceData() - 类 中的方法soot.jimple.infoflow.results.xml.SerializedInfoflowResults
-
Gets the performance statistics for this FlowDroid run
- getPlainValue() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- getPostdominatorOf(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.BackwardsInfoflowCFG
-
- getPostdominatorOf(Unit) - 接口 中的方法soot.jimple.infoflow.solver.cfg.IInfoflowCFG
-
Gets the postdominator of the given unit.
- getPostdominatorOf(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getPredecessor() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- getPredecessor() - 接口 中的方法soot.jimple.infoflow.solver.fastSolver.FastSolverLinkedNode
-
Gets the predecessor of this node
- getPredsOf(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getPredsOfCallAt(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getPropagationCount() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- getPropagationCount() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- getPropagationCount() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.InfoflowSolver
-
- getPropagationCount() - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Gets the number of edges propagated by the solver
- getPropagationPath() - 类 中的方法soot.jimple.infoflow.results.xml.SerializedSourceInfo
-
Gets the propagation of this data flow
- getPropagationRules() - 类 中的方法soot.jimple.infoflow.problems.InfoflowProblem
-
Gets the rules that FlowDroid uses internally to conduct specific analysis
tasks such as handling sources or sinks
- getReasons() - 类 中的方法soot.jimple.infoflow.memory.reasons.MultiReason
-
Gets the reasons why the solver was terminated
- getRequiredClasses() - 类 中的方法soot.jimple.infoflow.entryPointCreators.DefaultEntryPointCreator
-
- getRequiredClasses() - 接口 中的方法soot.jimple.infoflow.entryPointCreators.IEntryPointCreator
-
Gets the set of classes used in this dummy main method.
- getRequiredClasses() - 类 中的方法soot.jimple.infoflow.entryPointCreators.SequentialEntryPointCreator
-
- getResourceStream(Class<?>, String) - 类 中的静态方法soot.jimple.infoflow.util.ResourceUtils
-
Returns an input stream of a specified resource files, which is contained
within the JAR.
- getResourceStream(String) - 类 中的静态方法soot.jimple.infoflow.util.ResourceUtils
-
Returns an input stream of a specified resource files, which is contained
within the JAR.
- getResultCount() - 类 中的方法soot.jimple.infoflow.results.xml.SerializedInfoflowResults
-
Gets the number of data flow results in this object
- getResults() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.BatchPathBuilder
-
- getResults() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder
-
- getResults() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ContextSensitivePathBuilder
-
- getResults() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.EmptyPathBuilder
-
- getResults() - 接口 中的方法soot.jimple.infoflow.data.pathBuilders.IAbstractionPathBuilder
-
Gets the constructed result paths
- getResults() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.RecursivePathBuilder
-
- getResults() - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
getResults returns the results found by the analysis
- getResults() - 类 中的方法soot.jimple.infoflow.Infoflow
-
- getResults() - 类 中的方法soot.jimple.infoflow.problems.InfoflowProblem
-
Gets the results of the data flow analysis
- getResults() - 类 中的方法soot.jimple.infoflow.problems.rules.AbstractTaintPropagationRule
-
- getResults() - 类 中的方法soot.jimple.infoflow.problems.TaintPropagationResults
-
Gets all results collected in this data object
- getResults() - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Gets all results in this object as a hash map from sinks to sets of sources.
- getResults() - 类 中的方法soot.jimple.infoflow.results.xml.SerializedInfoflowResults
-
Gets the results as a map.
- getResultSerializationTimeout() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.OutputConfiguration
-
Gets the timeout for the result serialization process in seconds.
- getResultSet() - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Gets the data flow results in a flat set
- getReturnSitesOfCallAt(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getReturnType() - 类 中的方法soot.jimple.infoflow.data.AbstractMethodAndClass
-
- getReturnValueCount() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Gets the number of access paths defined as sources or sinks on return values
- getReturnValues() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Gets the source definitions for the return value of the current method
- getReuseCount() - 类 中的方法soot.jimple.infoflow.data.FlowDroidMemoryManager
-
Gets the number of access paths that have been re-used through caching
- getRIFLSpecVersion() - 类 中的静态方法soot.jimple.infoflow.rifl.RIFLDocument
-
Gets the version number of the RIFL specification modeled by these data
classes
- getRules() - 类 中的方法soot.jimple.infoflow.problems.rules.PropagationRuleManager
-
Gets the array of rules registered in this manager object
- getSecondDomain() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.FlowPair
-
Gets the second domain in the pair, i.e. the target domain of the
information flow
- getSequentialPathProcessing() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Gets whether FlowDroid shall perform sequential path reconstruction instead
of running all reconstruction tasks concurrently.
- getShallowMode() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Gets whether shallow mode shall be used.
- getSignature() - 类 中的方法soot.jimple.infoflow.data.AbstractMethodAndClass
-
Get the signature of the stored method and class
- getSignature() - 类 中的方法soot.jimple.infoflow.data.SootFieldAndClass
-
- getSimpleDefaultValue(Type) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
- getSimpleTypeFromType(Type) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
- getSink() - 类 中的方法soot.jimple.infoflow.results.DataFlowResult
-
- getSinkCategoryID() - 类 中的方法soot.jimple.infoflow.results.DataFlowResult
-
Convenience function to get the sink category ID
- getSinkCount() - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Gets the number of sinks that were identified in the given input program
- getSinkDefinition() - 类 中的方法soot.jimple.infoflow.data.AbstractionAtSink
-
Gets the original definition of the sink that has been reached
- getSinkDefinition(Stmt, InfoflowManager, AccessPath) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
Gets the sink definition for the given call site and tainted access path
- getSinkFilterMode() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SourceSinkConfiguration
-
Gets the default mode for handling sinks that have not been configured
explicitly
- getSinkInfo(Stmt, InfoflowManager, AccessPath) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- getSinkInfo(Stmt, InfoflowManager, AccessPath) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
- getSinkInfo(Stmt, InfoflowManager, AccessPath) - 接口 中的方法soot.jimple.infoflow.sourcesSinks.manager.ISourceSinkManager
-
Checks if the given access path at this statement will leak.
- getSinkInfo(Stmt, InfoflowManager, AccessPath) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.MethodBasedSourceSinkManager
-
- getSinkMethodInfo(SootMethod) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.EmptySourceSinkManager
-
- getSinkMethodInfo(SootMethod) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.MethodBasedSourceSinkManager
-
- getSinkOnlyDefinition() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.FieldSourceSinkDefinition
-
- getSinkOnlyDefinition() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.IAccessPathBasedSourceSinkDefinition
-
Creates a definition which is a subset of this definition that only contains
the sinks
- getSinkOnlyDefinition() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.ISourceSinkDefinition
-
Creates a definition which is a subset of this definition that only contains
the sinks
- getSinkOnlyDefinition() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
- getSinkOnlyDefinition() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.StatementSourceSinkDefinition
-
- getSinks() - 类 中的方法soot.jimple.infoflow.rifl.RIFLSourceSinkDefinitionProvider
-
- getSinks() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.FilteringSourceSinkDefinitionProvider
-
- getSinks() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.ISourceSinkDefinitionProvider
-
Gets a set of all sinks registered in the provider
- getSinks() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.NullSourceSinkDefinitionProvider
-
- getSinkStmt() - 类 中的方法soot.jimple.infoflow.data.AbstractionAtSink
-
Gets the statement that triggered the sink
- getSolver() - 类 中的方法soot.jimple.infoflow.aliasing.FlowSensitiveAliasStrategy
-
- getSolver() - 接口 中的方法soot.jimple.infoflow.aliasing.IAliasingStrategy
-
If this aliasing strategy uses an additional IFDS solver, it is returned
by this method.
- getSolver() - 类 中的方法soot.jimple.infoflow.aliasing.ImplicitFlowAliasStrategy
-
- getSolver() - 类 中的方法soot.jimple.infoflow.aliasing.LazyAliasingStrategy
-
- getSolver() - 类 中的方法soot.jimple.infoflow.aliasing.NullAliasStrategy
-
- getSolver() - 类 中的方法soot.jimple.infoflow.aliasing.PtsBasedAliasStrategy
-
- getSolverConfiguration() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the configuration for the core IFDS data flow solver
- getSolverId() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- getSootIntegrationMode() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets how FloweDroid shall interact with the underlying Soot instance.
- getSource() - 类 中的方法soot.jimple.infoflow.results.DataFlowResult
-
- getSource(Stmt, IInfoflowCFG) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
Checks whether the given statement is a source, i.e. introduces new
information into the application.
- getSourceCategoryID() - 类 中的方法soot.jimple.infoflow.results.DataFlowResult
-
Convenience function to get the source category ID
- getSourceContext() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
Gets the context of the taint, i.e. the statement and value of the source
- getSourceCount() - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Gets the number of sources that were identified in the given input program
- getSourceDefinition() - 类 中的方法soot.jimple.infoflow.resources.controls.LayoutControl
-
If this control shall be treated as a source, this method is called to obtain
the precise definition of the source
- getSourceDefinition() - 类 中的方法soot.jimple.infoflow.resources.controls.SwingPasswordField
-
- getSourceDefinition() - 类 中的方法soot.jimple.infoflow.resources.controls.SwingTextField
-
- getSourceDefinition(SootMethod) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
Checks whether the given method is registered as a source method
- getSourceFilterMode() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SourceSinkConfiguration
-
Gets the default mode for handling sources that have not been configured
explicitly
- getSourceInfo(Stmt, InfoflowManager) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- getSourceInfo(Stmt, InfoflowManager) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
- getSourceInfo(Stmt, InfoflowManager) - 接口 中的方法soot.jimple.infoflow.sourcesSinks.manager.ISourceSinkManager
-
Determines if a method called by the Stmt is a source method or not.
- getSourceInfo(Stmt, InfoflowManager) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.MethodBasedSourceSinkManager
-
- getSourceMethod(SootMethod) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
Checks whether the given method is registered as a source method.
- getSourceMethodInfo(SootMethod) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.EmptySourceSinkManager
-
- getSourceMethodInfo(SootMethod) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.MethodBasedSourceSinkManager
-
- getSourceOnlyDefinition() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.FieldSourceSinkDefinition
-
- getSourceOnlyDefinition() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.IAccessPathBasedSourceSinkDefinition
-
Creates a definition which is a subset of this definition that only contains
the sources
- getSourceOnlyDefinition() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.ISourceSinkDefinition
-
Creates a definition which is a subset of this definition that only contains
the sources
- getSourceOnlyDefinition() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
- getSourceOnlyDefinition() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.StatementSourceSinkDefinition
-
- getSourceOrSink() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.DomainAssignment
-
Gets the source or sink associated with a domain
- getSources() - 类 中的方法soot.jimple.infoflow.rifl.RIFLSourceSinkDefinitionProvider
-
- getSources() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.FilteringSourceSinkDefinitionProvider
-
- getSources() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.ISourceSinkDefinitionProvider
-
Gets a set of all sources registered in the provider
- getSources() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.NullSourceSinkDefinitionProvider
-
- getSourceSinkConfig() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets the configuration of the source/sink manager
- getSourceSinkManager() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Gets the SourceSinkManager implementation
- getSourceSinkType() - 类 中的方法soot.jimple.infoflow.data.SootFieldAndClass
-
- getSourceSinkType() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.AccessPathTuple
-
- getSourcesSinks() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.InterfaceSpec
-
Gets the list of sources and sinks defined in this interface
specification
- getStartPointsOf(SootMethod) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getStatic() - 类 中的方法soot.jimple.infoflow.data.SootFieldAndClass
-
- getStaticFieldTrackingMode() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets how the data flow solver shall treat assignments to static fields
- getStmt() - 类 中的方法soot.jimple.infoflow.data.SourceContext
-
- getStmt() - 类 中的方法soot.jimple.infoflow.results.AbstractResultSourceSinkInfo
-
- getStmt() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.StatementSourceSinkDefinition
-
- getStopAfterFirstFlow() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether the information flow analysis shall stop after the first flow
has been found
- getStopAfterFirstKFlows() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets after how many flows the information flow analysis shall stop.
- getSubSignature() - 类 中的方法soot.jimple.infoflow.data.AbstractMethodAndClass
-
Get subsignature of stored method and class
- getSuccsOf(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- getTabulationProblem() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- getTabulationProblem() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- getTabulationProblem() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.InfoflowSolver
-
- getTabulationProblem() - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Gets the IFDS problem solved by this solver
- getTaintedValues(Stmt, Abstraction, Value[]) - 类 中的方法soot.jimple.infoflow.nativeCallHandler.DefaultNativeCallHandler
-
- getTaintedValues(Stmt, Abstraction, Value[]) - 接口 中的方法soot.jimple.infoflow.nativeCallHandler.INativeCallHandler
-
Returns the set of tainted values for a given call to native code, a
given tainted value and the list of passed arguments
- getTaintPathTask(AbstractionAtSink) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder
-
Gets the task that computes the result paths for a single abstraction.
- getTaintPathTask(AbstractionAtSink) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ContextInsensitivePathBuilder
-
- getTaintPathTask(AbstractionAtSink) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ContextInsensitiveSourceFinder
-
- getTaintPathTask(AbstractionAtSink) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ContextSensitivePathBuilder
-
- getTaintPropagationSeconds() - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Gets the number of seconds spent on the taint propagation
- getTaintsForMethod(Stmt, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper
-
- getTaintsForMethod(Stmt, Abstraction, Abstraction) - 接口 中的方法soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper
-
Checks an invocation statement for black-box taint propagation.
- getTaintsForMethod(Stmt, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperList
-
- getTaintsForMethod(Stmt, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperSet
-
- getTaintsForMethodInternal(Stmt, AccessPath) - 类 中的方法soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper
-
Checks an invocation statement for black-box taint propagation.
- getTaintsForMethodInternal(Stmt, AccessPath) - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
- getTaintsForMethodInternal(Stmt, AccessPath) - 类 中的方法soot.jimple.infoflow.taintWrappers.IdentityTaintWrapper
-
- getTaintsForMethodInternal(Stmt, AccessPath) - 类 中的方法soot.jimple.infoflow.taintWrappers.RecordingTaintWrapper
-
- getTaintSubFields() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
Gets whether sub-fields shall be tainted.
- getTaintSubFields() - 类 中的方法soot.jimple.infoflow.results.xml.SerializedAccessPath
-
Gets whether fields following the specified ones shall also be
considered as tainted
- getTaintWrapper() - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- getTaintWrapper() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Gets the taint wrapper to be used for handling library calls
- getTaintWrapper() - 接口 中的方法soot.jimple.infoflow.taintWrappers.ITaintWrapperDataFlowAnalysis
-
Gets the taint wrapper to be used for propagating taints over unknown
(library) callees.
- getTargetMethod() - 类 中的方法soot.jimple.infoflow.callbacks.CallbackDefinition
-
Gets the callback method represented by this data object
- getTerminationReason() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.BatchPathBuilder
-
- getTerminationReason() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder
-
- getTerminationReason() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.EmptyPathBuilder
-
- getTerminationReason() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.RecursivePathBuilder
-
- getTerminationReason() - 接口 中的方法soot.jimple.infoflow.memory.IMemoryBoundedSolver
-
In case this solver was killed before it could complete its task, this
method returns the reason for the abortion.
- getTerminationReason() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- getTerminationReason() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- getTerminationReason() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- getTerminationState() - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Gets the termination state that describes whether the data flow analysis
terminated normally or whether one or more phases terminated prematurely due
to a timeout or an out-of-memory condition
- getTimeElapsed() - 类 中的方法soot.jimple.infoflow.memory.reasons.TimeoutReason
-
Gets the time that has elapsed so far
- getTimeout() - 类 中的方法soot.jimple.infoflow.memory.FlowDroidTimeoutWatcher
-
Gets the timeout after which the IFDS solvers are aborted
- getTimeout() - 类 中的方法soot.jimple.infoflow.memory.reasons.TimeoutReason
-
Gets the maximum amount of time that the solver was allowed to spend on the
task
- getTopPostdominator() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- getTotalRuntimeSeconds() - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Gets the total number of seconds that the data flow analysis has spent to
create the flow results
- getTransitiveCallees(SootMethod) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AbstractReferenceProvider
-
Computes the set of transitive callees of the given method
- getType() - 类 中的方法soot.jimple.infoflow.rifl.RIFLDocument.SourceSinkSpec
-
Gets the type of this specification, i.e., whether it's a source or
a sink
- getTypeFromString(String) - 类 中的静态方法soot.jimple.infoflow.util.TypeUtils
-
Creates a Soot Type from the given string
- getTypes() - 类 中的方法soot.jimple.infoflow.data.AccessPathFactory.BasePair
-
- getTypes() - 类 中的方法soot.jimple.infoflow.results.xml.SerializedAccessPath
-
Gets the types of the fields in this access path
- getTypeUtils() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Gets the utility class for type checks
- getUISourceDefinition(Stmt, IInfoflowCFG) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
Checks whether the given call site indicates a UI source, e.g. a password
input.
- getUnit() - 类 中的方法soot.jimple.infoflow.solver.cfg.IInfoflowCFG.UnitContainer
-
- getUseAndDefValues(Unit) - 类 中的静态方法soot.jimple.infoflow.util.SootUtils
-
- getUserData() - 类 中的方法soot.jimple.infoflow.data.SourceContext
-
- getUserData() - 类 中的方法soot.jimple.infoflow.results.AbstractResultSourceSinkInfo
-
- getUseRecursiveAccessPaths() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.AccessPathConfiguration
-
Gets whether recursive access paths shall be reduced, e.g. whether we shall
propagate a.
- getUseSameFieldReduction() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.AccessPathConfiguration
-
Gets whether access paths that repeat the same field shall be reduced, i.e.,
whether a.next.obj shall be propagated instead of a.next.next.obj.
- getUseThisChainReduction() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.AccessPathConfiguration
-
Gets whether access paths pointing to outer objects using this$n shall be
reduced, e.g. whether we shall propagate a.data instead of a.this$0.a.data.
- getValue() - 类 中的方法soot.jimple.infoflow.cfg.FlowDroidEssentialMethodTag
-
- getValue() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap.Entry
-
- getValue() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMap.MapEntry
-
- getValue() - 类 中的方法soot.jimple.infoflow.entryPointCreators.SimulatedCodeElementTag
-
- getValue(SootMethod, Stmt, Value, Class<T>) - 接口 中的方法soot.jimple.infoflow.values.IValueProvider
-
- getValue(SootMethod, Stmt, Value, Class) - 类 中的方法soot.jimple.infoflow.values.SimpleConstantValueProvider
-
- getValueForType(Type, Set<SootClass>, Set<SootClass>) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Creates a value of the given type to be used as a substitution in method
invocations or fields
- getValueForType(Type, Set<SootClass>, Set<SootClass>, Set<Local>) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Creates a value of the given type to be used as a substitution in method
invocations or fields
- getWarnOnConstructorLoop() - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Gets whether a warning shall be written to the log when a constructor call
cannot be generated because the analysis ran into a loop when trying to
generate parameter values.
- getWrapperHits() - 类 中的方法soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper
-
- getWrapperHits() - 接口 中的方法soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper
-
Gets the number of times in which the taint wrapper was able to
exclusively model a method call.
- getWrapperHits() - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperList
-
- getWrapperHits() - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperSet
-
- getWrapperMisses() - 类 中的方法soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper
-
- getWrapperMisses() - 接口 中的方法soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper
-
Gets the number of times in which the taint wrapper was NOT able to
exclusively model a method call.
- getWrapperMisses() - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperList
-
- getWrapperMisses() - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperSet
-
- getWriteOutputFiles() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether FlowDroid shall write the Jimple files to disk after the data
flow analysis
- getZeroAbstraction(boolean) - 类 中的静态方法soot.jimple.infoflow.data.Abstraction
-
- getZeroValue() - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- getZeroValue() - 类 中的方法soot.jimple.infoflow.problems.rules.AbstractTaintPropagationRule
-
- GlobalTaintManager - soot.jimple.infoflow.globalTaints中的类
-
Manager class for storing and processing global taints, i.e., taints that
shall be valid regardless of context and statement.
- GlobalTaintManager(Set<IInfoflowSolver>) - 类 的构造器soot.jimple.infoflow.globalTaints.GlobalTaintManager
-
- IAbstractionPathBuilder - soot.jimple.infoflow.data.pathBuilders中的接口
-
Common interface for all path construction algorithms.
- IAbstractionPathBuilder.OnPathBuilderResultAvailable - soot.jimple.infoflow.data.pathBuilders中的接口
-
Callback interface that is triggered whenever a path builder has
computed a result value
- IAccessPathBasedSourceSinkDefinition - soot.jimple.infoflow.sourcesSinks.definitions中的接口
-
Common interface for all source/sink definitions based on access paths
- IAliasingStrategy - soot.jimple.infoflow.aliasing中的接口
-
Generic interface for the different taint aliasing strategies supported by
FlowDroid
- icfg - 类 中的变量soot.jimple.infoflow.results.xml.InfoflowResultsSerializer
-
- icfg - 类 中的变量soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- icfg - 类 中的变量soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- icfg - 类 中的变量soot.jimple.infoflow.solver.gcSolver.AbstractGarbageCollector
-
- icfg - 类 中的变量soot.jimple.infoflow.solver.gcSolver.AbstractReferenceProvider
-
- icfg - 类 中的变量soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- icfgFactory - 类 中的变量soot.jimple.infoflow.AbstractInfoflow
-
- ICodeOptimizer - soot.jimple.infoflow.codeOptimization中的接口
-
Interface for all code optimization implementations
- IdentityPair<K,V> - soot.jimple.infoflow.collect中的类
-
Pair class that uses object identities for equals() and hashCode()
- IdentityPair(K, V) - 类 的构造器soot.jimple.infoflow.collect.IdentityPair
-
- IdentityTaintWrapper - soot.jimple.infoflow.taintWrappers中的类
-
Taints the return value of a method call if one of the parameter values or
the base object is tainted.
- IdentityTaintWrapper() - 类 的构造器soot.jimple.infoflow.taintWrappers.IdentityTaintWrapper
-
- IEntryPointCreator - soot.jimple.infoflow.entryPointCreators中的接口
-
- IExecutorFactory - soot.jimple.infoflow.threading中的接口
-
Common interface for classes that can create instances of thread pool
executors
- IFDSSolver<N,D extends FastSolverLinkedNode<D,N>,I extends soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<N,soot.SootMethod>> - soot.jimple.infoflow.solver.fastSolver中的类
-
A solver for an IFDSTabulationProblem.
- IFDSSolver(IFDSTabulationProblem<N, D, SootMethod, I>) - 类 的构造器soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Creates a solver for the given problem, which caches flow functions and edge
functions.
- IFDSSolver(IFDSTabulationProblem<N, D, SootMethod, I>, CacheBuilder) - 类 的构造器soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Creates a solver for the given problem, constructing caches with the given
CacheBuilder.
- IFDSSolver<N,D extends FastSolverLinkedNode<D,N>,I extends soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<N,soot.SootMethod>> - soot.jimple.infoflow.solver.gcSolver中的类
-
A solver for an IFDSTabulationProblem.
- IFDSSolver(IFDSTabulationProblem<N, D, SootMethod, I>) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Creates a solver for the given problem, which caches flow functions and edge
functions.
- IFDSSolver(IFDSTabulationProblem<N, D, SootMethod, I>, CacheBuilder) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Creates a solver for the given problem, constructing caches with the given
CacheBuilder.
- IFDSSolver.IncomingRecord<N,D extends FastSolverLinkedNode<D,N>> - soot.jimple.infoflow.solver.gcSolver中的类
-
- IFollowReturnsPastSeedsHandler - soot.jimple.infoflow.solver中的接口
-
Common interface for handlers that take care of follow-return-past-seeds
cases which the normal solver does not handle
- IGarbageCollector<N,D> - soot.jimple.infoflow.solver.gcSolver中的接口
-
Common interface for all garbage collector implementations oin the solver
- IGarbageCollectorPeer - soot.jimple.infoflow.solver.gcSolver中的接口
-
A garbage collector that can operate as part of a peer group
- IGCReferenceProvider<D,N> - soot.jimple.infoflow.solver.gcSolver中的接口
-
Interface for all implementations that can provide reference counting.
- IInfoflow - soot.jimple.infoflow中的接口
-
interface for the main infoflow class
- IInfoflowCFG - soot.jimple.infoflow.solver.cfg中的接口
-
- IInfoflowCFG.UnitContainer - soot.jimple.infoflow.solver.cfg中的类
-
Abstraction of a postdominator.
- IInfoflowConfig - soot.jimple.infoflow.config中的接口
-
Interface to configure Soot options like the output format or a list of
packages that should be included or excluded for analysis
- IInfoflowSolver - soot.jimple.infoflow.solver中的接口
-
- IIPCManager - soot.jimple.infoflow.ipc中的接口
-
- IMemoryBoundedSolver - soot.jimple.infoflow.memory中的接口
-
Interface that exposes special functions only required by FlowDroid's memory
management components
- IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification - soot.jimple.infoflow.memory中的接口
-
Interface that a memory-bounded solver can use to notify listeners of
status changes
- IMemoryManager<D,N> - soot.jimple.infoflow.solver.memory中的接口
-
Common interface of all memory managers that can be used with FlowDroid's
solvers.
- IMemoryManagerFactory - soot.jimple.infoflow.solver.memory中的接口
-
Common interface for all memory manager factories
- ImmutableAccessPathTuple - soot.jimple.infoflow.sourcesSinks.definitions中的类
-
- ImmutableAccessPathTuple(AccessPathTuple) - 类 的构造器soot.jimple.infoflow.sourcesSinks.definitions.ImmutableAccessPathTuple
-
- ImplicitFlowAliasStrategy - soot.jimple.infoflow.aliasing中的类
-
Aliasing strategy to be used for conditionally-called methods when analyzing
implicit flows
- ImplicitFlowAliasStrategy(InfoflowManager) - 类 的构造器soot.jimple.infoflow.aliasing.ImplicitFlowAliasStrategy
-
- ImplicitPropagtionRule - soot.jimple.infoflow.problems.rules中的类
-
Rule for propagating implicit taints
- ImplicitPropagtionRule(InfoflowManager, Abstraction, TaintPropagationResults) - 类 的构造器soot.jimple.infoflow.problems.rules.ImplicitPropagtionRule
-
- INativeCallHandler - soot.jimple.infoflow.nativeCallHandler中的接口
-
The NativeCallHandler defines the taint propagation behavior for native code,
as we cannot analyze these methods
- incoming - 类 中的变量soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- incoming(D, SootMethod) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- incoming - 类 中的变量soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- incoming(D, SootMethod) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- incoming - 类 中的变量soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- incoming(D, SootMethod) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- IncomingRecord(N, D, D, D) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.IFDSSolver.IncomingRecord
-
- increment(T) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
Increments the counter associated with the given value by one
- increment(T, int) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
Increments the counter associated with the given value by the given delta
- Infoflow - soot.jimple.infoflow中的类
-
main infoflow class which triggers the analysis and offers method to
customize it.
- Infoflow() - 类 的构造器soot.jimple.infoflow.Infoflow
-
Creates a new instance of the InfoFlow class for analyzing plain Java code
without any references to APKs or the Android SDK.
- Infoflow(String, boolean) - 类 的构造器soot.jimple.infoflow.Infoflow
-
Creates a new instance of the Infoflow class for analyzing Android APK files.
- Infoflow(String, boolean, BiDirICFGFactory) - 类 的构造器soot.jimple.infoflow.Infoflow
-
Creates a new instance of the Infoflow class for analyzing Android APK files.
- InfoflowCFG - soot.jimple.infoflow.solver.cfg中的类
-
Interprocedural control-flow graph for the infoflow solver
- InfoflowCFG() - 类 的构造器soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- InfoflowCFG(BiDiInterproceduralCFG<Unit, SootMethod>) - 类 的构造器soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- InfoflowConfiguration - soot.jimple.infoflow中的类
-
Central configuration class for FlowDroid
- InfoflowConfiguration() - 类 的构造器soot.jimple.infoflow.InfoflowConfiguration
-
- InfoflowConfiguration.AccessPathConfiguration - soot.jimple.infoflow中的类
-
Class containing the configuration options for dealing with access paths
(maximum length, reduction options, etc.)
- InfoflowConfiguration.AliasingAlgorithm - soot.jimple.infoflow中的枚举
-
Enumeration containing the aliasing algorithms supported by FlowDroid
- InfoflowConfiguration.CallbackSourceMode - soot.jimple.infoflow中的枚举
-
Methods for deciding whether a parameter of a system callback is to be
treated as a source or not
- InfoflowConfiguration.CallgraphAlgorithm - soot.jimple.infoflow中的枚举
-
Enumeration containing the callgraph algorithms supported for the use with
the data flow tracker
- InfoflowConfiguration.CategoryMode - soot.jimple.infoflow中的枚举
-
The modes (included or excludes) that a category can have for the data flow
analysis
- InfoflowConfiguration.CodeEliminationMode - soot.jimple.infoflow中的枚举
-
Enumeration containing all possible modes of dead and irrelevant code
elimination
- InfoflowConfiguration.DataFlowSolver - soot.jimple.infoflow中的枚举
-
Enumeration containing the supported data flow solvers
- InfoflowConfiguration.ImplicitFlowMode - soot.jimple.infoflow中的枚举
-
Enumeration containing the supported modes how the data flow analyzer shall
handle implicit flows
- InfoflowConfiguration.LayoutMatchingMode - soot.jimple.infoflow中的枚举
-
Possible modes for matching layout components as data flow sources
- InfoflowConfiguration.OutputConfiguration - soot.jimple.infoflow中的类
-
Class that defines settings for writing out the FlowDroid results
- InfoflowConfiguration.PathBuildingAlgorithm - soot.jimple.infoflow中的枚举
-
Enumeration containing the supported path builders
- InfoflowConfiguration.PathConfiguration - soot.jimple.infoflow中的类
-
The configuration that defines how FlowDroid shall handle between sources and
sinks
- InfoflowConfiguration.PathReconstructionMode - soot.jimple.infoflow中的枚举
-
Supported modes for reconstructing paths between sources and sinks.
- InfoflowConfiguration.SolverConfiguration - soot.jimple.infoflow中的类
-
Class containing the configuration options for the IFDS data flow solver
- InfoflowConfiguration.SootIntegrationMode - soot.jimple.infoflow中的枚举
-
Enumeration containing the different ways in which Soot can be used
- InfoflowConfiguration.SourceSinkConfiguration - soot.jimple.infoflow中的类
-
The configuration for the source and sink manager
- InfoflowConfiguration.SourceSinkFilterMode - soot.jimple.infoflow中的枚举
-
The default mode how the filter shall treat source or sink categories that
have not been configured explicitly
- InfoflowConfiguration.StaticFieldTrackingMode - soot.jimple.infoflow中的枚举
-
Enumeration containing the supported techniques for handling taints on static
fields
- InfoflowManager - soot.jimple.infoflow中的类
-
Manager class for passing internal data flow objects to interface
implementors
- InfoflowManager(InfoflowConfiguration, IInfoflowSolver, IInfoflowCFG, ISourceSinkManager, ITaintPropagationWrapper, FastHierarchy, AccessPathFactory, GlobalTaintManager) - 类 的构造器soot.jimple.infoflow.InfoflowManager
-
- InfoflowPerformanceData - soot.jimple.infoflow.results中的类
-
Class that records performance data on a FlowDroid run
- InfoflowPerformanceData() - 类 的构造器soot.jimple.infoflow.results.InfoflowPerformanceData
-
- InfoflowProblem - soot.jimple.infoflow.problems中的类
-
- InfoflowProblem(InfoflowManager, Abstraction, IPropagationRuleManagerFactory) - 类 的构造器soot.jimple.infoflow.problems.InfoflowProblem
-
- InfoflowResultComparator - soot.jimple.infoflow.results.util中的类
-
Utility class for comparing two data flow results
- InfoflowResultComparator() - 类 的构造器soot.jimple.infoflow.results.util.InfoflowResultComparator
-
- InfoflowResults - soot.jimple.infoflow.results中的类
-
Class for collecting information flow results
- InfoflowResults() - 类 的构造器soot.jimple.infoflow.results.InfoflowResults
-
- InfoflowResultsReader - soot.jimple.infoflow.results.xml中的类
-
Class for reading data flow results back into data objects
- InfoflowResultsReader() - 类 的构造器soot.jimple.infoflow.results.xml.InfoflowResultsReader
-
- InfoflowResultsSerializer - soot.jimple.infoflow.results.xml中的类
-
Class for serializing FlowDroid results to XML
- InfoflowResultsSerializer(InfoflowConfiguration) - 类 的构造器soot.jimple.infoflow.results.xml.InfoflowResultsSerializer
-
Creates a new instance of the InfoflowResultsSerializer class
- InfoflowResultsSerializer(IInfoflowCFG, InfoflowConfiguration) - 类 的构造器soot.jimple.infoflow.results.xml.InfoflowResultsSerializer
-
Creates a new instance of the InfoflowResultsSerializer class
- InfoflowSolver - soot.jimple.infoflow.solver.fastSolver.flowInsensitive中的类
-
We are subclassing the JimpleIFDSSolver because we need the same executor for
both the forward and the backward analysis Also we need to be able to insert
edges containing new taint information
- InfoflowSolver(AbstractInfoflowProblem, InterruptableExecutor) - 类 的构造器soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- InfoflowSolver - soot.jimple.infoflow.solver.fastSolver中的类
-
We are subclassing the JimpleIFDSSolver because we need the same executor for
both the forward and the backward analysis Also we need to be able to insert
edges containing new taint information
- InfoflowSolver(AbstractInfoflowProblem, InterruptableExecutor) - 类 的构造器soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- InfoflowSolver - soot.jimple.infoflow.solver.gcSolver中的类
-
We are subclassing the JimpleIFDSSolver because we need the same executor for
both the forward and the backward analysis Also we need to be able to insert
edges containing new taint information
- InfoflowSolver(AbstractInfoflowProblem, InterruptableExecutor) - 类 的构造器soot.jimple.infoflow.solver.gcSolver.InfoflowSolver
-
- initialize(InfoflowConfiguration) - 类 中的方法soot.jimple.infoflow.codeOptimization.DeadCodeEliminator
-
- initialize(InfoflowConfiguration) - 接口 中的方法soot.jimple.infoflow.codeOptimization.ICodeOptimizer
-
Initializes the code optimizer.
- initialize(InfoflowConfiguration) - 类 中的静态方法soot.jimple.infoflow.data.Abstraction
-
Initializes the configuration for building new abstractions
- initialize(InfoflowManager) - 类 中的方法soot.jimple.infoflow.nativeCallHandler.AbstractNativeCallHandler
-
- initialize(InfoflowManager) - 接口 中的方法soot.jimple.infoflow.nativeCallHandler.INativeCallHandler
-
This method is called before the taint propagation is started to give the native
call handler the chance to initialize required components once Soot is running,
but before it is queried for the first time.
- initialize() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AbstractGarbageCollector
-
Initializes the garbage collector
- initialize() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.ThreadedGarbageCollector
-
- initialize() - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- initialize() - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
- initialize() - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.EmptySourceSinkManager
-
- initialize() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.manager.ISourceSinkManager
-
Initialization method that is called after the Soot instance has been
created and before the actual data flow tracking is started.
- initialize(InfoflowManager) - 类 中的方法soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper
-
- initialize(InfoflowManager) - 接口 中的方法soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper
-
This method is called before the taint propagation is started to give the taint wrapper
the chance to initialize required components once Soot is running, but before it is
queried for the first time.
- initialize(InfoflowManager) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperList
-
- initialize(InfoflowManager) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperSet
-
- initializeInfoflowManager(ISourceSinkManager, IInfoflowCFG, GlobalTaintManager) - 类 中的方法soot.jimple.infoflow.Infoflow
-
Initializes the data flow manager with which propagation rules can interact
with the data flow engine
- initializeSoot(String, String, Collection<String>) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
Initializes Soot.
- initializeSoot(String, String, Collection<String>, String) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
Initializes Soot.
- initialSeeds - 类 中的变量soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- initialSeeds() - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- initialSeeds - 类 中的变量soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- initialSeeds - 类 中的变量soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- initialSeeds - 类 中的变量soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- injectCallingContext(Abstraction, IInfoflowSolver, SootMethod, Unit, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.FlowSensitiveAliasStrategy
-
- injectCallingContext(Abstraction, IInfoflowSolver, SootMethod, Unit, Abstraction, Abstraction) - 接口 中的方法soot.jimple.infoflow.aliasing.IAliasingStrategy
-
Notifies the aliasing strategy that a method has been called in the
taint analysis.
- injectCallingContext(Abstraction, IInfoflowSolver, SootMethod, Unit, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.ImplicitFlowAliasStrategy
-
- injectCallingContext(Abstraction, IInfoflowSolver, SootMethod, Unit, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.LazyAliasingStrategy
-
- injectCallingContext(Abstraction, IInfoflowSolver, SootMethod, Unit, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.NullAliasStrategy
-
- injectCallingContext(Abstraction, IInfoflowSolver, SootMethod, Unit, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.aliasing.PtsBasedAliasStrategy
-
- injectContext(IInfoflowSolver, SootMethod, Abstraction, Unit, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- injectContext(IInfoflowSolver, SootMethod, Abstraction, Unit, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- injectContext(IInfoflowSolver, SootMethod, Abstraction, Unit, Abstraction, Abstraction) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.InfoflowSolver
-
- injectContext(IInfoflowSolver, SootMethod, Abstraction, Unit, Abstraction, Abstraction) - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
- injectSourceContext(SourceContext) - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- innerBuilder - 类 中的变量soot.jimple.infoflow.data.pathBuilders.BatchPathBuilder
-
- intCounter - 类 中的变量soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
- interfacesOf - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- interfacesOf - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
- InterfaceSpec() - 类 的构造器soot.jimple.infoflow.rifl.RIFLDocument.InterfaceSpec
-
- internalTransform(String, Map<String, String>) - 类 中的方法soot.jimple.infoflow.codeOptimization.InterproceduralConstantValuePropagator
-
- interproceduralCFG() - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- InterproceduralConstantValuePropagator - soot.jimple.infoflow.codeOptimization中的类
-
- InterproceduralConstantValuePropagator(InfoflowManager) - 类 的构造器soot.jimple.infoflow.codeOptimization.InterproceduralConstantValuePropagator
-
- InterproceduralConstantValuePropagator(InfoflowManager, Collection<SootMethod>, ISourceSinkManager, ITaintPropagationWrapper) - 类 的构造器soot.jimple.infoflow.codeOptimization.InterproceduralConstantValuePropagator
-
- interrupt() - 类 中的方法soot.jimple.infoflow.solver.executors.InterruptableExecutor
-
Interrupts the executor.
- interrupt() - 类 中的方法soot.jimple.infoflow.solver.executors.SetPoolExecutor
-
- InterruptableExecutor - soot.jimple.infoflow.solver.executors中的类
-
- InterruptableExecutor(int, int, long, TimeUnit, BlockingQueue<Runnable>) - 类 的构造器soot.jimple.infoflow.solver.executors.InterruptableExecutor
-
- InvalidAccessPathException - soot.jimple.infoflow.sourcesSinks.definitions中的异常错误
-
- InvalidAccessPathException() - 异常错误 的构造器soot.jimple.infoflow.sourcesSinks.definitions.InvalidAccessPathException
-
- InvalidAccessPathException(String, Throwable, boolean, boolean) - 异常错误 的构造器soot.jimple.infoflow.sourcesSinks.definitions.InvalidAccessPathException
-
- InvalidAccessPathException(String, Throwable) - 异常错误 的构造器soot.jimple.infoflow.sourcesSinks.definitions.InvalidAccessPathException
-
- InvalidAccessPathException(String) - 异常错误 的构造器soot.jimple.infoflow.sourcesSinks.definitions.InvalidAccessPathException
-
- InvalidAccessPathException(Throwable) - 异常错误 的构造器soot.jimple.infoflow.sourcesSinks.definitions.InvalidAccessPathException
-
- IOneSourceAtATimeManager - soot.jimple.infoflow.sourcesSinks.manager中的接口
-
Interface for source/sink managers that support calculating data flows with
one source at a time
- IPathBuilderFactory - soot.jimple.infoflow.data.pathBuilders中的接口
-
Common interface for all path builder factories
- ipcManager - 类 中的变量soot.jimple.infoflow.AbstractInfoflow
-
- IPropagationRuleManagerFactory - soot.jimple.infoflow.problems.rules中的接口
-
Interface for constructing propagation rule managers
- IReversibleTaintWrapper - soot.jimple.infoflow.taintWrappers中的接口
-
While a normal
ITaintPropagationWrapper answers the question which
taints are valid after a given statement has been called with a given
incoming taint abstraction, a
IReversibleTaintWrapper can also
identify those taint that were possibly tainted before a given statement if
the result of that statement is a given taint.
- isAbstractionActive() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- isAnalysisAborted() - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Checks whether the analysis has been aborted
- isAndroid - 类 中的变量soot.jimple.infoflow.cfg.DefaultBiDiICFGFactory
-
- isBranchTarget(Unit, Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isCallSiteActivatingTaint(Unit, Unit) - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- isCallStackEmpty() - 类 中的方法soot.jimple.infoflow.data.SourceContextAndPath
-
Gets whether the current call stack is empty, i.e., the path is in the method
from which it originated
- isCallStmt(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isClassInSystemPackage(SootClass) - 类 中的方法soot.jimple.infoflow.util.SystemClassHandler
-
Checks whether the given class belongs to a system package
- isClassInSystemPackage(String) - 类 中的方法soot.jimple.infoflow.util.SystemClassHandler
-
Checks whether the given class name belongs to a system package
- isClassInSystemPackage(Type) - 类 中的方法soot.jimple.infoflow.util.SystemClassHandler
-
Checks whether the type belongs to a system package
- isCompatible(SootClass, SootClass) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Checks whether an object of type "actual" can be inserted where an object of
type "expected" is required.
- isContextSensitive() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.DefaultPathBuilderFactory
-
- isContextSensitive() - 接口 中的方法soot.jimple.infoflow.data.pathBuilders.IPathBuilderFactory
-
Gets whether the
IAbstractionPathBuilder object created by this
factory supports context-sensitive path reconstruction.
- isCutOffApproximation() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
Gets whether this access path has been (transitively) constructed from one
which was cut off by the access path length limitation.
- isEmpty() - 类 中的方法soot.jimple.infoflow.collect.BlackHoleCollection
-
- isEmpty() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
- isEmpty() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMap
-
- isEmpty() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- isEmpty() - 类 中的方法soot.jimple.infoflow.problems.TaintPropagationResults
-
Checks whether this result object is empty
- isEmpty() - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Gets whether this data object is empty, i.e., does not contain any data
- isEmpty() - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Gets whether this result object is empty, i.e. contains no information flows
- isEmpty() - 类 中的方法soot.jimple.infoflow.results.xml.SerializedInfoflowResults
-
Gets whether this data object is empty, i.e., does not contain any data flows
- isEmpty() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.FieldSourceSinkDefinition
-
- isEmpty() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.IAccessPathBasedSourceSinkDefinition
-
Checks whether this source/sink definition is empty, i.e., has no concrete
access paths
- isEmpty() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.ISourceSinkDefinition
-
Indicates if the definition contains any sources or sinks
- isEmpty() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
- isEmpty() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.StatementSourceSinkDefinition
-
- isEmpty() - 类 中的方法soot.jimple.infoflow.util.extensiblelist.ExtensibleList
-
Returns true when this list is empty
- isEntryPointMethod(SootMethod) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
Checks whether the given method is an entry point, i.e., a lifecycle method
- isEssentialJoinPoint(Abstraction, Unit) - 类 中的方法soot.jimple.infoflow.data.FlowDroidMemoryManager
-
- isEssentialJoinPoint(D, N) - 接口 中的方法soot.jimple.infoflow.solver.memory.IMemoryManager
-
Checks whether the given abstraction at the given call site is essential
and must be kept.
- isExceptionalEdgeBetween(Unit, Unit) - 接口 中的方法soot.jimple.infoflow.solver.cfg.IInfoflowCFG
-
Gets whether the two given units are connected by an exceptional control flow
edge
- isExceptionalEdgeBetween(Unit, Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isExceptionHandler(Unit) - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
Checks whether the given unit is the start of an exception handler
- isExcluded(SootMethod) - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
Checks whether the given method is excluded from the data flow analysis,
i.e., should not be analyzed
- isExclusive(Stmt, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper
-
- isExclusive(Stmt, Abstraction) - 接口 中的方法soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper
-
Gets whether the taints produced by this taint wrapper are exclusive, i.e. there are
no other taints than those produced by the wrapper.
- isExclusive(Stmt, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperList
-
- isExclusive(Stmt, Abstraction) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperSet
-
- isExclusiveInternal(Stmt, AccessPath) - 类 中的方法soot.jimple.infoflow.taintWrappers.AbstractTaintWrapper
-
Gets whether the taints produced by this taint wrapper are exclusive, i.e. there are
no other taints than those produced by the wrapper.
- isExclusiveInternal(Stmt, AccessPath) - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
- isExclusiveInternal(Stmt, AccessPath) - 类 中的方法soot.jimple.infoflow.taintWrappers.IdentityTaintWrapper
-
- isExclusiveInternal(Stmt, AccessPath) - 类 中的方法soot.jimple.infoflow.taintWrappers.RecordingTaintWrapper
-
- isExecutorExecute(InvokeExpr, SootMethod) - 接口 中的方法soot.jimple.infoflow.solver.cfg.IInfoflowCFG
-
Checks whether the given call is a call to Executor.execute() or
AccessController.doPrivileged() and whether the callee matches the expected
method signature
- isExecutorExecute(InvokeExpr, SootMethod) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isExitStmt(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isFallThroughSuccessor(Unit, Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isFieldRef() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- isFinished() - 类 中的方法soot.jimple.infoflow.solver.executors.InterruptableExecutor
-
Gets whether this executor has terminated all of its tasks
- isFlowSensitive() - 类 中的方法soot.jimple.infoflow.aliasing.FlowSensitiveAliasStrategy
-
- isFlowSensitive() - 接口 中的方法soot.jimple.infoflow.aliasing.IAliasingStrategy
-
Gets whether this aliasing strategy is flow sensitive
- isFlowSensitive() - 类 中的方法soot.jimple.infoflow.aliasing.ImplicitFlowAliasStrategy
-
- isFlowSensitive() - 类 中的方法soot.jimple.infoflow.aliasing.LazyAliasingStrategy
-
- isFlowSensitive() - 类 中的方法soot.jimple.infoflow.aliasing.NullAliasStrategy
-
- isFlowSensitive() - 类 中的方法soot.jimple.infoflow.aliasing.PtsBasedAliasStrategy
-
- isImplicit - 类 中的变量soot.jimple.infoflow.data.Abstraction
-
- isImplicit() - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- isInitialMethod(SootMethod) - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
Gets whether the given method is an entry point, i.e. one of the initial
seeds belongs to the given method
- isInstanceFieldRef() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- isInteractive() - 类 中的方法soot.jimple.infoflow.aliasing.AbstractBulkAliasStrategy
-
- isInteractive() - 接口 中的方法soot.jimple.infoflow.aliasing.IAliasingStrategy
-
Gets whether this aliasing strategy is interactive, i.e. computes aliases
on demand.
- isInteractive() - 类 中的方法soot.jimple.infoflow.aliasing.LazyAliasingStrategy
-
- isInteractive() - 类 中的方法soot.jimple.infoflow.aliasing.NullAliasStrategy
-
- isIPC(Stmt, InterproceduralCFG<Unit, SootMethod>) - 接口 中的方法soot.jimple.infoflow.ipc.IIPCManager
-
determines if a method called by the Stmt is an IPC method or not
- isIPC(Stmt, InterproceduralCFG<Unit, SootMethod>) - 类 中的方法soot.jimple.infoflow.ipc.MethodBasedIPCManager
-
- isIPCMethod(SootMethod) - 类 中的方法soot.jimple.infoflow.ipc.DefaultIPCManager
-
- isIPCMethod(SootMethod) - 类 中的方法soot.jimple.infoflow.ipc.EmptyIPCManager
-
- isIPCMethod(SootMethod) - 类 中的方法soot.jimple.infoflow.ipc.MethodBasedIPCManager
-
- isKilled() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.BatchPathBuilder
-
- isKilled() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder
-
- isKilled() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.EmptyPathBuilder
-
- isKilled() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.RecursivePathBuilder
-
- isKilled() - 接口 中的方法soot.jimple.infoflow.memory.IMemoryBoundedSolver
-
Checks whether this solver was killed before it could complete its tasks
- isKilled() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- isKilled() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- isKilled() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- isLazyAnalysis() - 类 中的方法soot.jimple.infoflow.aliasing.AbstractBulkAliasStrategy
-
- isLazyAnalysis() - 接口 中的方法soot.jimple.infoflow.aliasing.IAliasingStrategy
-
Gets whether this analysis is lazy, i.e., needs all taints to be
propagated into all methods, even if the respective access path is not
even visible inside the callee (but an alias may be visible).
- isLazyAnalysis() - 类 中的方法soot.jimple.infoflow.aliasing.LazyAliasingStrategy
-
- isLazyAnalysis() - 类 中的方法soot.jimple.infoflow.aliasing.NullAliasStrategy
-
- isLocal() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- isObjectLikeType(Type) - 类 中的静态方法soot.jimple.infoflow.util.TypeUtils
-
Checks whether the given type is java.lang.Object, java.io.Serializable, or
java.lang.Cloneable.
- ISolversTerminatedCallback - soot.jimple.infoflow.memory中的接口
-
Callback to notify the outside world that the solvers have been terminated
- ISolverTerminationReason - soot.jimple.infoflow.memory中的接口
-
Common interface for all classes that describe why a solver was forcefully
terminated
- isOneSourceAtATimeEnabled() - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- isOneSourceAtATimeEnabled() - 接口 中的方法soot.jimple.infoflow.sourcesSinks.manager.IOneSourceAtATimeManager
-
Gets whether this source/sink manager shall run with one source at a time
instead of all of them together
- ISourceSinkCategory - soot.jimple.infoflow.sourcesSinks.definitions中的接口
-
Common interface for all classes that provide categorization or some other
form of organization for sources or sinks
- ISourceSinkDefinition - soot.jimple.infoflow.sourcesSinks.definitions中的接口
-
Abstract interface for soure/sink definitions
- ISourceSinkDefinitionProvider - soot.jimple.infoflow.sourcesSinks.definitions中的接口
-
Common interface for all classes that support loading source and sink
definitions
- ISourceSinkManager - soot.jimple.infoflow.sourcesSinks.manager中的接口
-
the SourceSinkManager can tell if a statement contains a source or a sink
- isPathBetween(Stmt, Stmt) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Checks whether there is a path between the given source and sink.
- isPathBetween(String, String) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Checks whether there is a path between the given source and sink.
- isPathBetweenMethods(String, String) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Checks whether there is an information flow between the two given methods
(specified by their respective Soot signatures).
- isPrimitiveArray(Type) - 类 中的静态方法soot.jimple.infoflow.util.TypeUtils
-
- isReachable(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isReflectiveCallSite(Unit) - 接口 中的方法soot.jimple.infoflow.solver.cfg.IInfoflowCFG
-
Checks whether the given call site is a reflective method call
- isReflectiveCallSite(InvokeExpr) - 接口 中的方法soot.jimple.infoflow.solver.cfg.IInfoflowCFG
-
Checks whether the given call site is a reflective method call
- isReflectiveCallSite(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isReflectiveCallSite(InvokeExpr) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isResultAvailable() - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
A result is available if the analysis has finished - so if this method
returns false the analysis has not finished yet or was not started (e.g. no
sources or sinks found)
- isResultAvailable() - 类 中的方法soot.jimple.infoflow.Infoflow
-
- isReturnSite(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isSensitive() - 类 中的方法soot.jimple.infoflow.resources.controls.LayoutControl
-
Gets whether this control can contain sensitive data according to some
reasonable general definition
- isSensitive() - 类 中的方法soot.jimple.infoflow.resources.controls.SwingPasswordField
-
- isSimpleType(String) - 类 中的静态方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
- isSink() - 枚举 中的方法soot.jimple.infoflow.sourcesSinks.definitions.SourceSinkType
-
Gets whether this type represents a sink
- isSinkMethod(InfoflowManager, Stmt) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
Checks whether the given call sites invokes a sink method
- isSource() - 枚举 中的方法soot.jimple.infoflow.sourcesSinks.definitions.SourceSinkType
-
Gets whether this type represents a source
- isSourceMethod(InfoflowManager, Stmt) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
Checks whether the given call sites invokes a source method
- isStartPoint(Unit) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isStaticFieldRead(SootMethod, SootField) - 类 中的方法soot.jimple.infoflow.solver.cfg.BackwardsInfoflowCFG
-
- isStaticFieldRead(SootMethod, SootField) - 接口 中的方法soot.jimple.infoflow.solver.cfg.IInfoflowCFG
-
Checks whether the given static field is read inside the given method or one
of its transitive callees.
- isStaticFieldRead(SootMethod, SootField) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isStaticFieldRef() - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
- isStaticFieldUsed(SootMethod, SootField) - 类 中的方法soot.jimple.infoflow.solver.cfg.BackwardsInfoflowCFG
-
- isStaticFieldUsed(SootMethod, SootField) - 接口 中的方法soot.jimple.infoflow.solver.cfg.IInfoflowCFG
-
Checks whether the given static field is used (read or written) inside the
given method or one of its transitive callees.
- isStaticFieldUsed(SootMethod, SootField) - 类 中的方法soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- isStringConstructorCall(Stmt) - 类 中的方法soot.jimple.infoflow.aliasing.Aliasing
-
Checks whether the given statement is a call to a String constructor
- isStringType(Type) - 类 中的静态方法soot.jimple.infoflow.util.TypeUtils
-
Checks whether the given type is a string
- isStubImplementation(Body) - 类 中的方法soot.jimple.infoflow.util.SystemClassHandler
-
Checks whether the given method body is a stub implementation and can safely
be overwritten
- isTaintAnalysisEnabled() - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether the taint analysis is enabled.
- isTaintVisible(AccessPath, SootMethod) - 类 中的方法soot.jimple.infoflow.util.SystemClassHandler
-
If the base object is tainted and in a system class, but we reference some
field in an application object derived from the system class, no tainting
happens.
- isTaintVisibleInCallee(Stmt, Abstraction) - 类 中的方法soot.jimple.infoflow.problems.rules.SinkPropagationRule
-
Checks whether the given taint is visible inside the method called at the
given call site
- isTerminated() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.BatchPathBuilder
-
- isTerminated() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder
-
- isTerminated() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.EmptyPathBuilder
-
- isTerminated() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.RecursivePathBuilder
-
- isTerminated() - 接口 中的方法soot.jimple.infoflow.memory.IMemoryBoundedSolver
-
Checks whether this solver is terminated, either by forced termination,
or because it has finished all of its work.
- isTerminated() - 类 中的方法soot.jimple.infoflow.solver.executors.InterruptableExecutor
-
- isTerminated() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- isTerminated() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- isTerminated() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- isTopPostdominator(Unit) - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- isTopPostdominator(SootMethod) - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- isUserCodeClass(String) - 类 中的方法soot.jimple.infoflow.Infoflow
-
Checks whether the given class is user code and should not be filtered out.
- isValidSeedMethod(SootMethod) - 类 中的方法soot.jimple.infoflow.Infoflow
-
Gets whether the given method is a valid seen when scanning for sources and
sinks.
- ITaintPropagationRule - soot.jimple.infoflow.problems.rules中的接口
-
Common interface for taint propagation rules
- ITaintPropagationWrapper - soot.jimple.infoflow.taintWrappers中的接口
-
This interface declares methods to define classes and methods which should not
be analyzed directly.
- ITaintWrapperDataFlowAnalysis - soot.jimple.infoflow.taintWrappers中的接口
-
Common interface for all data flow analyses that support taint wrappers
- iterator() - 类 中的方法soot.jimple.infoflow.collect.BlackHoleCollection
-
- iterator() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentHashSet
-
- iterator() - 类 中的方法soot.jimple.infoflow.collect.MutableTwoElementSet
-
- iterator() - 类 中的方法soot.jimple.infoflow.collect.WeakConcurrentHashSet
-
- IValueProvider - soot.jimple.infoflow.values中的接口
-
Common interface for all algorithms that provide constant values
- scheduleDependentTask(Runnable) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder
-
Schedules the given task for execution
- scheduleEdgeProcessing(PathEdge<SootMethod, D>) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Dispatch the processing of a given edge.
- scheduleEdgeProcessing(PathEdge<N, D>) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Dispatch the processing of a given edge.
- scheduleEdgeProcessing(PathEdge<N, D>) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Dispatch the processing of a given edge.
- second - 类 中的变量soot.jimple.infoflow.collect.MutableTwoElementSet
-
- selectBase(Value, boolean) - 类 中的静态方法soot.jimple.infoflow.util.BaseSelector
-
the operations that are not relevant for analysis like "not" or casts
are removed - array refs are only removed if explicitly stated
- selectBaseList(Value, boolean) - 类 中的静态方法soot.jimple.infoflow.util.BaseSelector
-
the operations that are not relevant for analysis like "not" or casts
are removed - array refs are only removed if explicitly stated
BinOpExpr are divided into two values
- SequentialEntryPointCreator - soot.jimple.infoflow.entryPointCreators中的类
-
Simple entry point creator that builds a sequential list of method
invocations.
- SequentialEntryPointCreator(Collection<String>) - 类 的构造器soot.jimple.infoflow.entryPointCreators.SequentialEntryPointCreator
-
- SequentialTaintPropagationHandler - soot.jimple.infoflow.handlers中的类
-
Taint propagation handler that processes a sequence of inner handlers.
- SequentialTaintPropagationHandler() - 类 的构造器soot.jimple.infoflow.handlers.SequentialTaintPropagationHandler
-
Creates a new, empty sequence of taint propagation handlers
- SequentialTaintPropagationHandler(List<TaintPropagationHandler>) - 类 的构造器soot.jimple.infoflow.handlers.SequentialTaintPropagationHandler
-
Creates a sequence of taint propagation handlers from the given list
- serialize(InfoflowResults, String) - 类 中的方法soot.jimple.infoflow.results.xml.InfoflowResultsSerializer
-
Serializes the given FlowDroid result object into the given file
- SerializedAccessPath - soot.jimple.infoflow.results.xml中的类
-
Class representing an access path read from an external storage.
- SerializedInfoflowResults - soot.jimple.infoflow.results.xml中的类
-
Data flow results that we loaded from an external storage and thus cannot
reference actual Soot objects
- SerializedPathElement - soot.jimple.infoflow.results.xml中的类
-
Class representing an element on the taint propagation path of a data flow
result
- SerializedSinkInfo - soot.jimple.infoflow.results.xml中的类
-
Information about a flow sink loaded from an external data storage.
- SerializedSourceInfo - soot.jimple.infoflow.results.xml中的类
-
Information about a flow sink loaded from an external data storage.
- serializeTaintPath - 类 中的变量soot.jimple.infoflow.results.xml.InfoflowResultsSerializer
-
- set(long) - 类 中的方法soot.jimple.infoflow.collect.AtomicBitSet
-
- setAccessPathLength(int) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.AccessPathConfiguration
-
Sets the maximum depth of the access paths.
- setActivationUnitsToCallSites(AbstractInfoflowProblem) - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- setAggressiveMode(boolean) - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
Sets whether the taint wrapper shall always assume the return value of a call
"a = x.foo()" to be tainted if the base object is tainted, even if the
respective method is not in the data file.
- setAliasing(Aliasing) - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
- setAliasingAlgorithm(InfoflowConfiguration.AliasingAlgorithm) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets the aliasing algorithm to be used by the data flow tracker
- setAllowNonPublicConstructors(boolean) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Sets whether the entry point creator may use private or protected
constructors in order to generate a class instance in the dummyMain method.
- setAllowSelfReferences(boolean) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Sets whether a call to a method A.foo() may receive an instance of A as a
parameter.
- setAlwaysModelEqualsHashCode(boolean) - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
Sets whether the equals() and hashCode() methods shall always be modeled,
regardless of the target type.
- setBackwardsPropagationHandler(TaintPropagationHandler) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Sets a handler which is invoked whenever an alias is propagated backwards
- setBackwardsPropagationHandler(TaintPropagationHandler) - 类 中的方法soot.jimple.infoflow.Infoflow
-
- setBaseDirectory(String) - 类 中的静态方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets the base directory used e.g. for SourcesSinks.xsd
- setBatchSize(int) - 类 中的方法soot.jimple.infoflow.data.pathBuilders.BatchPathBuilder
-
Sets the number of paths that shall be part of one batch, i.e., that shall be
forwarded to the inner path builder at the same time
- setCallbackSourceMode(InfoflowConfiguration.CallbackSourceMode) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SourceSinkConfiguration
-
Sets under which circumstances the parameters of callback methods shall be
treated as sources.
- setCallgraphAlgorithm(InfoflowConfiguration.CallgraphAlgorithm) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets the callgraph algorithm to be used by the data flow tracker
- setCallgraphConstructionSeconds(int) - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Sets the number of seconds that the data flow analysis spent on callgraph
constructions
- setCategory(ISourceSinkCategory) - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.AbstractSourceSinkDefinition
-
- setCategory(ISourceSinkCategory) - 接口 中的方法soot.jimple.infoflow.sourcesSinks.definitions.ISourceSinkDefinition
-
Sets the category to which this source or sink belongs
- setCheckChangeCounter(boolean) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AbstractReferenceCountingGarbageCollector
-
Sets whether the change counter shall be checked when identifying active
method dependencies
- setCodeEliminationMode(InfoflowConfiguration.CodeEliminationMode) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether and how FlowDroid shall eliminate irrelevant code before running
the taint propagation
- setConfig(InfoflowConfiguration) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- setConfig(InfoflowConfiguration) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Sets the configuration to be used for the data flow analysis
- setCorrespondingCallSite(Stmt) - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- setDataFlowSolver(InfoflowConfiguration.DataFlowSolver) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SolverConfiguration
-
Sets the data flow solver to be used for the taint analysis
- setDataFlowTimeout(long) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets the timeout in seconds after which the analysis shall be aborted.
- setDescription(String) - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.AccessPathTuple
-
Sets the description of this access path
- setDescription(String) - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.ImmutableAccessPathTuple
-
- setDummyClassName(String) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Sets the name that shall be used for the new class containing the dummy main
method
- setDummyMethodName(String) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Sets the name that shall be used for the new dummy main method
- setEdgeThreshold(int) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AbstractReferenceCountingGarbageCollector
-
Sets the minimum number of edges that shall be propagated before triggering
the garbage collection
- setEnableArraySizeTainting(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
- setEnableArrayTracking(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether the solver shall track tainted arrays and array elements
- setEnableExceptionTracking(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether the solver shall track taints of thrown exception objects
- setEnableLifecycleSources(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SourceSinkConfiguration
-
Sets whether the parameters of lifecycle methods shall be considered as
sources
- setEnableLineNumbers(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether line numbers associated with sources and sinks should be output
in XML results
- setEnableOriginalNames(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether the usage of original variablenames (if available) is enabled
- setEnableReflection(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether reflective method calls shall be supported
- setEnableTypeChecking(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether type checking shall be done on casts and method calls
- setExcludeSootLibraryClasses(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether classes that are declared library classes in Soot shall be
excluded from the data flow analysis, i.e., no flows shall be tracked through
them
- setExcludeSystemClasses(boolean) - 类 中的方法soot.jimple.infoflow.codeOptimization.InterproceduralConstantValuePropagator
-
Sets whether methods in system classes shall be excluded from constraint
propagation
- setExcludeSystemComponents(boolean) - 类 中的方法soot.jimple.infoflow.util.SystemClassHandler
-
Sets whether components in system or framework-related packages shall be
excluded from the analysis
- setExecutorFactory(IExecutorFactory) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Sets the factory to be used for creating thread pool executors
- setExecutorFactory(IExecutorFactory) - 类 中的方法soot.jimple.infoflow.Infoflow
-
- setFlowSensitiveAliasing(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether a flow sensitive aliasing algorithm shall be used
- setFollowReturnsPastSeedsHandler(IFollowReturnsPastSeedsHandler) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- setFollowReturnsPastSeedsHandler(IFollowReturnsPastSeedsHandler) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- setFollowReturnsPastSeedsHandler(IFollowReturnsPastSeedsHandler) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.InfoflowSolver
-
- setFollowReturnsPastSeedsHandler(IFollowReturnsPastSeedsHandler) - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Sets a handler that will be called when a followReturnsPastSeeds case
happens, i.e., a taint leaves a method for which we have not seen any callers
- setForwardSolver(IInfoflowSolver) - 类 中的方法soot.jimple.infoflow.InfoflowManager
-
Sets the IFDS solver that propagates edges forward
- setGeomPtaSpecificOptions() - 类 中的静态方法soot.jimple.infoflow.AbstractInfoflow
-
- setIgnoreFlowsInSystemPackages(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether flows starting or ending in system packages such as Android's
support library shall be ignored.
- setIgnoreSystemClassParams(boolean) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Sets whether the entry point creator shall always pass "null" if a method
expects an object of a system class.
- setImplicitFlowMode(InfoflowConfiguration.ImplicitFlowMode) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets the mode that defines whether and how the solver shall handle implicit
flows
- setIncrementalResultReporting(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether the data flow results shall be reported incrementally instead of
being only available after the full data flow analysis has been completed.
- setInspectSinks(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether the implementations of sink methods shall be analyzed as well
- setInspectSources(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether the implementations of source methods shall be analyzed as well
- setInstance(SystemClassHandler) - 类 中的静态方法soot.jimple.infoflow.util.SystemClassHandler
-
Overwrites the global system class handler instance
- setIPCManager(IIPCManager) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- setIPCManager(IIPCManager) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
- setIsAndroid(boolean) - 类 中的方法soot.jimple.infoflow.cfg.DefaultBiDiICFGFactory
-
Sets whether this CFG will be used to analyze Android apps
- setLayoutMatchingMode(InfoflowConfiguration.LayoutMatchingMode) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SourceSinkConfiguration
-
Sets the mode to be used when deciding whether a UI control is a source or
not
- setLockingMode(ConcurrentCountingMap.LockingMode) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
Sets how whether and how this class shall perform locking
- setLogSourcesAndSinks(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether the discovered sources and sinks shall be logged
- setMaxAbstractionPathLength(int) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SolverConfiguration
-
Sets the maximum length over which an abstraction may be propagated before
the abstractions is dropped
- setMaxAbstractionPathLength(int) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- setMaxAbstractionPathLength(int) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- setMaxAbstractionPathLength(int) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- setMaxAbstractionPathLength(int) - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Sets the maximum length of a taint propagation path.
- setMaxCalleesPerCallSite(int) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SolverConfiguration
-
Sets the maximum number of callees permitted per call site.
- setMaxCalleesPerCallSite(int) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- setMaxCalleesPerCallSite(int) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- setMaxCalleesPerCallSite(int) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- setMaxCalleesPerCallSite(int) - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Sets the maximum number of callees that are allowed per call site.
- setMaxCallersInOutputFile(int) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.OutputConfiguration
-
Specifies the maximum number of callers that shall be considered per node
when writing out the call graph fraction from the entry point to the source.
- setMaxCallStackSize(int) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Sets the maximum call stack size.
- setMaxJoinPointAbstractions(int) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SolverConfiguration
-
Sets the maximum number of abstractions that shall be recorded per join
point.
- setMaxJoinPointAbstractions(int) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Sets the maximum number of abstractions that shall be recorded per join
point.
- setMaxJoinPointAbstractions(int) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Sets the maximum number of abstractions that shall be recorded per join
point.
- setMaxJoinPointAbstractions(int) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Sets the maximum number of abstractions that shall be recorded per join
point.
- setMaxJoinPointAbstractions(int) - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Sets the maximum number of abstractions that shall be recorded per join
point.
- setMaxMemoryConsumption(int) - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Sets the peak amount of memory that the data flow analysis has been using
during its analysis
- setMaxPathLength(int) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Sets the maximum size for taint propagation paths.
- setMaxPathsPerAbstraction(int) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Sets the maximum number of paths that shall be recorded per abstraction.
- setMaxThreadNum(int) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets the maximum number of threads to be used by the solver.
- setMemoryManager(IMemoryManager<D, N>) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Sets the memory manager that shall be used to manage the abstractions
- setMemoryManager(IMemoryManager<D, N>) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Sets the memory manager that shall be used to manage the abstractions
- setMemoryManager(IMemoryManager<D, N>) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Sets the memory manager that shall be used to manage the abstractions
- setMemoryManager(IMemoryManager<Abstraction, Unit>) - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Sets the memory manager that shall be used to manage the abstractions
- setMemoryManagerFactory(IMemoryManagerFactory) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Sets the factory to be used for creating memory managers
- setMemoryManagerFactory(IMemoryManagerFactory) - 类 中的方法soot.jimple.infoflow.Infoflow
-
- setMemoryThreshold(double) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets the threshold at which the data flow analysis shall be terminated.
- setMergeNeighbors(boolean) - 类 中的静态方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether neighbors at the same statement shall be merged into a single
abstraction
- setMethodThreshold(int) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AbstractReferenceCountingGarbageCollector
-
Sets the number of methods for which edges must have been added before
garbage collection is started
- setMethodThreshold(int) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AggressiveGarbageCollector
-
Sets the number of methods for which edges must have been added before
garbage collection is started
- setNativeCallHandler(INativeCallHandler) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- setNativeCallHandler(INativeCallHandler) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Sets the handler class to be used for modeling the effects of native methods
on the taint state
- setNativeCallHandler(INativeCallHandler) - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
Sets the handler class to be used for modeling the effects of native methods
on the taint state
- setNeighborCounter(int) - 类 中的方法soot.jimple.infoflow.data.SourceContextAndPath
-
- setNoCallGraphFraction(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.OutputConfiguration
-
Sets whether to exclude the call graph fraction from the entry points to the
source in the xml output
- setNoPassedValues(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.OutputConfiguration
-
Sets the option for exclusion of the passed values to sources and sinks in
the xml output
- setO1(K) - 类 中的方法soot.jimple.infoflow.collect.IdentityPair
-
- setO2(V) - 类 中的方法soot.jimple.infoflow.collect.IdentityPair
-
- setOneResultPerAccessPath(boolean) - 类 中的静态方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether different results shall be reported if they only differ in the
access path the reached the sink or left the source
- setOneSourceAtATime(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether one source shall be analyzed at a time instead of all sources
together
- setOneSourceAtATimeEnabled(boolean) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- setOneSourceAtATimeEnabled(boolean) - 接口 中的方法soot.jimple.infoflow.sourcesSinks.manager.IOneSourceAtATimeManager
-
Sets whether this source/sink manager shall run with one source at a time
instead of all of them together
- setOverwriteDummyMainMethod(boolean) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Sets whether the dummy main method shall be overwritten if it already exists.
- setParameterTaintMethods(List<String>) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
Sets the list of methods whose parameters shall be regarded as taint sources
- setPathAgnosticResults(boolean) - 类 中的静态方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether results (source-to-sink connections) that only differ in their
propagation paths shall be merged into a single result or not.
- setPathBuilderFactory(IPathBuilderFactory) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- setPathBuilderFactory(IPathBuilderFactory) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Sets the path builder factory to be used in subsequent data flow analyses
- setPathBuildingAlgorithm(InfoflowConfiguration.PathBuildingAlgorithm) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Sets the algorithm that shall be used for reconstructing the propagation
paths between source and sink
- setPathReconstructionBatchSize(int) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Sets the number of paths that shall be reconstructed in one batch.
- setPathReconstructionMode(InfoflowConfiguration.PathReconstructionMode) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Sets the mode that defines how the paths between sources and sinks shall be
reconstructed
- setPathReconstructionSeconds(int) - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Sets the number of seconds spent on path reconstruction, i.e., finding the
sources to which the sinks are connected in the taint graph
- setPathReconstructionTimeout(long) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Sets the timeout in seconds after which path reconstruction shall be aborted.
- setPeerGroup(SolverPeerGroup) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- setPeerGroup(SolverPeerGroup) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.InfoflowSolver
-
- setPeerGroup(GarbageCollectorPeerGroup) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AbstractReferenceCountingGarbageCollector
-
Sets the peer group in which this solver operates.
- setPeerGroup(SolverPeerGroup) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Sets the peer group in which this solver operates.
- setPeerGroup(SolverPeerGroup) - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Sets the peer group in which this solver operates.
- setPerformanceData(InfoflowPerformanceData) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Sets the performance data on this FlowDroid run
- SetPoolExecutor - soot.jimple.infoflow.solver.executors中的类
-
Executor class that ensures that no two equal tasks are in the queue at the
same time
- SetPoolExecutor(int, int, long, TimeUnit, BlockingQueue<Runnable>) - 类 的构造器soot.jimple.infoflow.solver.executors.SetPoolExecutor
-
- setPostProcessors(Collection<? extends PostAnalysisHandler>) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- setPostProcessors(Collection<? extends PostAnalysisHandler>) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Sets the set of post-processors that shall be executed after the data flow
analysis has finished
- setPredecessor(Abstraction) - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
- setPredecessor(D) - 接口 中的方法soot.jimple.infoflow.solver.fastSolver.FastSolverLinkedNode
-
Explicitly sets the predecessor of this node.
- setPredecessorShorteningMode(PredecessorShorteningMode) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Sets whether abstractions on method returns shall be connected to the
respective call abstractions to shortcut paths.
- setPredecessorShorteningMode(PredecessorShorteningMode) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Sets whether abstractions on method returns shall be connected to the
respective call abstractions to shortcut paths.
- setPredecessorShorteningMode(PredecessorShorteningMode) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Sets whether abstractions on method returns shall be connected to the
respective call abstractions to shortcut paths.
- setPredecessorShorteningMode(PredecessorShorteningMode) - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Sets whether abstractions on method returns shall be connected to the
respective call abstractions to shortcut paths.
- setPreProcessors(Collection<? extends PreAnalysisHandler>) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- setPreProcessors(Collection<? extends PreAnalysisHandler>) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
List of preprocessors that need to be executed in order before the
information flow.
- setPropagationRuleManagerFactory(IPropagationRuleManagerFactory) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Sets the factory to be used for creating the propagation rule manager, which
can then add features to the core data flow engine
- setPropagationRuleManagerFactory(IPropagationRuleManagerFactory) - 类 中的方法soot.jimple.infoflow.Infoflow
-
- setRemoveSideEffectFreeMethods(boolean) - 类 中的方法soot.jimple.infoflow.codeOptimization.InterproceduralConstantValuePropagator
-
Sets whether side-effect free methods that do not call sinks shall be removed
- setResultSerializationTimeout(long) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.OutputConfiguration
-
Sets the timeout in seconds for the result serialization process.
- setReturnTaintMethods(List<String>) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
Sets the list of methods whose return values shall be regarded as taint sinks
- setSequentialPathProcessing(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.PathConfiguration
-
Sets whether FlowDroid shall perform sequential path reconstruction instead
of running all reconstruction tasks concurrently.
- setSerializeTaintPath(boolean) - 类 中的方法soot.jimple.infoflow.results.xml.InfoflowResultsSerializer
-
Sets whether the taint propagation path shall be serialized along with the
respective data flow result
- setShallowMode(boolean) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Sets whether shallow mode shall be used.
- setSignature(String) - 类 中的方法soot.jimple.infoflow.data.SootFieldAndClass
-
- setSingleJoinPointAbstraction(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SolverConfiguration
-
Sets the maximum number of join point abstractions to a single abstraction.
- setSinkCount(int) - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Sets the number of sinks that were identified in the given input program
- setSinkFilterMode(InfoflowConfiguration.SourceSinkFilterMode) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SourceSinkConfiguration
-
Sets the default mode for handling sinks that have not been configured
explicitly
- setSinks(List<String>) - 类 中的方法soot.jimple.infoflow.ipc.DefaultIPCManager
-
Sets the list of methods to be treated as IPCs
- setSinks(List<String>) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
Sets the list of methods to be treated as sinks
- setSleepTimeSeconds(int) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.ThreadedGarbageCollector
-
Sets the time to wait between garbage collection cycles in seconds
- setSolver(IInfoflowSolver) - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- setSolverId(boolean) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- setSolverId(boolean) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.InfoflowSolver
-
- setSolverId(boolean) - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- setSolverId(boolean) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- setSolverId(boolean) - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
- setSootConfig(IInfoflowConfig) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- setSootConfig(IInfoflowConfig) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Sets the Soot configuration callback to be used for this analysis
- setSootIntegrationMode(InfoflowConfiguration.SootIntegrationMode) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets how FlowDroid shall interact with the underlying Soot instance.
- setSootOptions(Options, InfoflowConfiguration) - 接口 中的方法soot.jimple.infoflow.config.IInfoflowConfig
-
Configure Soot options (Be careful, wrong options can corrupt the
analysis results!)
- setSourceContext(SourceContext) - 类 中的方法soot.jimple.infoflow.data.Abstraction
-
Only use this method if you really need to fake a source context and know
what you are doing.
- setSourceCount(int) - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Sets the number of sources that were identified in the given input program
- setSourceFilterMode(InfoflowConfiguration.SourceSinkFilterMode) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.SourceSinkConfiguration
-
Sets the default mode for handling sources that have not been configured
explicitly
- setSourcePrec() - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- setSources(List<String>) - 类 中的方法soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
Sets the list of methods to be treated as sources
- setSourceSinkType(SourceSinkType) - 类 中的方法soot.jimple.infoflow.data.SootFieldAndClass
-
- setStatic(Boolean) - 类 中的方法soot.jimple.infoflow.data.SootFieldAndClass
-
- setStaticFieldTrackingMode(InfoflowConfiguration.StaticFieldTrackingMode) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets how the data flow solver shall treat assignments to static fields
- setStopAfterFirstFlow(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether the information flow analysis shall stop after the first flow
has been found
- setStopAfterFirstKFlows(int) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets after how many flows the information flow analysis shall stop.
- setSubstituteCallParams(boolean) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
- setSubstituteCallParams(boolean) - 接口 中的方法soot.jimple.infoflow.entryPointCreators.IEntryPointCreator
-
with this option enabled the EntryPointCreator tries to find suitable
subclasses of abstract classes and implementers of interfaces
- setSubstituteClasses(List<String>) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
- setSubstituteClasses(List<String>) - 接口 中的方法soot.jimple.infoflow.entryPointCreators.IEntryPointCreator
-
set classes that are allowed to substitute (otherwise constructor loops are
very likely)
- setTaintAnalysisEnabled(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Sets whether the taint analysis is enabled.
- setTaintPropagationHandler(TaintPropagationHandler) - 接口 中的方法soot.jimple.infoflow.IInfoflow
-
Sets a handler which is invoked whenever a taint is propagated
- setTaintPropagationHandler(TaintPropagationHandler) - 类 中的方法soot.jimple.infoflow.Infoflow
-
- setTaintPropagationHandler(TaintPropagationHandler) - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
Sets a handler which is invoked whenever a taint is propagated
- setTaintPropagationSeconds(int) - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Sets the number of seconds spent on the taint propagation
- setTaintWrapper(ITaintPropagationWrapper) - 类 中的方法soot.jimple.infoflow.AbstractInfoflow
-
- setTaintWrapper(ITaintPropagationWrapper) - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
Sets the taint wrapper that shall be used for applying external library
models
- setTaintWrapper(ITaintPropagationWrapper) - 类 中的方法soot.jimple.infoflow.problems.BackwardsInfoflowProblem
-
- setTaintWrapper(ITaintPropagationWrapper) - 接口 中的方法soot.jimple.infoflow.taintWrappers.ITaintWrapperDataFlowAnalysis
-
Sets the taint wrapper to be used for propagating taints over unknown
(library) callees.
- setTerminationCallback(ISolversTerminatedCallback) - 类 中的方法soot.jimple.infoflow.memory.FlowDroidMemoryWatcher
-
Sets a callback that shall be invoked when the solvers have been terminated
due to memory exhaustion
- setTerminationCallback(ISolversTerminatedCallback) - 类 中的方法soot.jimple.infoflow.memory.FlowDroidTimeoutWatcher
-
Sets a callback that shall be invoked when the solvers have been terminated
due to a timeout
- setTerminationState(int) - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Sets the termination state that describes whether the data flow analysis
terminated normally or whether one or more phases terminated prematurely due
to a timeout or an out-of-memory condition
- setThrowExceptions(boolean) - 类 中的方法soot.jimple.infoflow.Infoflow
-
- setTotalRuntimeSeconds(int) - 类 中的方法soot.jimple.infoflow.results.InfoflowPerformanceData
-
Sets the total number of seconds that the data flow analysis has spent to
create the flow results
- setTrigger(GarbageCollectionTrigger) - 类 中的方法soot.jimple.infoflow.solver.gcSolver.AbstractReferenceCountingGarbageCollector
-
Set the trigger that defines when garbage collection shall be started
- setUseAbstractionCache(boolean) - 类 中的方法soot.jimple.infoflow.data.FlowDroidMemoryManager
-
Sets whether the memory manager shall use the abstraction cache
- setUseRecursiveAccessPaths(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.AccessPathConfiguration
-
Sets whether recursive access paths shall be reduced, e.g. whether we shall
propagate a.
- setUseSameFieldReduction(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.AccessPathConfiguration
-
Sets whether access paths that repeat the same field shall be reduced, i.e.,
whether a.next.obj shall be propagated instead of a.next.next.obj.
- setUseThisChainReduction(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration.AccessPathConfiguration
-
Sets whether access paths pointing to outer objects using this$n shall be
reduced, e.g. whether we shall propagate a.data instead of a.this$0.a.data.
- setValue(Integer) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap.Entry
-
- setValue(V) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMap.MapEntry
-
- setWarningThreshold(double) - 类 中的方法soot.jimple.infoflow.memory.MemoryWarningSystem
-
Sets the one single global warning threshold for memory usage.
- setWarnOnConstructorLoop(boolean) - 类 中的方法soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
Sets whether a warning shall be written to the log when a constructor call
cannot be generated because the analysis ran into a loop when trying to
generate parameter values.
- setWriteOutputFiles(boolean) - 类 中的方法soot.jimple.infoflow.InfoflowConfiguration
-
Gets whether FlowDroid shall write the Jimple files to disk after the data
flow analysis
- setZeroValue(Abstraction) - 类 中的方法soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- shallowMode - 类 中的变量soot.jimple.infoflow.entryPointCreators.BaseEntryPointCreator
-
- shorteningMode - 类 中的变量soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
- shorteningMode - 类 中的变量soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- shorteningMode - 类 中的变量soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- shutdown() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.ContextSensitivePathBuilder
-
Terminates the internal executor and cleans up all resources that were used
- shutdown() - 类 中的方法soot.jimple.infoflow.nativeCallHandler.AbstractNativeCallHandler
-
- shutdown() - 接口 中的方法soot.jimple.infoflow.nativeCallHandler.INativeCallHandler
-
Tells the native call handler that it can free all resources it has allocated at initialization time
- shutdown() - 类 中的方法soot.jimple.infoflow.solver.executors.SetPoolExecutor
-
- shutdownNow() - 类 中的方法soot.jimple.infoflow.solver.executors.SetPoolExecutor
-
- SimpleConstantValueProvider - soot.jimple.infoflow.values中的类
-
Simple constant value provider that checks whether the queried value is
directly a Soot constant
- SimpleConstantValueProvider() - 类 的构造器soot.jimple.infoflow.values.SimpleConstantValueProvider
-
- simplify() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.AccessPathTuple
-
Checks whether this tuple is equivalent to one of the simple predefined ones.
- simplify() - 类 中的方法soot.jimple.infoflow.sourcesSinks.definitions.MethodSourceSinkDefinition
-
Checks whether this definition is equivalent to one of the simple predefined
ones.
- SimulatedCodeElementTag - soot.jimple.infoflow.entryPointCreators中的类
-
Tag to denote that a certain method or class was created by an entry point
creator and should not be considered real app code
- sinkDefs - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- sinkDefs - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
- sinkFields - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- SinkInfo - soot.jimple.infoflow.sourcesSinks.manager中的类
-
Class containing additional information about a sink.
- SinkInfo(ISourceSinkDefinition, Object) - 类 的构造器soot.jimple.infoflow.sourcesSinks.manager.SinkInfo
-
Creates a new instance of the AbstractSourceSinkInfo class.
- SinkInfo(ISourceSinkDefinition) - 类 的构造器soot.jimple.infoflow.sourcesSinks.manager.SinkInfo
-
Creates a new instance of the AbstractSourceSinkInfo class.
- SINKKEYWORD - 类 中的静态变量soot.jimple.infoflow.util.ArgParser
-
- sinkMethods - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- SinkPropagationRule - soot.jimple.infoflow.problems.rules中的类
-
Rule for recording abstractions that arrive at sinks
- SinkPropagationRule(InfoflowManager, Abstraction, TaintPropagationResults) - 类 的构造器soot.jimple.infoflow.problems.rules.SinkPropagationRule
-
- sinkReturnMethods - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- sinkStatements - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- size() - 类 中的方法soot.jimple.infoflow.collect.AtomicBitSet
-
- size() - 类 中的方法soot.jimple.infoflow.collect.BlackHoleCollection
-
- size() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
- size() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentHashSet
-
- size() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMap
-
- size() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentIdentityHashMultiMap
-
- size() - 类 中的方法soot.jimple.infoflow.collect.MutableTwoElementSet
-
- size() - 类 中的方法soot.jimple.infoflow.collect.WeakConcurrentHashSet
-
- size() - 类 中的方法soot.jimple.infoflow.problems.TaintPropagationResults
-
Gets the number of taint abstractions in this result object
- size() - 类 中的方法soot.jimple.infoflow.results.InfoflowResults
-
Gets the number of entries in this result object
- size() - 类 中的方法soot.jimple.infoflow.util.extensiblelist.ExtensibleList
-
Returns the size of the list
- SkipSystemClassRule - soot.jimple.infoflow.problems.rules中的类
-
Rule that skips over certain often-used system classes which do not modify
the taint state
- SkipSystemClassRule(InfoflowManager, Abstraction, TaintPropagationResults) - 类 的构造器soot.jimple.infoflow.problems.rules.SkipSystemClassRule
-
- snapshot() - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
Creates a snapshot of this map
- snapshot(Collection<T>) - 类 中的方法soot.jimple.infoflow.collect.ConcurrentCountingMap
-
Creates a partial snapshot of this map
- solve() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Runs the solver on the configured problem.
- solve() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Runs the solver on the configured problem.
- solve() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Runs the solver on the configured problem.
- solve() - 接口 中的方法soot.jimple.infoflow.solver.IInfoflowSolver
-
Solves the data flow problem
- solver - 类 中的变量soot.jimple.infoflow.problems.AbstractInfoflowProblem
-
- SolverCallFlowFunction - soot.jimple.infoflow.solver.functions中的类
-
A special implementation of the call flow function that allows
access to the fact associated with the method's start point (i.e. the
current context).
- SolverCallFlowFunction() - 类 的构造器soot.jimple.infoflow.solver.functions.SolverCallFlowFunction
-
- SolverCallToReturnFlowFunction - soot.jimple.infoflow.solver.functions中的类
-
A special implementation of the call-to-return flow function that allows
access to the fact associated with the method's start point (i.e. the
current context).
- SolverCallToReturnFlowFunction() - 类 的构造器soot.jimple.infoflow.solver.functions.SolverCallToReturnFlowFunction
-
- SolverConfiguration() - 类 的构造器soot.jimple.infoflow.InfoflowConfiguration.SolverConfiguration
-
- solverId - 类 中的变量soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
- solverId - 类 中的变量soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- SolverNormalFlowFunction - soot.jimple.infoflow.solver.functions中的类
-
A special implementation of the normal flow function that allows access to
the fact associated with the method's start point (i.e. the current context).
- SolverNormalFlowFunction() - 类 的构造器soot.jimple.infoflow.solver.functions.SolverNormalFlowFunction
-
- solverPeerGroup - 类 中的变量soot.jimple.infoflow.Infoflow
-
- solverPeerGroup - 类 中的变量soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
- SolverPeerGroup - soot.jimple.infoflow.solver中的类
-
Peer group for synchronizing multiple IFDS solvers
- SolverPeerGroup() - 类 的构造器soot.jimple.infoflow.solver.SolverPeerGroup
-
- SolverReturnFlowFunction - soot.jimple.infoflow.solver.functions中的类
-
A special implementation of the return flow function that allows access to
the facts associated with the start points of the callees (i.e. the contexts
to which we return).
- SolverReturnFlowFunction() - 类 的构造器soot.jimple.infoflow.solver.functions.SolverReturnFlowFunction
-
- solvers - 类 中的变量soot.jimple.infoflow.solver.SolverPeerGroup
-
- soot.jimple.infoflow - 程序包 soot.jimple.infoflow
-
- soot.jimple.infoflow.aliasing - 程序包 soot.jimple.infoflow.aliasing
-
- soot.jimple.infoflow.callbacks - 程序包 soot.jimple.infoflow.callbacks
-
- soot.jimple.infoflow.cfg - 程序包 soot.jimple.infoflow.cfg
-
- soot.jimple.infoflow.codeOptimization - 程序包 soot.jimple.infoflow.codeOptimization
-
- soot.jimple.infoflow.collect - 程序包 soot.jimple.infoflow.collect
-
- soot.jimple.infoflow.config - 程序包 soot.jimple.infoflow.config
-
- soot.jimple.infoflow.data - 程序包 soot.jimple.infoflow.data
-
- soot.jimple.infoflow.data.pathBuilders - 程序包 soot.jimple.infoflow.data.pathBuilders
-
- soot.jimple.infoflow.entryPointCreators - 程序包 soot.jimple.infoflow.entryPointCreators
-
- soot.jimple.infoflow.globalTaints - 程序包 soot.jimple.infoflow.globalTaints
-
- soot.jimple.infoflow.handlers - 程序包 soot.jimple.infoflow.handlers
-
- soot.jimple.infoflow.ipc - 程序包 soot.jimple.infoflow.ipc
-
- soot.jimple.infoflow.memory - 程序包 soot.jimple.infoflow.memory
-
- soot.jimple.infoflow.memory.reasons - 程序包 soot.jimple.infoflow.memory.reasons
-
- soot.jimple.infoflow.nativeCallHandler - 程序包 soot.jimple.infoflow.nativeCallHandler
-
- soot.jimple.infoflow.problems - 程序包 soot.jimple.infoflow.problems
-
- soot.jimple.infoflow.problems.rules - 程序包 soot.jimple.infoflow.problems.rules
-
- soot.jimple.infoflow.resources.controls - 程序包 soot.jimple.infoflow.resources.controls
-
- soot.jimple.infoflow.results - 程序包 soot.jimple.infoflow.results
-
- soot.jimple.infoflow.results.util - 程序包 soot.jimple.infoflow.results.util
-
- soot.jimple.infoflow.results.xml - 程序包 soot.jimple.infoflow.results.xml
-
- soot.jimple.infoflow.rifl - 程序包 soot.jimple.infoflow.rifl
-
- soot.jimple.infoflow.solver - 程序包 soot.jimple.infoflow.solver
-
- soot.jimple.infoflow.solver.cfg - 程序包 soot.jimple.infoflow.solver.cfg
-
- soot.jimple.infoflow.solver.executors - 程序包 soot.jimple.infoflow.solver.executors
-
- soot.jimple.infoflow.solver.fastSolver - 程序包 soot.jimple.infoflow.solver.fastSolver
-
- soot.jimple.infoflow.solver.fastSolver.flowInsensitive - 程序包 soot.jimple.infoflow.solver.fastSolver.flowInsensitive
-
- soot.jimple.infoflow.solver.functions - 程序包 soot.jimple.infoflow.solver.functions
-
- soot.jimple.infoflow.solver.gcSolver - 程序包 soot.jimple.infoflow.solver.gcSolver
-
- soot.jimple.infoflow.solver.memory - 程序包 soot.jimple.infoflow.solver.memory
-
- soot.jimple.infoflow.sourcesSinks.definitions - 程序包 soot.jimple.infoflow.sourcesSinks.definitions
-
- soot.jimple.infoflow.sourcesSinks.manager - 程序包 soot.jimple.infoflow.sourcesSinks.manager
-
- soot.jimple.infoflow.taintWrappers - 程序包 soot.jimple.infoflow.taintWrappers
-
- soot.jimple.infoflow.threading - 程序包 soot.jimple.infoflow.threading
-
- soot.jimple.infoflow.util - 程序包 soot.jimple.infoflow.util
-
- soot.jimple.infoflow.util.extensiblelist - 程序包 soot.jimple.infoflow.util.extensiblelist
-
- soot.jimple.infoflow.values - 程序包 soot.jimple.infoflow.values
-
- sootConfig - 类 中的变量soot.jimple.infoflow.AbstractInfoflow
-
- SootFieldAndClass - soot.jimple.infoflow.data中的类
-
- SootFieldAndClass(String, String, String, SourceSinkType) - 类 的构造器soot.jimple.infoflow.data.SootFieldAndClass
-
- SootMethodAndClass - soot.jimple.infoflow.data中的类
-
Data container which stores the string representation of a SootMethod and its
corresponding class
- SootMethodAndClass(String, String, String, List<String>) - 类 的构造器soot.jimple.infoflow.data.SootMethodAndClass
-
- SootMethodAndClass(String, String, String, String) - 类 的构造器soot.jimple.infoflow.data.SootMethodAndClass
-
- SootMethodAndClass(SootMethod) - 类 的构造器soot.jimple.infoflow.data.SootMethodAndClass
-
- SootMethodAndClass(SootMethodAndClass) - 类 的构造器soot.jimple.infoflow.data.SootMethodAndClass
-
- SootMethodRepresentationParser - soot.jimple.infoflow.util中的类
-
handles conversion from the string representation of SootMethod to our
internal format
SootMethodAndClass
- SootUtils - soot.jimple.infoflow.util中的类
-
Class containing various utility methods for dealing with Soot
- SootUtils() - 类 的构造器soot.jimple.infoflow.util.SootUtils
-
- sourceContext - 类 中的变量soot.jimple.infoflow.data.Abstraction
-
- SourceContext - soot.jimple.infoflow.data中的类
-
Class representing a source value together with the statement that created it
- SourceContext(ISourceSinkDefinition, AccessPath, Stmt) - 类 的构造器soot.jimple.infoflow.data.SourceContext
-
- SourceContext(ISourceSinkDefinition, AccessPath, Stmt, Object) - 类 的构造器soot.jimple.infoflow.data.SourceContext
-
- SourceContextAndPath - soot.jimple.infoflow.data中的类
-
Extension of
SourceContext that also allows a paths from the source
to the current statement to be stored
- SourceContextAndPath(ISourceSinkDefinition, AccessPath, Stmt) - 类 的构造器soot.jimple.infoflow.data.SourceContextAndPath
-
- SourceContextAndPath(ISourceSinkDefinition, AccessPath, Stmt, Object) - 类 的构造器soot.jimple.infoflow.data.SourceContextAndPath
-
- sourceDefs - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- sourceDefs - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.DefaultSourceSinkManager
-
- sourceFields - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- SourceFindingTask(Abstraction) - 类 的构造器soot.jimple.infoflow.data.pathBuilders.ContextSensitivePathBuilder.SourceFindingTask
-
- SourceInfo - soot.jimple.infoflow.sourcesSinks.manager中的类
-
Class containing additional information about a source.
- SourceInfo(ISourceSinkDefinition, AccessPath) - 类 的构造器soot.jimple.infoflow.sourcesSinks.manager.SourceInfo
-
- SourceInfo(ISourceSinkDefinition, AccessPath, Object) - 类 的构造器soot.jimple.infoflow.sourcesSinks.manager.SourceInfo
-
Creates a new instance of the AbstractSourceSinkInfo class.
- SourceInfo(ISourceSinkDefinition, Set<AccessPath>) - 类 的构造器soot.jimple.infoflow.sourcesSinks.manager.SourceInfo
-
- SourceInfo(ISourceSinkDefinition, Set<AccessPath>, Object) - 类 的构造器soot.jimple.infoflow.sourcesSinks.manager.SourceInfo
-
- SOURCEKEYWORD - 类 中的静态变量soot.jimple.infoflow.util.ArgParser
-
- sourceMethods - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- SourcePropagationRule - soot.jimple.infoflow.problems.rules中的类
-
Rule to introduce unconditional taints at sources
- SourcePropagationRule(InfoflowManager, Abstraction, TaintPropagationResults) - 类 的构造器soot.jimple.infoflow.problems.rules.SourcePropagationRule
-
- sourceSinkConfig - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- SourceSinkConfiguration() - 类 的构造器soot.jimple.infoflow.InfoflowConfiguration.SourceSinkConfiguration
-
- SourceSinkSpec(RIFLDocument.SourceSinkType) - 类 的构造器soot.jimple.infoflow.rifl.RIFLDocument.SourceSinkSpec
-
- SourceSinkType - soot.jimple.infoflow.sourcesSinks.definitions中的枚举
-
Enumeration for defining whether an element is a source, a sink, both, or
neither
- sourceStatements - 类 中的变量soot.jimple.infoflow.sourcesSinks.manager.BaseSourceSinkManager
-
- start() - 类 中的方法soot.jimple.infoflow.memory.FlowDroidTimeoutWatcher
-
Starts the timeout watcher
- startsWith(Value) - 类 中的方法soot.jimple.infoflow.data.AccessPath
-
Checks whether this access path starts with the given value
- startTime - 类 中的变量soot.jimple.infoflow.results.xml.InfoflowResultsSerializer
-
- StatementSourceSinkDefinition - soot.jimple.infoflow.sourcesSinks.definitions中的类
-
A source/sink definition that corresponds to a concrete statement in the
Jimple code
- StatementSourceSinkDefinition(Stmt, Local, Set<AccessPathTuple>) - 类 的构造器soot.jimple.infoflow.sourcesSinks.definitions.StatementSourceSinkDefinition
-
- staticFieldUses - 类 中的变量soot.jimple.infoflow.solver.cfg.InfoflowCFG
-
- StaticPropagationRule - soot.jimple.infoflow.problems.rules中的类
-
Rule for propagating taint on static fields
- StaticPropagationRule(InfoflowManager, Abstraction, TaintPropagationResults) - 类 的构造器soot.jimple.infoflow.problems.rules.StaticPropagationRule
-
- stmt - 类 中的变量soot.jimple.infoflow.data.SourceContext
-
- stmt - 类 中的变量soot.jimple.infoflow.results.AbstractResultSourceSinkInfo
-
- stop() - 类 中的方法soot.jimple.infoflow.memory.FlowDroidTimeoutWatcher
-
Stops the timeout watcher so that it no longer interferes with solver
execution
- StopAfterFirstKFlowsPropagationRule - soot.jimple.infoflow.problems.rules中的类
-
- StopAfterFirstKFlowsPropagationRule(InfoflowManager, Abstraction, TaintPropagationResults) - 类 的构造器soot.jimple.infoflow.problems.rules.StopAfterFirstKFlowsPropagationRule
-
- strongAliasAnalysis - 类 中的变量soot.jimple.infoflow.aliasing.Aliasing
-
- StrongUpdatePropagationRule - soot.jimple.infoflow.problems.rules中的类
-
Propagation rule that implements strong updates
- StrongUpdatePropagationRule(InfoflowManager, Abstraction, TaintPropagationResults) - 类 的构造器soot.jimple.infoflow.problems.rules.StrongUpdatePropagationRule
-
- submitInitialSeeds() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.flowInsensitive.FlowInsensitiveSolver
-
Schedules the processing of initial seeds, initiating the analysis.
- submitInitialSeeds() - 类 中的方法soot.jimple.infoflow.solver.fastSolver.IFDSSolver
-
Schedules the processing of initial seeds, initiating the analysis.
- submitInitialSeeds() - 类 中的方法soot.jimple.infoflow.solver.gcSolver.IFDSSolver
-
Schedules the processing of initial seeds, initiating the analysis.
- subtract(int) - 类 中的方法soot.jimple.infoflow.util.ExtendedAtomicInteger
-
Atomically subtracts the given value from the current value
- supportsCall(Stmt) - 类 中的方法soot.jimple.infoflow.nativeCallHandler.DefaultNativeCallHandler
-
- supportsCall(Stmt) - 接口 中的方法soot.jimple.infoflow.nativeCallHandler.INativeCallHandler
-
Checks whether this handler is able to handle the given call, i.e., has
an explicit model for it
- supportsCallee(SootMethod) - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
- supportsCallee(Stmt) - 类 中的方法soot.jimple.infoflow.taintWrappers.EasyTaintWrapper
-
- supportsCallee(SootMethod) - 类 中的方法soot.jimple.infoflow.taintWrappers.IdentityTaintWrapper
-
- supportsCallee(Stmt) - 类 中的方法soot.jimple.infoflow.taintWrappers.IdentityTaintWrapper
-
- supportsCallee(SootMethod) - 接口 中的方法soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper
-
Checks whether this taint wrapper can in general produce artificial taints
for the given callee.
- supportsCallee(Stmt) - 接口 中的方法soot.jimple.infoflow.taintWrappers.ITaintPropagationWrapper
-
Checks whether this taint wrapper can in general produce artificial taints
for the given call site.
- supportsCallee(SootMethod) - 类 中的方法soot.jimple.infoflow.taintWrappers.RecordingTaintWrapper
-
- supportsCallee(Stmt) - 类 中的方法soot.jimple.infoflow.taintWrappers.RecordingTaintWrapper
-
- supportsCallee(SootMethod) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperList
-
- supportsCallee(Stmt) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperList
-
- supportsCallee(SootMethod) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperSet
-
- supportsCallee(Stmt) - 类 中的方法soot.jimple.infoflow.taintWrappers.TaintWrapperSet
-
- supportsPathReconstruction() - 类 中的方法soot.jimple.infoflow.data.pathBuilders.DefaultPathBuilderFactory
-
- supportsPathReconstruction() - 接口 中的方法soot.jimple.infoflow.data.pathBuilders.IPathBuilderFactory
-
Gets whether the
IAbstractionPathBuilder object created by this
factory supports the reconstruction of the exact paths between source and
sink.
- SwingPasswordField - soot.jimple.infoflow.resources.controls中的类
-
A password field in a Java Swing application
- SwingPasswordField() - 类 的构造器soot.jimple.infoflow.resources.controls.SwingPasswordField
-
- SwingTextField - soot.jimple.infoflow.resources.controls中的类
-
A text field in a Java Swing application
- SwingTextField() - 类 的构造器soot.jimple.infoflow.resources.controls.SwingTextField
-
- SystemClassHandler - soot.jimple.infoflow.util中的类
-
Utility class for checking whether methods belong to system classes
- SystemClassHandler() - 类 的构造器soot.jimple.infoflow.util.SystemClassHandler
-