85368 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Michael Nebel	71bf900c6c	C#: Update FlowSummaries expected tests.	2024-11-07 11:14:02 +01:00
Michael Nebel	a60d9c2ca2	C#: Update .NET8 Runtime models to include generated models for higher order methods.	2024-11-07 11:14:01 +01:00
Michael Nebel	fc8d8bbbb1	Merge pull request #17742 from michaelnebel/csharp/higherordermodels ... C#: Models for higher order methods.	2024-11-07 11:12:46 +01:00
Paolo Tranquilli	3488b9fbca	Merge pull request #17920 from github/redsun82/rust-files ... Rust: exclude uncompiled files from semantics and surface semantic-less reason	2024-11-07 11:04:12 +01:00
Geoffrey White	df7bcfd116	Rust: Accept dataflow consistency check changes.	2024-11-07 09:54:39 +00:00
Tom Hvitved	26b048a645	Address review comment	2024-11-07 10:40:03 +01:00
Napalys	449cee91c8	Fixes false positives from commit 445552d3b53ec9592e8e3892cb337d1004b6a432	2024-11-07 10:33:13 +01:00
Napalys	4106663d89	Added tests for regex sanitization to identify false positives matchAll	2024-11-07 10:27:58 +01:00
Paolo Tranquilli	147d66b587	Merge branch 'main' into redsun82/python-match-fps	2024-11-07 09:46:32 +01:00
Paolo Tranquilli	64d522e447	Rust: address review	2024-11-07 09:39:44 +01:00
Michael Nebel	8041f00bf5	C#: Address more review comments.	2024-11-07 09:24:26 +01:00
Jami	07bb60da92	Merge pull request #17925 from jcogs33/jcogs33/vscode-setting-matchOnWordStartOnly-false ... VSCode setting: turn off `editor.suggest.matchOnWordStartOnly`	2024-11-06 18:05:26 -05:00
Jami Cogswell	8e4a312ac7	Turn off editor.suggest.matchOnWordStartOnly	2024-11-06 16:41:20 -05:00
Brandon Stewart	6a1e814cde	Merge pull request #106 from github/advanced-config ... Add rule to detect cases where CodeQL default setup could be used instead of advanced setup	2024-11-06 15:21:31 -05:00
Brandon Stewart	686e30a52a	add qlhelp	2024-11-06 20:20:26 +00:00
Geoffrey White	b3f7a8a46f	Merge pull request #17908 from geoffw0/dfcons ... Rust: Expose counts of data flow inconsistencies	2024-11-06 19:11:04 +00:00
Geoffrey White	18ce8be302	Update rust/ql/lib/codeql/rust/elements/internal/VariableImpl.qll ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2024-11-06 19:00:10 +00:00
Geoffrey White	fbfdd57383	Rust: Additional test cases for rust/dead-code.	2024-11-06 17:43:04 +00:00
Geoffrey White	a8b1cb3243	Rust: Make it so that all of the test functions may return.	2024-11-06 17:23:01 +00:00
Paolo Tranquilli	200715773f	Rust: fix no_semantics_reason	2024-11-06 17:19:06 +01:00
Michael Nebel	e9c9519d90	C#: Address review comments.	2024-11-06 16:29:20 +01:00
Michael Nebel	55cfbccd43	C#/Java: Exclude summaries using callbacks in fields, properties and synthetic fields.	2024-11-06 16:29:19 +01:00
Michael Nebel	5c389355d0	C#: Simplify delegate read and store steps (remove dependency on parameter).	2024-11-06 16:29:17 +01:00
Michael Nebel	a86cd181a6	Java: Make language specific modifications.	2024-11-06 16:29:16 +01:00
Michael Nebel	395cababb3	C#: Add some model generator examples for higher order methods.	2024-11-06 16:29:14 +01:00
Michael Nebel	fe854812ec	C#: Add read and store steps for delegate calls.	2024-11-06 16:29:13 +01:00
Simon Friis Vindum	dadc6059a8	Rust: Implement enclosing callable	2024-11-06 16:23:24 +01:00
Paolo Tranquilli	2987743e44	Rust: exclude uncompiled files from semantics and surface semanticless reason	2024-11-06 15:22:28 +01:00
Geoffrey White	bf0e1008ce	Rust: Move some test cases together.	2024-11-06 13:14:52 +00:00
Simon Friis Vindum	ff80b249ca	Merge pull request #17917 from paldepind/rust-df-types ... Rust: Fix unique type data flow inconsistency	2024-11-06 14:02:00 +01:00
Simon Friis Vindum	60986d8c9b	Rust: Fix unique type data flow inconsistency	2024-11-06 13:48:10 +01:00
Anders Schack-Mulligen	4df4a1e6c6	Merge pull request #17863 from aschackmull/shared/universal-flow ... Shared: Add a Universal Flow library and refactor TypeFlow to use it.	2024-11-06 13:46:13 +01:00
Tom Hvitved	f8058e40af	Merge pull request #17915 from hvitved/rust/pat-literal-cfg ... Rust: Include literals in the CFG for literal patterns	2024-11-06 13:09:49 +01:00
Geoffrey White	8a35e151d1	Rust: Move the function pointer parameter exclusion into VariableImpl.qll.	2024-11-06 10:51:41 +00:00
Tom Hvitved	9392bf796a	Rust: Include literals in the CFG for literal patterns	2024-11-06 09:21:52 +01:00
Paolo Tranquilli	51f7129c79	Swift: accept integration test change	2024-11-06 08:40:29 +01:00
Paolo Tranquilli	02a0021a26	Swift: tweak mangling of extensions	2024-11-06 08:40:12 +01:00
Paolo Tranquilli	9e1e56f769	Swift: remove obsolete bazel definitions	2024-11-06 08:39:53 +01:00
Paolo Tranquilli	afd4585561	Merge branch 'main' into redsun82/swift-6	2024-11-06 08:05:52 +01:00
Paolo Tranquilli	c875667980	Swift: update to 6.0.2	2024-11-06 08:05:14 +01:00
Simon Friis Vindum	6054855edb	Merge pull request #17888 from paldepind/rust-data-flow-consistency ... Rust: Data flow additions	2024-11-05 21:29:18 +01:00
Geoffrey White	1a5d2e1f5d	Rust: Correct a comment and autoformat.	2024-11-05 15:22:46 +00:00
Geoffrey White	93836a55e2	Rust: Clean up code / clarify responsibilities and fix the issue in rust/unused-value as well.	2024-11-05 15:16:59 +00:00
Geoffrey White	bb5ee525fc	Merge pull request #17757 from geoffw0/unusedvar7 ... Rust: Remove the workaround in rust/unused-variable.	2024-11-05 15:06:48 +00:00
Mikaël Barbero	881fe0ba57	fix: add "actions" tag to ActionsArtifactLeak ... Similar to javascript/ql/src/Security/CWE-094/ExpressionInjection.ql	2024-11-05 15:58:46 +01:00
Geoffrey White	278760c735	Rust: Add another exception to rust/unused-variable.	2024-11-05 14:46:32 +00:00
Simon Friis Vindum	262a9f0cfa	Rust: Make fixes in data flow based on PR feedback	2024-11-05 15:37:44 +01:00
Geoffrey White	35ffd0cc9c	Rust: Add more test cases for unused variables (inspired by real world FPs).	2024-11-05 14:07:10 +00:00
Geoffrey White	3091083705	Rust: Call all the test cases.	2024-11-05 11:02:38 +00:00
Geoffrey White	088dd50f1f	Rust: Update tests.	2024-11-05 10:30:41 +00:00