HOLLY - An Approach to Object Code Verification