Zero footprint software verification

Zero-footprint RVS tools let you verify the execution behavior of critical software without needing:

• Any code instrumentation
• Any modifications to your build system
• Access to source code

By letting you verify the behavior of your software through direct analysis of object code, zero-footprint RVS tools support verification use cases commonly encountered in critical software development such as the need to verify third party software or software with little remaining space for instrumentation.  

To support this, zero-footprint RVS tools reconstruct information on software execution behavior by using branch trace information collected when running it on the target hardware along with a disassembly of the application.

You can use zero-footprint RVS tools to produce coverage and timing metrics for your software application and visualize your application's scheduling behavior.