387 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	2dd3dea33a	Merge branch 'main' into redsun82/cargo-upgrade	2025-04-14 16:35:57 +02:00
Geoffrey White	c821f27309	Merge branch 'main' into badalloc	2025-04-14 09:36:59 +01:00
Paolo Tranquilli	9dd1062a9c	Rust: remove fixed inconsistency	2025-04-11 17:25:56 +02:00
Geoffrey White	866fc6b320	Merge pull request #19235 from geoffw0/ssaconsistency ... Rust: SSA inconsistency counts	2025-04-08 10:49:19 +01:00
Geoffrey White	10ad5780b5	Rust: Try a different toolchain version to fix the test in CI?	2025-04-08 10:21:40 +01:00
Geoffrey White	88439b42e6	Merge pull request #19095 from geoffw0/blockon ... Rust: Model futures::executor::block_on.	2025-04-07 17:41:49 +01:00
Geoffrey White	9c1567375d	Shared: Implement getInconsistencyCounts for SSA.	2025-04-07 16:20:42 +01:00
Geoffrey White	2c2506c4f8	Rust: Add Rust SSA inconsistency infrastructure.	2025-04-07 12:16:45 +01:00
Geoffrey White	893e42315e	Merge branch 'main' into badalloc	2025-04-07 09:33:23 +01:00
Geoffrey White	f292d04d7a	Merge branch 'main' into blockon	2025-04-07 09:03:55 +01:00
Geoffrey White	471f02cf3b	Merge branch 'main' into sinkstats	2025-04-04 22:28:30 +01:00
Geoffrey White	6ad7a950da	Merge branch 'main' into badalloc	2025-04-04 21:57:04 +01:00
Geoffrey White	c9939387f8	Rust: Turn on PrettyPrintModels for RegexInjection so we hopefully don't have to deal with test result changes there as often.	2025-04-04 21:47:22 +01:00
Geoffrey White	a5883b1627	Rust: Accept test changes (due to added models?).	2025-04-04 21:45:37 +01:00
Geoffrey White	bc92a99fae	Merge pull request #19080 from geoffw0/deallocation ... Rust: Query for dereferencing an invalid pointer	2025-04-04 21:25:40 +01:00
Geoffrey White	784ccb740b	Rust: Define Rust queries and extensions more consistently.	2025-04-04 18:17:16 +01:00
Geoffrey White	c783549b5c	Merge branch 'main' into blockon	2025-04-04 17:35:00 +01:00
Geoffrey White	8e7e162ebc	Merge branch 'main' into badalloc	2025-04-04 17:09:50 +01:00
Geoffrey White	d47e925e85	Rust: Delete empty .expected files.	2025-04-04 14:43:24 +01:00
Geoffrey White	64ee6c5c02	Merge branch 'main' into lessnoise	2025-04-04 13:51:31 +01:00
Geoffrey White	dc31da82d0	Rust: Fix file name typo.	2025-04-04 13:42:29 +01:00
Geoffrey White	24a4aad120	Rust: Accept consistency check fixes following merge with main.	2025-04-04 12:11:25 +01:00
Geoffrey White	8b23945417	Merge branch 'main' into deallocation	2025-04-04 12:06:50 +01:00
Geoffrey White	44b26e5ae6	Rust: Change the test copy of the example as well.	2025-04-04 09:54:41 +01:00
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Geoffrey White	fbde235253	Rust: Rename the test as well.	2025-04-02 12:16:10 +01:00
Geoffrey White	02245af3ca	Rust: Rename the query file.	2025-04-02 12:11:55 +01:00
Geoffrey White	c737ee9b52	Rust: Accept another consistency check failure.	2025-04-02 10:58:56 +01:00
Geoffrey White	1d7dac485e	Rust: switch the query to taint flow so that we get taint through conversions (without needing a special case).	2025-04-01 17:57:04 +01:00
Tom Hvitved	dcaeeabad8	Rust: Fix capturedCallRead	2025-04-01 15:11:20 +02:00
Tom Hvitved	9dea9f5046	SSA: Make phiWithoutTwoPriorRefs consistency check more informative	2025-04-01 15:07:46 +02:00
Geoffrey White	86840a78c2	Rust: Update .expected files.	2025-04-01 09:56:56 +01:00
Geoffrey White	cc90ba5836	Rust: Create a less noisy version of the summary stats query, for use in tests.	2025-04-01 09:56:47 +01:00
Geoffrey White	fb22d55878	Rust: Remove duplicate models.	2025-03-31 18:26:26 +01:00
Geoffrey White	6a5a1001bb	Rust: Refine the barrier guard.	2025-03-31 18:26:21 +01:00
Geoffrey White	f7d3a51f27	Rust: Implement barrier guard.	2025-03-31 17:53:17 +01:00
Geoffrey White	cdd5cb0523	Rust: More test cases for bounds / guards.	2025-03-31 17:53:14 +01:00
Geoffrey White	addc1d34d8	Rust: Add qhelp, examples, and tests of examples.	2025-03-31 17:53:10 +01:00
Geoffrey White	e49c1afe72	Rust: Add a few missing models.	2025-03-31 17:39:19 +01:00
Geoffrey White	03f94de3cb	Rust: Add models.	2025-03-31 17:39:15 +01:00
Geoffrey White	9409cd6ed7	Rust: Prototype query.	2025-03-31 17:39:11 +01:00
Geoffrey White	ae555f2f2e	Rust: Add a test for uncontrolled allocation size.	2025-03-31 17:37:21 +01:00
Geoffrey White	4a76b5b3db	Rust: Accept consistency check failures.	2025-03-28 15:40:18 +00:00
Geoffrey White	ed14b37964	Merge branch 'main' into deallocation	2025-03-28 12:44:46 +00:00
Geoffrey White	ce7a0fd094	Rust: Test for sinks inside sources.	2025-03-28 11:12:10 +00:00
Arthur Baars	7fc7b7cc04	Rust: fix CleartextLogging query	2025-03-27 18:38:57 +00:00
Arthur Baars	6dff6826f0	Revert "Rust: accept test changes for now" ... This reverts commit bf32acc198.	2025-03-27 18:33:00 +00:00
Geoffrey White	9ae271a7d1	Rust: Fix incidentally affected test merge conflict.	2025-03-27 12:55:36 +00:00
Geoffrey White	4e496fe7b2	Rust: Lets just not model 'drop' incorrectly, for now.	2025-03-27 12:25:08 +00:00
Geoffrey White	8598d619f2	Rust: Add a test case involving a Drop method.	2025-03-27 09:39:25 +00:00