github-actions[bot]
|
fe54961b84
|
Release preparation for version 2.19.1
|
2024-10-02 18:30:42 +00:00 |
|
Angela P Wen
|
e8dd6a88e7
|
Revert "Release preparation for version 2.19.1"
|
2024-10-01 10:19:28 -07:00 |
|
github-actions[bot]
|
455c8c5953
|
Release preparation for version 2.19.1
|
2024-09-30 17:59:48 +00:00 |
|
Tamas Vajk
|
29948e4c0b
|
C#: reduce extraction message severity for missing text files
|
2024-09-30 12:31:07 +02:00 |
|
Michael Nebel
|
6f74387600
|
Merge pull request #17521 from michaelnebel/modelgen/moreimprovements
C#/Java: Content based model generation improvements.
|
2024-09-30 11:22:30 +02:00 |
|
Michael Nebel
|
0b39c5b982
|
C#/Java: Update model generator expected output.
|
2024-09-27 09:22:29 +02:00 |
|
Michael Nebel
|
80497f551e
|
Shared: Only make unlifted models in case the API itself is relevant.
|
2024-09-27 09:22:25 +02:00 |
|
Michael Nebel
|
3d1a403655
|
C#: Add example of content based summary on private method.
|
2024-09-27 09:22:20 +02:00 |
|
Michael Nebel
|
8310faa2e9
|
C#/Java: Add a query that uses both content based and non-content based model generation.
|
2024-09-27 09:22:11 +02:00 |
|
Tom Hvitved
|
7c473c38c0
|
Merge pull request #17585 from hvitved/shared/cfg-scope-no-first-consistency
Shared: Add CFG consistency check for scopes with missing entry points
|
2024-09-26 14:05:08 +02:00 |
|
Rasmus Wriedt Larsen
|
381ea93ec3
|
Merge pull request #17424 from RasmusWL/active-threat-model-source
Go/Java/C#: Rename `ThreatModelFlowSource` to `ActiveThreatModelSource`
|
2024-09-26 13:08:17 +02:00 |
|
Michael Nebel
|
a128383760
|
C#/Java: Add some dfc-generated test cases.
|
2024-09-26 13:01:01 +02:00 |
|
Michael Nebel
|
9a923d62ad
|
C#/Java: Updated expected test output.
|
2024-09-26 13:00:52 +02:00 |
|
Michael Nebel
|
0cd4ccb790
|
C#/Java: Update model generator expected test output.
|
2024-09-26 12:49:18 +02:00 |
|
Michael Nebel
|
aae8660acc
|
C#/Java: Add some examples of missing synthetic field element flow.
|
2024-09-26 12:00:29 +02:00 |
|
Michael Nebel
|
58513cadbf
|
C#/Java: Add model generator test examples.
|
2024-09-26 12:00:25 +02:00 |
|
Michael Nebel
|
dd993c3900
|
Merge pull request #17509 from michaelnebel/modelgen/parammodule
C#/Java: Re-factor the model generator to be a parameterized module.
|
2024-09-26 10:57:16 +02:00 |
|
Michael Nebel
|
297d32180c
|
Merge pull request #17582 from michaelnebel/csharp/attributecollectionsinks
C#: `AttributeCollection` is no longer considered a HTML sink.
|
2024-09-26 09:17:31 +02:00 |
|
Michael Nebel
|
1dcc6ac2b1
|
C#: Address review comments.
|
2024-09-25 17:06:19 +02:00 |
|
Tom Hvitved
|
1bd504bf61
|
C#: Restrict CfgScope
|
2024-09-25 16:43:15 +02:00 |
|
Michael Nebel
|
af80797eda
|
C#: Add change note.
|
2024-09-25 14:13:06 +02:00 |
|
Michael Nebel
|
e89a47f2f5
|
C#: Update XSS expected test output.
|
2024-09-25 14:13:03 +02:00 |
|
Michael Nebel
|
d00e27916d
|
C#: No longer consider attribute collections as HTML sinks.
|
2024-09-25 14:12:59 +02:00 |
|
Michael Nebel
|
28c48fb471
|
C#: Add Xss attribute collection test example and update expected output.
|
2024-09-25 14:12:55 +02:00 |
|
Tom Hvitved
|
d299380a5a
|
Rust: Enable CFG consistency checks
|
2024-09-25 10:56:44 +02:00 |
|
Michael Nebel
|
e6085759ae
|
Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.
|
2024-09-24 15:46:44 +02:00 |
|
Michael Nebel
|
fd45d2dcbb
|
Shared: Move the model generator implementation to an internal folder.
|
2024-09-24 15:27:29 +02:00 |
|
Michael Nebel
|
22c2522aac
|
Shared: Make a ContentSensitive module with predicates and classes related to content flow.
|
2024-09-24 15:16:16 +02:00 |
|
Chuan-kai Lin
|
1cd8af54f2
|
Merge pull request #17190 from github/cklin/diff-informed-java-queries
Java: add support for alert location restrictions
|
2024-09-23 08:39:24 -07:00 |
|
Rasmus Wriedt Larsen
|
63c3a71d95
|
Merge branch 'main' into active-threat-model-source
|
2024-09-23 11:18:14 +02:00 |
|
Anders Schack-Mulligen
|
3a1e50dcf9
|
Dataflow: Simplify diff-informed implementation and tweak flag name.
|
2024-09-20 07:07:10 -07:00 |
|
Tom Hvitved
|
16813240ae
|
Shared: Do not use @kind graph for CFG test output
|
2024-09-19 18:13:31 +02:00 |
|
Chris Smowton
|
0deefaddc5
|
Merge pull request #17483 from smowton/smowton/feature/csharp-dataflow-fewer-nodes-including-virtual-dispatch
C#: Restrict dataflow node creation to source and source-referenced entities [virtual-dispatch-inclusive variant]
|
2024-09-19 15:33:47 +01:00 |
|
Chris Smowton
|
bb82dc1b18
|
Change note
|
2024-09-19 15:12:11 +01:00 |
|
Chris Smowton
|
bc9eb993b8
|
Remove unnecessary fromSource conditions
|
2024-09-19 15:08:08 +01:00 |
|
Michael Nebel
|
1f3b28a555
|
C#: Use the shared model generator implementation.
|
2024-09-19 12:20:46 +02:00 |
|
Tom Hvitved
|
4baa4ae2aa
|
Merge pull request #17513 from owen-mc/fix-test-expectations
C#/Go: Fix test expectations including double space
|
2024-09-19 12:17:18 +02:00 |
|
Owen Mansel-Chan
|
ded52ccb8e
|
Fix test expectations including double space
|
2024-09-19 11:01:38 +01:00 |
|
Michael Nebel
|
4a9e3ee3aa
|
Merge pull request #17363 from michaelnebel/modelgen/fieldbasedimprovements
C#/Java: Content based model generation improvements.
|
2024-09-19 10:49:11 +02:00 |
|
Michael Nebel
|
24a101297c
|
Merge pull request #15884 from michaelnebel/csharp/cleanupcil
C#: CIL and Dotnet cleanup (removal).
|
2024-09-18 11:43:41 +02:00 |
|
Michael Nebel
|
295861d577
|
Merge pull request #17459 from michaelnebel/csharp/accessormad
C#: Add MaD support for `Attribute.Getter` and `Attribute.Setter`.
|
2024-09-18 09:11:51 +02:00 |
|
Michael Nebel
|
68165bbce4
|
C#/Java: Address review comments.
|
2024-09-17 16:09:17 +02:00 |
|
Chris Smowton
|
3e91f0f53f
|
Expand range of callables requiring nodes to include unbound declarations of generic instantiations, static targets, and methods that have a body even if not flagged fromSource
|
2024-09-17 15:00:15 +01:00 |
|
Chris Smowton
|
349268cbf7
|
Expand the range of callables used in source to include potential virtual dispatch targets and referenced callables (e.g., in assigning a delegate)
|
2024-09-17 15:00:14 +01:00 |
|
Chris Smowton
|
66f48f767e
|
Restrict dataflow node creation to source and source-referenced entities
|
2024-09-17 15:00:13 +01:00 |
|
Tom Hvitved
|
d680a549bd
|
Merge pull request #16936 from hvitved/csharp/ssa-integration
C#: Adopt shared SSA data-flow integration
|
2024-09-17 13:45:31 +02:00 |
|
Michael Nebel
|
8d0cb07ba2
|
C#: Update the internal MaD attribute documentation.
|
2024-09-17 09:27:37 +02:00 |
|
Chris Smowton
|
30be6803c3
|
Merge pull request #17480 from github/post-release-prep/codeql-cli-2.19.0
Post-release preparation for codeql-cli-2.19.0
|
2024-09-16 16:06:58 +01:00 |
|
github-actions[bot]
|
79be301984
|
Post-release preparation for codeql-cli-2.19.0
|
2024-09-16 14:09:32 +00:00 |
|
Michael Nebel
|
bdc00841c0
|
C#: Add change note.
|
2024-09-16 15:45:14 +02:00 |
|