Robert Marsh e931d59bea Merge pull request #12479 from jketema/simple-range-analysis-wrapper ...

C++: Introduce wrapper for the semantic range analysis mimicking the simple one

2023-03-10 10:01:28 -05:00

..

dataflow

C++: Add 'isBarrierIn' to prevent path duplication.

2022-09-29 19:55:58 +01:00

ir/dataflow

Dataflow: one more autoformat post rebase

2023-03-10 10:04:35 +01:00

models/interfaces

run the non-us patch

2021-12-20 16:24:41 +01:00

rangeanalysis

Remove unicode characters

2023-01-31 03:38:03 -08:00

security

C++: Delete experimental PrivateData.qll.

2022-03-29 15:26:46 +01:00

semantic

C++: Add predicate implementations we get for free from simple range analysis

2023-03-10 14:31:15 +01:00