Jeroen Ketema
|
3a4c0a2aae
|
Merge pull request #12389 from jketema/more-deprecated
C++: Add `deprecated` to predicates that are deprecated according to the QLDoc
|
2023-03-07 11:21:43 +01: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 |
|
Mathias Vorreiter Pedersen
|
6e8a2a6375
|
DataFlow: Add a language-specific predicate for modifying 'branch' and 'join'.
|
2023-03-06 13:44:19 +00:00 |
|
Anders Schack-Mulligen
|
5c7f2ac7f7
|
Merge pull request #12186 from aschackmull/dataflow/refactor-configuration
Data flow: Refactor configuration
|
2023-03-06 13:38:59 +01:00 |
|
Anders Schack-Mulligen
|
557cb17f4d
|
Dataflow: Minor perf fix for single config wrapper.
|
2023-03-06 10:24:33 +01:00 |
|
Jeroen Ketema
|
391d9bed5b
|
C++: Add deprecated to predicates that are deprecated according to the QLDoc
|
2023-03-03 17:15:47 +01:00 |
|
Jeroen Ketema
|
6495f1911f
|
C++: Properly deprecate hasQualifiedName by using the deprecated keyword
|
2023-03-03 15:57:59 +01:00 |
|
Anders Schack-Mulligen
|
0addcfa7c5
|
Dataflow: Fix some perf issues.
|
2023-03-03 11:45:32 +01:00 |
|
Anders Schack-Mulligen
|
b34f99f716
|
Dataflow: Add change notes.
|
2023-03-02 16:01:29 +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 |
|
github-actions[bot]
|
8eb8daa4d4
|
Post-release preparation for codeql-cli-2.12.3
|
2023-02-16 17:23:25 +00:00 |
|
github-actions[bot]
|
b0315119c6
|
Release preparation for version 2.12.3
|
2023-02-16 11:49:06 +00: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 |
|
Tom Hvitved
|
8e8897b08b
|
Data flow: Sync files
|
2023-02-07 15:15:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
746f04bafc
|
C++: Construct fewer strings.
|
2023-02-07 11:44:32 +00:00 |
|
Mathias Vorreiter Pedersen
|
4016299aa8
|
Update cpp/ql/lib/semmle/code/cpp/security/Encryption.qll
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2023-02-06 15:55:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
1c9a526afa
|
C++: Construct fewer strings.
|
2023-02-06 15:18:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
00fe448e3a
|
Merge pull request #12072 from aschackmull/dataflow/stage3-perf
Dataflow: Fix join in `fwdFlowRead` (take 2)
|
2023-02-06 10:43:11 +00:00 |
|
github-actions[bot]
|
faf21f3edb
|
Post-release preparation for codeql-cli-2.12.2
|
2023-02-02 23:01:04 +00:00 |
|
Anders Schack-Mulligen
|
67d4ed53b9
|
Dataflow: Sync.
|
2023-02-02 16:33:00 +01:00 |
|
github-actions[bot]
|
a4fa984792
|
Release preparation for version 2.12.2
|
2023-02-02 14:34:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
a2248e6ca6
|
Merge pull request #12030 from MathiasVP/iterator-public-models
C++: Make iterator classes public
|
2023-01-31 14:11:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
fcc4c91739
|
C++: More responding to comments.
|
2023-01-31 13:01:00 +00:00 |
|
Gulshan Singh
|
1a109cab4d
|
Remove unicode characters
|
2023-01-31 03:38:03 -08:00 |
|
Mathias Vorreiter Pedersen
|
daf7d1b7e7
|
C++: Add more QLDoc.
|
2023-01-31 10:37:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
7583fe2ad8
|
C++: Respond to PR reviews.
|
2023-01-31 10:31:02 +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
|
a01a4734ed
|
C++/C#: Sync identical files.
|
2023-01-30 17:32:53 +00:00 |
|
Mathias Vorreiter Pedersen
|
3a1a9a771c
|
C++: Add a 'getCall' predicate to 'ArgumentOperand'.
|
2023-01-30 17:31:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
f90007ae71
|
C++: Make our iterator models public.
|
2023-01-30 17:23:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
95b15825f9
|
DataFlow: Sync identical files.
|
2023-01-27 16:24:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
a691535e77
|
C++: Fix join order in 'fwdFlowRead'.
|
2023-01-27 16:24:08 +00:00 |
|
Mathias Vorreiter Pedersen
|
470abfd0aa
|
C++: Conflate iterator value and indirection for taint-flow to fix AST dataflow.
|
2023-01-23 10:40:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
962b651c44
|
C++: Fix models.
|
2023-01-23 10:10:02 +00:00 |
|
github-actions[bot]
|
b62cb6ba84
|
Post-release preparation for codeql-cli-2.12.1
|
2023-01-20 19:49:56 +00:00 |
|
github-actions[bot]
|
005b3e4a47
|
Release preparation for version 2.12.1
|
2023-01-20 12:03:19 +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 |
|
Mathias Vorreiter Pedersen
|
c5038ed281
|
Merge pull request #11883 from MathiasVP/fold-definitions
C++: Fix bad join in `definitionOf`
|
2023-01-13 16:28:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
2283eacc0b
|
C++: Fix bad join in 'definitionOf'.
|
2023-01-13 11:42:15 +00:00 |
|
Robert Marsh
|
337a747bde
|
C++: cleanup some unneeded code
|
2023-01-12 16:38:58 -05:00 |
|