Example: confidence
Static Program Analysis - Aarhus Universitet
program being compiled, in order to generate efficient code. A few examples of such properties are: • Does the program contain dead code, or more specifically, is function f unreachable from main? If so, the code size can be reduced. • Is the value of some expression inside a loop the same in every iteration?
Download Static Program Analysis - Aarhus Universitet
Information
Domain:
Source:
Link to this page: