code snippet: 1: SomeClass* x ... 39: if x == NONE...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
code snippet:
1: SomeClass* x ...
39: if x == NONE
40: x := new SomeClass
41: endif
...52: x.someMethod()
a) Which type of static analysis introduced in the lecture explicitly tracks
possible value ranges of variables to allow for more specific analysis
results. (1 Point)
Template:
<concept_name>
Want instant access to all verified answers on moodle.tu-ilmenau.de?
Get Unlimited Answers To Exam Questions - Install Crowdly Extension Now!