12782 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	32fe084630	Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-04-30 14:42:30 +01:00
github-actions[bot]	99928b82ed	Post-release preparation for codeql-cli-2.17.2	2024-04-30 12:15:35 +00:00
Mathias Vorreiter Pedersen	2939c89f7a	C++: Accept test changes.	2024-04-30 12:04:42 +01:00
Mathias Vorreiter Pedersen	bb6cc92728	C++: Support guards without implicit boolean conversions.	2024-04-30 12:04:35 +01:00
Mathias Vorreiter Pedersen	d736426529	C++: Support guards without implicit boolean conversions.	2024-04-30 11:45:58 +01:00
Mathias Vorreiter Pedersen	806d42852c	C++: Add test in C file with pointer type guard.	2024-04-30 11:33:22 +01:00
github-actions[bot]	5228d94d42	Release preparation for version 2.17.2	2024-04-30 10:25:51 +00:00
Geoffrey White	7d9f78b2de	Merge pull request #16328 from geoffw0/pathinj ... C++: Reduce duplication from cpp/path-injection	2024-04-30 10:06:40 +01:00
Erik Krogh Kristensen	7e839792da	Merge pull request #16330 from erik-krogh/del-deps-apr-2024 ... All: delete outdated deprecations	2024-04-30 10:43:39 +02:00
Mathias Vorreiter Pedersen	94364f724e	C++: Remove CP between all sinks and all states in 'cpp/iterator-to-expired-container'.	2024-04-29 16:46:00 +01:00
Mathias Vorreiter Pedersen	0fa5a1f274	C++: Add change note.	2024-04-29 11:17:53 +01:00
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