Simon Friis Vindum 7196892867 Merge pull request #18461 from paldepind/cpp-conditional-expr-range-analysis ...

C++: Only propagate smallest/largest range bound in conditional expressions

2025-01-14 12:31:21 +01:00

..

new

Merge branch 'main' into shared/locations-in-range-analysis

2025-01-08 16:40:59 +01:00

NanAnalysis.qll

C++: Refactor code to use predicate isGuardPhi/4

2021-09-10 10:53:48 +02:00

PointlessComparison.qll

Packaging: Refactor the cpp libraries

2021-08-17 11:22:36 -07:00

RangeAnalysisUtils.qll

C++: QLDoc correction.

2025-01-14 09:19:50 +00:00

RangeSSA.qll

Remove library annotations

2023-10-13 12:46:56 +02:00

SimpleRangeAnalysis.qll

C++: Minor refactor and documentation tweak to simple range analysis

2025-01-13 12:15:09 +01:00