Jeroen Ketema
a5c7d09702
C++: Fix the location of order-by in experimental RangeNode
2023-05-10 09:50:10 +02:00
Kasper Svendsen
c46898cb75
C++: Make implicit this receivers explicit
2023-05-09 15:35:54 +02:00
Mathias Vorreiter Pedersen
f6e774ed2e
C++: Alias the experimental 'Bound.qll' with the non-experimental one.
2023-04-03 18:18:33 +01:00
Geoffrey White
cc841a68f6
Merge pull request #11921 from gsingh93/range-node
...
C++: Add RangeNode class
2023-03-31 13:22:19 +01:00
Gulshan Singh
b87f12d5b2
C++: Add StrlenLiteralRangeExpr
2023-03-24 08:51:35 -07:00
Gulshan Singh
bae1dfebb2
Address some review comments on RangeNode class
2023-03-20 09:46:03 -07:00
Gulshan Singh
e2fdfbb71f
Add RangeNode class
2023-03-20 09:46:02 -07:00
Gulshan Singh
1a109cab4d
Remove unicode characters
2023-01-31 03:38:03 -08:00
Gulshan Singh
2f38d363ff
Fix typo in dependsOnChild
2023-01-30 19:55:53 -08:00
Gulshan Singh
1758e25207
Merge lshift/rshift range expressions into a single file and address PR comments
2023-01-30 19:55:53 -08:00
Gulshan Singh
051d36ee6a
Add ConstantLShiftExprRange and ConstantRShiftExprRange classes
2023-01-30 19:55:53 -08:00
Tony Torralba
3fcc99e5cb
C++: Remove omittable exists variables
2023-01-10 13:36:01 +01:00
Mathias Vorreiter Pedersen
b8a5aa5d85
C++: Fix a couple of range analysis issues:
...
1. The new query is expecting pointer arithmetic operations to generate
range-analysis bounds, but this wasn't true on main.
2. The bounds generated by `boundFlowCond` was incorrectly inferred as
non-strict when comparing a pointers (unlike when comparing values of
integral types). This gave FPs in the new query.
This also fixes a couple of missing results in existing queries that
use the new range-analysis library.
2022-09-15 17:46:52 +01:00
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
Nick Rolfe
28912c508f
Fix non-US spelling of 'behavior'
2021-12-17 15:29:31 +00:00
Andrew Eisenberg
88ceb42356
Packaging: Migrate cpp experimental/semmle folder to lib
...
Also, fix up some library path dependencies.
2021-08-17 14:41:41 -07:00
