github
/
codeql
зеркало из https://github.com/github/codeql.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
47 409 коммитов 1 544 Ветки 131 Тег 485 MiB
Граф коммитов

5031 Коммитов

Автор SHA1 Сообщение Дата
Tom Hvitved f3dca95958
Merge pull request #11087 from hvitved/dataflow/summary-ctx 
Data flow: Add summary/return context to pruning stages 2-4
 2022-11-29 10:36:53 +01:00
Tom Hvitved cde05e1190 Data flow: Sync files 2022-11-28 12:11:38 +01:00
Michael Nebel cb4a7e22f0
Merge pull request #11395 from michaelnebel/csharp/externalflowcleanup 
C#: ExternalFlow.qll cleanup.
 2022-11-24 10:28:58 +01:00
Erik Krogh Kristensen 1eec067474
Merge pull request #11294 from erik-krogh/fileDoc 
QL: improve the "this block-comment should have been a QLDoc"-query
 2022-11-23 22:23:36 +01:00
Tom Hvitved 3fbe089f65
Merge pull request #11387 from hvitved/csharp/autobuild-options-split 
C#: Split `AutobuildOptions` into C#/C++ specific classes
 2022-11-23 19:30:48 +01:00
Michael Nebel 2684b3f396 C#: Make bi-directional import of Servicestack remote flow source definitions. 2022-11-23 16:59:40 +01:00
Michael Nebel 582cfb9330 C#: Remove the frameworks module in ExternalFlow as MaD models are no longer inlined in the code. 2022-11-23 16:20:36 +01:00
Michael Nebel 311614c5e6 C#: Remove imports of ExternalFlow.qll. 2022-11-23 15:03:03 +01:00
Tom Hvitved bc6a41c1e6
Merge pull request #10927 from hvitved/csharp/phi-reads-in-data-flow-graph 
C#: Include "phi reads" in `DataFlow::Node`
 2022-11-23 13:34:18 +01:00
Tom Hvitved 8f3731fd42 C#: Split `AutobuildOptions` into C#/C++ specific classes 2022-11-23 12:57:16 +01:00
Erik Krogh Kristensen b2267c0e49
Merge pull request #11343 from erik-krogh/redundantAssignment 
QL: add redundant-assignment query
 2022-11-22 13:03:14 +01:00
Tom Hvitved 313767539a C#: Add workflow for running QL tests 2022-11-22 09:32:44 +01:00
Edoardo Pirovano 6c33ddcd47
Merge pull request #11349 from github/edoardo/2.11.4-mergeback 
Merge `rc/3.8` into `main`
 2022-11-21 18:08:27 +00:00
erik-krogh 64707f4f7b
remove redundant assignments 2022-11-21 17:45:05 +01:00
Tom Hvitved 8c9431d278 CFG: Workaround in test output for source/sink pairs with multiple edges 2022-11-21 11:58:59 +01:00
Tom Hvitved 99e70e9a50 Data flow: Sync files 2022-11-20 10:19:23 +01:00
github-actions[bot] 5b14ebf22a Post-release preparation for codeql-cli-2.11.4 2022-11-18 11:26:00 +00:00
erik-krogh d5ec781d4c
C#: delete old deprecations 2022-11-17 22:12:50 +01:00
github-actions[bot] e105c13e77 Release preparation for version 2.11.4 2022-11-17 16:40:45 +00:00
Tom Hvitved 9f13cdadcb C#: Add use-use stress test 2022-11-17 13:42:56 +01:00
Tom Hvitved 780297152c C#: Downgrade `Microsoft.Build` nuget package 
17.4.0 does not officially support .NET 6 (it supports .NET 7), so downgrade
to avoid warnings.
 2022-11-17 11:00:25 +01:00
Tom Hvitved baaafadeb0
Merge pull request #11266 from hvitved/csharp/update-nuget-packages 
C#: Update all nuget packages
 2022-11-16 19:53:45 +01:00
