12871 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	5c454bdd8c	C++: Compute and add severity.	2024-04-29 11:09:42 +01:00
Mathias Vorreiter Pedersen	f194c70e8a	C++: Set precision to medium.	2024-04-29 11:08:08 +01:00
Mathias Vorreiter Pedersen	179270ffc1	C++: Move 'cpp/iterator-to-expired-container' out of experimental.	2024-04-29 11:07:55 +01:00
Mathias Vorreiter Pedersen	401717d739	C++: Add a missing taint step and accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	527409d05f	C++: Fix iterator return types and accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	d3d2e2188d	C++: Accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	141af7cc87	C++: Subclasses for both 'begin' and 'end'.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	6e3dddede0	C++: Use iterator flow in dataflow.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	683fe26034	C++: Add iterator flow based on dataflow SSA.	2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen	ea1b8a3999	C++: Implement 'getAnUltimateDefinition' on SSA definitions.	2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen	5f0efc19fa	C++: Accept test changes.	2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen	50775d0c53	C++: Get rid of 'UseImpl' in TSsaDefOrUse so that it now only contains definitions.	2024-04-29 00:02:05 +01:00
Mathias Vorreiter Pedersen	9874d40d29	C++: Make 'getAddressOperand' available on 'DefImpl'.	2024-04-28 23:41:18 +01:00
Mathias Vorreiter Pedersen	044ee9b08a	C++: Delete old iterator flow using memory edges.	2024-04-28 23:41:13 +01:00
Mathias Vorreiter Pedersen	3c2206728d	Merge pull request #16333 from MathiasVP/fix-guards-on-pointers	2024-04-26 21:33:08 +01:00
Jeroen Ketema	8c87cb83bb	Merge pull request #16342 from jketema/destructors-cleanup ... C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'.	2024-04-26 22:05:00 +02:00
Mathias Vorreiter Pedersen	d18cdee0bc	C++: Accept test changes.	2024-04-26 16:19:33 +01:00
Mathias Vorreiter Pedersen	b78537dd74	C++: Allow comparisons with pointer types in IRGuards.	2024-04-26 16:19:24 +01:00
Mathias Vorreiter Pedersen	e78091e9d0	C++: Sync identical files.	2024-04-26 16:19:02 +01:00
Mathias Vorreiter Pedersen	c10e00d389	C++: Add a subclass for constant instructions with pointer type.	2024-04-26 16:18:52 +01:00
Mathias Vorreiter Pedersen	bf61114284	C++: Add a test with pointer comparisons and float comparisons.	2024-04-26 16:17:45 +01:00
erik-krogh	800d7546fa	change all the change-notes to breaking	2024-04-26 17:17:23 +02:00
Mathias Vorreiter Pedersen	d6c57de650	C++: Convert one of the tests to also test the 'absolute' versions of the GuardCondition predicates.	2024-04-26 16:11:19 +01:00
Jeroen Ketema	67fb866efa	C++: Update test results	2024-04-26 16:38:39 +02:00
Mathias Vorreiter Pedersen	4b0a217420	C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'.	2024-04-26 16:25:05 +02:00
Mario Campos	3195f0c828	Use more specific hasGlobalName() for stdlib function free(3) ... Based on the CodeQL documentation's example of strncpy(3) and strlen(3): https://codeql.github.com/docs/codeql-language-guides/hash-consing-and-value-numbering/#example-query	2024-04-26 09:10:40 -05:00
Mathias Vorreiter Pedersen	70e9c48a47	C++: Also implement the predicate in the raw stage.	2024-04-26 13:48:13 +01:00
Mathias Vorreiter Pedersen	dcc4ad2550	C++: Sync identical files.	2024-04-26 13:45:15 +01:00
Mathias Vorreiter Pedersen	54cadcfe9b	C++: Forward to a cached predicate in a cached module instead of caching the predicate in 'Instruction.qll' to include it in the cached stage of the other predicates.	2024-04-26 13:44:45 +01:00
erik-krogh	14d88eb3ce	add change-notes	2024-04-26 12:56:28 +02:00
erik-krogh	0468c5d0bf	delete some tests of the old GVN library	2024-04-26 07:58:35 +02:00
erik-krogh	e55f2c5309	reinroduce GLobalValueNumbering.qll, that one was supposed to stay	2024-04-26 06:52:57 +02:00
Mario Campos	d7c784ef2f	Initial commit of experimental query cpp/guarded-free.	2024-04-25 16:29:37 -05:00
erik-krogh	baa31e1469	delete outdated deprecations	2024-04-25 22:19:28 +02:00
Jeroen Ketema	389df35fb7	Merge branch 'main' into child-stmt	2024-04-25 21:47:06 +02:00
Geoffrey White	553871678a	C++: Change note.	2024-04-25 16:52:01 +01:00
Geoffrey White	15123a7b40	C++: Reduce duplication.	2024-04-25 16:49:22 +01:00
Geoffrey White	bbd80ec7a4	C++: Add some more test cases.	2024-04-25 16:44:52 +01:00
Geoffrey White	0fb71e24cb	C++: Fix typo.	2024-04-25 14:52:56 +01:00
Jeroen Ketema	05819a52ef	C++: Print destructors for children of statements that are again statements	2024-04-25 13:25:42 +02:00
Jeroen Ketema	95ec4e8d26	C++: Fix comment in IR test	2024-04-24 21:47:47 +02:00
Mathias Vorreiter Pedersen	037114b336	Merge pull request #16309 from geoffw0/newtests ... C++: Add test cases	2024-04-24 10:06:51 +01:00
Geoffrey White	57a53891e9	C++: Effect of recent QL changes.	2024-04-23 18:12:05 +01:00
Geoffrey White	b6703bc25c	C++: Add test cases inspired by QA results differences.	2024-04-23 18:06:12 +01:00
Mathias Vorreiter Pedersen	a39d8b7c7c	C++: Ensure that each node type gets mapped to an instruction by 'getAnInstruction'.	2024-04-23 09:44:30 +01:00
Mathias Vorreiter Pedersen	553c09ada3	Merge pull request #16301 from MathiasVP/proper-coroutine-cfg-support-2 ... C++: Implement proper coroutine support in IR	2024-04-23 09:19:15 +01:00
Anders Schack-Mulligen	b2f09949df	Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2 ... Dataflow: update fieldFlowBranchLimit semantics	2024-04-23 10:08:05 +02:00
Mathias Vorreiter Pedersen	c1755603a8	Update TranslatedExpr.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-04-23 07:25:25 +01:00
Mathias Vorreiter Pedersen	24cf75a37c	C++: Accept test changes.	2024-04-22 21:38:13 +01:00
Mathias Vorreiter Pedersen	8169e7ce68	C++: Add proper translation of 'co_await' and 'co_yield'.	2024-04-22 21:38:13 +01:00