package string
- Source
- package.scala
- Alphabetic
- By Inheritance
- string
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Package Members
Type Members
- trait AssignmentBasedStringInterpreter extends AssignmentLikeBasedStringInterpreter
Base trait for all string interpreters that only process Assignments, allowing the trait to pre-unpack the assignment target variable as well as the operation performed by AssignmentLikeBasedStringInterpreter.
- trait AssignmentLikeBasedStringInterpreter extends StringInterpreter
Base trait for all string interpreters that only process AssignmentLikeStmts, allowing the trait to pre-unpack the expression of the AssignmentLikeStmt.
- class ContextStringAnalysis extends StringAnalysis
Analyzes a given variable in context of its method in a context-sensitive manner, i.e.
Analyzes a given variable in context of its method in a context-sensitive manner, i.e. resolving all method parameter references given in the string tree that was resolved for the variable from the ContextFreeStringAnalysis.
- See also
ContextFreeStringAnalysis, MethodParameterContextStringAnalysis
- case class MethodPC(pc: Int, dm: DefinedMethod) extends Product with Serializable
Internal entity for the string flow analysis that represents a specific point in a method for which a flow function is requested.
- trait ParameterEvaluatingStringInterpreter extends StringInterpreter
Base trait for all StringInterpreters that have to evaluate parameters at a given call site, thus providing appropriate utility.
- trait StringAnalysis extends FPCFAnalysis with StringAnalysisConfig
Base trait for all string analyses that compute results for the FPCF StringConstancyProperty.
- trait StringAnalysisConfig extends AnyRef
Shared config between the multiple analyses of the string analysis package.
- sealed trait StringAnalysisScheduler extends FPCFAnalysisScheduler
A trait for FPCF analysis schedulers that combine the parts of the string analysis that produce StringConstancyPropertys.
- trait StringInterpreter extends AnyRef
The base trait for all string interpreters, producing a FPCF StringFlowFunctionProperty for a given statement in the context of its method.
- type TAC = TACode[TACMethodParameter, V]
- case class VariableContext(pc: Int, pv: PV, context: Context) extends Product with Serializable
External entity for the string analysis that represents a local variable in a context-sensitive setting.
External entity for the string analysis that represents a local variable in a context-sensitive setting. Influences from method parameters ARE resolved in the corresponding property.
- pc
Program counter the variable's value is requested for
- pv
Persistent representation of the variable in question
- context
The context the variable and program counter are to be interpreted in
Value Members
- object ContextStringAnalysisState
- object LazyStringAnalysis extends StringAnalysisScheduler with FPCFLazyAnalysisScheduler
A lazy adaptation of the StringAnalysisScheduler.
A lazy adaptation of the StringAnalysisScheduler. All three string analyses are combined since the property store does not allow registering more than one lazy analysis scheduler for a given property.
- object StringAnalysis
- object StringAnalysisConfig
- object StringInterpreter