Data

Tools

Indexes

Applications

Experiments

Open Source Science

advse_smartcontract

https://github.com/manojbayyapureddy/advse_smartcontract

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (12.8%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

Basic Info
  • Host: GitHub
  • Owner: ManojBayyapureddy
  • License: agpl-3.0
  • Language: Python
  • Default Branch: main
  • Size: 7.15 MB
Statistics
  • Stars: 3
  • Watchers: 2
  • Forks: 1
  • Open Issues: 0
  • Releases: 0
Created over 3 years ago · Last pushed over 3 years ago
Metadata Files
Readme Changelog Contributing License Citation

README.md

Extension of Manticore

We are building the extension of manticore. Our main goal is to improvise, optimize the part of manticore functionalities. The time complexities to run sol file in order to find the vulnerabilities is going to be our main focus on.

In order to install manticore tool first you need to follow below procedure.(Installation steps are from official github site of manticore)

Note: We recommend installing Manticore in a virtual environment to prevent conflicts with other projects or packages

Option 1: Installing from PyPI:

bash pip install manticore

Option 2: Installing from PyPI, with extra dependencies needed to execute native binaries:

bash pip install "manticore[native]"

Option 3: Installing a nightly development build:

bash pip install --pre "manticore[native]"

Option 4: Installing from the master branch:

bash git clone https://github.com/trailofbits/manticore.git cd manticore pip install -e ".[native]"

Option 5: Install via Docker:

bash docker pull trailofbits/manticore

Once installed, the manticore CLI tool and Python API will be available.

For a development installation, see our wiki.

Usage

CLI

Manticore has a command line interface which can perform a basic symbolic analysis of a binary or smart contract. Analysis results will be placed into a workspace directory beginning with mcore_. For information about the workspace, see the wiki.

EVM

Manticore CLI automatically detects you are trying to test a contract if (for ex.) the contract has a .sol or a .vy extension. See a demo.

Click to expand:

```bash $ manticore examples/evm/umd_example.sol

Owner

  • Login: ManojBayyapureddy
  • Kind: user

Citation (CITATION.cff) 

# YAML 1.2
---
abstract: "An effective way to maximize code coverage in software tests is through dynamic symbolic execution-a technique that uses constraint solving to systematically explore a program's state space. We introduce an open-source dynamic symbolic execution framework called Manticore for analyzing binaries and Ethereum smart contracts. Manticore's flexible architecture allows it to support both traditional and exotic execution environments, and its API allows users to customize their analysis. Here, we discuss Manticore's architecture and demonstrate the capabilities we have used to find bugs and verify the correctness of code for our commercial clients."
authors: 
  -
    affiliation: "Trail of Bits"
    family-names: Mossberg
    given-names: Mark
  -
    affiliation: "Trail of Bits"
    family-names: Manzano
    given-names: Felipe
  -
    affiliation: "Trail of Bits"
    family-names: Hennenfent
    given-names: Eric
  -
    affiliation: "Trail of Bits"
    family-names: Groce
    given-names: Alex
  -
    affiliation: "Trail of Bits"
    family-names: Greico
    given-names: Gustavo
  -
    affiliation: "Trail of Bits"
    family-names: Feist
    given-names: Josselin
  -
    affiliation: "Trail of Bits"
    family-names: Brunson
    given-names: Trent
  -
    affiliation: "Trail of Bits"
    family-names: Dinaburg
    given-names: Artem
cff-version: "1.1.0"
date-released: 2019-11-11
doi: "10.1109/ASE.2019.00133"
keywords: 
  - "symbolic execution"
  - "binary analysis"
  - ethereum
license: "AGPL-3.0"
message: "If you use this software in an academic work, please cite our paper."
repository-code: "https://github.com/trailofbits/manticore"
title: "Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts"
...

GitHub Events

Total
Last Year

Dependencies

docs/requirements.txt pypi
  • Sphinx ==4.3.0
setup.py pypi
  • crytic-compile >=0.2.2
  • dataclasses *
  • evm *
  • intervaltree *
  • ply *
  • prettytable *
  • protobuf *
  • pyevmasm >=0.2.3
  • pysha3 *
  • pyyaml *
  • rlp *
  • wasm *
Dockerfile docker
  • ubuntu 20.04 build