https://github.com/mattdf/polymer

https://github.com/mattdf/polymer

Last synced: 25 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/mattdf/polymer
• Owner: mattdf
• Created: 2023-04-14T15:18:10.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-04-23T00:06:34.000Z (over 1 year ago)
• Last Synced: 2024-10-04T12:51:24.610Z (about 1 month ago)
• Language: Solidity
• Size: 626 KB
• Stars: 26
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Polymer

Is powered by insomnia & laziness, a lot of the code was written by ChatGPT.

## Example Usage

In this example we use the Z3 analyzer to find inputs to exploit a contract. This is from an integer overflow example contract at: https://github.com/shamb0/ssec-swc-101-int-ouflow

#### Load contracts from the repository

![1](screenshots/1.png "Screenshot 1")

#### Select which files to analyze

![2](screenshots/2.png "Screenshot 2")

#### Uncheck code which statements you want to include or exclude, and the analyzer prompt

![3](screenshots/3.png "Screenshot 3")

#### See that it generates an exploit and runs it to get results

![4](screenshots/4.png "Screenshot 4")

## Building & Running

This project needs to run things inside Docker, so the top-level project may not be easy to run Docker inside a Docker.

To install requirements then run the API do:

```shell

$ apt-get install make python3-pip

$ make python-requirements docker-build

$ make api

```

## Resources

 * https://swcregistry.io/

 * https://www.dasp.co/

 * https://consensys.github.io/smart-contract-best-practices/

## Repos for testing

 * https://github.com/shamb0/ssec-swc-101-int-ouflow