mirror of
https://github.com/github/codeql.git
synced 2026-05-15 03:39:32 +02:00
01a9bec7df
A common source of FPs is when the flow inside a function depends on some argument to the function. In this case, if a non-container class is being returned in _some_ branch, we behave as if it _always_ is returned, leading to false positives where the code is actually safe because the argument to the function prevents the bad return from being executed.