Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Line number to source mapping

See original GitHub issue

What’s the easiest way to map Mytrhil errors, returned when running myth -xo json filename, to corresponding line numbers in the solidity source provided to it?

The current line number information provided is noisy. Previous issues raised related to this seem to be pending – https://github.com/ConsenSys/mythril-classic/issues/395 https://github.com/ConsenSys/mythril-classic/issues/424

Issue Analytics

State:
Created 5 years ago
Comments:7

Top GitHub Comments

1reaction

norhhcommented, Feb 17, 2019

yes, Try 0.20.0

0reactions

norhhcommented, Mar 7, 2019

and I think this PR might fix most of the line number problems https://github.com/ConsenSys/mythril-classic/pull/949 , you can try with this PR. or you can clone it from this branch

Top Results From Across the Web

How can I get the original line number and symbol from a ...

I have found the answer using this npm module: https://www.npmjs.org/package/source-map. Edit Feb 1st, 2015. Found the following project ...

Followed source map instructions, but line numbers are wrong ...

I've followed the instructions on source maps to the best of my knowledge. I'm trying this out with a Serverless Framework setup. It's...

UserGuide:MappingToSourceCode - WalaWiki - SourceForge

Contents · Getting the source file name · Mapping value numbers back to local names · From IR instruction to bytecode index /...

Source Map Line Number Accuracy - #sentry

I am using Angular (v5) with the Angular Cli (1.5.0). I have generated the source maps and in Chrome, it breaks on the...

Source Maps - Rollbar Docs

Benefits of providing your source maps to Rollbar include: Stack traces will contain the original source filename, line number, method name, and code ......