MACHINE CODE VERIFICATION USING THE BOGOR FRAMEWORK