Questions tagged [opal-framework]
OPAL is an OPen, extensible Analysis Library for Java bytecode written in Scala.
12
questions
0
votes
1
answer
75
views
"findMethods" doesn't return expected results
I'm trying to implement an analysis (extends DefaultOneStepAnalysis) to construct call graph in CHA algorithms. There are three parts of my code:
1) method "doAnalyze" to return the "BasicReport"
2) ...
0
votes
1
answer
68
views
OPAL-Regarding Finding Calledges of methods defined in Abstract Class using CHA algorithm
Here is a question related to the algorithm of constructing the call graph for Java bytecode using CHA.
As there is no concrete method implementation for methods in abstract classes, adding a call ...
0
votes
1
answer
80
views
OPAL-How to configure properties of project
While I'm running analysis(eg.CHADemo in OPAL source code), i always get warning as
[warn][OPAL] the property org.opalj.threads.CPUBoundTasks is unspecified
In former question, it suggested the ...
0
votes
1
answer
224
views
OPAL-Regarding implementing construct call graph in OPAL
In Paper [A Software Product Line for Static Analyses(2014)], there is an illustration related constructing call graph(Listing7).
In this example, Line14 is related to construct call graph. while i ...
0
votes
1
answer
73
views
OPAL-How to build code in Docker in local machine (faced compile error)?
I access code in Docker($docker pull mreif/fse2016:evaluation), the code could be compiled and run without errors in remote server. While i download it to local machine, i suffered some errors in ...
0
votes
1
answer
42
views
OPAL-Framework: Get thrown exceptions of a method
In the OPAL-Framework, is how can I get all thrown exceptions from a method or its descriptor? I could not find any method returning them.
I am only interested in those exceptions, which are listed ...
0
votes
1
answer
46
views
OPAL: Manually creating an annotated method
in the OPAL framework, is it possible to manually create an annotated method?
I currently have the following code:
Method(0, "signaturePolymorphicMethod",
MethodDescriptor(ObjectType("java/...
0
votes
1
answer
96
views
Disable console output from the from the OPAL project?
I'm using the OPAL framework to implement static analyses. I wondered if it is possible to suppress the console output of the framework which is printed on the console while execution. The following ...
0
votes
1
answer
41
views
Working with precise/unprecise DomainValues in Abstract Interpretation is OPAL
In my OPAL-analysis, I create domain values in the following manner:
domain.TypedValue(org.opalj.ai.parameterToValueIndex(
caller.isStatic, caller.descriptor, index), typeApproximation....
0
votes
1
answer
61
views
OPAL: null-value in operandsArray
I am currently developing a static analysis of Java code using the OPAL framework.
I want to analyze the following Java method:
private void indirectCaller2b(double d, Object o1, Object o2) {
...
1
vote
1
answer
32
views
Can I convert a FieldValue to a DomainValue in OPAL?
I am writing a static analysis using the OPAL framework.
Therefore, I invoke an abstract interpretation of a method, where I have upper type bounds for the passed parameters as FieldTypes.
It looks ...
0
votes
1
answer
52
views
OPAL: Why can SingleOriginReference not be found any more after externalizing code into a method?
I am developing a static analysis of Java Bytecode using the OPAL framework.
I currently need to change the structure of the code, to add some functionality.
This originated in a big method, of ...