Common trait that analyses should inherit from that want to use the general analysis framework AnalysisExecutor.
Common trait that analyses should inherit from that want to use the general analysis framework AnalysisExecutor.
An analysis is basically a mapping of a Project
's resources to some result.
Each analysis can produce (optionally) some result. E.g., a text describing a scenario that leads to a bug, a graph, a report that identifies a specific line or a combination thereof.
However, an analysis should never rely on the location of a resource. If an analysis
needs access to further resources, it should use the Project
class.
Aggregates several analyses such that they are treated as one afterwards.
Aggregates several analyses such that they are treated as one afterwards.
This class is thread safe.
If you extend this class, make sure that all access to this classes (mutable) fields/
mutable data structures is synchronized on this
.
Exception raised while the analysis is executed.
Provides the necessary infrastructure to easily execute a given analysis that generates some analysis result that can be printed on the command line.
Provides the necessary infrastructure to easily execute a given analysis that generates some analysis result that can be printed on the command line.
To facilitate the usage of this trait several implicit conversions are defined that wrap standard analyses (org.opalj.br.analyses) such that they report results that are reportable.
This class distinguishes between class files belonging to the code base under
analysis and those that belong to the libraries. Those belonging to the libraries
are loaded using the ClassFileReader
for library classes (basically, all method
bodies are skipped org.opalj.br.reader.Java8LibraryFramework).
The parameter to specify library classes is -libcp=
, the parameter to specify
the "normal" classpath is -cp=
.
Result of some analysis that just consists of some text.
Default implementation of one step analysis.
Stores the information where each field is read and written.
Stores the information where each field is read and written. If the type hierarchy/the project is incomplete the results are also necessary incomplete.
Thrown if we identify that the project is not consistent.
Stores the information which types of objects are (potentially) injected based on the annotations that are found in the project.
Stores the information which types of objects are (potentially) injected based on the annotations that are found in the project. For example, by means of reflection or by a web server or some other comparable framework.
This information is used to compute the entry points of a JaveEE application.
Stores the information about those classes that are not instantiable.
Stores the information about those classes that are not instantiable. The set of classes that are not instantiable is usually only a small fraction of all classes and hence, more efficient to store/access).
An analysis that may produce multiple results.
An analysis that may produce multiple results. E.g., an analysis that looks for instances of bug patterns.
An analysis that performs all computations in one step.
An analysis that performs all computations in one step. Only very short-running analyses should use this interface!
Enables the management of the progress of a long running computation.
Enables the management of the progress of a long running computation. Typically a long running progress such as an analysis is expected to report progress every 250 to 2000 milliseconds. It should -- however -- check every ~100 milliseconds the interrupted status to enable a timely termination.
This trait defines a call-back interface that is implemented by some class that runs an analysis and which passes an instance of it to some analysis to report progress.
Implementations must handle the case where a step that was started later finishes earlier than a previous step. In other words, even if the last step has ended, that does not mean that the analysis as a whole has already finished. Instead an implementation has to track how many steps have ended to determine when the whole analysis has ended.
,Implementations of this class must be thread safe if the analysis is multi- threaded.
Primary abstraction of a Java project; i.e., a set of classes that constitute a library, framework or application as well as the libraries or frameworks used by the former.
Primary abstraction of a Java project; i.e., a set of classes that constitute a library, framework or application as well as the libraries or frameworks used by the former.
This class has several purposes:
ClassFile
s.This class is thread-safe.
Projects can easily be created and queried using the Scala REPL
. For example,
to create a project, you can use:
val JRE = "/Library/Java/JavaVirtualMachines/jdk1.8.0_45.jdk/Contents/Home/jre/lib" val project = org.opalj.br.analyses.Project(new java.io.File(JRE))
Now, to determine the number of methods that have at least one parameter of type
int
, you can use:
project.methods.filter(_.parameterTypes.exists(_.isIntegerType)).size
The type of the source of the class file. E.g., a URL
, a File
,
a String
or a Pair (JarFile,JarEntry)
. This information is needed for, e.g.,
presenting users meaningful messages w.r.t. the location of issues.
We abstract over the type of the resource to facilitate the embedding in existing
tools such as IDEs. E.g., in Eclipse IResource
's are used to identify the
location of a resource (e.g., a source or class file.)
An index that enables the efficient lookup of source elements (methods and fields) given the method's/field's name and the descriptor/field type.
An index that enables the efficient lookup of source elements (methods and fields) given the method's/field's name and the descriptor/field type.
Basically an index of the source elements (methods and fields) of a project.
This index can be used, e.g., to resolve method calls based on the methods names.
To get an instance of a project index call Project.get and pass in the ProjectIndexKey object.
ProjecInformationKey
objects are used to get/associate some
(immutable) information with a project that should be computed on demand.
ProjecInformationKey
objects are used to get/associate some
(immutable) information with a project that should be computed on demand.
For example, imagine that you write an analysis that requires – as a foundation –
the project's call graph. In this case, to get the call graph it is sufficient
to pass the respective key to the Project object. If the call graph was already
computed that one will be returned, otherwise the computation will be performed and
the result will be cached for future usage before it is returned.
If access to some project information is required it is sufficient to use
the (singleton) instance of the respective ProjectInformationKey
to get
the respective project information.
For example, let's assume that a call graph is needed. In this case the code to get the respective call graph would be:
import ...{ComputedCallGraph,CHACallGraphKey} val project : Project = ??? val ComputedCallGraph(callGraph,unresolved,ex) = project.get(CHACallGraphKey) // do something with the call graph
ProjectInformationKey
Making project wide information available on demand is done as follows.
ProjectInformationKey
class that inherits from this trait and
which calls the base analysis. It is recommended that the factory method (compute)
is side-effect free.Project takes care of threading related issues. The methods requirements
and compute will never be called concurrently w.r.t. the same project
object.
However, concurrent calls may happen w.r.t. two different project objects.
Project takes care of the caching of the result of the computation of the information.
The type of the underlying source file.
org.opalj.br.analyses for several predefined converter functions.
Result of analyses that can be meaningfully represented using text.
An analysis that may produce a result.
Type alias for Project's with an arbitrary sources.
Simple factory that can create a new config by a given analysis mode.
Simple factory that can create a new config by a given analysis mode. This is necessary for test purposes because the analysis mode, which is configured in the configuration file, has to be ignored to implement config file independent tests.
Defines factory methods for BasicReports.
This analysis determines where each field is accessed.
This analysis determines where each field is accessed.
Use the FieldAccessInformationKey to query a project about the field access information.
val accessInformation = project.get(FieldAccessInformationKey)
The analysis is internally parallelized and should not be run with other analyses in parallel.
,The analysis does not take reflective field accesses into account.
The key object to get global field access information.
The key object to get global field access information.
To get the index use the Project's get
method and pass in this
object.
Factory to create InjectedClassesInformation.
The key object to get information about the types of objects that are potentially injected.
The key object to get information about the types of objects that are potentially injected. For example, by a web framework or a dependency injection framework.
To get the index use the Project's get
method and pass in this
object.
A very basic analysis which identifies those classes that can never be instantiated (e.g.,
java.lang.Math
).
A very basic analysis which identifies those classes that can never be instantiated (e.g.,
java.lang.Math
).
A class is not (potentially) instantiable if:
A more precise analysis is available that uses the fixpoint computations framework.
,The analysis does not take reflective instantiations into account!
,If this class is queried (after performing the analysis) about a class that was not analyzed, the result will be that the class is considered to be instantiable. This information is relevant in various contexts, e.g., to determine a precise call graph. For example, instance methods of those objects that cannot be created are always dead.
Use the InstantiableClassesKey to query a project about the instantiable classes.
val instantiableClasses = project.get(InstantiableClassesKey)
, This analysis does not consider protected and/or package visible constructors as it assumes that classes may be added to the respective package later on (open-packages assumption.)
The key object to get information about the classes that can be instantiated (either, directly or indirectly).
The key object to get information about the classes that can be instantiated (either, directly or indirectly).
To get the index use the Project's get
method and pass in this
object.
Characterizes the type of an event related to a running analysis.
Characterizes the type of an event related to a running analysis.
ProgressManagement for further details.
Factory for a function to create a default progress management object that basically does not track the progress.
Definition of factory methods to create Projects.
Factory for ProjectIndex objects.
The key object to get an index of the source elements of a project.
The key object to get an index of the source elements of a project.
To get the index use the Project's get
method and pass in
this
object.
The key object to get access to the properties store.
The key object to get information about all string constants.
The key object to get information about all string constants.
To get the index use the Project's get
method and pass in this
object.
Defines implicit conversions to wrap some types of analyses such that they generate results of type org.opalj.br.analyses.ReportableAnalysisResult.