complex static analysis requires a dedicated user....

# language-proposals

[dmitry.petrov]

complex static analysis requires a dedicated user.
that is, usually there are special people who are experts in telling the smart static analysis tool why that particular code is actually a false positive (or how can it be rewritten more nicely).