10968 Commits

Author	SHA1	Message	Date
Geoffrey White	cdafb26423	C++: Fix test failures.	2024-03-25 16:51:36 +00:00
Geoffrey White	88ea9197d9	C++: Add more tests for uncommon cases.	2024-03-25 11:40:15 +00:00
Geoffrey White	46b8e3be66	C++: Fix another mistake in the test.	2024-03-25 11:20:55 +00:00
Geoffrey White	dec5fc0f48	C++: Switch MAD syntax from *Argument[0] style to Argument[*0] style.	2024-03-25 11:20:55 +00:00
Geoffrey White	40270e1f70	C++: Fix mistake in test model.	2024-03-25 11:20:55 +00:00
Geoffrey White	b598b4ac45	C++: Fix for field content indirection (1-based).	2024-03-25 11:20:55 +00:00
Geoffrey White	73e95d67b9	C++: Implement Field indirection.	2024-03-25 11:20:55 +00:00
Geoffrey White	393bd7277c	C++: Add some negative test cases for indirection.	2024-03-25 11:20:55 +00:00
Geoffrey White	af4320df50	C++: Modify a summary test case to only test the summary model, not a source model as well.	2024-03-25 11:20:55 +00:00
Geoffrey White	14deb06e80	C++: Implement Argument + Parameter indirection.	2024-03-25 11:20:55 +00:00
Geoffrey White	638bfff09d	C++: Implement ReturnValue indirection (this version only worked with a small change to the shared library parsing to permit '*' in the token name; we no longer need this, so I rebased it out).	2024-03-25 11:20:09 +00:00
Geoffrey White	19cc620f18	C++: Effect of 'Fix dataflow node <> expression problem on prvalues' from main.	2024-03-14 09:47:38 +00:00
Geoffrey White	f208594067	Merge branch 'main' into mad	2024-03-14 09:44:45 +00:00
Mathias Vorreiter Pedersen	dacf7d73d9	Merge pull request #15918 from MathiasVP/fix-as-expr-for-temps ... C++: Fix dataflow node <> expression problem on prvalues	2024-03-14 09:38:46 +00:00
Mathias Vorreiter Pedersen	a24432bacc	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll	2024-03-14 09:23:33 +00:00
Mathias Vorreiter Pedersen	c375497fa5	Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll	2024-03-14 09:16:04 +00:00
Mathias Vorreiter Pedersen	a839c92979	C++: Fix mapping issue between dataflow nodes and expressions when the expression is a prvalue.	2024-03-13 22:59:09 +00:00
Jeroen Ketema	866a3934d4	C++: suppress destructors with reuse expressions until proper support is added	2024-03-13 20:17:00 +01:00
Jeroen Ketema	67b3670d06	Merge pull request #15901 from jketema/destructors11 ... C++: Introduce re-use expressions in the database scheme	2024-03-13 18:27:28 +01:00
Geoffrey White	8d3fc735ea	C++: Fix compilation issue in UseAfterFree.qll.	2024-03-13 17:03:00 +00:00
Geoffrey White	f52b6e0449	C++: Add more test cases for taint through qualifier fields.	2024-03-13 16:20:12 +00:00
Geoffrey White	6019a38266	C++: Add more test cases for indirection (4).	2024-03-13 16:20:08 +00:00
Geoffrey White	23da0c16c7	C++: Add more test cases for indirection (3).	2024-03-13 16:20:04 +00:00
Geoffrey White	7c4927c2e3	C++: Add more test cases for indirection (2).	2024-03-13 16:19:58 +00:00
Geoffrey White	fcda0c9819	C++: Add more test cases for indirection (1).	2024-03-13 15:35:28 +00:00
Geoffrey White	c17a36ec07	C++: Add more test cases for taint through qualifiers.	2024-03-13 15:30:13 +00:00
Mathias Vorreiter Pedersen	b638d4d0ba	Merge pull request #15900 from MathiasVP/glib-alloc-and-dealloc ... C++: Add models for `GLib` allocation and deallocation	2024-03-13 15:29:46 +00:00
Geoffrey White	92d57ab504	C++: Correct some existing cases that are in fact indirect.	2024-03-13 15:26:21 +00:00
Jeroen Ketema	8d5eab401d	C++: Introduce re-use expressions in the database scheme	2024-03-13 13:28:27 +01:00
Mathias Vorreiter Pedersen	8d504d8b32	Merge pull request #15899 from jketema/destructors10 ... C++: Add IR tests for the destruction of temporaries	2024-03-13 11:56:04 +00:00
Mathias Vorreiter Pedersen	465c3c18e3	C++: Add change note.	2024-03-13 11:49:26 +00:00
Mathias Vorreiter Pedersen	3ea39a2553	C++: Add some query tests.	2024-03-13 11:39:34 +00:00
Mathias Vorreiter Pedersen	bcd36b1994	C++: Recognize glib allocations and deallocations.	2024-03-13 11:39:15 +00:00
Geoffrey White	9aad43f649	C++: Add indirect test models.	2024-03-13 11:34:36 +00:00
Jeroen Ketema	3ef1ab49ea	C++: Add IR tests for the destruction of temporaries	2024-03-13 12:00:02 +01:00
Geoffrey White	cbacd51337	C++: Make Argument[-1] refer to *this rather than this.	2024-03-12 17:51:43 +00:00
Geoffrey White	22d5e9bbfb	C++: Add test cases involving pointer qualifiers.	2024-03-12 17:47:11 +00:00
Geoffrey White	900c8b71d8	C++: Complete the SummaryCall class.	2024-03-12 14:23:00 +00:00
Geoffrey White	a27949cffa	C++: Set certain = true in storeStepImpl.	2024-03-12 14:08:20 +00:00
Tom Hvitved	dddba3228b	Merge pull request #15867 from hvitved/dataflow/ap-limit ... Data flow: Add `ConfigSig::accessPathLimit`	2024-03-12 14:57:51 +01:00
Mathias Vorreiter Pedersen	1a42e55095	Merge pull request #15820 from MathiasVP/add-type-confusion-query ... C++: Add a new query for detecting type confusion vulnerabilities	2024-03-12 10:29:22 +00:00
Mathias Vorreiter Pedersen	7b0df57d7a	C++: Remove the two configurations that depend on flow state to speed up performance on ChakraCore.	2024-03-11 13:56:22 +00:00
Geoffrey White	026a13b4db	C++: Change Node/Node0.getEnclosingCallable back to returning Declaration.	2024-03-11 12:22:55 +00:00
Tom Hvitved	da66281fef	Sync files	2024-03-11 13:02:04 +01:00
Geoffrey White	4bc272da73	C++: Doc correction and TODOs for interpretOutput, interpretInput.	2024-03-11 10:16:46 +00:00
Geoffrey White	e8d0f1fa3e	C++: Comments.	2024-03-08 18:25:01 +00:00
Mathias Vorreiter Pedersen	761f6d3a7e	C++: Disable field flow from the 'cpp/type-confusion' query to fix performance on ChakraCore.	2024-03-07 15:24:04 -08:00
Mathias Vorreiter Pedersen	a548316747	C++: Accept test changes.	2024-03-07 13:55:31 -08:00
Mathias Vorreiter Pedersen	4f9bdca4f0	C++: Optimize.	2024-03-07 13:08:26 -08:00
Mathias Vorreiter Pedersen	cedbfbe7ea	C++: Use a more generous definition of compatible types.	2024-03-07 10:50:20 -08:00