Random

Question 1

field sensitivity

Answer 1

treating all references from a structured object as being from the object as a whole

Question 2

Two properties of program-analysis/behavior detection algorithms

Answer 2

soundness

completeness

Question 3

soundness

Answer 3

all results that are output are valid

Question 4

completeness

Answer 4

all results that are valid are output

Question 5

peephole optimization is limited by what?

Answer 5

intra-block analysis

ensures that no jumps intrude

Question 6

4 types of optimization

Answer 6

peephole optimization
loop-invariant code motion
for-loop strenght reduction
copy propagation

Question 7

field insensitivity

Answer 7

ignoring flow control when analyzing which objects are assigned to pointers