Binary analysis framework