Erik Krogh Kristensen
|
ff73dbc35c
|
delete redundant imports
|
2022-04-22 12:55:28 +02:00 |
|
Erik Krogh Kristensen
|
a96489b23d
|
delete duplicate imports
|
2022-04-22 12:41:30 +02:00 |
|
github-actions[bot]
|
1aecfc67c2
|
Post-release preparation for codeql-cli-2.9.0
|
2022-04-21 19:22:19 +00:00 |
|
github-actions[bot]
|
eeaf233c29
|
Release preparation for version 2.9.0
|
2022-04-21 14:49:00 +00:00 |
|
Michael Nebel
|
0ec5aa6095
|
Merge pull request #8675 from michaelnebel/csharp/capturemodelimprovement
C#: CaptureModel improvements
|
2022-04-21 15:16:35 +02:00 |
|
Michael Nebel
|
6180970ae7
|
C#: Address review comments.
|
2022-04-21 13:05:32 +02:00 |
|
Tom Hvitved
|
f65b6ae3d1
|
C#: Exclude model generation queries from all suites
|
2022-04-21 09:51:52 +02:00 |
|
Michael Nebel
|
91324d40b5
|
Merge pull request #8659 from michaelnebel/csharp/capturemodelsmetadata
C#: Add kind tag to Capture model queries.
|
2022-04-19 16:39:03 +02:00 |
|
Michael Nebel
|
c79c9dd573
|
C#: Don't generate models for any higher order callables.
|
2022-04-19 12:50:51 +02:00 |
|
Michael Nebel
|
8726766465
|
C#: Remove the API special case for GetHashCode, Equals and IEquatable.Equals as these are now excluded based on their type.
|
2022-04-19 12:50:51 +02:00 |
|
Michael Nebel
|
f533636ad7
|
C#: Remove taint when it flows via a primitive/simple type (as is the case for java).
|
2022-04-19 12:50:51 +02:00 |
|
Robert Marsh
|
cae08c505f
|
Merge branch 'main' into rdmarsh2/ir-global-vars
|
2022-04-18 15:25:03 -04:00 |
|
Robert Marsh
|
b5c8413f5c
|
Merge branch 'main' into rdmarsh2/ir-global-vars
|
2022-04-18 15:19:25 -04:00 |
|
Edoardo Pirovano
|
f25618eed6
|
Bump minor version of all packs
|
2022-04-08 15:38:58 +01:00 |
|
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 |
|