Fixed a source mapping issue with utf8 characters where length != byte length

pull/252/head
David Pokora 6 years ago
parent 7cadf980b8
commit 79a4a10304
No known key found for this signature in database
GPG Key ID: 3CED48D1BB21BDD7
  1. 1
      slither/core/source_mapping/source_mapping.py

@ -21,6 +21,7 @@ class SourceMapping(Context):
Not done in an efficient way
"""
total_length = len(source_code)
source_code = source_code.encode('utf-8')
source_code = source_code.splitlines(True)
counter = 0
i = 0

Loading…
Cancel
Save