Skip to main content

Browse the archive

Revision 71f76bcf2eeb5498c3a10ed320fd10de150ac626 authored by Cole Lightfighter on 19 January 2018, 01:13:36 UTC, committed by Cole Lightfighter on 19 January 2018, 01:13:36 UTC 
Check metadata lengths for SolidityMetadata
 
Modified member functions of SolidityMetada to check against the length
of metadata on the end of runtime_bytecode and bytecode fields.

Part of #716
1 parent fad56db
Raw File
setup.py 
import os
from setuptools import setup, find_packages

on_rtd = os.environ.get('READTHEDOCS') == 'True'


def rtd_dependent_deps():
    # RTD tries to build z3, ooms, and fails to build.
    if on_rtd:
        return []
    else:
        return ['z3-solver']

setup(
    name='manticore',
    description='Manticore is a symbolic execution tool for analysis of binaries and smart contracts.',
    url='https://github.com/trailofbits/manticore',
    author='Trail of Bits',
    version='0.1.6',
    packages=find_packages(),
    install_requires=[
        'capstone>=3.0.5rc2',
        'pyelftools',
        'unicorn',
        'ply',
        'pysha3',
    ] + rtd_dependent_deps(),
    extras_require={
        'dev': [
            'keystone-engine',
            'coverage',
            'nose',
            'Sphinx',
            'redis',
        ],
        'redis': [
            'redis',
        ]
    },
    entry_points={
        'console_scripts': [
            'manticore = manticore.__main__:main'
        ]
    }
)
back to top