Edoardo Pirovano
|
ce82c54b94
|
Merge branch 'main' into edoardo/3.5-mergeback
|
2022-04-08 15:30:58 +01:00 |
|
Michael Nebel
|
412699f407
|
C#: Modify generator and update test output with updated kind column.
|
2022-04-05 12:51:01 +02:00 |
|
Michael Nebel
|
c2920405fc
|
C#: Add a query for detecting flow summaries that are discarded due to existing handwritten models.
|
2022-04-05 08:55:12 +02:00 |
|
Michael Nebel
|
3937714f9f
|
C#: The CaptureSummaryModels query should only produce summary models that will not be discarded at run-time.
|
2022-04-05 08:55:12 +02:00 |
|
Michael Nebel
|
c6fe54c41b
|
C#: Add script for running CaptureModel queries and generate qll source file.
|
2022-04-04 15:58:35 +02:00 |
|
Michael Nebel
|
3466adaf8c
|
C#: Add kind tag to Capture model queries.
|
2022-04-04 11:00:58 +02:00 |
|
github-actions[bot]
|
6af568b16d
|
Post-release preparation for codeql-cli-2.8.5
|
2022-04-01 16:22:14 +00:00 |
|
Michael Nebel
|
81904cc993
|
C#: Refactor isIrrelevantOverrideOrImplementation to make it easier to extend it with more methods later.
|
2022-04-01 13:27:05 +02:00 |
|
github-actions[bot]
|
ee746d20df
|
Release preparation for version 2.8.5
|
2022-04-01 10:39:31 +00:00 |
|
Michael Nebel
|
5cb2bd9245
|
C#: Exclude IEquatable Equals implementations.
|
2022-04-01 11:39:41 +02:00 |
|
Michael Nebel
|
99bbca8c31
|
C#: Exclude overrides of Equals and GetHashCode in model generation.
|
2022-04-01 11:32:10 +02:00 |
|
Michael Nebel
|
f480ab9fd2
|
Merge pull request #8629 from michaelnebel/csharp/capturemodelmetadata
C#: Improve query meta data.
|
2022-04-01 10:40:05 +02:00 |
|
Michael Nebel
|
c139850cd6
|
Merge pull request #8609 from michaelnebel/csharp/operatorsummaries
C#: Operator flow
|
2022-04-01 09:04:04 +02:00 |
|
Michael Nebel
|
01e57e90c9
|
C#: Fix query name for source model generation.
|
2022-04-01 08:54:35 +02:00 |
|
Michael Nebel
|
2edd6d72c0
|
C#: Improve query meta data.
|
2022-03-31 14:56:23 +02:00 |
|
Michael Nebel
|
8238c99199
|
C#: Only include APIs that has a proper namespace.
|
2022-03-30 15:22:32 +02:00 |
|
Michael Nebel
|
04960fc0c6
|
C#: Filter out explicit and implicit conversion operators, when creating summaries.
|
2022-03-30 15:09:26 +02:00 |
|
Robert Marsh
|
9442be1a27
|
Autoformat
|
2022-03-29 16:23:57 -04:00 |
|
Michael Nebel
|
db7abb429f
|
C#: Remove unneeded exists.
|
2022-03-29 14:59:32 +02:00 |
|
Michael Nebel
|
6be41b0c29
|
C#/Java: Address review comments.
|
2022-03-29 14:52:57 +02:00 |
|
Michael Nebel
|
b0a24a7a44
|
C#: Change the implementation on getAnInput and getAnOutput based on hvitveds recommendations.
|
2022-03-29 14:52:57 +02:00 |
|
Michael Nebel
|
c2196a04aa
|
C#: Update the description of the telemetry queries.
|
2022-03-29 14:52:57 +02:00 |
|
Michael Nebel
|
bfb206c810
|
C#: Let ExternalApi extend DataFlowCallable instead of Callable.
|
2022-03-29 14:52:57 +02:00 |
|
Michael Nebel
|
e1d4c1b68c
|
C#/Java: Reorder code in terms of dependency, rename ExternalAPI to ExternalApi and add some missing predicate qualifiers.
|
2022-03-29 14:52:52 +02:00 |
|
Michael Nebel
|
4f00666591
|
C#: Add query and test case for supported external taint.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
03c1bf6d87
|
C#: Mark Xunit as uninteresting.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
1f1059bfc6
|
C#: Add telemetry query for supported sources.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
d81e73f9c6
|
C#: Add telemetry query for supported sinks.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
918a6c7425
|
C#: Telemetry query for measuring (unsupport dataflow) library usage.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
c023808657
|
C#: Telemetry query for measuring all library usage.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
0650c6d395
|
C#: Add initial port of the java implementation of ExternalAPI.qll.
|
2022-03-29 14:49:37 +02:00 |
|
Michael Nebel
|
f734edf8ff
|
C#/Java: Minor refactor and re-arranging of code to align the CaptureModel specific implementations.
|
2022-03-29 11:07:58 +02:00 |
|
Michael Nebel
|
dd267b353a
|
C#: Move isRelevantMemberAccess out of PropagateToSinkConfigurationSpecific.
|
2022-03-29 11:07:58 +02:00 |
|
Michael Nebel
|
ad90c55bc6
|
C#: Improve encapsulation in CaptureModelsSpecific.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
26d5eb64b3
|
C#/Java: Initial merge ModelGeneratorUtils into CaptureModels.
|
2022-03-29 11:07:57 +02:00 |
|
Michael Nebel
|
9b7691a5fc
|
C#/Java: Address comments on re-exposing functionality.
|
2022-03-29 11:07:57 +02:00 |
|
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 |
|