Merge branch 'master' into dev

examples/scripts/convert_to_ir.py

@@ -3,19 +3,18 @@ from slither.slither import Slither
 from slither.slithir.convert import convert_expression
 
 
-if len(sys.argv) != 4:
+if len(sys.argv) != 2:
-    print('python.py function_called.py functions_called.sol Contract function()')
+    print('python function_called.py functions_called.sol')
     exit(-1)
 
 # Init slither
 slither = Slither(sys.argv[1])
 
 # Get the contract
-contract = slither.get_contract_from_name(sys.argv[2])
+contract = slither.get_contract_from_name('Test')
 
 # Get the variable
-test = contract.get_function_from_signature(sys.argv[3])
+test = contract.get_function_from_signature('one()')
-#test = contract.get_function_from_signature('two()')
 
 nodes = test.nodes
 

examples/scripts/export_to_dot.py

@@ -3,7 +3,7 @@ from slither.slither import Slither
 
 
 if len(sys.argv) != 2:
-    print('python.py function_called.py')
+    print('python function_called.py contract.sol')
     exit(-1)
 
 # Init slither

examples/scripts/functions_called.py

@@ -2,7 +2,7 @@ import sys
 from slither.slither import Slither
 
 if len(sys.argv) != 2:
-    print('python.py function_called.py functions_called.sol')
+    print('python functions_called.py functions_called.sol')
     exit(-1)
 
 # Init slither

examples/scripts/functions_writing.py

@@ -2,7 +2,7 @@ import sys
 from slither.slither import Slither
 
 if len(sys.argv) != 2:
-    print('python.py function_writing.py functions_writing.sol')
+    print('python function_writing.py functions_writing.sol')
     exit(-1)
 
 # Init slither

examples/scripts/slithIR.py

@@ -2,7 +2,7 @@ import sys
 from slither import Slither
 
 if len(sys.argv) != 2:
-    print('python.py slithIR.py contract.sol')
+    print('python slithIR.py contract.sol')
     exit(-1)
 
 # Init slither

examples/scripts/taint_mapping.py

@@ -56,7 +56,7 @@ def check_call(func, taints):
 
 if __name__ == "__main__":
     if len(sys.argv) != 2:
-        print('python.py taint.py taint.sol')
+        print('python taint_mapping.py taint.sol')
         exit(-1)
 
     # Init slither

examples/scripts/variable_in_condition.py

@@ -2,7 +2,7 @@ import sys
 from slither.slither import Slither
 
 if len(sys.argv) != 2:
-    print('python.py variable_in_condition.py variable_in_condition.sol')
+    print('python variable_in_condition.py variable_in_condition.sol')
     exit(-1)
 
 # Init slither

setup.py

@@ -5,7 +5,7 @@ setup(
     description='Slither is a Solidity static analysis framework written in Python 3.',
     url='https://github.com/trailofbits/slither',
     author='Trail of Bits',
-    version='0.1.0',
+    version='0.2.0',
     packages=find_packages(),
     python_requires='>=3.6',
     install_requires=['prettytable>=0.7.2'],