CodeProber Documentation

This is documentation for how to use CodeProber. This documentation is intended to be read on the CodeProber website. However, you can also browse the md files on GitHub.

If you are reading this on the CodeProber website, you can navigate to the different pages using the links on the left side of your screen.

Page Overview

• Usage

  • Download and Run - How to download and run CodeProber with your compiler or program analyzer.
  • Features - Brief introduction into CodeProber’s features and how they are used.
  • Troubleshooting - Known problems and their solutions.

• Configuration

  • System Properties - configuration options that can be set via Java system properties.
  • Environment Variables - configuration options that can be set via environment variables.
  • AST API - a programmatic API you can use in your compiler or analyzer to customize the experience of using CodeProber. This contains a small number of required methods for AST traversal.

• Development

  • Building - How to build CodeProber.