Questions tagged [static-analysis]
The static-analysis tag has no summary.
43 questions
1
vote
0
answers
45
views
More Precise Interval Analysis
I am building an inference engine that uses interval analysis to compute variable bounds. Efficiency is very important in my case:
I cannot use SMT solvers
I cannot afford full enumeration, since ...
- 11
1
vote
0
answers
35
views
$IN[BB]=\emptyset$ for all $BB$ instead of $IN[BB]=U,\text{for all other BB != BB_EXIT}$ in Init of Anticipated Expression Dataflow analysis in SSA
I am implementing an LLVM pass for anticipated expressions using dataflow analysis and code hoisting. The reference I am following is the Purple Dragon Book (Compilers: Principles, Techniques, and ...
- 1,184
0
votes
0
answers
54
views
SLAM (model checking) at microsoft: successors?
The SLAM project at Microsoft (as detailed in this slide) was highly regarded for detecting bugs in Windows device drivers. Some of its key strengths include discovering real bugs, scalability (...
0
votes
0
answers
55
views
can we decide during compile time whether something on heap becomes unreachable in Java?
As I know (I don't know exactly) the main idea of Rust memory safety is based on the fact that it is compiled into a code that as an additional part has a code that detects unreachable objects and ...
- 394
1
vote
1
answer
106
views
For which languages can branching be determined by static analysis?
Python has methods like getattr() which can be used to branch arbitrarily at runtime. As a result, static code analysis tools can't be certain what functions a ...
- 121
1
vote
2
answers
145
views
What is the precise difference between state and environment and memory?
I was just reading this question regarding the difference between environment and memory. However, the textbook in question, Essentials of Programming Languages, third edition, by Friedman and Wand, ...
- 227
1
vote
1
answer
172
views
Abstract Interpretation: prove that the sign subtraction is increasing in each of its parameters
I need to prove that the binary operator $-_\pm: \mathbb{P}^\pm\times\mathbb{P}^\pm\rightarrow\mathbb{P}^\pm$ is increasing in each of its arguments, where
$$
\mathbb{P}^\pm = \{\top_\pm, \leq0,\...
- 141
0
votes
0
answers
65
views
Java: Non-static Communication. Ex: Type1 X; Type2 Y; X$\leftrightarrow$Y
I have two JFrame windows equipped with various components including JButtons and I want the actionPerformed methods for the buttons to send data between the two windows so that one can update the ...
- 101
1
vote
0
answers
42
views
Is the predecessors number check in dominance frontiers algorithm necessary?
Here is a dominance frontiers algorithm, mentioned on Wikipedia:
...
- 11
3
votes
1
answer
91
views
What is a program analysis technique for tracing assignments (mutations)?
I am looking to write a program analysis for Java programs that tracks assignments and is able to discern:
whether a class field (static or not) is read and where the read originated
whether a class ...
- 145
1
vote
1
answer
442
views
Calculate post dominator with non exiting control flow
Using the basic algorithm to calculate post dominators I run into trouble when working with a CFG containing an infinite loop (i.e., not terminating).
The algorithm:
...
- 591
2
votes
2
answers
484
views
what are meta variables in this static analysis book's explanation about types?
At page 21 of this book: https://cs.au.dk/~amoeller/spa/spa.pdf I found this:
I started reading everything and understanding it pretty well, until this.
It's defining the possible types of a language....
- 121
3
votes
0
answers
254
views
SSA Copy Folding
When can we fold copies in SSA?
We are clearly allowed to fold a copy such as
a0 = call foo()
b0 = a0
But what about a program such as
...
- 238
1
vote
1
answer
129
views
Is my compilers assignment irrational?
In our assignment we are given a grammar (called minipython) and we are asked to implement some phases of compilation (parsing, some semantic analysis).
One of the requirements is to be able to check ...
1
vote
0
answers
165
views
Constraint based analysis: understanding the program $[[ \text{fn} \ x => [x]^1]^2 [ \text{fn} \ y => [y]^3]^4]^5$
I am currently studying the textbook Principles of Program Analysis by Flemming Nielson, Hanne R. Nielson, and Chris Hankin. Chapter 1.4 Constraint Based Analysis says the following:
1.4 Constraint ...
- 227