Example: confidence
Static Program Analysis - Aarhus Universitet

Static Program Analysis - Aarhus Universitet

Back to document page

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?

  Code, Static

Download Static Program Analysis - Aarhus Universitet


Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Advertisement

Related search queries