7071 Commits

Author	SHA1	Message	Date
Jonas Jensen	1c0e83a374	C++: Autoformat fixup	2020-08-14 12:27:30 +02:00
Jonas Jensen	aa78c6e750	C++: Move to experimental ... And rename to `SimpleRangeAnalysisExpr` to clarify which of our range analysis libraries this belongs to.	2020-08-14 12:27:30 +02:00
Jonas Jensen	cdddf5fd40	Merge remote-tracking branch 'upstream/master' into SimpleRangeAnalysis-extensible-base	2020-08-14 12:26:59 +02:00
Tom Hvitved	9ebf8d1d58	Data flow: Sync files	2020-08-14 11:04:45 +02:00
Brian Gianforcaro	a6bcbe7974	C++: Detect GoogleTest tests cases in FNumberOfTests.ql ... Co-authored-by: Jonas Jensen <jbj@github.com>	2020-08-13 12:06:00 -07:00
Geoffrey White	498b350add	Merge remote-tracking branch 'upstream/master' into plus	2020-08-13 18:21:28 +01:00
Robert Marsh	de87f8fc42	Merge pull request #4057 from geoffw0/sal ... C++: SAL.qll QLDoc and cleanup	2020-08-13 12:33:52 -04:00
Geoffrey White	93f95b1c22	Merge pull request #4053 from jbj/SimpleRangeAnalysis-mul ... C++: SimpleRangeAnalysis: unsigned multiplication	2020-08-13 16:59:31 +01:00
Geoffrey White	3d60756d40	C++: Downgrade the query precision.	2020-08-13 15:45:57 +01:00
Geoffrey White	7349333006	C++: Taint through char append.	2020-08-13 15:13:47 +01:00
Jonas Jensen	36373fce9b	C++: Deprecate DataFlow::definitionByReferenceNode ... This predicate name was only used in IR data flow, not in AST data flow.	2020-08-13 15:27:35 +02:00
Jonas Jensen	3f383784cd	C++: QLDoc formatting fixup	2020-08-13 15:27:35 +02:00
Jonas Jensen	f70a17b858	C++: clearer wording in asExpr doc ... Co-authored-by: Aditya Sharad <6874315+adityasharad@users.noreply.github.com>	2020-08-13 15:27:35 +02:00
Jonas Jensen	5ae8b02bde	C++: Clarify the docs on DataFlow::Node::asExpr ... For IR data flow I also added a `definitionByReferenceNodeFromArgument` predicate to improve compatibility with AST data flow.	2020-08-13 15:27:35 +02:00
Geoffrey White	f5abf74e0f	Update cpp/ql/src/Microsoft/SAL.qll ... Co-authored-by: Robert Marsh <rdmarsh2@gmail.com>	2020-08-13 09:05:22 +01:00
Geoffrey White	2655616a0a	C++: Autoformat.	2020-08-12 16:59:15 +01:00
Geoffrey White	9719da8643	C++: Move a class that looks like it's intended to be public (and is used outside of the library) above the 'Implementation details' threshold.	2020-08-12 16:58:50 +01:00
Geoffrey White	d444778535	C++: Make a few things in SAL.qll private where it looks like that was intended (and they're not used outside the file).	2020-08-12 16:57:43 +01:00
Geoffrey White	aa6cb51bba	C++: QLDoc SAL.qll.	2020-08-12 16:55:26 +01:00
Geoffrey White	b99ca60154	C++: Address review comments.	2020-08-12 12:56:28 +01:00
Jonas Jensen	b4679cb8cf	C++: Autoformat fixup	2020-08-12 13:09:23 +02:00
Jonas Jensen	1ee96a4b4f	C++: SimpleRangeAnalysis: unsigned multiplication	2020-08-12 10:03:04 +02:00
Robert Marsh	e80cc63219	Merge pull request #3861 from dilanbhalla/privatedata ... C++: Private Data File/Buffer Writes	2020-08-11 15:49:31 -04:00
Geoffrey White	a655124213	C++: I think this is more correct.	2020-08-11 17:28:31 +01:00
Geoffrey White	128b8328b9	C++: Autoformat.	2020-08-11 17:03:03 +01:00
Geoffrey White	f62ad75048	C++: Taint through std::string operator+=.	2020-08-11 17:03:02 +01:00
Geoffrey White	cf6f530823	C++: Taint through std::string operator+.	2020-08-11 16:58:55 +01:00
Geoffrey White	a57dfd6b67	C++: Taint through std::string append.	2020-08-11 16:54:39 +01:00
Jonas Jensen	0476b97f63	Merge pull request #3789 from dilanbhalla/cpp ... C++ Memory Unsafe Functions	2020-08-11 10:09:37 +02:00
dilanbhalla	7bd5464b01	Update cpp/ql/src/experimental/Security/CWE/CWE-120/MemoryUnsafeFunctionScan.qhelp ... Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>	2020-08-10 15:43:16 -07:00
dilanbhalla	4dcaa7be57	pr fixes	2020-08-10 15:30:09 -07:00
dilanbhalla	dcfbb86674	pr fixes	2020-08-10 15:14:12 -07:00
Jonas Jensen	1f432dc45f	Merge pull request #4023 from geoffw0/loopdir ... C++: Exclude decrementing unsigned counters from inconsistentLoopDirection.ql	2020-08-10 12:10:29 +02:00
Geoffrey White	0534c69c76	C++: Autoformat.	2020-08-06 19:11:46 +01:00
Geoffrey White	0b5b7fa095	C++: Fix another edge case.	2020-08-06 19:06:42 +01:00
Geoffrey White	b3f3f6d95a	C++: Fix edge case.	2020-08-06 19:03:43 +01:00
Geoffrey White	cbf30e37ed	C++: Fix the issue.	2020-08-06 18:50:18 +01:00
Jonas Jensen	7cc877cbbb	C++: Taint through RangeBasedForStmt (AST only)	2020-08-06 15:37:41 +02:00
Geoffrey White	9f5c37ccaa	Merge branch 'master' into copymove	2020-08-04 15:41:27 +01:00
Arthur Baars	7e72ef350e	Merge pull request #3975 from aibaars/lgtm-suites ... CodeQL: complete LGTM suites	2020-07-30 18:39:01 +02:00
Robert Marsh	ddbec50c07	Merge pull request #3990 from MathiasVP/mathiasvp/fix-qldoc-SemanticStackVariable ... C++: Fix QLDoc for `SemanticStackVariable`	2020-07-29 12:27:29 -07:00
Mathias Vorreiter Pedersen	978bf3aefc	C++: Make QLDoc comment represent a valid C++ template	2020-07-29 15:59:19 +02:00
Arthur Baars	c4041e55ba	CodeQL: complete LGTM suites	2020-07-28 20:40:44 +02:00
Mathias Vorreiter Pedersen	a4242bcb5d	Merge pull request #3962 from rdmarsh2/ir-barrierguard-checks-expr ... C++: make IR BarrierGuard::checks match AST	2020-07-23 09:21:37 +02:00
Robert Marsh	0bb6d0c7ca	C++: make IR BarrierGuard::checks match AST	2020-07-17 15:43:57 -07:00
Geoffrey White	2e5af67626	Merge pull request #3952 from MathiasVP/output-parameter-index-for-UserDefinedFormattingFunction ... C++: Add getOutputParameterIndex override to UserDefinedFormattingFunction class.	2020-07-15 18:11:09 +01:00
Nick Rolfe	c7b668193b	Merge pull request #3929 from igfoo/static_assert ... C++: Give static assertions an enclosing element	2020-07-15 18:03:26 +01:00
Mathias Vorreiter Pedersen	289a908eb8	C++: Update qldoc in reponse to PR comments	2020-07-15 16:24:47 +02:00
Geoffrey White	c4940aaa86	Merge branch 'master' into copymove	2020-07-15 15:01:01 +01:00
Mathias Vorreiter Pedersen	edc33b6516	C++: Add getOutputParameterIndex override to UserDefinedFormattingFunction and accept test changes	2020-07-15 14:46:08 +02:00