mirror of https://github.com/crytic/slither
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
108 lines
2.9 KiB
108 lines
2.9 KiB
6 years ago
|
#!/usr/bin/env python3
|
||
|
|
|
||
|
|
import argparse
|
||
|
|
import logging
|
||
|
|
import sys
|
||
|
|
import traceback
|
||
|
|
import operator
|
||
|
|
import numpy as np
|
||
|
|
|
||
|
|
from .info import info
|
||
|
|
from .test import test
|
||
|
|
from .train import train
|
||
|
|
|
||
|
|
|
||
|
|
logging.basicConfig()
|
||
|
|
logger = logging.getLogger("Slither")
|
||
|
|
|
||
|
|
slither_simil_usage = "USAGE" # TODO
|
||
|
|
modes = ["info", "test", "train"]
|
||
|
|
|
||
|
|
def parse_args():
|
||
|
|
parser = argparse.ArgumentParser(description='',
|
||
|
|
usage=slither_simil_usage)
|
||
|
|
|
||
|
|
parser.add_argument('mode',
|
||
|
|
help="|".join(modes))
|
||
|
|
|
||
|
|
parser.add_argument('model',
|
||
|
|
help='model.bin')
|
||
|
|
|
||
|
|
parser.add_argument('--solc',
|
||
|
|
help='solc path',
|
||
|
|
action='store',
|
||
|
|
default='solc')
|
||
|
|
|
||
|
|
parser.add_argument('--filename',
|
||
|
|
action='store',
|
||
|
|
dest='filename',
|
||
|
|
help='contract.sol')
|
||
|
|
|
||
|
|
parser.add_argument('--contract',
|
||
|
|
action='store',
|
||
|
|
dest='contract',
|
||
|
|
help='Contract')
|
||
|
|
|
||
|
|
parser.add_argument('--filter',
|
||
|
|
action='store',
|
||
|
|
dest='filter',
|
||
|
|
help='Extension to filter contracts')
|
||
|
|
|
||
|
|
parser.add_argument('--fname',
|
||
|
|
action='store',
|
||
|
|
dest='fname',
|
||
|
|
help='Function name')
|
||
|
|
|
||
|
|
parser.add_argument('--input',
|
||
|
|
action='store',
|
||
|
|
dest='input',
|
||
|
|
help='File or directory used as input')
|
||
|
|
|
||
|
|
parser.add_argument('--version',
|
||
|
|
help='displays the current version',
|
||
|
|
version="0.0",
|
||
|
|
action='version')
|
||
|
|
|
||
|
|
if len(sys.argv) == 1:
|
||
|
|
parser.print_help(sys.stderr)
|
||
|
|
sys.exit(1)
|
||
|
|
|
||
|
|
args = parser.parse_args()
|
||
|
|
return args
|
||
|
|
|
||
|
|
# endregion
|
||
|
|
###################################################################################
|
||
|
|
###################################################################################
|
||
|
|
# region Main
|
||
|
|
###################################################################################
|
||
|
|
###################################################################################
|
||
|
|
|
||
|
|
def main():
|
||
|
|
args = parse_args()
|
||
|
|
|
||
|
|
default_log = logging.INFO
|
||
|
|
logger.setLevel(default_log)
|
||
|
|
|
||
|
|
try:
|
||
|
|
mode = args.mode
|
||
|
|
|
||
|
|
if mode == "info":
|
||
|
|
info(args)
|
||
|
|
elif mode == "train":
|
||
|
|
train(args)
|
||
|
|
elif mode == "test":
|
||
|
|
test(args)
|
||
|
|
else:
|
||
|
|
logger.error('Invalid mode!. It should be one of these: %s' % ", ".join(modes))
|
||
|
|
sys.exit(-1)
|
||
|
|
|
||
|
|
except Exception:
|
||
|
|
logger.error('Error in %s' % args.filename)
|
||
|
|
logger.error(traceback.format_exc())
|
||
|
|
sys.exit(-1)
|
||
|
|
|
||
|
|
if __name__ == '__main__':
|
||
|
|
main()
|
||
|
|
|
||
|
|
# endregion
|