TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Apply black

Browse Source
pull/632/head
Dominik Muhs 6 years ago
parent 1c3e77b861
commit d107fb5587
2 changed files with 0 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 1
      mythril/laser/ethereum/keccak.py
  2. 1
      mythril/laser/ethereum/taint_analysis.py

1
mythril/laser/ethereum/keccak.py
Unescape View File

@ -1,7 +1,6 @@
from z3 import ExprRef, BitVecRef from z3 import ExprRef, BitVecRef
class KeccakFunctionManager: class KeccakFunctionManager:
def __init__(self): def __init__(self):
self.keccak_expression_mapping = {} self.keccak_expression_mapping = {}

1
mythril/laser/ethereum/taint_analysis.py
Unescape View File

@ -8,7 +8,6 @@ from mythril.laser.ethereum.state import GlobalState, Environment
from mythril.analysis.symbolic import SymExecWrapper from mythril.analysis.symbolic import SymExecWrapper
class TaintRecord: class TaintRecord:
""" """
TaintRecord contains tainting information for a specific (state, node) TaintRecord contains tainting information for a specific (state, node)

Write Preview
Loading…
Cancel
Save