Thanks to visit codestin.com
Credit goes to github.com

Skip to content

freegpus/4naly3er

 
 

Repository files navigation

     .---. ,--.  ,--   ,----.   ,--.  ,--.   ,-. .----. ,------.,------,
    / .  | |   \ |  | |  ._. \  |  |  `\ . '.' /\_.-,  ||  .---'|   /`. '
   / /|  | |  . '|  | |  |_|  | |  |    \     /   |_  <(|  '--. |  |_.' |
  / '-'  |||  |\    | |  .-.  |(|  '_    /   /) .-. \  ||  .--' |  .   .'
  `---|  |'|  | \   | |  | |  | |     | /   /`  \ `-'  /|  `---.|  |\  \
      `--' `--'  `--' `--' `--' `-----' `--'     `---'' `------'`--' '--'

Table of Contents

Usage

yarn analyze <BASE_PATH> <SCOPE_FILE> <GITHUB_URL>

Parameters

  • BASE_PATH is a relative path to the folder containing the smart contracts.
  • SCOPE_FILE is an optional file containing a specific smart contracts scope (see scope.example.txt)
  • GITHUB_URL is an optional url to generate links to github in the report
  • For remappings, add remappings.txt to BASE_PATH.
  • The output will be saved in a report.md file.
  • Ensure the smart contracts' dependencies are available.

Example

yarn analyze contracts scope.example.txt

Print title and impact/ description of supported issues into a markdown file

yarn print [outputFile]
  • outputFile is an optional file path to store title and title & description of all supported detectors.

Example Reports

Repository Report
Holograph Report
3xcalibur Report
Inverse Finance Report
Paladin Report
zkSync Report

Installation

You'll need Node.js and Yarn. Then clone the repo and run:

yarn

You're all set!

Contributing

You're more than welcome to contribute! For help you can check CONTRIBUTING.md

About

Static smart contract code 4naly3er. Improved by incorporating detectors from forks and pull requests.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • TypeScript 98.7%
  • Other 1.3%