Getting Started Guides
- 1. Prerequisite
- 2. Build Host
- 3. Tool & Dependency overview
- 4. Setup Toolchain
- 5. Package Installation (Ubuntu-20.04 x64)
- 6. Install python dependencies
- 7. Install coverage tools analysis dependencies
- 8. Getting the RMM Source
- 9. Install Cppcheck and dependencies
- 10. Install CBMC
- 11. Install Clang-tidy
- 12. Performing an Initial Build
- 13. Running the RMM
- 14. RMM Build Examples
- 15. RMM Build Options
- 16. RMM LLVM Build
- 17. RMM Fake Host Build