1.0.0 • Published 1 year ago
geni-generator v1.0.0
Geni, the specifications generator for security tests
Geni is a builder tool that ease the writing of specifications of blockchain smart contracts. These specifications are required to run several auditing services like Foundry or Echidna.
Installation
npm install
yarn install
How it works
Usage
Geni uses OpenAI functionnalities to generate the best specifications possible. Thus, it needs to be configured with your account's secret key, which is available on the website.
Request options
Here are the options you need to configure to run the tool.
Tests
Test the generateEchidnaFunction.js
The generation of Echidna specifications can be test with one specific function for instance :
$ node generateEchidnaFunctions.js "function add(uint256 a, uint256 b) public pure returns (uint256)"
1.0.0
1 year ago