Vulseye

KO | EN

gitlite — search

#python #ai #typescript #go #golang #java #windows #awesome #cli #kubernetes #awesome-list #pytorch #mcp #openai

(★ 9)

No description available.

Vulseye Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

## Vulseye

**It is a vulnerability-directed graybox fuzzer designed for smart contracts.**

### Requirements

1. #### Solidity Compiler

To avoid switching the `solc` version manually and causing unnecessary compilation errors, our tool automatically determines the solidity version of contracts and uses `py-solc-x` for compilation. We have done some work to fix minor bugs in the `py-solc-x` package and made it compatible with our tool.

```shell
   pip3 install py-solc-x
   
   pip3 install crytic_compile
   
   #replace the fixed solcx package with the package in your local path
   cp -r utils/solcx your-python-path/site-packages/solcx
   
   #replace the fixed crytic_compile package with the package in your local path
   cp -r utils/crytic_compile your-python-path/site-packages/crytic_compile
   ```

2. #### Slither

We have made minor modifications to Slither to better adapt to our tools.

```shell
   pip3 install slither-analyzer
   
   #replace the modified crytic_compile package with the package in your local path
   cp -r utils/slither your-python-path/site-packages/slither_analyzer-0.x.x-py3.x.egg/slither
   ```

3. #### Z3 Prover

Download the source code of z3 and install.

```shell
   python scripts/mk_make.py --python
   cd build
   make
   make install
   ```

### Running demos

```shell
cd Vulseye/tools

#the default fuzz generation is 80
./main.sh demo/reentrancy.sol
```

The overall results are recorded in `Vulseye/tools/res.txt`.

The source_map is recorded in `Vulseye/tools/srcmap.txt`.

The information of code targets and block distance is recorded in `Vulseye/tools/CodeDistance.json`.

The information of state targets is recorded in `Vulseye/tools/StateDistance.json`.

Other running informations are recorded in `Vulseye/tools/distance.txt` and `Vulseye/tools/coverage.txt`.

**The completed version of Vulseye will be released soon!**

Vulseye

Vulseye Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Vulseye

Vulseye Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README