Michael Nebel
8dc95ce9b0
Merge pull request #16722 from michaelnebel/csharp/modelgensourcesink
...
C#/Java: Respect manual neutrals, sources and sinks in model generation.
2024-06-25 15:55:06 +02:00
Tamas Vajk
5058727980
C#: Update (some) nuget dependencies
2024-06-25 15:24:08 +02:00
github-actions[bot]
fd385736e6
Post-release preparation for codeql-cli-2.17.6
2024-06-25 06:39:45 +00:00
github-actions[bot]
e32a587078
Release preparation for version 2.17.6
2024-06-24 14:33:10 +00:00
Anders Schack-Mulligen
3ede3af6f2
C#: Fix join-order.
2024-06-24 13:35:49 +02:00
Anders Schack-Mulligen
8c23e21073
Dataflow: Cache compatibleTypes.
2024-06-24 13:35:48 +02:00
Michael Nebel
854674a71c
C#: Update expected test output.
2024-06-24 13:07:30 +02:00
Michael Nebel
b27a9d948a
C#: Exclude APIs with a manual source neutral from source model generation and allow source generation for all source kinds.
2024-06-24 13:07:14 +02:00
Michael Nebel
2657e7f56d
C#: Add some source and sink modelling examples where a neutral exist.
2024-06-24 13:05:35 +02:00
Michael Nebel
b7bc540325
C#: Adjust implementation to use the shared model printer.
2024-06-24 11:50:46 +02:00
Michael Nebel
94d12edfdb
Merge pull request #16759 from michaelnebel/modelgen/sourcesinkmodelgen
...
C#/Java: Introduce source and sink model generation sanitisers.
2024-06-24 11:47:11 +02:00
Michael Nebel
99907471b2
C#: Update model generator expected output.
2024-06-19 14:10:52 +02:00
Michael Nebel
40204911bc
C#: Only allow source propgatation upwards in the call stack if the call path consists of unique call targets (to avoid unwanted virtual dispatch). This severely tightens the generation of extrapolated sources.
2024-06-19 14:10:49 +02:00
Tamas Vajk
6c8e391a63
C#: Make sure no file is added twice to the compilation
2024-06-18 13:45:09 +02:00
Tamas Vajk
5170585515
C#: Add integration test with file added multiple times in the same compilation
2024-06-18 13:45:06 +02:00
Michael Nebel
1c3ceacf04
C#: Some renaming and re-factoring.
2024-06-18 13:05:21 +02:00
Michael Nebel
dfaa40a1d2
C#: Update expected test output from model generation.
2024-06-18 13:05:17 +02:00
Michael Nebel
b5d6a6db7e
C#: Use the same types as sanitizers for source and sink model as we use for summary model generation.
2024-06-18 13:05:12 +02:00
Michael Nebel
031e44b157
C#: Add some source/sink model generator test examples.
2024-06-18 13:05:07 +02:00
Michael Nebel
0fabca94db
C#: Use the new shared classes for Source and Sink callables.
2024-06-17 12:53:06 +02:00
github-actions[bot]
abe2deb6a6
Add changed framework coverage reports
2024-06-17 00:18:39 +00:00
Michael Nebel
3525967143
Merge pull request #16701 from michaelnebel/csharp/modelgentaintmembers
...
C#/Java: Improve Sink and Summary model generation.
2024-06-14 12:30:50 +02:00
Michael Nebel
a29446a566
C#/Java: Address review comments.
2024-06-14 10:46:19 +02:00
Michael Nebel
854c6fa813
C#: Update expected test output after .NET 8 models update.
2024-06-13 09:24:13 +02:00
Michael Nebel
9ea2b463f0
C#: Update .NET 8 Runtime models.
2024-06-13 08:36:23 +02:00
Tamás Vajk
a756f86847
Merge pull request #16732 from tamasvajk/refactor/extraction-states
...
C#: Refactor extractor state classes and simplify extraction code
2024-06-12 15:20:11 +02:00
Tamas Vajk
0df6a1c4b1
Fix quality issues
2024-06-12 14:48:16 +02:00
Michael Nebel
48739da565
C#: Update expected test output.
2024-06-12 14:16:31 +02:00
Michael Nebel
91ebeee429
C#: Perceive field and property reads as additional flow steps in sink extrapolation.
2024-06-12 14:16:26 +02:00
Michael Nebel
5aee35256d
C#: Add member flow example.
2024-06-12 14:16:22 +02:00
Michael Nebel
4b62cb64ed
C#: Update expected test output.
2024-06-12 14:16:17 +02:00
Michael Nebel
0bbf131fdb
C#: Add some compound sink examples.
2024-06-12 14:16:12 +02:00
Tamas Vajk
e3cbf1479a
Fix quality issue
2024-06-12 13:25:34 +02:00
Tamas Vajk
3551386a1a
Simplify standalone extractor
2024-06-12 12:30:08 +02:00
Tamas Vajk
cdca607828
Rename Extractor to ExtractionContext
2024-06-12 11:43:19 +02:00
Tamas Vajk
af2a78ea4d
Reduce references to Extract class
2024-06-12 11:13:05 +02:00
Mathias Vorreiter Pedersen
3351b9547d
Merge branch 'rc/3.14' into rc-3.14-mergeback
2024-06-11 16:21:08 +01:00
Tamas Vajk
11faf08ed0
Remove specific standalone/tracing extractor state classes
2024-06-11 14:16:35 +02:00
github-actions[bot]
8a25081a0e
Post-release preparation for codeql-cli-2.17.5
2024-06-10 15:33:08 +00:00
Cornelius Riemenschneider
496fff4273
C#: Remove empty glob pattern.
2024-06-10 17:04:00 +02:00
github-actions[bot]
877bfa2468
Release preparation for version 2.17.5
2024-06-10 13:40:39 +00:00
Cornelius Riemenschneider
027c7d0d43
C#: Add fallback for branch detection.
...
Apparently, when building a release build, we're getting `no-git`
as first part o the version string for the submodule.
If we do, fall back to the internal repo's branch name.
For releases, that's the same anyways.
Luckily, the commit SHA is correct.
2024-06-10 12:14:03 +02:00
Tamás Vajk
06aa2664bf
Merge pull request #16705 from tamasvajk/build/fix-attributes
...
C#: Add assembly attributes to assemblies built with Bazel
2024-06-10 09:26:31 +02:00
Tamas Vajk
5f98f2aec9
Add assembly attributes to bazel build script
2024-06-07 15:42:12 +02:00
Cornelius Riemenschneider
6731bccc92
C#: Provide skeleton to generate an assemblyInfo file.
...
Each unit gets a unique assemblyInfo file, on top
of the ones for entrypoints that also gets the git info embedded.
2024-06-07 15:24:53 +02:00
Tamas Vajk
16f8be4ba4
C#: Add product name to assemblies
2024-06-07 15:24:21 +02:00
Tamas Vajk
beffc2a49d
C#: Remove unneeded source folder from Bazel build scripts
2024-06-07 15:23:45 +02:00
Anders Schack-Mulligen
0e8d72c126
C#: Add support for pretty-printed provenace in tests. Convert one test.
2024-06-07 11:45:16 +02:00
Tamás Vajk
68a78fa3ed
Merge pull request #16700 from tamasvajk/buildless/tsp-warning-config
...
C#: Add TSP warning if `buildless` option is used instead of `build-mode`
2024-06-07 11:07:16 +02:00
Michael Nebel
d5af71a6c9
Merge pull request #16647 from michaelnebel/csharp/idempotentsummarygeneration
...
C#: Make summary generation idempotent.
2024-06-07 10:38:25 +02:00
