ncfa, ncfatop - nML Control Flow Analyzer

Sukyoung Ryu
ROPAS
Dept. of Computer Science
KAIST (Korea Advanced Institute of Science and Technology)

Synopsis

ncfa

ncfatop [ -I lib-dir ] [ -F file ] [ -d ] [ -p ] [ -t ] file

Description

• 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 the given directory to the list of directories searched for typechecked file (.nty).
    -F <file>	Add the given 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 "e1" in the function application "e1 e2" 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)
            { }
    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."

Restrictions

• nML compiler 0.91 (n/nml-0.91) should be installed to use nML CFA.
• Every file should be type-checked.

Report

[ ps / pdf / html ]

Download

ncfa.tar.gz