Source to object code traceability

When analyzing object code directly using zero-footprint RVS tools such as RapiCover^Zero, these tools help you trace between your source and object code.

If you have access to both your source code and the debug symbols used by your compiler, you can import these into your project to view how your results translate to your source code in the RVS code viewer. You can also view your source code side-by-side with your object code to trace between the two.

For example, when using RapiCover^Zero to analyze structural coverage from object code, you can view how your coverage results captured from object code analysis translate to the statements, functions and decisions in your source code. Results are always displayed pessimistically, so if RapiCover^Zero reports that a coverage element was covered, you can rest assured that all of the instructions generated from it were covered during program execution.