3152 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	b5102043b1	Fix comments.	2020-12-18 14:19:02 +01:00
Mathias Vorreiter Pedersen	f5e4725642	C++: Propagate flow from instruction's to non-exact operands for arrays and unions, and accept test changes.	2020-12-18 13:54:34 +01:00
Mathias Vorreiter Pedersen	2bf8e47932	Merge branch 'main' into default-taint-tracking-operand-instruction-interleaving	2020-12-18 11:59:10 +01:00
Mathias Vorreiter Pedersen	7ccd48e53c	Make DefaultTaintTracking do operand->instruction->operand interleaving like DataFlowUtil.	2020-12-18 11:57:16 +01:00
Jonas Jensen	fd7dec7f20	Merge pull request #4824 from geoffw0/modelchanges5 ... C++: Add cases in the Allocation model.	2020-12-18 09:16:01 +01:00
Geoffrey White	c89f7d824b	C++: Back out support for SysAllocString. It turns out supporting all of the SysAlloc stuff is beyond our current models, supporting just SysFreeString as we do is OK.	2020-12-16 15:08:53 +00:00
Jonas Jensen	406cc64dcc	Merge pull request #4831 from geoffw0/printfunknown ... C++: Fix Printf.qll specsAreKnown	2020-12-16 10:56:56 +01:00
Geoffrey White	93dfeac3c8	C++: Make specsAreKnown more accurate.	2020-12-15 17:43:28 +00:00
Geoffrey White	676e85a155	C++: Re-enable the check.	2020-12-15 17:42:10 +00:00
Geoffrey White	94dea9f71d	C++: Add a test of unknown format specifiers (with specsAreKnown check disabled).	2020-12-15 17:40:32 +00:00
Geoffrey White	4bf2f3af50	C++: Fix comment.	2020-12-15 10:15:41 +00:00
Geoffrey White	d7a92e581f	Merge branch 'main' into swap	2020-12-14 17:54:11 +00:00
Geoffrey White	9c77d3c829	C++: Add AliasFunction model.	2020-12-14 17:52:02 +00:00
Geoffrey White	f9a7322d68	C++: Remove redundant check.	2020-12-14 17:16:16 +00:00
Geoffrey White	e02ebfb9bd	C++: Add extra cases to Allocation / Deallocation.	2020-12-14 14:00:36 +00:00
Robert Marsh	0210c1f721	Merge pull request #4783 from geoffw0/modelchanges4 ... C++: More use of set literals.	2020-12-10 15:24:50 -08:00
Geoffrey White	b79ca4535a	C++: Undo the iterator.qll change. Notice that it was 'and' not 'or'.	2020-12-10 18:29:39 +00:00
Geoffrey White	3bef0e5c00	C++: Implement a general model.	2020-12-09 18:53:49 +00:00
Geoffrey White	d08efb4e47	C++: Combine the member swap models.	2020-12-08 19:50:13 +00:00
Geoffrey White	4a81d36309	C++: Move all of the swap models into Swap.qll.	2020-12-08 18:19:43 +00:00
Geoffrey White	e18f290864	C++: Correct comment.	2020-12-08 16:55:19 +00:00
james	da16fad0f1	Merge branch 'rc/1.26' into 126-mergeback	2020-12-08 09:26:12 +00:00
Geoffrey White	ef131d3951	C++: Fix StandardDeallocationFunction.	2020-12-07 18:52:35 +00:00
Geoffrey White	281b56b2ae	C++: Add comments to the Allocation and Deallocation libraries indicating where the functions come from.	2020-12-07 18:52:03 +00:00
Geoffrey White	998eaf90ee	C++: Run through updated autoformat.	2020-12-04 18:53:24 +00:00
Jonas Jensen	b4be72268d	Merge pull request #4722 from rdmarsh2/rdmarsh2/cpp/range-analysis-overflow-perf ... C++: Filter out lower bounds on overflowing exprs	2020-12-04 08:29:21 +01:00
Robert Marsh	b45f7846db	C++: autoformat	2020-12-03 15:48:42 -08:00
Geoffrey White	13d9d5dc45	C++: Use [,] more in general.	2020-12-03 18:50:43 +00:00
Geoffrey White	2a4fba0ff9	C++: Use [,] more in models.	2020-12-03 17:27:31 +00:00
Geoffrey White	d20619d779	Merge branch 'main' into modelchanges3	2020-12-02 14:45:54 +00:00
Mathias Vorreiter Pedersen	203bbdd84f	Merge pull request #4741 from criemen/port-dataflow-tests ... C++: Port dataflow tests to inline expectations test library.	2020-12-02 10:25:52 +01:00
Robert Marsh	8c1f15b261	C++: refactor getLowerBoundsImpl for perfomance	2020-12-01 14:42:37 -08:00
Geoffrey White	7c00477736	C++: Combine getOutputParameterIndex and isOutputStream.	2020-12-01 16:27:30 +00:00
Geoffrey White	c9c159ad0b	C++: Autoformat.	2020-12-01 15:37:26 +00:00
Geoffrey White	799b932c17	C++: Restore QLDoc on deprecated predicates.	2020-12-01 15:21:06 +00:00
Geoffrey White	79f32b0e26	C++: Autoformat.	2020-12-01 10:51:51 +00:00
Geoffrey White	9c277b3cb1	C++: Fix a small bug in the ArrayFunction model for FormattingFunction.	2020-11-30 17:55:25 +00:00
Geoffrey White	b52ddbfc42	C++: Implement isOutputStream, isOutputString for UserDefinedFormattingFunction as well.	2020-11-30 17:55:24 +00:00
Geoffrey White	c3b16a5fd2	C++: Implement FormattingFunction isOutputStream, isOutputString so that subclasses don't need to be accessed for this information, and can be private.	2020-11-30 17:55:23 +00:00
Anders Schack-Mulligen	8f2094f0bf	Autoformat.	2020-11-30 14:42:38 +01:00
Anders Schack-Mulligen	931322e4c5	Merge pull request #4668 from aschackmull/dataflow/refactor-pruning ... Dataflow: Refactor pruning stages.	2020-11-30 09:37:04 +01:00
Geoffrey White	905b04a6fb	C++: Model classes in StdString.qll.	2020-11-27 19:12:01 +00:00
Cornelius Riemenschneider	644a0fac98	C++: Port dataflow/dataflow-tests to inline expectations test library.	2020-11-27 16:03:15 +01:00
Anders Schack-Mulligen	fec9758252	Dataflow: Sync.	2020-11-27 12:16:43 +01:00
Jonas Jensen	a48235e871	Merge pull request #4730 from MathiasVP/definitionHasPhiNode-join-order-fix ... C++: Fix join order in definitionHasPhiNode	2020-11-27 09:54:37 +01:00
Jonas Jensen	edb57c2da0	Merge pull request #4731 from criemen/remove-cpp-abstract ... C++: Remove uses of abstract from the standard library.	2020-11-27 09:53:24 +01:00
Jonas Jensen	ad4b2beafa	Merge pull request #4727 from criemen/remove-abstract-classes ... C++/C#/JS/Python/Java XML.qll: Remove abstract from class hierarchy.	2020-11-27 08:17:21 +01:00
Mathias Vorreiter Pedersen	a4c060a4c6	Merge pull request #4729 from MathiasVP/safe-external-api-function-use-model-interfaces-only ... C++: Use model interfaces in DefaultSafeExternalAPIFunction	2020-11-26 16:00:19 +01:00
Cornelius Riemenschneider	f6c3c2bdcc	C++: Auto-format Type.qll.	2020-11-26 11:45:49 +01:00
Cornelius Riemenschneider	5d80417854	Update cpp/ql/src/semmle/code/cpp/Type.qll ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2020-11-26 10:39:17 +01:00