Mathias Vorreiter Pedersen b14db86ef9 C++: Let 'hasConstantBound' determine a reason.

2023-08-04 16:09:07 +02:00

..

new

C++: Let 'hasConstantBound' determine a reason.

2023-08-04 16:09:07 +02: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

spelling: evaluates

2022-10-14 15:08:43 -04:00

RangeSSA.qll

delete old deprecations

2023-06-08 10:10:21 +02:00

SimpleRangeAnalysis.qll

C++: Remove omittable exists variables

2023-01-10 13:36:01 +01:00