class OOSWriteObjectAnalysis extends TACAIBasedAPIBasedAnalysis with TypeConsumerAnalysis
Analysis handling the specifics of java.io.ObjectOutputStream.writeObject. This method may invoke writeObject, writeReplace or writeExternal on its parameter.
- Alphabetic
- By Inheritance
- OOSWriteObjectAnalysis
- TypeConsumerAnalysis
- TACAIBasedAPIBasedAnalysis
- APIBasedAnalysis
- ContextualAnalysis
- FPCFAnalysis
- ProjectBasedAnalysis
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- type ContextType = TypeIterator.ContextType
- Definition Classes
- TypeConsumerAnalysis
- type PropertyType = TypeIterator.PropertyType
- Definition Classes
- TypeConsumerAnalysis
Value Members
- final val ObjectOutputType: ObjectType
- final val WriteExternalDescriptor: MethodDescriptor
- final val WriteObjectDescriptor: MethodDescriptor
- val apiMethod: DeclaredMethod
- Definition Classes
- OOSWriteObjectAnalysis → APIBasedAnalysis
- def c(receiverVar: V, receiver: Option[(ValueInformation, IntTrieSet)], parameters: Seq[Option[(ValueInformation, IntTrieSet)]], state: CGState[ContextType])(eps: SomeEPS): ProperPropertyComputationResult
- final def ch: ClassHierarchy
- Definition Classes
- ProjectBasedAnalysis
- implicit final def classHierarchy: ClassHierarchy
- Definition Classes
- ProjectBasedAnalysis
- implicit val declaredMethods: DeclaredMethods
- Definition Classes
- APIBasedAnalysis
- final def handleNewCaller(calleeContext: ContextType, callerContext: ContextType, pc: Int, isDirect: Boolean): ProperPropertyComputationResult
- Definition Classes
- TACAIBasedAPIBasedAnalysis → APIBasedAnalysis
- implicit final def logContext: LogContext
- Definition Classes
- ProjectBasedAnalysis
- implicit final def p: SomeProject
- Definition Classes
- ProjectBasedAnalysis
- def processNewCaller(calleeContext: ContextType, callerContext: ContextType, pc: Int, tac: TACode[TACMethodParameter, V], receiverOption: Option[Expr[V]], params: Seq[Option[Expr[V]]], tgtVarOption: Option[V], isDirect: Boolean): ProperPropertyComputationResult
- Definition Classes
- OOSWriteObjectAnalysis → TACAIBasedAPIBasedAnalysis
- val project: SomeProject
- Definition Classes
- OOSWriteObjectAnalysis → ProjectBasedAnalysis
- implicit final val propertyStore: PropertyStore
- Definition Classes
- FPCFAnalysis
- final def ps: PropertyStore
- Definition Classes
- FPCFAnalysis
- final def registerAPIMethod(): ProperPropertyComputationResult
- Definition Classes
- APIBasedAnalysis
- def returnResult(receiverVar: V, receiver: Option[(ValueInformation, IntTrieSet)], parameters: Seq[Option[(ValueInformation, IntTrieSet)]], indirectCalls: IndirectCalls)(implicit state: CGState[ContextType]): ProperPropertyComputationResult
- implicit val typeIterator: TypeIterator
- Definition Classes
- TypeConsumerAnalysis