Transformation tool that can convert object code to semantic data