erik-krogh
|
0fdd06fff5
|
use my script to delete outdated deprecations
|
2024-09-03 20:30:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
81dbfecbfc
|
C++: Promote the product-dataflow library out of experimental.
|
2023-05-23 09:48:50 -07:00 |
|
Mathias Vorreiter Pedersen
|
06d5a7f0ef
|
Merge pull request #13139 from MathiasVP/faster-product-flow
C++: Speedup product dataflow
|
2023-05-17 13:40:39 +01:00 |
|
Jeroen Ketema
|
883ec7a0e9
|
C++: Add forgotten private specifiers in product flow
|
2023-05-17 11:24:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
e1cc7dcdc1
|
C++: Tweak join orders.
|
2023-05-12 16:12:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
3f01a2157b
|
Revert "C++: Speedup 'isSuccessor'."
This reverts commit 594da1a21a.
|
2023-05-12 13:41:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
2458fa0ab3
|
C++: Push conjunct into 'isSuccessor' and rename it to 'fwdIsSuccessor'.
|
2023-05-12 12:50:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
594da1a21a
|
C++: Speedup 'isSuccessor'.
|
2023-05-12 12:05:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
e58b99ddd1
|
C++: Don't carry the sources around as columns during the main loop of product flow.
|
2023-05-12 11:58:43 +01:00 |
|
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
|
26206a85dc
|
C++: Properly handle setter-related flow in IPA injector.
|
2023-05-04 14:00:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
d3d706d9ab
|
C++: Fix accidental cartesian product.
|
2023-05-04 09:59:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
0d6fdc674b
|
C++: Also account for setter-related flow and jump steps.
|
2023-05-03 15:47:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
7fa6894aaf
|
C++: Ensure that product dataflow library enters/leaves through the same call.
|
2023-05-02 17:13:36 +01:00 |
|
Jeroen Ketema
|
12702b59d3
|
C++: Fix deprecation warning
|
2023-04-06 17:13:15 +02:00 |
|
Jeroen Ketema
|
9123657fd2
|
C++: Update product flow to match data flow naming
|
2023-04-06 17:13:12 +02:00 |
|
Jeroen Ketema
|
a38c3171dd
|
C++: Use Unit instead of string in product flow
|
2023-04-06 17:11:56 +02:00 |
|
Jeroen Ketema
|
9b89a303ef
|
C++: Simplify the flow-state-less product flow module
|
2023-04-06 17:11:32 +02:00 |
|
Jeroen Ketema
|
4e12924521
|
C++: Refactor ProductFlow to have a DataFlow::ConfigSig-like interface
|
2023-04-06 17:10:40 +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 |
|
Mathias Vorreiter Pedersen
|
4c5ca082ce
|
C++: Delete the experimental range-analysis library.
|
2023-04-03 13:53:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
9a34a7b7cc
|
Merge pull request #12719 from jketema/typebound-size
|
2023-04-03 08:31:41 +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 |
|
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 |
|
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 |
|
Jeroen Ketema
|
ade02d80cf
|
C++: Match SemZeroBound handling of mul case in rem case
|
2023-03-30 09:10:55 +02:00 |
|
Mathias Vorreiter Pedersen
|
4d8159c581
|
C++: Disable rounding.
|
2023-03-29 14:23:05 +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 |
|
Mathias Vorreiter Pedersen
|
fe487a1ae8
|
C++: Respond to PR reviews.
|
2023-03-29 12:30:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
6699a0cb1a
|
C++: Add range analysis for binary multiplication.
|
2023-03-28 16:50:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
4b2758f1b5
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-28 10:32:13 +01:00 |
|
Jeroen Ketema
|
12da4f7814
|
C++: Address review comment
|
2023-03-28 00:33:46 +02:00 |
|
Jeroen Ketema
|
9303055013
|
C++: Address review comment
|
2023-03-28 00:33:46 +02:00 |
|
Jeroen Ketema
|
99c6111b05
|
C++: Add support for bounded modulus operations
|
2023-03-28 00:33:43 +02:00 |
|
Mathias Vorreiter Pedersen
|
724d97eabb
|
C++: Make sign analysis aware of unsigned'ness and accept test changes.
|
2023-03-27 23:08:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
cbd4662696
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-27 21:18:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
87c144d33b
|
C++: Throw away the sign analysis when analyzing add expressions: instead, we now recursively analyze both operands.
|
2023-03-27 13:19:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
125c013052
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-24 17:01:11 +00:00 |
|
Gulshan Singh
|
b87f12d5b2
|
C++: Add StrlenLiteralRangeExpr
|
2023-03-24 08:51:35 -07:00 |
|
Anders Schack-Mulligen
|
72415c7c2c
|
C++: Rename references.
|
2023-03-23 13:06:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
0f240d6738
|
C++: Fix join order in 'boundFlowCond'.
|
2023-03-22 17:00:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
cd7ba7c503
|
C++: Fix join orders in 'eqBound'.
|
2023-03-22 16:51:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
0c6b60b2c6
|
C++: Avoid two joins on value number.
|
2023-03-22 16:51:39 +00:00 |
|