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
Robert Marsh
31b61b1aa6
C++: fix a join order in range analysis
2023-01-12 16:38:57 -05:00
Robert Marsh
7586762b10
C++: fix ambiguous import warnings
2023-01-12 16:38:56 -05:00
Robert Marsh
488368ecde
C++: private import for module params
2023-01-12 16:38:55 -05:00
Robert Marsh
23281410e3
C++: Make bounds import private to preserve API
2023-01-12 16:38:54 -05:00
Robert Marsh
6db728190e
C++: autoformat
2023-01-12 16:38:36 -05:00
Robert Marsh
02f1957919
C++: make SemBound a RangeAnalysis parameter
2023-01-12 16:38:11 -05:00
Robert Marsh
71b93d125e
C++: Make RangeAnalysis.qll expose the old API
2023-01-12 16:38:11 -05:00
Robert Marsh
fb1ef07e9f
C++: more parameterized modules in range analysis
...
This makes the modulus analysis and sign analysis into parameterized
modules which are instantiated in the main range analysis module, and
makes RangeAnalysisSpecific and RangeUtils into parameters to the main
range analysis.
Some classes also need to be moved and made into `instanceof` extensions
because they'd otherwise be extending across parameterized module
boundaries.
2023-01-12 16:38:10 -05:00
Robert Marsh
c062d5e206
C++: move language specific predicates to LangParam
2023-01-12 16:38:10 -05:00
Robert Marsh
c10733f926
C++: fix float binding issue in range analysis
2023-01-12 16:38:09 -05:00
Robert Marsh
b8c43d7a71
C++: convert RangeAnalysis to float
2023-01-12 16:38:09 -05:00
Robert Marsh
eebada46b1
C++: rename to RagneAnalysisStage.qll
2023-01-12 16:38:08 -05:00
Robert Marsh
edbe95837f
Convert RangeAnalysis to trivial parameterized mod
2023-01-12 16:38:08 -05:00
Mathias Vorreiter Pedersen
8b01dfe696
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
2023-01-10 17:30:29 +00:00
Tony Torralba
3fcc99e5cb
C++: Remove omittable exists variables
2023-01-10 13:36:01 +01:00
Mathias Vorreiter Pedersen
33649ed7d3
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
2022-12-16 17:02:06 +00:00
Tom Hvitved
f8571dd0b6
Data flow: Work around functionality-induced misoptimization
2022-12-15 15:29:14 +01:00
Tom Hvitved
6eda042229
Data flow: Sync files
2022-12-15 15:29:13 +01:00
