Random Flashcards

1
Q

field sensitivity

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Two properties of program-analysis/behavior detection algorithms

A

soundness

completeness

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

soundness

A

all results that are output are valid

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

completeness

A

all results that are valid are output

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

peephole optimization is limited by what?

A

intra-block analysis

ensures that no jumps intrude

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

4 types of optimization

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

field insensitivity

A

ignoring flow control when analyzing which objects are assigned to pointers

How well did you know this?
1
Not at all
2
3
4
5
Perfectly