/CFGBuilder

An CFG Builder for Solidity Smart Contracts

Primary LanguageC++MIT LicenseMIT

Building from source (Linux & MacOs)

Get the source code

Git and GitHub are used to maintain the source code. Clone the repository by:

git clone https://github.com/MingxiYe/CFGBuilder.git
cd CFGBuilder/src

Install CMake

CMake is used to control the build configuration of the project. We strongly recommend you to install CMake by downloading and unpacking the binary distribution of the latest version available on the CMake download page.

The CMake package available in your operating system can also be installed and used if it meets the minimum version requirement.

Install dependencies

Linux

To be continued

MacOs

To be continued

Build

Configure the project build with the following command to create the build directory with the configuration.

mkdir build; cd build  # Create a build directory.
cmake ..               # Configure the project.
make                   # Build fuzzer targets.

construct the CFG of contracts

Place contracts to contracts/

./main -g && chmod +x cfgCon && ./cfgCon

The CFG will be stored in outpus/json in the form of json