Michael Nebel
|
1710b66003
|
C#/Java: Some minor variable name changes and QL Doc updates.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
4298024cd6
|
C#: Refactor isRelevantForModels.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
5970fd9904
|
C#: Also include property reads in possible new sink discovery. Only include public fields and properties.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
8a65efbae4
|
C#/Java: Add isRelevantSinkKind predicate with language specific implementation.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
1c7d764d54
|
C#: Make most module imports private.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
ad27a5a1a6
|
C#/Java: Add some more QL Doc to the CaptureModels[Specific] implementation.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
5d62c48890
|
C#/Java: Move libraries to internal folder as these are for internal use only.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
43c9f9d7bb
|
C#: Collapse all the specific code for summary, source and sink models into a single file.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
4f2227f206
|
C#: Collapse all the shared code for summary, source and sink models into a single file.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
79fd2e6a40
|
C#/Java: Make configurations private and sprinkle some QL Doc.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
db21a6a0f3
|
C#: Add CaptureSummaryModels query.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
4ae5dc323f
|
C#: Add CaptureSourceModel query.
|
2022-03-29 11:07:56 +02:00 |
|
Robert Marsh
|
3c1ec5a595
|
Merge branch 'main' into rdmarsh2/ir-global-vars
|
2022-03-28 16:06:17 -04:00 |
|
Mathias Vorreiter Pedersen
|
80630972b1
|
Merge branch 'main' into public-iterated-dominance-frontier
|
2022-03-24 12:50:29 +00:00 |
|
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 |
|