Guide for Developers

Guide for Developers

• Architecture of Chord
• Java Program Representation
  • Pretty-Printing
  • Whole Program
  • Class Members
  • Methods
  • Control-Flow Graphs
  • Quads
  • Traversing Quadcode
• A Chord Project: Tasks, Targets, and Dependencies
• Writing an Analysis
  • JavaAnalysis
  • ProgramDom
  • ProgramRel
  • DlogAnalysis
  • DynamicAnalysis
  • RHSAnalysis
• Running an Analysis
• Dynamic Analysis
  • Writing a Dynamic Analysis
  • Compiling and Running a Dynamic Analysis
  • Common Dynamic Analysis Events
• Datalog Analysis
  • Writing a Datalog Analysis
  • Tuning Performance
  • BDD Representation

Guide for Developers