Packages

Definition Classes: root

Definition Classes: root

OPAL is a Scala-based framework for the static analysis, manipulation and creation of Java bytecode.

OPAL is a Scala-based framework for the static analysis, manipulation and creation of Java bytecode. OPAL is designed with performance, scalability and adaptability in mind.

Its main components are:

a library (Common) which provides generally useful data-structures and algorithms for static analyses.
a framework for implementing lattice based static analyses (Static Analysis Infrastructure)
a framework for parsing Java bytecode (Bytecode Infrastructure - org.opalj.bi) that can be used to create arbitrary representations.
a library to create a one-to-one in-memory representation of Java bytecode (Bytecode Disassembler - org.opalj.da).
a library to convert this representation to Java class files (Bytecode Creator - org.opalj.bc).
a library to create a representation of Java bytecode that facilitates writing simple static analyses (Bytecode Representation - org.opalj.br).
a library to create a stackless, three-address code representation of Java bytecode that facilitates writing complex static analyses (Three Address Code - org.opalj.tac).
a scalable, easily customizable framework for the abstract interpretation of Java bytecode (Abstract Interpretation Framework - org.opalj.ai).
a library to extract dependencies between code elements (Dependencies Extraction - org.opalj.de) and to facilitate checking architecture definitions (Architecture Validation - org.opalj.av).
a library for the lightweight manipulation and creation of Java bytecode (Bytecode Assembler - org.opalj.ba).
a library for parsing Android packages (APK - org.opalj.apk).
libraries for writing static analyses using the interprocedural finite distributive subset (IFDS - org.opalj.ifds) and interprocedural distributive environment (IDE - org.opal.ide) algorithms.

General Design Decisions

Thread Safety

Unless explicitly noted, OPAL is thread safe. I.e., the classes defined by OPAL can be considered to be thread safe unless otherwise stated. (For example, it is possible to read and process class files concurrently without explicit synchronization on the client side.)

No `null` Values

Unless explicitly noted, OPAL does not null values I.e., fields that are accessible will never contain null values and methods will never return null. If a method accepts null as a value for a parameter or returns a null value it is always explicitly documented. In general, the behavior of methods that are passed null values is undefined unless explicitly documented.

No Typecasts for Collections

For efficiency reasons, OPAL sometimes uses mutable data-structures internally. After construction time, these data-structures are generally represented using their generic interfaces (e.g., scala.collection.{Set,Map}). However, a downcast (e.g., to add/remove elements) is always forbidden as it would effectively prevent thread-safety.

Assertions

OPAL makes heavy use of Scala's Assertion Facility to facilitate writing correct code. Hence, for production builds (after thorough testing(!)) it is highly recommend to build OPAL again using -Xdisable-assertions.

Definition Classes: org

package br

In this representation of Java bytecode references to a Java class file's constant pool and to attributes are replaced by direct references to the corresponding constant pool entries.

In this representation of Java bytecode references to a Java class file's constant pool and to attributes are replaced by direct references to the corresponding constant pool entries. This facilitates developing analyses and fosters comprehension.

Based on the fact that indirect references to constant pool entries are resolved and replaced by direct references this representation is called the resolved representation.

This representation of Java bytecode is considered as OPAL's standard representation for writing simple Scala based analyses. This representation is engineered such that it facilitates writing analyses that use pattern matching.

Definition Classes: opalj

package fpcf

Definition Classes: br

package properties

Definition Classes: fpcf

package alias

Definition Classes: properties

package cg

Definition Classes: properties

package fieldaccess

Definition Classes: properties

package immutability

Definition Classes: properties

package pointsto

Definition Classes: properties

package string

Definition Classes: properties

AllocationFreeMethod

AllocationFreeness

AllocationFreenessPropertyMetaInformation

AtMost

CallStringContext

CallStringContexts

CallStringContextsKey

ClassifiedImpure

CompileTimeConstancy

CompileTimeConstancyPropertyMetaInformation

CompileTimeConstantField

CompileTimePure

CompileTimeVaryingField

Context

Contexts

ContextuallyPure

ContextuallySideEffectFree

DContextuallyPure

DContextuallySideEffectFree

DPure

DSideEffectFree

DoesNotLeakSelfReference

EscapeInCallee

EscapeProperty

EscapePropertyMetaInformation

EscapeViaAbnormalReturn

EscapeViaHeapObject

EscapeViaNormalAndAbnormalReturn

