Class/Object

org.opalj.ai.dataflow.instance

StringPassedToClassForName

Related Docs: object StringPassedToClassForName | package instance

Permalink

abstract class StringPassedToClassForName[Source] extends DataFlowProblemSpecification[Source, (String) ⇒ Boolean]

Searches for strings that are passed to Class.forName(_) calls.

Source
StringPassedToClassForName.scala
Linear Supertypes
DataFlowProblemSpecification[Source, (String) ⇒ Boolean], SourcesAndSinks, DataFlowProblem[Source, (String) ⇒ Boolean], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. StringPassedToClassForName
  2. DataFlowProblemSpecification
  3. SourcesAndSinks
  4. DataFlowProblem
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new StringPassedToClassForName()

    Permalink

Type Members

  1. case class CallResult(receiver: TaintInformation, parameters: IndexedSeq[TaintInformation], result: (DomainValue) ⇒ TaintInformation) extends Product with Serializable

    Permalink
    Definition Classes
    DataFlowProblem
  2. abstract type DomainValue <: AnyRef

    Permalink
    Definition Classes
    DataFlowProblem
  3. case class FieldWrite(declaringClassType: ReferenceType, name: String, fieldType: Type, context: Method, caller: TaintInformation, value: TaintInformation, receiver: TaintInformation) extends Product with Serializable

    Permalink
    Definition Classes
    DataFlowProblem
  4. case class Invoke(declaringClassType: ReferenceType, name: String, descriptor: MethodDescriptor, context: Method, caller: TaintInformation, receiver: TaintInformation, parameters: IndexedSeq[TaintInformation]) extends Product with Serializable

    Permalink
    Definition Classes
    DataFlowProblem
  5. type OnCallTaintProcessor = PartialFunction[Invoke, CallResult]

    Permalink
    Definition Classes
    DataFlowProblem
  6. type OnWriteTaintProcessor = PartialFunction[FieldWrite, (DomainValue) ⇒ TaintInformation]

    Permalink
    Definition Classes
    DataFlowProblem
  7. type P = (String) ⇒ Boolean

    Permalink
  8. trait TaintInformation extends AnyRef

    Permalink

    Encapsultates taint information about a(n implicit) value.

    Encapsultates taint information about a(n implicit) value.

    Attributes
    protected[this]
    Definition Classes
    DataFlowProblem
  9. trait TaintedValue extends TaintInformation

    Permalink

    Representation of a tainted value.

    Representation of a tainted value.

    Attributes
    protected[this]
    Definition Classes
    DataFlowProblem

Abstract Value Members

  1. abstract def ValueIsTainted: (DomainValue) ⇒ TaintInformation

    Permalink

    Returns a factory method that – given a DomainValue – creates a TaintedValue object that encapsulates the information that the value is tainted.

    Returns a factory method that – given a DomainValue – creates a TaintedValue object that encapsulates the information that the value is tainted.

    Definition Classes
    DataFlowProblem
  2. abstract def doSolve(): String

    Permalink
    Definition Classes
    DataFlowProblem
  3. abstract val p: (String) ⇒ Boolean

    Permalink
    Definition Classes
    DataFlowProblem
  4. abstract val project: Project[Source]

    Permalink
    Definition Classes
    DataFlowProblem

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object NotTainted extends TaintInformation with Product with Serializable

    Permalink

    The (implicitly referred to) value is not tainted.

    The (implicitly referred to) value is not tainted.

    Definition Classes
    DataFlowProblem
  5. object Tainted

    Permalink

    Extractor to match tainted values.

    Extractor to match tainted values.

    Definition Classes
    DataFlowProblem
  6. val ValueIsNotTainted: (DomainValue) ⇒ TaintInformation

    Permalink

    Factory method that – given a DomainValue – creates a TaintInformation object that encapsulates the information that the value is not tainted.

    Factory method that – given a DomainValue – creates a TaintInformation object that encapsulates the information that the value is not tainted.

    Definition Classes
    DataFlowProblem
  7. def analyzeFeasability(): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    DataFlowProblem
  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  9. def call(f: OnCallTaintProcessor): Unit

    Permalink
    Definition Classes
    DataFlowProblem
  10. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. val definedInRestrictedPackage: (String) ⇒ Boolean

    Permalink
  12. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  16. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  17. def initializeSourcesAndSinks(): Unit

    Permalink
  18. def initializeSourcesAndSinks(project: SomeProject): Unit

    Permalink
    Attributes
    protected[this]
    Definition Classes
    SourcesAndSinks
  19. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  20. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  21. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  22. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  23. var onCallTaintProcessors: List[OnCallTaintProcessor]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    DataFlowProblem
  24. var onWriteTaintProcessors: List[OnWriteTaintProcessor]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    DataFlowProblem
  25. def sinkInstructions: Map[Method, Set[br.PC]]

    Permalink
    Definition Classes
    SourcesAndSinks
  26. def sinks(vlm: AValueLocationMatcher): Unit

    Permalink
    Definition Classes
    SourcesAndSinks
  27. def solve(): String

    Permalink

    Tries to find paths from the sources to the sinks.

    Tries to find paths from the sources to the sinks.

    Definition Classes
    DataFlowProblem
  28. def sourceValues: Map[Method, Set[ValueOrigin]]

    Permalink
    Definition Classes
    SourcesAndSinks
  29. def sources(filter: Function[ClassFile, Boolean], matcher: PartialFunction[Method, Set[ValueOrigin]]): Unit

    Permalink
    Definition Classes
    SourcesAndSinks
  30. def sources(vlm: AValueLocationMatcher): Unit

    Permalink
    Definition Classes
    SourcesAndSinks
  31. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  32. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  33. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. def write(f: OnWriteTaintProcessor): Unit

    Permalink
    Definition Classes
    DataFlowProblem

Inherited from DataFlowProblemSpecification[Source, (String) ⇒ Boolean]

Inherited from SourcesAndSinks

Inherited from DataFlowProblem[Source, (String) ⇒ Boolean]

Inherited from AnyRef

Inherited from Any

Ungrouped