126 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	7593ebaa62	C++: Use 'getAstVariable' now that 'getASTVariable' is deprecated.	2022-03-14 13:38:27 +00:00
Mathias Vorreiter Pedersen	f2676968f0	C++: Actally convert 'cpp/overflow-destination' to a path-problem query.	2022-03-09 13:49:52 +00:00
Mathias Vorreiter Pedersen	d7652f9742	C++: Use a 'TaintTracking::Configuration' for 'cpp/overflow-destination'.	2022-03-09 12:07:25 +00:00
Erik Krogh Kristensen	4e8e3a7420	simplify expressions that could be type-casts	2022-01-20 10:41:35 +01:00
Erik Krogh Kristensen	6ff8d4de5c	add all remaining explicit this	2021-11-26 13:50:10 +01:00
Anders Fugmann	e0921ac983	C++: Increase precision of cpp/static-buffer-overflow to high	2021-09-27 09:06:36 +02:00
Anders Fugmann	032ac50034	C++: Do not warn on static buffer overflow using loop counters, if the loop counter has been widened	2021-09-24 08:31:36 +02:00
Anders Fugmann	3e5f7d0db5	C++: using buildin offsetof for an array member indexed after end is legal	2021-09-24 08:31:35 +02:00
Anders Fugmann	a4a9e2aa96	C++: Weaken wording on overflow static alert text	2021-09-24 08:31:35 +02:00
Calum Grant	771e686946	Update security-severity scores	2021-06-15 13:25:17 +01:00
Calum Grant	a594afb828	Add security-severity metadata	2021-06-10 20:11:08 +01:00
Ian Lynagh	f9ede97fcd	C++: Update the ReturnValueIgnored.qhelp docs to match the code	2021-05-26 17:38:49 +01:00
Mathias Vorreiter Pedersen	741eed93b2	C++: Replace minimum(any(...)) with a min aggregate. Also removed the min aggregate further down since it's no longer needed.	2021-05-19 09:03:05 +02:00
Mathias Vorreiter Pedersen	26c4a66dc4	C++: Add range analysis to fix FPs.	2021-05-18 17:54:30 +02:00
Chris Smowton	455b840712	Fix all dead qhelp links ... For those documents with no obvious new home I've pointed the links to the Internet Archive.	2021-04-23 15:20:21 +01:00
Robert Marsh	cac1bef6ea	C++: deprecate cpp/return-stack-allocated-object	2021-04-21 15:17:31 -07:00
Marcono1234	5a8ffa5a85	Use .inc.qhelp extension for included help files	2021-03-04 22:04:48 +01:00
Geoffrey White	b5326b3937	C++: Give OperatorNewAllocationFunction, OperatorDeleteAllocationFunction proper interfaces.	2020-11-05 16:43:49 +00:00
Geoffrey White	12233e5874	Merge pull request #4533 from MathiasVP/mathiasvp/fix-broken-qhelp ... C++: Fix broken qhelp links	2020-10-26 14:40:52 +00:00
Mathias Vorreiter Pedersen	056a553976	C++: Fix broken qhelp links	2020-10-21 17:26:46 +02:00
Geoffrey White	6d91d55669	C++: Use the AllocationExpr model.	2020-10-21 11:00:15 +01:00
Geoffrey White	17ff34267a	C++: Resolve the overlap.	2020-10-20 17:47:49 +01:00
Geoffrey White	7db2b2ce37	C++: Make the two queries more alike.	2020-10-20 17:46:47 +01:00
Geoffrey White	488a55b9dd	C++: Autoformat.	2020-10-05 10:39:32 +01:00
Geoffrey White	3536d84bdf	C++: Use [, ...] syntax more widely.	2020-10-02 18:04:03 +01:00
Jonas Jensen	ab90f06ddf	C++: Rename Block -> BlockStmt	2020-09-08 08:40:20 +02:00
Arthur Baars	aedfa47cb4	Add missing QHelp files	2020-09-01 12:46:57 +02:00
Jonas Jensen	aa8f30cd83	Merge pull request #3268 from MathiasVP/ql-doc-negativitiy ... C++: Add QLDoc to public predicates in Negativity.qll	2020-04-15 15:12:07 +02:00
Mathias Vorreiter Pedersen	3d0ac53266	Apply suggestions from code review ... Co-Authored-By: Jonas Jensen <jbj@github.com>	2020-04-15 14:01:49 +02:00
Mathias Vorreiter Pedersen	a2fbe9e9da	C++: Add QLDoc to public predicates in Negativity	2020-04-15 08:18:03 +02:00
Mathias Vorreiter Pedersen	092145d571	Update cpp/ql/src/Critical/FileClosed.qll ... Co-Authored-By: Jonas Jensen <jbj@github.com>	2020-04-14 18:38:33 +02:00
Mathias Vorreiter Pedersen	419b511ddb	C++: Format	2020-04-14 11:39:44 +02:00
Mathias Vorreiter Pedersen	d8dcbe3cbd	C++: QLDoc for FileClosed, LoopBounds and MemoryFreed	2020-04-14 10:21:11 +02:00
Geoffrey White	a71ae2b468	C++: Consistent treatment of placement new.	2020-04-06 14:54:15 +01:00
Geoffrey White	492c5f367f	C++: Simplify NewDelete.qll.	2020-04-06 14:54:15 +01:00
Geoffrey White	cbe133d0e6	C++: Deprecate freeCall in the legacy wrapper Alloc.qll.	2020-04-06 14:32:49 +01:00
Geoffrey White	e223557201	C++: Wean NewDelete.qll off the legacy wrapper Alloc.qll.	2020-04-06 14:32:15 +01:00
Geoffrey White	8059d69bbd	C++: Model calls to operator new / delete for NewFreeMismatch.ql.	2020-04-06 14:27:05 +01:00
Geoffrey White	3e9f9645ae	C++: Exclude calls to operator new / delete from NewFreeMismatch.ql.	2020-04-06 14:08:00 +01:00
Geoffrey White	b2c5ce8dbd	C++: Exclude code in templates.	2020-03-11 18:11:45 +00:00
Jonas Jensen	c4d2163321	Merge pull request #2673 from aschackmull/ql/autoformat-comparisonterm ... Java/C++/C#: Autoformat comparison terms	2020-01-30 08:47:50 +01:00
Anders Schack-Mulligen	96e4a57edd	C++: Autoformat.	2020-01-29 13:11:50 +01:00
Marc Waldman	dbe51e070f	Merge pull request #2 from marcrepo/patch-2 ... Documentation update for Issue #2623	2020-01-17 04:55:34 -05:00
Marc Waldman	0d409b2d69	Documentation update for Issue #2623 ... Changes based on Issue #2623 - DescriptorNeverClosed.ql identifies only sockets (not file handles)	2020-01-17 04:46:10 -05:00
Marc Waldman	140051cc9a	Removed word "file" from description (see Issue 2623) ... This pull request is in reference to Issue #2623 - "DescriptorNeverClosed.ql identifies only sockets (not file handles)"	2020-01-17 04:38:15 -05:00
Geoffrey White	ab0be19cc5	C++: Autoformat.	2019-12-17 17:51:55 +00:00
Geoffrey White	9986206dc6	C++: Placement new does not necessarily require a delete.	2019-12-17 15:28:21 +00:00
Geoffrey White	520ff39349	C++: Update MemoryMayNotBeFreed.ql similarly.	2019-12-17 11:56:23 +00:00
Geoffrey White	9a944a947a	C++: Update MemoryNeverFreed.ql to exclude alloca (and use the new allocation model directly).	2019-12-17 11:10:03 +00:00
Geoffrey White	0da826f0c3	Merge branch 'master' into overflowcalc	2019-12-16 13:48:38 +00:00