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 |
|
Mathias Vorreiter Pedersen
|
6e38105615
|
C++: Fix implicit 'this'.
|
2023-03-22 16:51:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
4cc3bfae33
|
C++: Fix places that assumed that 'Expr' was always 'Instruction'.
|
2023-03-22 16:51:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
08e8604430
|
C++: Change 'Expr' to be EquivalenceClasses instead of Instructions.
|
2023-03-22 15:26:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
59f2c75186
|
C++: bool -> int conversions are safe conversions.
|
2023-03-22 15:01:54 +00: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 |
|
Mathias Vorreiter Pedersen
|
b0f803759c
|
Merge pull request #11928 from rdmarsh2/rdmarsh2/stageify-range-analysis
|
2023-03-18 12:42:49 +00:00 |
|
Robert Marsh
|
1e8404c954
|
C++: Remove fixed TODO
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2023-03-17 11:27:13 -04:00 |
|
Robert Marsh
|
726f99975e
|
C++: remove direct IR dependency in range analysis
|
2023-03-17 10:50:02 -04:00 |
|
Mathias Vorreiter Pedersen
|
1aecc64327
|
C++: Autoformat.
|
2023-03-17 09:37:46 +00:00 |
|
Robert Marsh
|
45fdf69461
|
C++: add SemLocation so SemBound is copy-shareable
|
2023-03-15 10:38:47 -04:00 |
|
Robert Marsh
|
623e39031c
|
C++: fix ModulusAnalysis test
|
2023-03-14 16:46:09 -04:00 |
|
Robert Marsh
|
267c341965
|
C++: exclude ZeroBounds in relative stage
|
2023-03-14 10:41:50 -04:00 |
|
Robert Marsh
|
b4b7507fe4
|
C++: autoformat
|
2023-03-13 15:45:48 -04:00 |
|
Mathias Vorreiter Pedersen
|
00450d10bb
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-03-13 14:50:17 +01:00 |
|
Robert Marsh
|
64f23ebb4d
|
Merge pull request #12436 from MathiasVP/ir-range-analysis-for-unary-minus
C++: IR-based range analysis for unary minus
|
2023-03-13 09:02:38 -04:00 |
|
Anders Schack-Mulligen
|
f53a05bf13
|
Merge pull request #12475 from aschackmull/dataflow/mergepathgraph
Dataflow: Add MergePathGraph module.
|
2023-03-13 11:26:24 +01:00 |
|
Robert Marsh
|
d4e3f7f738
|
C++: fix missing bounds in new range analysis
|
2023-03-10 14:23:08 -05:00 |
|
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 |
|
Anders Schack-Mulligen
|
1e64748ffe
|
Dataflow: Autoformat.
|
2023-03-10 15:12:19 +01:00 |
|
Anders Schack-Mulligen
|
289f921171
|
Dataflow: Sync.
|
2023-03-10 14:56:54 +01:00 |
|
Anders Schack-Mulligen
|
00f0879ff5
|
Dataflow: Sync.
|
2023-03-10 14:56:54 +01:00 |
|
Jeroen Ketema
|
faecf44870
|
C++: Add predicate implementations we get for free from simple range analysis
|
2023-03-10 14:31:15 +01:00 |
|
Jeroen Ketema
|
0e45c9982b
|
C++: Introduce wrapper for the semantic range analysis mimicking the simple one
|
2023-03-10 13:30:24 +01:00 |
|
Anders Schack-Mulligen
|
159d8e978c
|
Dataflow: one more autoformat post rebase
|
2023-03-10 10:04:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
1f77f77153
|
DataFlow: Sync identical files.
|
2023-03-09 10:41:15 +00:00 |
|
Robert Marsh
|
b941d54f1f
|
C++ Move RangeAnalysis to work around shadowing
|
2023-03-08 11:32:37 -05:00 |
|
Robert Marsh
|
50fac3060c
|
C++: split RA into constant and relative phases
|
2023-03-08 11:32:36 -05:00 |
|
Jeroen Ketema
|
661160a98e
|
C++: Update PrivateCleartextWrite with DataFlow::ConfigSig
|
2023-03-08 15:04:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
619266d04b
|
C++: Fix floating point imprecision.
|
2023-03-08 13:24:01 +00:00 |
|
Mathias Vorreiter Pedersen
|
b0cb65403b
|
C++: Add range analysis for unary minus.
|
2023-03-08 13:23:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
92ad099c1b
|
DataFlow: Remove bindingsets, remove the call column, and swap parameter and argument columns.
|
2023-03-06 13:47:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
3bf28cc752
|
DataFlow: Sync identical files.
|
2023-03-06 13:46:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
05314b48e8
|
C++: Add stub.
|
2023-03-06 13:44:23 +00:00 |
|
Anders Schack-Mulligen
|
557cb17f4d
|
Dataflow: Minor perf fix for single config wrapper.
|
2023-03-06 10:24:33 +01:00 |
|
Anders Schack-Mulligen
|
0addcfa7c5
|
Dataflow: Fix some perf issues.
|
2023-03-03 11:45:32 +01:00 |
|
Anders Schack-Mulligen
|
7e3e10c34b
|
C/C++: Remove reference to Partial Flow.
|
2023-02-27 14:30:05 +01:00 |
|
Anders Schack-Mulligen
|
bf650c755c
|
Dataflow: Sync changes to all languages.
|
2023-02-27 14:30:05 +01:00 |
|
Anders Schack-Mulligen
|
e877b161d8
|
Merge pull request #12124 from hvitved/dataflow/stage1-dispatch
Data flow: Call context virtual dispatch pruning in stage 1
|
2023-02-13 13:13:43 +01:00 |
|
Tom Hvitved
|
f7a5a33474
|
Address review comment
|
2023-02-13 09:01:15 +01:00 |
|
Jeroen Ketema
|
7bd28183ba
|
Merge pull request #12151 from jketema/remove-experimental-dataflow
C++: Remove experimental copy of the use-use IR dataflow library
|
2023-02-10 18:08:14 +01:00 |
|
Jeroen Ketema
|
b023c6bb23
|
C++: Remove experimental copy of the use-use IR dataflow library
|
2023-02-10 16:20:33 +01:00 |
|
Jeroen Ketema
|
ecdeb9a970
|
C++: Revert semmle.code.cpp.dataflow to its old state
While here make sure all queries and tests use IR dataflow when appropriate.
|
2023-02-10 14:21:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
e1aef3127c
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-02-10 09:23:37 +00:00 |
|
Tom Hvitved
|
8e8897b08b
|
Data flow: Sync files
|
2023-02-07 15:15:04 +01:00 |
|