Michael Nebel
|
5f161dfaad
|
C#: Update expected test output with further models.
|
2022-09-14 11:06:23 +02:00 |
|
Michael Nebel
|
055072b1c0
|
C#: Add more test examples.
|
2022-09-14 11:06:23 +02:00 |
|
Michael Nebel
|
1b7339aa1e
|
C#: Rewrite the typed based model generator.
|
2022-09-14 11:06:23 +02:00 |
|
Michael Nebel
|
d580a8a078
|
C#: Update expected test output.
|
2022-09-14 11:06:23 +02:00 |
|
Michael Nebel
|
372a6107d6
|
C#: Use typeparameter index to generate synthetic field names in summaries.
|
2022-09-14 11:06:23 +02:00 |
|
Michael Nebel
|
f6e9013435
|
C#: Update expected output of tests.
|
2022-09-14 11:06:23 +02:00 |
|
Michael Nebel
|
e66dce1524
|
C#: Update test relevant test cases.
|
2022-09-14 11:06:23 +02:00 |
|
Michael Nebel
|
bb65485497
|
C#: Address some review comments.
|
2022-09-14 11:06:23 +02:00 |
|
Michael Nebel
|
dd44d71757
|
C#: Add Type based summary test cases and move dataflow model generation test cases.
|
2022-09-14 11:06:22 +02:00 |
|
Michael Nebel
|
c2da2a8b16
|
C#: Initial implementation of Type based summarymodel generation.
|
2022-09-14 11:06:22 +02:00 |
|
Tony Torralba
|
569fad667a
|
Merge pull request #10360 from atorralba/atorralba/fix-taint-implicit-reads
Dataflow: Fix implicit reads in taint tracking when FlowStates are used
|
2022-09-09 14:28:39 +02:00 |
|
Tony Torralba
|
1078cf091e
|
Add change notes for all languages
|
2022-09-09 10:28:36 +02:00 |
|
Tony Torralba
|
7db1eb98f5
|
Sync files
|
2022-09-08 17:32:03 +02:00 |
|
Tom Hvitved
|
b3653cc3d0
|
Merge pull request #10216 from hvitved/ssa/shared-lib
SSA: Create a new `codeql/shared-ssa` library pack and move implementation there
|
2022-09-08 15:39:29 +02:00 |
|
Michael Nebel
|
e265b07a93
|
Merge pull request #10127 from michaelnebel/csharp/clearscontent
C#: Replace clears content with CSV summaries.
|
2022-09-08 09:26:08 +02:00 |
|
Michael Nebel
|
0e52d2c9d3
|
C#: Add missing bi-directional imports.
|
2022-09-06 09:34:13 +02:00 |
|
Tom Hvitved
|
62986a23f3
|
C#: Add dotnet build integration test
|
2022-09-06 09:24:54 +02:00 |
|
Tom Hvitved
|
9ebabd1e1f
|
SSA: Strip shared from namespace and qlpack name
|
2022-09-05 11:17:30 +02:00 |
|
Michael Nebel
|
9c5a6dd031
|
C#: Add WithElement summary for Reverse and update expected test output.
|
2022-09-02 15:17:24 +02:00 |
|
Michael Nebel
|
e7e78dcab3
|
C#: Add with element example and update existing line numbers in testcase.
|
2022-09-02 15:17:24 +02:00 |
|
Michael Nebel
|
022cbfa009
|
C#: Support 'WithElement'.
|
2022-09-02 15:17:24 +02:00 |
|
Michael Nebel
|
ecce30ed5a
|
C#: Remove clearsContent predicate from the framework code.
|
2022-09-02 15:17:24 +02:00 |
|
Michael Nebel
|
19da00a51a
|
C#: Delete clears content test case.
|
2022-09-02 15:17:23 +02:00 |
|
Michael Nebel
|
2ae2008453
|
C#: Update flow summaries test expected output.
|
2022-09-02 15:17:23 +02:00 |
|
Michael Nebel
|
f43feac324
|
C#: Add models as data models for Clear.
|
2022-09-02 15:17:23 +02:00 |
|
Michael Nebel
|
80f89282b7
|
C#: Add summary for System.Text.StringBuilder.Clear.
|
2022-09-02 15:17:23 +02:00 |
|
Michael Nebel
|
e3bfc4bd82
|
C#: CSV Printing of WithoutElement content.
|
2022-09-02 15:17:23 +02:00 |
|
Michael Nebel
|
8234a508b3
|
C#: Parsing of WithoutElement.
|
2022-09-02 15:17:23 +02:00 |
|
Tom Hvitved
|
ba62b9e822
|
Address review comments
|
2022-09-02 13:07:27 +02:00 |
|
Tom Hvitved
|
2c584d8f35
|
Merge pull request #10235 from hvitved/csharp/remove-legacy-tracer
C#: Remove legacy tracer support
|
2022-09-02 09:25:10 +02:00 |
|
Tom Hvitved
|
6b728acd9e
|
Use specific codeql/shared-ssa pack for the SSA library
|
2022-09-01 21:23:33 +02:00 |
|
Edoardo Pirovano
|
8f332714f4
|
Merge pull request #10260 from github/edoardo/3.7-mergeback
Merge `rc/3.7` into `main`
|
2022-09-01 15:44:17 +01:00 |
|
Tom Hvitved
|
8e5d6ba4f9
|
SSA: Create a new shared library pack and move implementation there
|
2022-09-01 09:36:49 +02:00 |
|
Tom Hvitved
|
18b5ab0862
|
C#: Remove legacy tracer support
|
2022-08-31 16:57:59 +02:00 |
|
Tom Hvitved
|
2681b88035
|
C#: Update Pre SSA library to use parameterized module
|
2022-08-31 11:45:15 +02:00 |
|
Tom Hvitved
|
8725bf0620
|
C#: Update Base SSA library to use parameterized module
|
2022-08-31 11:45:15 +02:00 |
|
Tom Hvitved
|
f553001217
|
C#: Update CIL SSA library to use parameterized module
|
2022-08-31 11:45:14 +02:00 |
|
Tom Hvitved
|
0d81a6409d
|
SSA: Make shared library a parameterized module
|
2022-08-31 11:45:14 +02:00 |
|
Michael Nebel
|
1cb6d78d35
|
Merge pull request #10170 from michaelnebel/java/models-io
Java: Update models for commons-io and add negative models.
|
2022-08-31 11:05:09 +02:00 |
|
Tom Hvitved
|
e4853d0e71
|
Merge pull request #10086 from michaelnebel/csharp/cil
C#: CIL Extractor option.
|
2022-08-31 08:22:18 +02:00 |
|
Michael Nebel
|
a726aec362
|
C#: Update change note based on review comment.
|
2022-08-30 14:34:55 +02:00 |
|
Michael Nebel
|
944a9e6130
|
C#: Provide change-note.
|
2022-08-30 14:34:54 +02:00 |
|
Michael Nebel
|
b85db2cc35
|
C#: Remove '--cil' flag from the dbscheme comments and add dummy upgrade and downgrade scripts.
|
2022-08-30 14:34:54 +02:00 |
|
Michael Nebel
|
e020ae77e0
|
Merge pull request #10158 from michaelnebel/csharp/narrowcollectiontypes
C#: Narrow collection like types in model generation.
|
2022-08-30 14:20:57 +02:00 |
|
Michael Nebel
|
e8d726606b
|
C#/Java: Add descriptive comment on negative summaries in ExternalFlow.
|
2022-08-29 14:29:32 +02:00 |
|
Michael Nebel
|
37aa6b2c5f
|
C#: Add file level QL Doc.
|
2022-08-29 14:29:32 +02:00 |
|
Michael Nebel
|
290c35e7c6
|
Java: Use negative summary models in unsupported external api telemetry query.
|
2022-08-29 14:28:55 +02:00 |
|
github-actions[bot]
|
3b4ad3c4f1
|
Post-release preparation for codeql-cli-2.10.4
|
2022-08-26 09:32:11 +00:00 |
|
Michael Nebel
|
f4835e3960
|
C#: Update flow summaries test cases based on the latest models.
|
2022-08-26 09:30:08 +02:00 |
|
Michael Nebel
|
e71ab59c9a
|
C#: Update the generated models.
|
2022-08-26 09:30:07 +02:00 |
|