Libraries for static analysis of JVM languages such as Java and Kotlin.
T. J. Watson Libraries for Analysis (WALA) provide static analysis capabilities for Java bytecode and related languages and for JavaScript.
GitHub: https://github.com/wala/WALA
Questions tagged [wala]
5 questions
3
votes
1 answer
How to use WALA for Forward Slicing
I have been working on program slicing for a while. Since that Backward slicing works on a control-flow graph (CFG) and there are plenty of tools that generates CFGs, I easily implemented the Backward slicing algorithm with Java.
However, as read…
Ekin
- 407
- 1
- 6
- 17
1
vote
2 answers
What is the difference between wala and soot?
I need to chose a framework for following tasks in Java:
extract control flow graph
interprocedural and intraprocedural analysis
dataflow analysis
PDG
different souce code analysis tasks (like method body extraction, test code extraction)
Which…
Exploring
- 2,493
- 11
- 56
- 97
0
votes
0 answers
Given a test failure how can you extract all code statements that the test execution ran?
Given a test failure, I have to extract all code statements that the test execution ran.
Let's say unit test 1 has failed. I have to extract all the codes it executed.
public class Driver {
method1 {
}
method2 {
}
method3 {
}
…
Exploring
- 2,493
- 11
- 56
- 97
0
votes
1 answer
is there any method for WALA to slice several jars
i am a green hand for WALA.
i am trying to slice a jar for hdfs, but it is corelated with other parts of hadoop like hadoop commom. so i wonder if there is any method to slice several jars or slice one and the slice statement including the calls…
zhouyn
- 1
0
votes
0 answers
Can soot perform program analysis for incomplete code
What I understand is Soot performs program analysis on the ByteCode.
However, I have incomplete or slightly buggy-code like the following where the return type for the method is not correct:
class D {
public void m1() {
int total = 0;
…
Exploring
- 2,493
- 11
- 56
- 97