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 |
|
Anders Schack-Mulligen
|
67d4ed53b9
|
Dataflow: Sync.
|
2023-02-02 16:33:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
41ea71c31c
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-01-31 14:12:23 +00:00 |
|
Gulshan Singh
|
1a109cab4d
|
Remove unicode characters
|
2023-01-31 03:38:03 -08:00 |
|
Mathias Vorreiter Pedersen
|
1a27a069ac
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-01-31 11:15:42 +00: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 |
|
Mathias Vorreiter Pedersen
|
95b15825f9
|
DataFlow: Sync identical files.
|
2023-01-27 16:24:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
79b77b01fd
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-01-23 15:49:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
e26e83b8df
|
Merge pull request #11728 from github/rdmarsh2/parameterize-range-analysis
C++: Parameterize the semantic range analysis
|
2023-01-18 14:22:35 +00:00 |
|
Rasmus Wriedt Larsen
|
a0b1c2ea79
|
DataFlow: Add uniqueParameterNodePositionExclude
|
2023-01-17 14:05:22 +01:00 |
|
Rasmus Wriedt Larsen
|
2b0a5fd5d1
|
DataFlow: Add uniqueParameterNodeAtPositionExclude
|
2023-01-17 14:05:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
44ebc77ada
|
Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll
|
2023-01-17 11:52:43 +00:00 |
|
Robert Marsh
|
601b43ac0a
|
Merge branch 'main' into rdmarsh2/parameterize-range-analysis
Conflicting change to boundedPhiInp copied to RangeAnalysisStage.qll
|
2023-01-13 12:06:21 -05:00 |
|
Robert Marsh
|
337a747bde
|
C++: cleanup some unneeded code
|
2023-01-12 16:38:58 -05:00 |
|
Robert Marsh
|
b2b45237c6
|
C++: use rounding to prevent float wobble in range analysis
|
2023-01-12 16:38:57 -05:00 |
|