how to make the output of karl contain the accurate lines that show where the vulnerabilities are?like mythril do

Open zykuang opened this issue 5 years ago • 2 comments

mythril karl

Oct 20 '20 13:10 zykuang

Can you share the contract source code?

This way I should be able to reproduce your issue.

Oct 20 '20 14:10 cleanunicorn

I use karl to monitor the mainnet, all the results do not contain the accurate row number.I randomly chose one to post here. You can get the contract source code from https://etherscan.io/address/0xaa4789f349519994a6C4D1f75Ff612dfe95A37DB#code

Oct 20 '20 15:10 zykuang