EscapeViaParameter

EscapeViaParameterAndAbnormalReturn

EscapeViaParameterAndNormalAndAbnormalReturn

EscapeViaParameterAndReturn

ExtensibleLocalFieldWithGetter

FieldLocality

FieldLocalityMetaInformation

ImpureByLackOfInformation

MethodComplexityPropertyMetaInformation

MethodWithAllocations

PurityPropertyMetaInformation

ReturnValueFreshness

ReturnValueFreshnessPropertyMetaInformation

StaticDataUsagePropertyMetaInformation

SystemProperties

SystemPropertiesPropertyMetaInformation

ThrownExceptions

ThrownExceptionsFallback

ThrownExceptionsPropertyMetaInformation

UsesConstantDataOnly

UsesNoStaticData

UsesVaryingData

org.opalj.br.fpcf.properties

SystemPropertiesPropertyMetaInformation

sealed trait SystemPropertiesPropertyMetaInformation extends PropertyMetaInformation

Holds the possible values that a java.util.Properties can take on, e.g. by analyzing the parameters given to calls like java.util.Properties.setProperty that are found in reachable methods.

Currently, values are not distinguished by the keys they are set for since the key parameters may also take on any value conforming to their string tree, which can be infinitely many (see StringTreeNode).

All existing analyses do not distinguish between the system-wide properties (set through System.setProperty or similar) and all other java.util.Properties instances.

Source: SystemProperties.scala

Linear Supertypes

PropertyMetaInformation, PropertyKind, AnyRef, Any

Known Subclasses

SystemProperties, SystemProperties

Ordering

Alphabetic
By Inheritance

Inherited

SystemPropertiesPropertyMetaInformation
PropertyMetaInformation
PropertyKind
AnyRef
Any

Hide All
Show All

Visibility

Public
Protected

Type Members

type Self = SystemProperties
Definition Classes
SystemPropertiesPropertyMetaInformation → PropertyMetaInformation

Abstract Value Members

abstract def key: PropertyKey[Self]
The key uniquely identifies this property's category.
The key uniquely identifies this property's category. All property objects of the same kind have to use the same key.
In general each Property kind is expected to have a companion object that stores the unique PropertyKey.
Definition Classes
PropertyMetaInformation

Concrete Value Members

final def !=(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def ##: Int
Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0
Definition Classes
Any
def clone(): AnyRef
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
final def eq(arg0: AnyRef): Boolean
Definition Classes
AnyRef
def equals(arg0: AnyRef): Boolean
Definition Classes
AnyRef → Any
final def getClass(): Class[_ <: AnyRef]
Definition Classes
AnyRef → Any
Annotations
@native() @IntrinsicCandidate()
def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native() @IntrinsicCandidate()
final def id: Int
The id uniquely identifies this property's category.
The id uniquely identifies this property's category. All property objects of the same kind have to use the same id which is guaranteed since they share the same PropertyKey
Definition Classes
PropertyMetaInformation → PropertyKind
final def isInstanceOf[T0]: Boolean
Definition Classes
Any
final def ne(arg0: AnyRef): Boolean
Definition Classes
AnyRef
final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native() @IntrinsicCandidate()
final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native() @IntrinsicCandidate()
final def synchronized[T0](arg0: => T0): T0
Definition Classes
AnyRef
def toString(): String
Definition Classes
AnyRef → Any
final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

def finalize(): Unit
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.Throwable]) @Deprecated @Deprecated
Deprecated

Packages

General Design Decisions

Thread Safety

No `null` Values

No Typecasts for Collections

Assertions

SystemPropertiesPropertyMetaInformation

sealed trait SystemPropertiesPropertyMetaInformation extends PropertyMetaInformation

Type Members

Abstract Value Members

Concrete Value Members

Deprecated Value Members

Inherited from PropertyMetaInformation

Inherited from PropertyKind

Inherited from AnyRef

Inherited from Any

Ungrouped

Packages

General Design Decisions

Thread Safety

No null Values

No Typecasts for Collections

Assertions

SystemPropertiesPropertyMetaInformation

sealed trait SystemPropertiesPropertyMetaInformation extends PropertyMetaInformation

Type Members

Abstract Value Members

Concrete Value Members

Deprecated Value Members

Inherited from PropertyMetaInformation

Inherited from PropertyKind

Inherited from AnyRef

Inherited from Any

Ungrouped

No `null` Values

SystemPropertiesPropertyMetaInformation