328 Commits

Author	SHA1	Message	Date
Jeroen Ketema	e3aecd3f1f	Merge pull request #13200 from jketema/deref-subpath ... C++: Implement the `subpaths` query predicate for `cpp/invalid-pointer-deref`	2023-05-17 17:13:28 +02:00
Jeroen Ketema	e143002ae5	Merge pull request #13197 from jketema/test-annotation ... C++: Add forgotten test annotation for `cpp/invalid-pointer-deref` test	2023-05-17 12:32:58 +02:00
Jeroen Ketema	014eb255bb	C++: Update expected test results	2023-05-17 12:09:22 +02:00
Jeroen Ketema	b1c1513a10	C++: Add forgotten test annotation in for cpp/invalid-pointer-deref test	2023-05-17 11:21:09 +02:00
Mathias Vorreiter Pedersen	a5632a21d1	Merge branch 'main' into precompute-states-in-overrun-write	2023-05-16 18:09:16 +01:00
Jeroen Ketema	e8423f858f	Merge pull request #13149 from MathiasVP/barrier-out-on-phi-back-edges ... C++: Block flow through back-edges in `cpp/overrun-write`	2023-05-16 14:22:55 +02:00
Jeroen Ketema	eb493a1981	C++: Add FP test case for cpp/invalid-pointer-deref ... Also add reduced range analysis test case that seems to expose the underlying reason for the FP.	2023-05-12 16:25:34 +02:00
Mathias Vorreiter Pedersen	de1f81a4b9	C++: Accept test changes.	2023-05-12 13:01:42 +01:00
Mathias Vorreiter Pedersen	0b7fc3cbf7	C++: Add a FP testcase involving flow through back-edges.	2023-05-12 13:00:39 +01:00
Mathias Vorreiter Pedersen	75e36e89de	C++: Precompute the set of necessary states.	2023-05-12 10:47:23 +01:00
Mathias Vorreiter Pedersen	f7924bda0d	Merge pull request #13099 from MathiasVP/heuristic-allocation-for-overrun-write ... C++: Use heuristic allocation functions in `cpp/overrun-write`	2023-05-12 10:15:28 +01:00
Jeroen Ketema	c3a7f98b2f	Merge branch 'main' into fix-fp-in-invalid-deref-2	2023-05-10 11:31:10 +02:00
Mathias Vorreiter Pedersen	363514e4ca	C++: Expand heuristic to catch more sources.	2023-05-10 08:27:29 +01:00
Mathias Vorreiter Pedersen	9da7c9f696	C++: Use heuristic allocation in 'cpp/overrun-write'.	2023-05-10 08:22:56 +01:00
Mathias Vorreiter Pedersen	023b8e4f15	C++: Add a testcase that needs heuristic allocation.	2023-05-10 08:21:21 +01:00
Mathias Vorreiter Pedersen	cad02441f9	Merge branch 'main' into overrun-write-only-one-alert	2023-05-05 10:14:20 +01:00
Mathias Vorreiter Pedersen	de08ada0bc	C++: Accept test changes.	2023-05-04 17:29:39 +01:00
Mathias Vorreiter Pedersen	a09a8dba95	C++: Add testcase with repeated TP alerts.	2023-05-04 16:59:54 +01:00
Mathias Vorreiter Pedersen	0d6fdc674b	C++: Also account for setter-related flow and jump steps.	2023-05-03 15:47:12 +01:00
Mathias Vorreiter Pedersen	7fa6894aaf	C++: Ensure that product dataflow library enters/leaves through the same call.	2023-05-02 17:13:36 +01:00
Mathias Vorreiter Pedersen	635d290504	C++: Add testcase with FP.	2023-05-02 13:51:16 +01:00
Mathias Vorreiter Pedersen	43527573d0	C++: Fix back edge detection for phi nodes.	2023-04-28 11:58:56 +01:00
Mathias Vorreiter Pedersen	faf846bd58	C++: Disable flow through nodes that are sources of phi edges' back edges.	2023-04-28 11:36:42 +01:00
Mathias Vorreiter Pedersen	4ef58cd662	C++: Remove unused parameter in test.	2023-04-28 09:30:30 +01:00
Mathias Vorreiter Pedersen	5c23474634	C++: Add FPs for 'cpp/invalid-pointer-deref'.	2023-04-27 18:49:05 +01:00
Mathias Vorreiter Pedersen	e46c53af1d	C++: accept test changes.	2023-04-27 17:13:02 +01:00
Mathias Vorreiter Pedersen	1372ee7a44	Update cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/pointer-deref/test.cpp ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2023-04-27 17:10:44 +01:00
Mathias Vorreiter Pedersen	432c0b508a	C++: Add another FP.	2023-04-27 14:50:29 +01:00
Mathias Vorreiter Pedersen	5a8bed0285	C++: Add FP for 'cpp/invalid-pointer-deref'.	2023-04-27 13:13:21 +01:00
Gulshan Singh	b87f12d5b2	C++: Add StrlenLiteralRangeExpr	2023-03-24 08:51:35 -07:00
Jeroen Ketema	a2248cb5a0	C++: Use getAUse in getIRRepresentationOfOperand	2023-03-09 09:45:54 +01:00
Jeroen Ketema	47930f94e2	Merge remote-tracking branch 'upstream/main' into merge-main	2023-03-06 15:20:39 +01:00
Geoffrey White	7b596f4928	Merge pull request #10431 from ihsinme/ihsinme-patch-111 ... CPP: Add query for CWE-369: Divide By Zero.	2023-03-03 10:42:04 +00:00
Mathias Vorreiter Pedersen	04b84320c9	C++: Accept more query-test changes.	2023-02-28 00:06:35 +00:00
ihsinme	213abc6642	Update DivideByZeroUsingReturnValue.expected	2023-02-19 21:42:48 +03:00
ihsinme	54acbf7676	Update test.cpp	2023-02-19 21:42:14 +03:00
Jeroen Ketema	9e462866a0	C++: Update test annotations for use-use dataflow	2023-02-14 14:48:08 +01:00
Jeroen Ketema	5f33827eca	C++: Update test results	2023-02-10 17:10:52 +01:00
Mathias Vorreiter Pedersen	e1aef3127c	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2023-02-10 09:23:37 +00:00
Jeroen Ketema	868f07bc91	Merge branch 'main' into ihsinme-patch-102	2023-02-06 20:16:53 +01:00
Mathias Vorreiter Pedersen	968fff29ac	Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into flow-out-of-iterators-3	2023-02-02 09:12:02 +00:00
Mathias Vorreiter Pedersen	eb31160ae0	C++: Accept test changes.	2023-02-01 13:42:03 +00:00
Jeroen Ketema	ce8a84abb3	Merge pull request #12043 from jketema/subpaths ... C++: Fix missing subpaths when displaying dataflow paths	2023-02-01 09:17:16 +01:00
Mathias Vorreiter Pedersen	41ea71c31c	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2023-01-31 14:12:23 +00:00
Jeroen Ketema	24891c3f43	C++: Fix missing subpaths when displaying dataflow paths	2023-01-31 10:57:06 +01:00
Gulshan Singh	fb31570af3	Fix bitshift test	2023-01-30 19:55:53 -08:00
Gulshan Singh	051d36ee6a	Add ConstantLShiftExprRange and ConstantRShiftExprRange classes	2023-01-30 19:55:53 -08:00
Gulshan Singh	5710289460	Add bitshift test	2023-01-30 19:55:53 -08:00
Mathias Vorreiter Pedersen	cc0371648b	C++: Accept test changes.	2023-01-11 16:25:21 +00:00
Mathias Vorreiter Pedersen	8b01dfe696	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2023-01-10 17:30:29 +00:00