Guide for End-Users

Guide for End-Users

• What is Chord?
• Getting Started
  • Downloading Binaries
  • Downloading Source Code
  • Compiling the Source Code
  • Running Chord
• Chord Properties
  • How to Set Properties
  • Recognized Properties
    • Java Program Properties
    • Analysis Scope Properties
    • Functionality Properties
    • Project Properties
    • Instrumentation Properties
    • Caching Properties
    • Chord JVM Properties
    • BDD Properties
    • Output Location Properties
• Setting up a Java Program for Analysis
• Analysis Scope Construction
  • Scope Reuse
  • Scope Construction Algorithms
    • Rapid Type Analysis
    • Class Hierarchy Analysis
    • Dynamic Analysis
  • Scope Exclusion
• Predefined Analyses
  • Running an Analysis
  • Points-to and Call-Graph Analyses
    • Context-Insensitive Analysis
    • Context-Sensitive Analysis
  • Static Datarace Analysis
  • Static Deadlock Analysis

Guide for End-Users