Anders Schack-Mulligen
|
3bf6c0fe02
|
Rangeanalysis: Focus pre-bound calculation.
|
2023-12-11 14:07:10 +01:00 |
|
Anders Schack-Mulligen
|
c14d917a76
|
Rangeanalysis: Prune range calculation.
|
2023-12-11 14:07:10 +01:00 |
|
Anders Schack-Mulligen
|
58d463dd33
|
Rangeanalysis: Minor refactor for bound steps.
|
2023-12-11 14:07:10 +01:00 |
|
Anders Schack-Mulligen
|
73671b6da3
|
Rangeanalysis: Refactor base bounds.
|
2023-12-11 14:07:10 +01:00 |
|
Anders Schack-Mulligen
|
6b178fb64a
|
Rangeanalysis: Preparatory refactor for bounds sharing.
|
2023-12-11 14:07:10 +01:00 |
|
github-actions[bot]
|
92af5f5386
|
Post-release preparation for codeql-cli-2.15.4
|
2023-12-06 22:59:22 +00:00 |
|
github-actions[bot]
|
c04457e9e7
|
Release preparation for version 2.15.4
|
2023-12-06 21:11:50 +00:00 |
|
github-actions[bot]
|
bad499e360
|
Post-release preparation for codeql-cli-2.15.3
|
2023-11-17 14:35:41 +00:00 |
|
github-actions[bot]
|
6ec9b95072
|
Release preparation for version 2.15.3
|
2023-11-16 13:07:16 +00:00 |
|
Anders Schack-Mulligen
|
bf6cfd3bef
|
Rangeanalysis: Simplify api.
|
2023-11-13 10:35:44 +01:00 |
|
Anders Schack-Mulligen
|
30aefabb2a
|
Rangeanalysis: Rename predicate.
|
2023-11-13 10:35:44 +01:00 |
|
Anders Schack-Mulligen
|
f05b75e04f
|
Rangeanalysis: RIP standard order.
|
2023-11-13 10:35:44 +01:00 |
|
Anders Schack-Mulligen
|
c28f54a78b
|
Rangeanalysis: Remove superfluous pragmas. These appear useless after the abolishment of the different delta orders.
|
2023-11-13 10:35:44 +01:00 |
|
Anders Schack-Mulligen
|
71e25521cf
|
Rangeanalysis: Use SsaReadPositionBlock.getAnSsaRead.
|
2023-11-13 10:35:44 +01:00 |
|
Anders Schack-Mulligen
|
3a73faf061
|
Rangeanalysis: Remove unused getAlternateType predicates.
|
2023-11-13 10:35:43 +01:00 |
|
Anders Schack-Mulligen
|
657c29f409
|
Java/C++: Share valueFlowStep.
|
2023-11-09 20:24:28 +01:00 |
|
Anders Schack-Mulligen
|
b8e7e1d15e
|
Java/C++: Share ssaUpdateStep.
|
2023-11-09 16:02:44 +01:00 |
|
Anders Schack-Mulligen
|
daffae020b
|
Java/C++: Share eqFlowCond.
|
2023-11-09 16:00:46 +01:00 |
|
Anders Schack-Mulligen
|
1f4cd74a1c
|
Java/C++: Move SsaReadPosition to shared qlpack.
|
2023-11-08 12:11:17 +01:00 |
|
Anders Schack-Mulligen
|
12cba7909b
|
Java/C++: Move range util guard-controls predicates to shared pack.
|
2023-11-07 15:14:34 +01:00 |
|
Anders Schack-Mulligen
|
f2ca52d951
|
Java/C++: Move range util backEdge predicate to shared pack.
|
2023-11-07 15:14:34 +01:00 |
|
Anders Schack-Mulligen
|
f2b52650d5
|
Rangeanalysis: Filter useless modulo results.
|
2023-11-02 15:29:56 +01:00 |
|
Anders Schack-Mulligen
|
7bf271fb6c
|
RangeAnalysis: Improve bounds that rely on relative modulus.
|
2023-11-02 12:51:48 +01:00 |
|
Anders Schack-Mulligen
|
7c3684dbb7
|
RangeAnalysis: Rename semExprModulus to exprModulus.
|
2023-11-02 08:19:23 +01:00 |
|
Anders Schack-Mulligen
|
ac115e0a6f
|
Rangeanalysis: Reshuffle perf fix. This should result in the same join-order, but with less materialisation.
|
2023-11-01 15:59:24 +01:00 |
|
Anders Schack-Mulligen
|
bb2bbd2d4d
|
Rangeanalysis: Remove useless pragma.
|
2023-11-01 15:59:24 +01:00 |
|
Anders Schack-Mulligen
|
f6794fe859
|
Rangeanalysis: Adjust modulo analysis comment.
|
2023-11-01 15:59:24 +01:00 |
|
Anders Schack-Mulligen
|
a7f3ef1a6c
|
Rangeanalysis: Parameterise shared modulus analysis.
|
2023-11-01 15:59:24 +01:00 |
|
Anders Schack-Mulligen
|
8e2b17cd86
|
Rangeanalysis: Copy C++ ModulusAnalysis file verbatim.
|
2023-11-01 15:59:24 +01:00 |
|
Anders Schack-Mulligen
|
6d859daf3d
|
Merge pull request #14656 from aschackmull/shared/range-utils
Rangeanalysis: Share ssaRead predicate
|
2023-11-01 15:57:52 +01:00 |
|
Anders Schack-Mulligen
|
048a7c4e42
|
Rangeanalysis: Rename SsaBound.getAVariable to getVariable.
|
2023-11-01 11:58:06 +01:00 |
|
Anders Schack-Mulligen
|
48291dd32d
|
Rangeanalysis: Remove superfluous ignoreZeroLowerBound.
|
2023-11-01 11:51:46 +01:00 |
|
Anders Schack-Mulligen
|
34b9791e46
|
Rangeanalysis: Remove superfluous ignoreSsaReadCopy.
|
2023-10-31 15:32:25 +01:00 |
|
Anders Schack-Mulligen
|
322e6c91be
|
Rangeanalysis: Remove superfluous specificSsaRead.
|
2023-10-31 15:30:36 +01:00 |
|
Anders Schack-Mulligen
|
8b6c940e76
|
Rangeanalysis: Remove superfluous ignoreSsaReadAssignment.
|
2023-10-31 15:28:37 +01:00 |
|
Anders Schack-Mulligen
|
6d6f89e71e
|
Rangeanalysis: Remove superfluous ignoreSsaReadArithmeticExpr.
|
2023-10-31 15:25:28 +01:00 |
|
Anders Schack-Mulligen
|
a39a94ca8e
|
Rangeanalysis: Switch to shared ssaRead predicate.
|
2023-10-31 15:23:05 +01:00 |
|
Anders Schack-Mulligen
|
19644a8f07
|
Rangeanalysis: Implement shared ssaRead predicate
|
2023-10-31 15:07:11 +01:00 |
|
github-actions[bot]
|
2b939fdf08
|
Post-release preparation for codeql-cli-2.15.2
|
2023-10-30 16:06:51 +00:00 |
|
github-actions[bot]
|
4641990021
|
Release preparation for version 2.15.2
|
2023-10-30 11:05:53 +00:00 |
|
Anders Schack-Mulligen
|
283d6efdf8
|
Rangeanalysis/Java/C++: Address some ql4ql findings.
|
2023-10-25 14:06:35 +02:00 |
|
Anders Schack-Mulligen
|
c1c4a5bfcf
|
Rangeanalysis: Copy qldoc and simplification from Java.
|
2023-10-25 11:17:02 +02:00 |
|
Anders Schack-Mulligen
|
cd44d67529
|
Rangeanalysis: Add temporary Java compatibility flag.
|
2023-10-25 11:17:02 +02:00 |
|
Anders Schack-Mulligen
|
06fe10bbe9
|
Rangeanalysis: Bugfix division with float representation.
|
2023-10-25 11:17:02 +02:00 |
|
Anders Schack-Mulligen
|
232c147f6b
|
Rangeanalysis: Port join-order fix from Java version.
|
2023-10-25 11:17:02 +02:00 |
|
Anders Schack-Mulligen
|
38274db205
|
Rangeanalysis: Parameterise library.
|
2023-10-25 11:17:01 +02:00 |
|
Anders Schack-Mulligen
|
169ba03778
|
Rangeanalysis: Copy C++ version verbatim.
|
2023-10-25 11:17:01 +02:00 |
|
Anders Schack-Mulligen
|
aed830cf1b
|
Rangeanalysis: Make new qlpack
|
2023-10-25 11:17:01 +02:00 |
|