ncfa, ncfatop - nML Control Flow Analyzer

Sukyoung Ryu

 

• Introduction
• Implementation
  • Code Structure
  • Makefile
  • typeutil.n
  • utils.n
  • preinfer.n
  • postinfer.n
  • absynutils.n
  • perv.n
  • cfautils.n
  • cfaconstruct.n and cfasolve.n
  • cfaresult.n
  • cfatop.n and cfamain.n
  • cfafileio.n
  • cfainit.n
• Availability
• Bibliography
• About this document ...