85368 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Geoffrey White	a5bb93402c	Swift: Replace sources with (extendable) CSV.	2023-03-23 10:52:58 +00:00
Geoffrey White	9529bc5f09	Swift: The regressed test is not realistic, update it to be more like what really happens.	2023-03-23 10:52:58 +00:00
Geoffrey White	e266132f0a	Swift: Replace sinks with (extendable) CSV.	2023-03-23 10:45:29 +00:00
Geoffrey White	4c0d02a87d	Swift: Standardize the sources, sinks etc.	2023-03-23 10:39:03 +00:00
Geoffrey White	dfcad7fa84	Swift: Split the query into the usual three files.	2023-03-23 10:39:03 +00:00
Geoffrey White	879dea2984	Swift: Additional test cases.	2023-03-23 10:38:52 +00:00
erik-krogh	404cbc93eb	rename succ to pumpEnd throughout SuperLinearBackTracking.qll	2023-03-23 10:46:22 +01:00
erik-krogh	3f18b7730f	address some review comments	2023-03-23 10:39:56 +01:00
erik-krogh	e189b36e3f	materialize less strings when ranking states	2023-03-23 10:35:58 +01:00
Michael Nebel	d258a1c728	C#/Java: Some light re-factoring.	2023-03-23 10:24:46 +01:00
Paolo Tranquilli	ccb816ed84	Java: autoformat	2023-03-23 10:22:18 +01:00
Michael Nebel	b17a71674a	C#: Refactor the model generator configurations to use the new API.	2023-03-23 10:17:37 +01:00
Anders Schack-Mulligen	07f8780541	Merge pull request #12640 from github/workflow/coverage/update ... Update CSV framework coverage reports	2023-03-23 09:55:40 +01:00
Michael Nebel	d0732a765b	C#: Sync files.	2023-03-23 09:52:42 +01:00
Michael Nebel	eed8c72ce6	Java: Refactor the model generator configurations to use the new API.	2023-03-23 09:48:12 +01:00
Kasper Svendsen	ce6be1f636	Dataflow: Instantiate stage 1 access paths with proper unit type	2023-03-23 08:32:16 +01:00
github-actions[bot]	271e41c6dd	Add changed framework coverage reports	2023-03-23 00:16:48 +00:00
Harry Maclean	45797b3de5	Ruby: bump cross to 0.2.5 ... This include support for mounting external path dependencies as volumes.	2023-03-23 12:20:15 +13:00
Harry Maclean	856132bc2f	Ruby: Fix cross-compilation ... Ensure that builds via cargo-cross, which are executed in a docker container, can see the shared library.	2023-03-23 11:59:14 +13:00
Harry Maclean	f2fc80b3c1	QL: Bump rust to 1.68	2023-03-23 11:59:14 +13:00
Harry Maclean	8c60b6e657	QL: Merge extractor crates into one ... This mirrors the structure we have in the Ruby extractor, and will allow us to share more code.	2023-03-23 11:59:14 +13:00
Harry Maclean	6171eae7a2	QL: Use shared extractor library	2023-03-23 11:59:13 +13:00
Harry Maclean	c90299baee	Ruby: Move codeql_threads calculation to library	2023-03-23 11:58:19 +13:00
Harry Maclean	74671281f9	Ruby: Remove unused dependencies from extractor	2023-03-23 11:58:18 +13:00
Harry Maclean	c4a7389873	Ruby: Move extractor into shared crate ... This makes it possible for different languages to share this extractor.	2023-03-23 11:58:18 +13:00
erik-krogh	0462e2a6ea	update some expected output	2023-03-22 20:47:53 +01:00
Jami	71c37dba32	Merge pull request #12110 from jcogs33/jcogs33/add-heuristic-sql-models ... Java: add sql summary model discovered with heuristics	2023-03-22 15:20:01 -04:00
Geoffrey White	bcca18d5b2	Merge pull request #12638 from geoffw0/testfix ... Swift: Accept test regressions	2023-03-22 17:19:44 +00:00
Jami	081d97ff72	Merge pull request #12637 from jcogs33/jcogs33/yml-check-change-note ... CI: Add yml files to change note check	2023-03-22 13:06:35 -04:00
Mathias Vorreiter Pedersen	0f240d6738	C++: Fix join order in 'boundFlowCond'.	2023-03-22 17:00:07 +00:00
Mathias Vorreiter Pedersen	cd7ba7c503	C++: Fix join orders in 'eqBound'.	2023-03-22 16:51:39 +00:00
Mathias Vorreiter Pedersen	0c6b60b2c6	C++: Avoid two joins on value number.	2023-03-22 16:51:39 +00:00
Mathias Vorreiter Pedersen	d325082db3	C++: Fix another place that assumed that 'Expr' was always 'Instruction'.	2023-03-22 16:51:39 +00:00
Mathias Vorreiter Pedersen	6e38105615	C++: Fix implicit 'this'.	2023-03-22 16:51:39 +00:00
Mathias Vorreiter Pedersen	4d029acb11	C++: Accept test changes.	2023-03-22 16:51:39 +00:00
Mathias Vorreiter Pedersen	4cc3bfae33	C++: Fix places that assumed that 'Expr' was always 'Instruction'.	2023-03-22 16:51:38 +00:00
Geoffrey White	a4e9d38abb	Swift: Fix the test regression.	2023-03-22 16:44:29 +00:00
Mathias Vorreiter Pedersen	0aa90d6f09	Merge pull request #12635 from MathiasVP/bool-to-int-is-safe ... C++: `bool` -> `int` are safe conversions	2023-03-22 16:29:29 +00:00
Geoffrey White	cbe5243c89	Swift: Accept test regressions. :(	2023-03-22 16:24:32 +00:00
Mathias Vorreiter Pedersen	08e8604430	C++: Change 'Expr' to be EquivalenceClasses instead of Instructions.	2023-03-22 15:26:26 +00: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
Mathias Vorreiter Pedersen	59f2c75186	C++: bool -> int conversions are safe conversions.	2023-03-22 15:01:54 +00:00
Rasmus Wriedt Larsen	77f1539e71	Python: Add change-note	2023-03-22 15:57:09 +01:00
Rasmus Wriedt Larsen	7b3f710e91	Python: Model aiosqlite	2023-03-22 15:51:47 +01:00
Jami Cogswell	3f40e3863f	Add yml files to change note check	2023-03-22 10:51:36 -04:00
Rasmus Wriedt Larsen	9975facf9d	Python: Make asyncio version of PEP249 modeling library ... so it's also easy to modeling asyncio libraries Also ports aiomysql/aiopg to use this new modeling	2023-03-22 15:51:33 +01:00
Rasmus Wriedt Larsen	2b4ebf7377	Python: Add support for .executescript	2023-03-22 15:20:06 +01:00
Alex Ford	0f267e012a	Merge pull request #12631 from alexrford/js/weak-cryptographic-algorithm_space ... JS: add a missing space in alert message for `js/weak-cryptographic-algorithm`	2023-03-22 14:12:35 +00:00
Arthur Baars	65d129dee1	Merge pull request #12529 from hmac/ruby-extractor-bump-rust-version ... Ruby: Bump rust toolchain to 1.68	2023-03-22 15:12:08 +01:00
Rasmus Wriedt Larsen	eb43fa2644	Python: Make API graph version of PEP249 modeling ... This will allow us to more easily handle the executescript method, which we'll do in next commit.	2023-03-22 15:07:03 +01:00