Redact source code for confidentiality

RVS lets you redact source code from your RVS project while still supporting subsequent verification. This supports use cases where there may be a requirement to not share source code, such as if you plan to outsource verification activities to a third-party company to which you don't want to reveal your source code.

This works as follows:

• RVS lets you redact the source code from your RVS project, removing it so that only file and function names in the source code can be viewed in the RVS project.
• Verification activities can then be performed on the redacted project.
• When verification activities have been achieved, the resulting RVS report can be merged with a report that includes the source code to restore it.