Tom Hvitved 7cab6b5491 C#: Include SSA "phi reads" in `DataFlow::Node` 2022-11-16 15:31:01 +01:00
Tom Hvitved 67b6a82cf1
Merge pull request #11198 from hvitved/ssa/expose-phi-reads 
SSA: Expose phi-read nodes
 2022-11-16 15:11:58 +01:00
Tom Hvitved 54a6f066b3 Address review comment 2022-11-16 14:02:21 +01:00
erik-krogh 6bfaf3b2f7
C#: convert some block-comments that could be QLDoc to QLDoc 2022-11-16 13:39:33 +01:00
Anders Schack-Mulligen 94bca4399a
Merge pull request #11183 from aschackmull/dataflow/groupflow 
Dataflow: Introduce support for src/sink grouping in path results.
 2022-11-16 12:59:01 +01:00
Erik Krogh Kristensen f7b5a4d170
Merge pull request #11203 from erik-krogh/shouldBePath 
C#: update cs/assembly-path-injection cs/hardcoded-key to path-problems
 2022-11-15 16:24:05 +01:00
Tom Hvitved bd78e73131 C#: Add tests for phi reads 2022-11-15 11:45:32 +01:00
Tom Hvitved dc2cd994d4 C#: Update expected test output 2022-11-15 11:22:48 +01:00
Tom Hvitved a749212707 C#: Handle `op_Checked*` operators in the extractor 2022-11-15 11:22:19 +01:00
Tom Hvitved eda028721e C#: Update all nuget packages 2022-11-15 09:19:33 +01:00
Tom Hvitved b242bd6468
Merge pull request #11080 from github/revert-11074-revert-10576-ssa/consistency-queries 
Revert "Revert "SSA: Turn consistency predicates into `query` predicates""
 2022-11-14 14:43:58 +01:00
Rasmus Wriedt Larsen ddbcdcb4ba
Merge pull request #11160 from RasmusWL/dataflow-consistency-read-store 
DataFlow: Add read/store stepIsLocal consistency checks
 2022-11-11 14:51:45 +01:00
Michael Nebel 176405cd7c
Merge pull request #11223 from github/workflow/coverage/update 
Update CSV framework coverage reports
 2022-11-11 11:49:50 +01:00
Michael Nebel ef50e57317
Merge pull request #11083 from michaelnebel/csharp/telemetry 
C#: Telemetry query updates.
 2022-11-11 10:57:54 +01:00
erik-krogh 887062d339
update cs/assembly-path-injection and cs/hardcoded-key to path-problems 2022-11-11 10:55:36 +01:00
github-actions[bot] dcebe930e7 Add changed framework coverage reports 2022-11-11 00:21:31 +00:00
Michael Nebel d6ae1ef6f2 Java/C#: Move C# internal implementation for model generation. 2022-11-10 13:57:43 +01:00
Michael Nebel ceef9cf276 C#: Fix spelling error in ql doc. 2022-11-10 13:57:43 +01:00
Michael Nebel 96414034f9 Java: Support wildcards in paramters and generic collection like parameters. 2022-11-10 13:57:42 +01:00
Michael Nebel 9c6875ec0f
Merge pull request #10777 from michaelnebel/csharp/generatedataextensions 
C#: Generate data extension files
 2022-11-10 13:08:31 +01:00
Anders Schack-Mulligen 151f12ef5e Java: Improve sink model generation precision by excluding variable capture. 2022-11-09 15:32:30 +01:00
Michael Nebel 57e31c11da C#: Add change note. 2022-11-09 14:54:37 +01:00
Anders Schack-Mulligen b3b7711149 Dataflow: Sync. 2022-11-09 14:23:15 +01:00
Anders Schack-Mulligen fc4f93c87a Java/C#: Undo configuration footgun firing. 2022-11-09 13:20:39 +01:00
Michael Nebel d8889f2d1f C#: Make a dummy project as a part of running the conversion script. 2022-11-08 17:02:57 +01:00
Michael Nebel 0b04505e04 C#: Update all data extensions files. 2022-11-08 16:47:02 +01:00
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