9403 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	dba46bd324	Update cpp/ql/src/Critical/DoubleFree.ql ... Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>	2023-04-17 07:38:30 +01:00
Mathias Vorreiter Pedersen	b2d4a82932	C++: Fix annotations.	2023-04-13 11:13:15 +01:00
Mathias Vorreiter Pedersen	1ac5db3a98	C++: Fix annotations.	2023-04-13 11:07:12 +01:00
Mathias Vorreiter Pedersen	31b71ea163	C++: Fix annotations.	2023-04-13 11:04:51 +01:00
Mathias Vorreiter Pedersen	40dde93beb	C++: Fix FP and accept test changes.	2023-04-13 11:00:08 +01:00
Mathias Vorreiter Pedersen	23a7cd943f	C++: Fix missing result and accept test changes.	2023-04-13 10:50:46 +01:00
Mathias Vorreiter Pedersen	416f8d5ac9	C++: Fix test annotations.	2023-04-13 10:47:17 +01:00
Mathias Vorreiter Pedersen	c76dbebd9b	C++: Ensure that the 'use-after-free' query is run on 'test_free.cpp'.	2023-04-13 10:47:07 +01:00
Mathias Vorreiter Pedersen	d304022685	C++: Add QLDoc to 'isExcludeFreePair'.	2023-04-13 10:15:23 +01:00
Mathias Vorreiter Pedersen	e0aeea058e	C++: Fix qhelp for double-free.	2023-04-13 10:10:42 +01:00
Mathias Vorreiter Pedersen	ba4e3ae949	Update cpp/ql/src/Critical/FlowAfterFree.qll ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2023-04-12 16:50:57 +01:00
Mathias Vorreiter Pedersen	ab70f5722e	C++: More QLDoc.	2023-04-12 11:22:31 +01:00
Mathias Vorreiter Pedersen	49cceb2901	C++: Fix joins.	2023-04-12 09:58:24 +01:00
Mathias Vorreiter Pedersen	259d5b6452	C++: Add use-after-free change note.	2023-04-11 15:30:51 +01:00
Mathias Vorreiter Pedersen	c1960c6ff9	C++: Add double-free change note.	2023-04-11 15:30:51 +01:00
Mathias Vorreiter Pedersen	3c88590df2	C++: Accept test changes for the new use-after-query.	2023-04-11 15:21:21 +01:00
Mathias Vorreiter Pedersen	725004a6fe	C++: Modernize use-after-free query using dataflow.	2023-04-11 15:21:21 +01:00
Mathias Vorreiter Pedersen	17fe5f2317	C++: Change the id of the experimental double-free query to not overlap with the new non-experimental one.	2023-04-11 15:21:21 +01:00
Mathias Vorreiter Pedersen	a8151b4ee4	C++: Add double-free tests.	2023-04-11 15:21:21 +01:00
Mathias Vorreiter Pedersen	fb2ec15dad	C++: Add double-free query documentation.	2023-04-11 15:21:21 +01:00
Mathias Vorreiter Pedersen	cc12e74c23	C++: Add double-free query.	2023-04-11 14:44:15 +01:00
Mathias Vorreiter Pedersen	dfe00ffe4b	C++: Add a flow-after-free library.	2023-04-11 14:40:17 +01:00
Mathias Vorreiter Pedersen	d65bb3b232	C++: Make basic block information available from dataflow nodes.	2023-04-11 13:52:26 +01:00
Mathias Vorreiter Pedersen	f257e85511	C++: Accept test changes in PrintAST.	2023-04-04 16:21:35 +01:00
Mathias Vorreiter Pedersen	7a32299f34	C++: Oops. Forgot to replace one use of a deprecated predicate.	2023-04-04 15:30:02 +01:00
Mathias Vorreiter Pedersen	6467ba4324	C++: Add change note.	2023-04-04 15:19:14 +01:00
Mathias Vorreiter Pedersen	f2197e67f5	C++: Deprecate single-parameter 'getFieldExpr' and 'getElementExpr'.	2023-04-04 15:14:27 +01:00
Mathias Vorreiter Pedersen	f28cf25ba2	Merge pull request #12755 from MathiasVP/aggregate-initialization-ir ... C++: IR generation for repeated initializers	2023-04-04 15:04:55 +01:00
Mathias Vorreiter Pedersen	6c26ad7c2d	C++: Expand QLDoc.	2023-04-04 14:02:31 +01:00
Mathias Vorreiter Pedersen	4033ed33d8	C++: Add evil testcase.	2023-04-04 13:50:24 +01:00
Mathias Vorreiter Pedersen	86fd2d5309	Merge pull request #12747 from MathiasVP/promote-new-range-analysis-out-of-experimental ... C++: Promote IR-based range-analysis library out of experimental	2023-04-04 11:17:48 +01:00
Mathias Vorreiter Pedersen	52682e2ccb	C++: Replace the word 'repetition' with 'position' to properly reflect the semantics of the dbscheme.	2023-04-04 11:02:55 +01:00
Mathias Vorreiter Pedersen	3daefa8b9e	C++: Add more tests.	2023-04-04 10:54:12 +01:00
Mathias Vorreiter Pedersen	6dd6488437	C++: Introduce 'getAnElementExpr' and 'getAnExpr'.	2023-04-04 10:12:25 +01:00
Mathias Vorreiter Pedersen	ea180c07e4	C++: Accept test changes.	2023-04-04 10:12:03 +01:00
Mathias Vorreiter Pedersen	bef0a159c0	C++: IR generation for repeated initializers.	2023-04-04 10:08:32 +01:00
Mathias Vorreiter Pedersen	a0df7d22cd	C++: Add tests for designated initializers with repetitions.	2023-04-04 10:08:18 +01:00
Mathias Vorreiter Pedersen	f007083ef0	C++: Switch back to a 'Bound' instead of a 'SemBound'.	2023-04-04 09:43:23 +01:00
Mathias Vorreiter Pedersen	f6e774ed2e	C++: Alias the experimental 'Bound.qll' with the non-experimental one.	2023-04-03 18:18:33 +01:00
Mathias Vorreiter Pedersen	c19edc5f0b	C++: Fix Code Scanning errors.	2023-04-03 15:17:37 +01:00
Mathias Vorreiter Pedersen	aa337c72c2	C++: Update import paths in tests and experimental queries.	2023-04-03 15:17:37 +01:00
Alexandre Boulgakov	0aa39c0ca0	Merge pull request #12712 from github/sashabu/repeated-initializers ... C++: Support repeated initializers in dbscheme.	2023-04-03 14:46:17 +01:00
Mathias Vorreiter Pedersen	4c5ca082ce	C++: Delete the experimental range-analysis library.	2023-04-03 13:53:43 +01:00
Mathias Vorreiter Pedersen	e8800a6dba	C++: Move the new range-analysis library out of experimental and into an 'internal' directory.	2023-04-03 13:53:43 +01:00
Jeroen Ketema	e5c7c88588	Merge pull request #12737 from MathiasVP/speed-up-gvn ... C++: Speed up non-linear recursion in GVN library	2023-04-03 10:46:37 +02:00
Jeroen Ketema	1d9fc8a581	Merge branch 'main' into sashabu/repeated-initializers	2023-04-03 09:48:23 +02:00
Mathias Vorreiter Pedersen	9a34a7b7cc	Merge pull request #12719 from jketema/typebound-size	2023-04-03 08:31:41 +01:00
Mathias Vorreiter Pedersen	e5700e07c7	C++: Fix join order in 'cpp/unsafe-strncat'.	2023-03-31 21:33:28 +01:00
Mathias Vorreiter Pedersen	6638df1578	C++: Sync identical files.	2023-03-31 18:25:34 +01:00
Mathias Vorreiter Pedersen	0b33d26852	C++: Speed up non-linear recursion in GVN.	2023-03-31 18:25:19 +01:00