hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update shared/typeflow/codeql/typeflow/internal/TypeFlowImpl.qll

Browse Source 
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-05 13:10:08 +01:00
committed by GitHub
parent bffa262a2c
commit 9deeb67af4
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
shared/typeflow/codeql/typeflow/internal/TypeFlowImpl.qll
View File

@@ -301,6 +301,11 @@ module TypeFlow<LocationSig Location, TypeFlowInput<Location> I> {
not irrelevantBound(n, t)
}
/**
* Holds if the runtime type of `n` is bounded by `t` and if this bound is
* likely to be better than the static type of `n`. The flag `exact` indicates
* whether `t` is an exact bound or merely an upper bound.
*/
predicate bestTypeFlow(TypeFlowNode n, Type t, boolean exact) {
exactType(n, t) and exact = true
or