It is inevitable that the control and data flow of object code will not be an exact mirror of the source code from which it was derived, and so proving that all source code paths can be exercised reliably does not prove the same thing of the object code. Learn why that gives rise to the potential for dangerous inconsistencies between developer intent and executable behaviour, and why Object Code Verification reprents the best available technique for offsetting that potential - whatever the application.