CC BY

VaRA

VaRA is a variablity aware region analyzer framework for LLVM.

Documentation

Contents:

• How to setup VaRA
  • Manual Installation
• Debugging VaRA
  • Running VaRA tests
  • Debugging options
• Passes
  • Blame-MD-Verifier
  • MDRewriter

VaRA API Reference

Contents:

• Analysis passes
  • Feature Analyses
  • Commit Analyses