Mathias Vorreiter Pedersen a052614dbf C++: Two fixes to ensure we don't use getUniqueId in the new range analysis library. (1) don't use it to rank basic blocks, and (2) don't use it in 'toString' on bounds.

2022-09-07 18:45:43 +01:00

..

extensions

Packaging: Migrate cpp experimental/semmle folder to lib

2021-08-17 14:41:41 -07:00

ArrayLengthAnalysis.qll

Packaging: Migrate cpp experimental/semmle folder to lib

2021-08-17 14:41:41 -07:00

Bound.qll

C++: Two fixes to ensure we don't use getUniqueId in the new range analysis library. (1) don't use it to rank basic blocks, and (2) don't use it in 'toString' on bounds.

2022-09-07 18:45:43 +01:00

ExtendedRangeAnalysis.qll

Packaging: Migrate cpp experimental/semmle folder to lib

2021-08-17 14:41:41 -07:00

InBoundsPointerDeref.qll

Fix non-US spelling of 'behavior'

2021-12-17 15:29:31 +00:00

RangeAnalysis.qll

Packaging: Migrate cpp experimental/semmle folder to lib

2021-08-17 14:41:41 -07:00

RangeUtils.qll

Packaging: Migrate cpp experimental/semmle folder to lib

2021-08-17 14:41:41 -07:00

SignAnalysis.qll

Packaging: Migrate cpp experimental/semmle folder to lib

2021-08-17 14:41:41 -07:00