Package

org.opalj.ai

jdkbug

Permalink

package jdkbug

Contains definitions that are used by the elements specified in JDKBugs

Source
package.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. jdkbug
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class CallStackEntry(method: Method) extends Product with Serializable

    Permalink
  2. class CalledTaintAnalysisDomain[Source] extends TaintAnalysisDomain[Source]

    Permalink

    This class is instantiated when a Root- or CalledTaintAnalysisDomain decide to further analyse a method resulting.

  3. class CallerNode extends MutableNodeLike[String, Node]

    Permalink
  4. class ContextNode extends MutableNodeLike[(RelevantParameters, String), CallerNode]

    Permalink
  5. type RelevantParameters = Seq[Int]

    Permalink

    Set of ids (integer values) associated with the relevant parameters passed to a method.

  6. class RootTaintAnalysisDomain[Source] extends TaintAnalysisDomain[Source]

    Permalink

    The root domain that one is instanciated for every entry point found as well as when searching for the use of a field

  7. trait TaintAnalysisDomain[Source] extends CorrelationalDomain with DomainId with DefaultHandlingOfMethodResults with IgnoreSynchronization with TypeLevelLongValuesShiftOperators with TypeLevelPrimitiveValuesConversions with DefaultDomainValueBinding with TypeLevelInvokeInstructions with TypeLevelFieldAccessInstructions with DefaultTypeLevelLongValues with DefaultTypeLevelFloatValues with DefaultTypeLevelDoubleValues with DefaultTypeLevelIntegerValues with DefaultStringValuesBinding with ThrowAllPotentialExceptionsConfiguration with TypeLevelReferenceValues with TheProject with TheCode with OptionalReport

    Permalink

    This is the analysis domain it provides all need functionality to find Class.forName bugs.

Value Members

  1. object JDKTaintAnalysis extends AIProject[URL, Domain with OptionalReport] with OneStepAnalysis[URL, ReportableAnalysisResult] with AnalysisExecutor

    Permalink

    Searches for occurrences of the Class.forName bug in the JDK

  2. object TaintAnalysisDomain

    Permalink

    This companion object saves some values during the analysis.

    This companion object saves some values during the analysis. It can be used for testing purpose

  3. def definedInRestrictedPackage(packageName: String): Boolean

    Permalink
  4. var restrictedPackages: Set[String]

    Permalink
    Attributes
    protected

Inherited from AnyRef

Inherited from Any

Ungrouped