Mathias Vorreiter Pedersen
|
c76a323246
|
C++/C#: Sync identical files.
|
2022-03-23 17:27:25 +00:00 |
|
Michael Nebel
|
6804e20e4a
|
Merge pull request #8451 from michaelnebel/csharp/modelgenerator-improvements
C#: Model generator improvements and more tests
|
2022-03-23 13:30:58 +01:00 |
|
Michael Nebel
|
b204f783fb
|
C#: Remove special handling of bulk types.
|
2022-03-23 11:26:49 +01:00 |
|
Robert Marsh
|
12ccf3662a
|
C#: match IR global variable changes
|
2022-03-22 13:22:37 -04:00 |
|
Michael Nebel
|
1d45996001
|
Merge pull request #8466 from michaelnebel/csharp/refactor-aspartial
C#: Refactor asPartial to allow re-use.
|
2022-03-22 10:54:54 +01:00 |
|
Robert Marsh
|
23e9963a19
|
Merge branch 'main' into rdmarsh2/ir-global-vars
|
2022-03-21 16:13:40 -04:00 |
|
Robert Marsh
|
32e128d207
|
C#: sync IR files
|
2022-03-21 16:01:53 -04:00 |
|
github-actions[bot]
|
a3e74efc21
|
Post-release preparation for codeql-cli-2.8.4
|
2022-03-21 19:36:47 +00:00 |
|
Michael Nebel
|
92f8a90f31
|
C#: Introduce a collectionType predicate.
|
2022-03-21 14:44:38 +01:00 |
|
github-actions[bot]
|
dedc8c2254
|
Release preparation for version 2.8.4
|
2022-03-21 13:25:49 +00:00 |
|
Michael Nebel
|
8e2277e4f3
|
C#: Improve some of the QL Doc string.
|
2022-03-21 14:24:51 +01:00 |
|
Michael Nebel
|
d31ef371ec
|
Merge pull request #8391 from michaelnebel/csharp/gvn-interface
C#: Deprecate the StructuralComparisonConfiguration interface and use sameGvn instead.
|
2022-03-21 14:10:53 +01:00 |
|
Michael Nebel
|
115cef2484
|
C#: Move asPartialModel into DataFlowPrivate (to enable re-use).
|
2022-03-16 16:44:24 +01:00 |
|
Michael Nebel
|
138eb485c6
|
C#: Address review comments.
|
2022-03-16 16:00:48 +01:00 |
|
Michael Nebel
|
5f7b5ec5df
|
C#: Fix bad join order in returnNodeAsOutput.
|
2022-03-16 13:44:11 +01:00 |
|
Michael Nebel
|
ec6dab89d8
|
C#: Update the Summary model generator with better support for IEnumerable typed parameters.
|
2022-03-16 09:21:02 +01:00 |
|
Michael Nebel
|
a9bbe6889b
|
C#: Use CollectionType instead of ArrayType when generating models.
|
2022-03-15 15:41:46 +01:00 |
|
Erik Krogh Kristensen
|
c7509c4dd3
|
Merge branch 'main' into deadCode
|
2022-03-15 09:19:14 +01:00 |
|
Michael Nebel
|
ba67ea0445
|
C#: Fix performance issue with UselessNullCoalescingExpression query.
|
2022-03-15 09:09:45 +01:00 |
|
Arthur Baars
|
6a74e761c8
|
Merge pull request #8398 from github/post-release-prep/codeql-cli-2.8.3
Post-release preparation for codeql-cli-2.8.3
|
2022-03-14 21:05:09 +01:00 |
|
Michael Nebel
|
90b4eb9e13
|
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in UnsafeLazyInitialization.
|
2022-03-14 14:17:56 +01:00 |
|
Michael Nebel
|
74b8e73133
|
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in MissedTernaryOpportunity.
|
2022-03-14 14:17:56 +01:00 |
|
Michael Nebel
|
94999d4df5
|
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in UselessIsBeforeAs.
|
2022-03-14 14:17:56 +01:00 |
|
Michael Nebel
|
8e7c7d8259
|
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in UselessNullCoalescingExpression.
|
2022-03-14 14:17:56 +01:00 |
|
Michael Nebel
|
4a1981edfd
|
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in NestedLoopsSameVariable.
|
2022-03-14 14:17:56 +01:00 |
|
Michael Nebel
|
b4f2fc60ec
|
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in SelfAssignment.
|
2022-03-14 14:17:56 +01:00 |
|
Michael Nebel
|
6f5b2e8440
|
C#: Use Gvn comparison instead of StructuralComparisonConfiguration in UseTryGetValue.
|
2022-03-14 14:17:56 +01:00 |
|
Michael Nebel
|
21bcaf6a0e
|
C#/Java: After remaining code after rebase.
|
2022-03-14 14:08:49 +01:00 |
|
Michael Nebel
|
74352925e4
|
C#/Java: Remove inline from returnNodeEnclosingCallable.
|
2022-03-14 13:50:55 +01:00 |
|
Michael Nebel
|
48dc9d7057
|
C#/Java: Move containerContent to DataFlowPrivate.
|
2022-03-14 13:50:55 +01:00 |
|
Michael Nebel
|
b7803ef0b1
|
C#: Introduce SyntheticFieldContent in RelevantContent.
|
2022-03-14 13:50:55 +01:00 |
|
Michael Nebel
|
12ff2c6cd5
|
C#/Java: Improve comments in CaptureSummaryModels.
|
2022-03-14 13:50:55 +01:00 |
|
Michael Nebel
|
3ad9731e91
|
C#/Java: Add some more QL docs.
|
2022-03-14 13:50:50 +01:00 |
|
Michael Nebel
|
2476e716a2
|
C#: Move the isRelevantTaintStep and isRelevantContent into the shared utils.
|
2022-03-14 13:49:52 +01:00 |
|
Michael Nebel
|
665e3c9326
|
C#: Re-factor containerContent into standalone predicate in DataFlow library.
|
2022-03-14 13:49:51 +01:00 |
|
Michael Nebel
|
5d03e510d2
|
C#/Java: Include synthetic fields in isRelevantContent.
|
2022-03-14 13:49:51 +01:00 |
|
Michael Nebel
|
d881d31959
|
C#: Remove comma from QL Doc.
|
2022-03-14 13:49:51 +01:00 |
|
Michael Nebel
|
cd03af3be4
|
C#: Get rid of the isOwnInstanceAccess based on ReturnStmt.
|
2022-03-14 13:49:46 +01:00 |
|
Michael Nebel
|
34a91f1aac
|
C#: Rename CaptureSummaryModelsQuery to CaptureSummaryModels.
|
2022-03-14 13:48:56 +01:00 |
|
Michael Nebel
|
36e0c683bd
|
C#: Add QL Doc to the primary predicate used for capturing flow.
|
2022-03-14 13:48:56 +01:00 |
|
Michael Nebel
|
e8aacb710e
|
C#: Add file level QL Doc to Capture Summary models specific implementations.
|
2022-03-14 13:48:56 +01:00 |
|
Michael Nebel
|
d114582b56
|
C#: Add QLDoc to the shared Capture summary models library.
|
2022-03-14 13:48:51 +01:00 |
|
Michael Nebel
|
b08e696d42
|
C#: Add query.
|
2022-03-14 13:47:24 +01:00 |
|
Michael Nebel
|
31a374afa3
|
C#: Add copy of the shared CaptureSummaryModels logic.
|
2022-03-14 13:47:24 +01:00 |
|
Michael Nebel
|
e5cce6cca3
|
C#: Add initial implementation of specific predicates needed to capture summary models.
|
2022-03-14 13:47:24 +01:00 |
|
Michael Nebel
|
6259ecfc12
|
C#: Add copy of shared functionality.
|
2022-03-14 13:43:51 +01:00 |
|
Michael Nebel
|
dadc143b60
|
C#: Add printer predicates for parameter and return nodes.
|
2022-03-14 13:43:51 +01:00 |
|
Michael Nebel
|
2b90b5ff62
|
C#: Add isRelevant predicates.
|
2022-03-14 13:43:51 +01:00 |
|
Michael Nebel
|
81c8cac77e
|
C#: Add partial model printer for TargetApi class.
|
2022-03-14 13:43:51 +01:00 |
|
Michael Nebel
|
9c6ed0ade3
|
C#: Add TargetAPI class.
|
2022-03-14 13:43:51 +01:00 |
|