/dflow

Data-Flow Analysis Code Using C++11

Primary LanguageC++OtherNOASSERTION

dflow

Straightforward data-flow analysis in C++.

Building the Source

./autogen && ./configure && make

src/* 文件概述

  • Base.*
    基础函数,类型转换
  • Constants.hxx
    一些常量
  • dflow.cxx
    主函数，解析，绘制
  • DFlowException.*
    异常定义实现
  • Painter.*
    语法树绘制ast/cfg/dast，生成的.dot文件通过dot命令生成图片
  • Program.*
    Statement，Block，Expression，Identifier整个行为定义
  • SourceParser.yy
    Yacc文件
  • SourceScanner.ll
    Lex文件

sh

flex -d SourceScanner.ll
yacc -d SoureceParser.yy

read png

dot -Tpng -o ast.png if-reach-00-ast.dot
dot -Tpng -o dast.png if-reach-00-dast.dot
dot -Tpng -o cfg.png if-reach-00-cfg.dot

Example Usage and Output

$ ./src/dflow ./tests/if-reach-00
> generating AST from ./tests/if-reach-00 ... done
> generating source from AST ...
> -- setting nesting depths ... done
> -- labeling ... done
> here is the annotated source:
  [a = 1] -- 1
  [b = 2] -- 5
  if [a > b] -- 10 then
      [b = a] -- 14
  else
      [skip] -- 18
  fi
> drawing ASTs ...
> -- writing ./tests/if-reach-00-ast.eps ... done
> -- writing ./tests/if-reach-00-dast.eps ... done
> drawing control flow graph ...
> -- writing ./tests/if-reach-00-cfg.eps ... done
> calculating reaching definitions data-flow ...
> -- gathering variables ...
> -- 2 found ...
> -- { a b }
> -- starting fixed point iteration ...
> -- done ...
> -- here are the rd sets ...
{ (a, ?) (b, ?) }
[a = 1] -- 1
{ (a, 1) (b, ?) }
{ (a, 1) (b, ?) }
[b = 2] -- 5
{ (a, 1) (b, 5) }
{ (a, 1) (b, 5) }
[a > b] -- 10
{ (a, 1) (b, 5) }
{ (a, 1) (b, 5) }
[b = a] -- 14
{ (a, 1) (b, 14) }
{ (a, 1) (b, 5) }
skip
{ (a, 1) (b, 5) }

Helpful Resources