Random Flashcards
1
Q
field sensitivity
A
treating all references from a structured object as being from the object as a whole
2
Q
Two properties of program-analysis/behavior detection algorithms
A
soundness
completeness
3
Q
soundness
A
all results that are output are valid
4
Q
completeness
A
all results that are valid are output
5
Q
peephole optimization is limited by what?
A
intra-block analysis
ensures that no jumps intrude
6
Q
4 types of optimization
A
peephole optimization
loop-invariant code motion
for-loop strenght reduction
copy propagation
7
Q
field insensitivity
A
ignoring flow control when analyzing which objects are assigned to pointers