Questions tagged [opal-framework]

OPAL is an OPen, extensible Analysis Library for Java bytecode written in Scala.

Filter by
Sorted by
Tagged with
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 ...
  • 866
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 ...