Introduction

nML Control Flow Analyzer (CFA) analyzes a given nML program and estimates a possible set of function values for each function typed expression.

• Batch analyzer (ncfa)
  • Inputs are nML files and outputs are analysis results.
    eg. % ncfa file.n
  • In case of incremental analysis, two options should be provided. For nML type checker, every included directory should be mentioned by ``-I <dir>''. And for nML CFA, all the previously analyzed file names should be listed by ``-F <file>''. The order of previously analyzed file names does not matter.
    eg. % ncfa -I kb -F kb/kb1.n kb/kb2.n
  • Options
    

    -I <dir>	Add <dir> to the list of include directories searched for
    	typechecked file ( .nty).
    -F <file>	Add <file> to the list of files searched for pre-analyzed
    	cfa file ( .nfa).
    -d	Print debugging information.
    -p	Print absyn.
    -t	Print time profile information.

• Toplevel analyzer (ncfatop)
  Input to the toplevel can span several lines. It terminates by ;; (a double-semicolon).
  

  eg.	% ncfatop
  	nML Control Flow Analyzer, Version 0.9, 08/06/2001, Sukyoung Ryu [ROPAS/KAIST]
  	#

• Analysis results
  For each location of ``e<sub>1</sub>'' in the function application ``e₁ e₂'' of the program, nML CFA reports a set of pairs <ftn, loc> of a function name ftn and its declaration place loc. For example,
  • (type/e2m.n:862.14-121)
    <emitPar, type/e2m.n:58.40-54>
    tells that a function-typed expression at ``type/e2m.n:862.14-121'' may be evaluated to the function emitPar, which is declared at ``type/e2m.n:58.40-54.''
  • (type/e2m.n:962.21-40)
    </unnamed ftn/, type/e2m.n:59.11-20>
    tells that the unnamed function at ``type/e2m.n:962.21-40'' may be called at ``type/e2m.n:962.21-40''.
  • (type/e2m.n:857.18-258)
    </emitBlock _ /, type/e2m.n:58.40-54>
    tells that curried function emitBlock (of type t -> t' -> t''), given one argument, returns a function which may be called at ``type/e2m.n:58.40-54''.

There are two restrictions to use nML CFA: (1) nML compiler 0.91 (n/nml-0.91) should be installed to use nML CFA, and (2) every file should be type-checked.