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

[zykuang]

[cleanunicorn]

Can you share the contract source code?

This way I should be able to reproduce your issue.

[zykuang]

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