Michael Nebel
|
6f86cb1c1b
|
C#: Add interface definition and add more testcases.
|
2023-03-31 10:13:20 +02:00 |
|
Michael Nebel
|
fc21f01cb9
|
Merge pull request #12690 from michaelnebel/csharp/checkedlocalflow
C#: Dataflow via checked and unchecked expressions.
|
2023-03-31 10:12:01 +02:00 |
|
github-actions[bot]
|
0a3218676c
|
Release preparation for version 2.12.6
|
2023-03-30 19:25:06 +00:00 |
|
github-actions[bot]
|
e87ce62f95
|
Post-release preparation for codeql-cli-2.12.5
|
2023-03-30 13:48:58 +00:00 |
|
Michael Nebel
|
31e352afb0
|
C#: Actually add the deprecated keyword to the deprecated classes.
|
2023-03-30 09:45:49 +02:00 |
|
Michael Nebel
|
483e5c5264
|
C#: Re-factor ExposureOfPrivateInformation to use the new API.
|
2023-03-29 13:19:56 +02:00 |
|
Michael Nebel
|
cc4f3f6234
|
C#: Re-factor CodeInjection to use the new API.
|
2023-03-29 13:19:56 +02:00 |
|
Michael Nebel
|
60c5bbde0f
|
C#: Re-factor ConditionalBypass to use the new API.
|
2023-03-29 13:19:56 +02:00 |
|
Michael Nebel
|
cab976cf8f
|
C#: Re-factor CommandInjection to use the new API.
|
2023-03-29 13:19:56 +02:00 |
|
Michael Nebel
|
c03ce2f63b
|
C#: Re-factor HardCodedSymmetricEncryptionKey to use the new API.
|
2023-03-29 13:19:56 +02:00 |
|
Michael Nebel
|
5278bbcaaa
|
C#: Re-factor SymmetricKeyTaintTrackingConfiguration to use the new API.
|
2023-03-29 13:19:56 +02:00 |
|
Jeroen Ketema
|
0acca2ba76
|
Merge pull request #12687 from jketema/unit-2
Make imports of `codeql.util.Unit` private
|
2023-03-29 13:07:12 +02:00 |
|
Anders Schack-Mulligen
|
7c74fd07e9
|
Merge pull request #12684 from aschackmull/dataflow/remove-footgun
Dataflow: Remove accidentally exposed predicates.
|
2023-03-28 15:14:58 +02:00 |
|
Michael Nebel
|
9966e09fd7
|
C#: Add operator dataflow test case with checked and unchecked examples.
|
2023-03-28 15:05:48 +02:00 |
|
Michael Nebel
|
50c3c159a9
|
C#: Make checked and unchecked as a local flow step.
|
2023-03-28 15:03:33 +02:00 |
|
Jeroen Ketema
|
3b8ad087eb
|
Make imports of codeql.util.Unit private
|
2023-03-28 14:14:13 +02:00 |
|
Anders Schack-Mulligen
|
47e7aa9566
|
Dataflow: Add change note.
|
2023-03-28 13:17:48 +02:00 |
|
Anders Schack-Mulligen
|
d406b051fc
|
Dataflow: Remove accidentally exposed predicates.
|
2023-03-28 10:04:21 +02:00 |
|
Michael Nebel
|
730848cee8
|
Merge pull request #12648 from michaelnebel/csharp/cs-web-debug-binary
C#: Improve cs/web/debug-binary to repect the RemoveAttributes transformation.
|
2023-03-28 09:40:46 +02:00 |
|
Michael Nebel
|
4a64479551
|
C#: Add change note.
|
2023-03-27 10:42:14 +02:00 |
|
Michael Nebel
|
32ea8420a9
|
C#: Move the existing tests into separate folders to emulate separate projects and add some more tests.
|
2023-03-27 10:42:14 +02:00 |
|
Michael Nebel
|
9f88a72d9f
|
C#: Make cs/web/debug-binary respect transformation file RemoveAttribute.
|
2023-03-27 10:39:44 +02:00 |
|
Jeroen Ketema
|
977f15f8a4
|
Merge pull request #12649 from jketema/unit
Replace all definitions of `Unit` by `import codeql.util.Unit`
|
2023-03-27 08:49:50 +02:00 |
|
Anders Schack-Mulligen
|
85511ba19d
|
Dataflow: Sync
|
2023-03-24 12:42:06 +01:00 |
|
Jeroen Ketema
|
a87a9438c7
|
Replace all definitions of Unit by import codeql.util.Unit
|
2023-03-24 10:39:34 +01:00 |
|
Anders Schack-Mulligen
|
9d88f01c82
|
Merge pull request #12645 from aschackmull/dataflow/renaming
Dataflow: Rename Make to Global and hasFlow to flow
|
2023-03-24 08:48:31 +01:00 |
|
Tom Hvitved
|
110d666010
|
Merge pull request #12421 from kaspersv/kaspersv/dataflow-proper-unit
Dataflow: Instantiate stage 1 access paths with proper unit type
|
2023-03-23 20:29:04 +01:00 |
|
Anders Schack-Mulligen
|
d440bc2d0c
|
Dataflow: Sync.
|
2023-03-23 13:40:23 +01:00 |
|
Anders Schack-Mulligen
|
1c1aa7ecdd
|
Dataflow: Add change notes.
|
2023-03-23 13:17:36 +01:00 |
|
Anders Schack-Mulligen
|
ab95a0b9f0
|
Java/C#: Rename references
|
2023-03-23 13:09:09 +01:00 |
|
Anders Schack-Mulligen
|
2761aa73ca
|
Dataflow: Sync.
|
2023-03-23 13:06:19 +01:00 |
|
Michael Nebel
|
d258a1c728
|
C#/Java: Some light re-factoring.
|
2023-03-23 10:24:46 +01:00 |
|
Michael Nebel
|
b17a71674a
|
C#: Refactor the model generator configurations to use the new API.
|
2023-03-23 10:17:37 +01:00 |
|
Michael Nebel
|
d0732a765b
|
C#: Sync files.
|
2023-03-23 09:52:42 +01:00 |
|
Kasper Svendsen
|
ce6be1f636
|
Dataflow: Instantiate stage 1 access paths with proper unit type
|
2023-03-23 08:32:16 +01:00 |
|
Michael Nebel
|
915efffe21
|
Merge pull request #12610 from michaelnebel/java/validatespecs
Java/C#: Validate all AccessPaths.
|
2023-03-22 16:22:54 +01:00 |
|
Anders Schack-Mulligen
|
dc6729d0bf
|
Merge pull request #12616 from aschackmull/java-csharp/redundant-sign-analysis-case
Java/C#: Remove useless disjuncts.
|
2023-03-22 13:33:46 +01:00 |
|
Michael Nebel
|
71d184e8c0
|
C#: Validate all access paths except for Field and Property.
|
2023-03-22 10:05:46 +01:00 |
|
Anders Schack-Mulligen
|
89d9d65755
|
Java/C#: Remove useless disjuncts.
|
2023-03-21 14:45:29 +01:00 |
|
Anders Schack-Mulligen
|
0d6dd7d25a
|
DataFlow: Sync.
|
2023-03-21 14:27:25 +01:00 |
|
Asger F
|
6d665da4dc
|
Merge pull request #12570 from github/post-release-prep/codeql-cli-2.12.5
Post-release preparation for codeql-cli-2.12.5
|
2023-03-21 13:06:25 +01:00 |
|
Anders Schack-Mulligen
|
3876e4335f
|
Merge pull request #12420 from kaspersv/kaspersv/dataflow-remove-alias-preds
Dataflow: Remove revFlowAlias and revFlowApAlias predicates
|
2023-03-20 16:30:15 +01:00 |
|
Michael Nebel
|
17b3383043
|
Merge pull request #12556 from michaelnebel/java/argumentthis
Java: Argument[-1] -> Argument[this]
|
2023-03-20 15:59:59 +01:00 |
|
Jeroen Ketema
|
2968c12e12
|
Merge pull request #12583 from jketema/move-print
C++: Move SsaConsistency to its own file
|
2023-03-20 13:41:29 +01:00 |
|
Kasper Svendsen
|
1d2f1b6ae6
|
Address comments
|
2023-03-20 13:34:14 +01:00 |
|
Kasper Svendsen
|
e0e3a1d621
|
Dataflow: remove revFlowApAlias trick
|
2023-03-20 13:04:13 +01:00 |
|
Jeroen Ketema
|
91b069603d
|
C++: Move SsaConsistency to its own file
This removes the import of the `Print` library in places that are used in
production and not just debugging.
|
2023-03-20 10:31:33 +01:00 |
|
Michael Nebel
|
e78af3e66c
|
C#: Introduce Argument and Parameter index validation for models.
|
2023-03-20 09:38:40 +01:00 |
|
Michael Nebel
|
37484a415f
|
Sync files.
|
2023-03-20 09:38:40 +01:00 |
|
Michael Nebel
|
352bb5a29a
|
C#: Update internal documentation for this parameter in models.
|
2023-03-20 09:38:39 +01:00 |
|