Robert Marsh
|
915c969efe
|
Merge branch 'main' into rdmarsh2/range-analysis-overflow
|
2023-04-05 16:19:55 -04:00 |
|
github-actions[bot]
|
ac426b1302
|
Post-release preparation for codeql-cli-2.12.6
|
2023-04-04 16:49:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
7a32299f34
|
C++: Oops. Forgot to replace one use of a deprecated predicate.
|
2023-04-04 15:30:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
6467ba4324
|
C++: Add change note.
|
2023-04-04 15:19:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
f2197e67f5
|
C++: Deprecate single-parameter 'getFieldExpr' and 'getElementExpr'.
|
2023-04-04 15:14:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
f28cf25ba2
|
Merge pull request #12755 from MathiasVP/aggregate-initialization-ir
C++: IR generation for repeated initializers
|
2023-04-04 15:04:55 +01:00 |
|
Robert Marsh
|
e4ae957cdd
|
C++: More fixes to overflow detection
|
2023-04-04 09:31:03 -04:00 |
|
Mathias Vorreiter Pedersen
|
6c26ad7c2d
|
C++: Expand QLDoc.
|
2023-04-04 14:02:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
86fd2d5309
|
Merge pull request #12747 from MathiasVP/promote-new-range-analysis-out-of-experimental
C++: Promote IR-based range-analysis library out of experimental
|
2023-04-04 11:17:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
52682e2ccb
|
C++: Replace the word 'repetition' with 'position' to properly reflect the semantics of the dbscheme.
|
2023-04-04 11:02:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
6dd6488437
|
C++: Introduce 'getAnElementExpr' and 'getAnExpr'.
|
2023-04-04 10:12:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
bef0a159c0
|
C++: IR generation for repeated initializers.
|
2023-04-04 10:08:32 +01:00 |
|
Gulshan Singh
|
56dc2a4d4e
|
C++: Consider ArrayExpr with non-constant size expressions as BufferAccesses
|
2023-04-03 23:11:14 -07:00 |
|
Mathias Vorreiter Pedersen
|
f6e774ed2e
|
C++: Alias the experimental 'Bound.qll' with the non-experimental one.
|
2023-04-03 18:18:33 +01:00 |
|
Alexandre Boulgakov
|
0aa39c0ca0
|
Merge pull request #12712 from github/sashabu/repeated-initializers
C++: Support repeated initializers in dbscheme.
|
2023-04-03 14:46:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
4c5ca082ce
|
C++: Delete the experimental range-analysis library.
|
2023-04-03 13:53:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
e8800a6dba
|
C++: Move the new range-analysis library out of experimental and into an 'internal' directory.
|
2023-04-03 13:53:43 +01:00 |
|
Jeroen Ketema
|
e5c7c88588
|
Merge pull request #12737 from MathiasVP/speed-up-gvn
C++: Speed up non-linear recursion in GVN library
|
2023-04-03 10:46:37 +02:00 |
|
Jeroen Ketema
|
1d9fc8a581
|
Merge branch 'main' into sashabu/repeated-initializers
|
2023-04-03 09:48:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
9a34a7b7cc
|
Merge pull request #12719 from jketema/typebound-size
|
2023-04-03 08:31:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
6638df1578
|
C++: Sync identical files.
|
2023-03-31 18:25:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b33d26852
|
C++: Speed up non-linear recursion in GVN.
|
2023-03-31 18:25:19 +01:00 |
|
Alexandre Boulgakov
|
e593f0f7b3
|
C++: Update database stats.
|
2023-03-31 17:53:12 +01:00 |
|
Alexandre Boulgakov
|
b5932debc0
|
C++: Add db upgrade and downgrade scripts for repeated initializers.
|
2023-03-31 17:53:12 +01:00 |
|
Alexandre Boulgakov
|
d0a77a8433
|
C++: Support repeated initializers in dbscheme.
|
2023-03-31 17:53:12 +01:00 |
|
Jeroen Ketema
|
8d9b96b776
|
C++: Drop the bit size restriction in typeBound and use float
|
2023-03-31 14:36:11 +02:00 |
|
Geoffrey White
|
cc841a68f6
|
Merge pull request #11921 from gsingh93/range-node
C++: Add RangeNode class
|
2023-03-31 13:22:19 +01:00 |
|
github-actions[bot]
|
0a3218676c
|
Release preparation for version 2.12.6
|
2023-03-30 19:25:06 +00:00 |
|
Robert Marsh
|
2606abfc64
|
C++: sign analysis in potentiallyOverflowingExpr
|
2023-03-30 12:19:26 -04:00 |
|
Robert Marsh
|
868b2385d1
|
C++: fix SimpleRangeAnalysis for equivclass SemExpr
|
2023-03-30 12:19:25 -04:00 |
|
Robert Marsh
|
4b4fc97221
|
Merge branch 'main' into rdmarsh2/range-analysis-overflow
|
2023-03-30 11:45:55 -04:00 |
|
Robert Marsh
|
d03dd49904
|
Merge pull request #12622 from MathiasVP/skip-safe-conversions-in-range-analysis
C++: Range analysis on `EquivalenceClass`es
|
2023-03-30 10:08:59 -04:00 |
|
github-actions[bot]
|
e87ce62f95
|
Post-release preparation for codeql-cli-2.12.5
|
2023-03-30 13:48:58 +00:00 |
|
Jeroen Ketema
|
9173e08805
|
Merge pull request #12714 from jketema/rem-cleanup
C++: Match `SemZeroBound` handling of mul case in rem case
|
2023-03-30 14:25:20 +02:00 |
|
Mathias Vorreiter Pedersen
|
4043aa976d
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-30 11:24:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
d9b2a72232
|
C++: Ensure that equiv instructions are in the same block.
|
2023-03-30 11:22:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
4602a8ae4a
|
C++: Simplify 'converts'.
|
2023-03-30 11:16:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
62bc8074ba
|
Merge pull request #12626 from gsingh93/buffer-access-size-expr
C++: Add getSizeExpr and getSizeMult predicates to BufferAccess
|
2023-03-30 10:49:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
0202bafc35
|
Merge pull request #12709 from MathiasVP/disable-rounding-2
C++: Disable floating point rounding in range analysis
|
2023-03-30 10:05:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
64a08cefd7
|
C++: Add change note.
|
2023-03-30 09:37:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
6275a015a4
|
Merge pull request #12708 from MathiasVP/dont-break-ir-cfg-on-vla
C++: Don't produce partial CFGs when using VLAs
|
2023-03-30 09:16:10 +01:00 |
|
Jeroen Ketema
|
ade02d80cf
|
C++: Match SemZeroBound handling of mul case in rem case
|
2023-03-30 09:10:55 +02:00 |
|
Gulshan Singh
|
abec99badb
|
C++: Add getSizeExpr and getSizeMult predicates to BufferAccess
|
2023-03-29 08:26:00 -07:00 |
|
Mathias Vorreiter Pedersen
|
4d8159c581
|
C++: Disable rounding.
|
2023-03-29 14:23:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
6dd45b31e1
|
Merge pull request #12696 from MathiasVP/range-analysis-of-mul-expr
C++: IR-based range analysis of multiplication
|
2023-03-29 14:05:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
3bd193f721
|
C++: Fix Code Scanning errors.
|
2023-03-29 14:02:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
fb6e45b6f4
|
C++: Emit a NoOp during CFG construction for VLAs.
|
2023-03-29 13:58:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
9d5c785d89
|
C++: Even more fix'ing QLDoc.
|
2023-03-29 12:45:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
09d0385f0f
|
C++: Fix QLDoc.
|
2023-03-29 12:42:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
c14bccf7eb
|
C++: Fix QLDoc.
|
2023-03-29 12:41:04 +01:00 |
|