Option to exclude filename and lines from detector message

[eshaan7]

Current Behavior

Currently, the detector messages always include the location (filename and lines) in the results. Examples:

• ReentranceExploit.get_money() (ReentrancyExploit.sol#35-37) allows anyone to destruct the contract
• interface_conversion.tester (interface_conversion.vy#4) should be constant

Proposed Behavior

An optional argument, say --exclude-location, that excludes the location information (filename and lines) from the detector messages in the results.

Insipiration

Having the location info in the message is especially noisy in VS code since you anyways know which line it is referring to.

Also makes it difficult to parse these messages when building a third party integration.

[0xalpharush]

Fwiw, there are multiple machine readable formats available --sarif - and --json -

[eshaan7]

Fwiw, there are multiple machine readable formats available --sarif - and --json -

Yes, but the detector messages contain such location info regardless of output format. The option I am proposing should exclude these irrespective of the output format.