Mathias Vorreiter Pedersen d398c8c5a8 C++: Share some code by introducing a parameterized module to construct reasons.

2023-08-04 10:52:18 +02:00

..

new

C++: Share some code by introducing a parameterized module to construct reasons.

2023-08-04 10:52:18 +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