Michael Nebel
|
f1b5ed1cba
|
C#: Remove [source|sink|summary|negativeSummary]Model/1 predicates.
|
2022-11-08 16:01:43 +01:00 |
|
Rasmus Wriedt Larsen
|
4895daba85
|
DataFlow: Add read/store stepIsLocal consistency checks
|
2022-11-08 13:32:49 +01:00 |
|
JarLob
|
d865f2ecf5
|
Remove import
|
2022-11-07 14:19:24 +01:00 |
|
JarLob
|
e122f94c1c
|
Move to isBooleanConstant
|
2022-11-07 13:38:05 +01:00 |
|
JarLob
|
74ee101592
|
Extend Constant Condition query with String.IsNullOrEmpty.
|
2022-11-07 13:05:37 +01:00 |
|
Anders Schack-Mulligen
|
99ca28ea9b
|
Merge pull request #10886 from aschackmull/dataflow/joinorders
Dataflow: Fix a couple of join-orders.
|
2022-11-07 11:05:29 +01:00 |
|
github-actions[bot]
|
fca754bddd
|
Post-release preparation for codeql-cli-2.11.3
|
2022-11-05 14:30:48 +00:00 |
|
github-actions[bot]
|
508327235a
|
Release preparation for version 2.11.3
|
2022-11-04 20:16:23 +00:00 |
|
Anders Schack-Mulligen
|
a1dba82360
|
Dataflow: Sync.
|
2022-11-04 12:41:55 +01:00 |
|
Michael Nebel
|
d580722164
|
C#: Modify unsupported external library meta query to use call instead of dispatchcall.
|
2022-11-04 11:20:33 +01:00 |
|
Michael Nebel
|
187ece610b
|
C#: Only evaluate api name and namespace strings if they are needed.
|
2022-11-04 11:20:33 +01:00 |
|
Michael Nebel
|
366b94addc
|
C#: Implement override for getAPrimaryQlClass for AnonymousClass.
|
2022-11-04 11:20:33 +01:00 |
|
Michael Nebel
|
e0d7e277fb
|
C#: Align counting with Java and only count calls and not all possible dispatch calls.
|
2022-11-04 11:20:33 +01:00 |
|
Michael Nebel
|
be1129e782
|
C#: Only consider effectively public methods.
|
2022-11-04 11:20:33 +01:00 |
|
Michael Nebel
|
fec4d1992d
|
C#: Update telemetry expected output.
|
2022-11-04 11:20:33 +01:00 |
|
Michael Nebel
|
f0b5058760
|
C#: Remove filename from telemetry output.
|
2022-11-04 11:20:33 +01:00 |
|
Tom Hvitved
|
2f8dcdd602
|
Merge pull request #10933 from hvitved/csharp/fix-flow-into-phis
C#: Fix flow steps into phi/uncertain def nodes
|
2022-11-04 10:28:09 +01:00 |
|
Michael Nebel
|
cee06140e2
|
C#: Deprecate ModelCsv classes.
|
2022-11-04 08:20:53 +01:00 |
|
Michael Nebel
|
990a898cc7
|
C#: Remove the Csv name where appropriate.
|
2022-11-04 08:20:53 +01:00 |
|
Michael Nebel
|
d11bca0cdc
|
C#: Migrate unit tests to data extensions.
|
2022-11-04 08:20:53 +01:00 |
|
Michael Nebel
|
e432e6576a
|
C#: Add missing import of tainted member definition.
|
2022-11-04 08:20:53 +01:00 |
|
Michael Nebel
|
5acfc22442
|
C#: Bi-directional import of synthetic field declarations.
|
2022-11-04 08:20:53 +01:00 |
|
Michael Nebel
|
afb604ee5f
|
C#: Remove all generated models.
|
2022-11-04 08:20:53 +01:00 |
|
Michael Nebel
|
44e4cf6556
|
C#: Delete all the manually created models.
|
2022-11-04 08:20:53 +01:00 |
|
Michael Nebel
|
43af1e4b42
|
C#: Add generated models for .NET Runtime.
|
2022-11-04 08:20:52 +01:00 |
|
Michael Nebel
|
8fa6140a0d
|
C#: Add data extensions version of the model generator scripts.
|
2022-11-04 08:20:52 +01:00 |
|
Michael Nebel
|
f181d66003
|
C#: Add data extensions files for handwritten models.
|
2022-11-04 08:20:52 +01:00 |
|
Michael Nebel
|
7be79290e8
|
C#: Define extensible predicates.
|
2022-11-04 08:20:52 +01:00 |
|
Michael Nebel
|
eb27e8acc5
|
C#: Prepare ExternalFlow for converting model predicates into extensible predicates.
|
2022-11-04 08:20:52 +01:00 |
|
Michael Nebel
|
ac47b56566
|
C#: Update the library qlpack to pick up data extensions.
|
2022-11-04 08:20:47 +01:00 |
|
Michael Nebel
|
e6a8019c2b
|
C#: Add python script for generating YAML files containing data extensions.
|
2022-11-04 08:19:05 +01:00 |
|
Michael Nebel
|
4972839b69
|
C#: Add queries for extracting hand written MaD models.
|
2022-11-04 08:19:05 +01:00 |
|
Michael Nebel
|
2a0c3636c7
|
C#: Add small dummy project.
|
2022-11-04 08:19:05 +01:00 |
|
Michael Nebel
|
4b649e0bad
|
C#: Update flowsummaries test expected output.
|
2022-11-04 08:19:05 +01:00 |
|
Michael Nebel
|
3c02d614fa
|
C#: Re-generate the .NET Runtime models.
|
2022-11-04 08:19:05 +01:00 |
|
Tom Hvitved
|
1711efcc47
|
C#: Update expected test output
|
2022-11-03 15:52:30 +01:00 |
|
Tom Hvitved
|
d3488da0c2
|
Data flow: Sync files
|
2022-11-03 15:52:30 +01:00 |
|
Henry Mercer
|
dd264c6dfb
|
Consistently mention language in metric names
This improves consistency between the lines of code queries and the
number of successfully extracted files queries.
|
2022-11-03 11:44:10 +00:00 |
|
Dave Bartolomeo
|
a475e5758d
|
Merge remote-tracking branch 'upstream/main' into dbartol/use-workspace-versions
|
2022-11-02 12:38:03 -04:00 |
|
Tom Hvitved
|
1e3adcd14e
|
Revert "Revert "SSA: Turn consistency predicates into query predicates""
|
2022-11-02 11:37:37 +01:00 |
|
Tom Hvitved
|
fa762d9952
|
C#: Fix flow steps into phi nodes
- Add missing flow from post-update nodes into phi nodes.
- Prevent flow from reads into phi nodes when use-use flow is prohibited.
|
2022-11-02 10:21:50 +01:00 |
|
Tom Hvitved
|
5b5dd07d60
|
C#: Add data flow test that illustrates issue with flow into phi nodes
|
2022-11-02 10:20:56 +01:00 |
|
Tom Hvitved
|
780ea72b3b
|
Revert "SSA: Turn consistency predicates into query predicates"
|
2022-11-02 09:11:45 +01:00 |
|
Tom Hvitved
|
28b7ab7fbe
|
Merge pull request #11066 from hvitved/ssa/deprecate-no-uncertain-reads-predicates
|
2022-11-01 22:06:08 +01:00 |
|
Dave Bartolomeo
|
9d5e5e3ee7
|
${workspace} all the things
|
2022-11-01 13:29:05 -04:00 |
|
Dave Bartolomeo
|
49c4c554c4
|
Merge from main
|
2022-11-01 13:22:40 -04:00 |
|
Tom Hvitved
|
640b0ce093
|
SSA: Deprecate *NoUncertainReads predicates
|
2022-11-01 15:21:32 +01:00 |
|
Tom Hvitved
|
4edef874d6
|
SSA: Turn consistency predicates into query predicates
|
2022-11-01 10:01:56 +01:00 |
|
Chris Smowton
|
ee63e60bb7
|
qlpacks: libraryPathDependencies -> dependencies
|
2022-10-28 16:07:36 +01:00 |
|
Rasmus Wriedt Larsen
|
fc7eb5b4fc
|
InlineExpectationsTest: sync
|
2022-10-27 09:02:28 +02:00 |
|