Line numbers and function names don't match

Description

Running mythril -xo json <filename> produces a report in which sometimes the function names and the corresponding line numbers just don’t make sense. I understand that this is information that’s sourced from the solidity binary, etc. But just wanted to make sure this is expected behavior.

Steps to reproduce

For instance, in https://etherscan.io/address/0x1c3bed5bd4b0e6a8389efd0d2876f948a907ab5b#code, for the contract MMR, one of the errors Mythril reports is -

[0]
address : 573
code : "his.balance); return; } MiniMeToken toke"
debug : ""
description : "This contract executes a message call to to another contract. Make sure that the called contract is trusted and does not execute user-supplied code."
filename : "<filename>"
function : "fallback"
lineno : 507
title : "Message call to external contract"
type : "Informational"

Not sure which function fallback refers to in the entire contract/ source file. The line number 507 corresponds to the function claimToken. Can this mismatch please be explained.

[muellerberndt]

@shashank-srikant no bug bounty program yet, but we’re currently working with Gitcoin to set something up. We’ll keep you posted!

[norhh]

should be fixed by #949 , if the bug still persists, please feel free to reopen this.