solidity cfg builder

Solidity-CFG构建器

用于固体智能合约的控制流图构建器。

概述

该软件包从固体合同中生成了控制流图。控制流图作为程序语义的图形表示有用，并且是许多静态分析方法优化和验证程序的基础。该软件包是我目前正在开发的静态分析方法的基础。

Solidity-CFG构建器是在Haskell中开发的，它利用了用于固体合同的运行时验证工具中使用的坚固性语法解析器。项目中使用的解析器的版本已包装在项目中。

此工具给定的固体代码在点符号中生成一个控制流图，可以使用GraphViz可视化。

构建工具

要求：Cabal v2.4。*（例如安装完整的Haskell平台）

汇编：按照此处的说明

使用工具：

为了正确的结果，请务必确保使用坚固的编译器编译实体代码。

要使用该工具，将实体文件的位置和输出的首选位置传递给可执行文件，例如执行：

“ ./ solity-cfg-builder” <solidity-code.sol> <cfg.gv>

执照

该项目是根据Apache 2.0许可证的条款获得许可的。

TODO（请参阅最新列表的问题）

1. 处理功能修饰符
2. 允许选项与功能调用更平坦的CFG（还考虑合同继承）
3. 处理功能末尾的语句块
4. 事件触发是作为函数调用解析的。明确显示事件的触发器的后处理。

---

常见问题和常见问题

编译代码时，我会收到错误：找不到模块'text.parsec'。

确保您已经安装了Parsec。另外，请参阅此stackoverflow线程（https://stackoverflow.com/questions/9058914/cant-find-parsec-modules-in-ghci）

Cabal安装parsec