6969 Commits

Author	SHA1	Message	Date
Gulshan Singh	78625b764d	C++: Add test for bitwise and ranges	2020-10-01 23:30:48 -07:00
Jonas Jensen	48c6f34f91	Merge pull request #4372 from matt-gretton-dann/cpp20-constinit ... Add support for Variable.is_constinit()	2020-10-01 20:19:56 +02:00
Geoffrey White	ad9f306352	C++: Model taint flow only when the second component of a pair would be tainted.	2020-10-01 17:38:09 +01:00
Ian Lynagh	e555b6b2a8	Merge pull request #4380 from github/igfoo/unnamed ... C++: Accept test changes in unnamed entity naming	2020-10-01 17:16:20 +01:00
Chris Smowton	578ea1ae43	Fix OWASP broken links	2020-10-01 13:09:52 +01:00
Geoffrey White	fb9a3b323d	C++: Modernize MemcpyFunction.	2020-10-01 10:53:18 +01:00
Geoffrey White	ce9abe071d	C++: Remove taint flow from size parameter.	2020-10-01 10:51:01 +01:00
Geoffrey White	ed5c3b321f	C++: Repair callDereferences for failing test.	2020-10-01 10:38:12 +01:00
Geoffrey White	ff78f50a03	Merge branch 'main' into callderef	2020-10-01 09:40:36 +01:00
Geoffrey White	cafd320953	C++: Add set/map constructor models.	2020-09-30 17:41:06 +01:00
Geoffrey White	6520f9d0fb	C++: Add basic std::set models.	2020-09-30 17:23:56 +01:00
Geoffrey White	5bc7d3a9b2	C++: Add tests for std::set and std::unordered_set.	2020-09-30 17:23:56 +01:00
Matthew Gretton-Dann	e0ca4dafb8	Add support for Variable.is_constinit()	2020-09-30 16:31:45 +01:00
Geoffrey White	952cc89c2a	C++: Improve make_pair in stl.h (using remove_reference).	2020-09-30 16:17:06 +01:00
Geoffrey White	7ecd229ce7	C++: Improve make_pair in stl.h (jbj solution).	2020-09-30 16:16:53 +01:00
Geoffrey White	282d3e8f7e	Merge pull request #4322 from jbj/range-analysis-custom-defs ... C++: Support custom defs in SimpleRangeAnalysis	2020-09-30 15:43:32 +01:00
Jonas Jensen	3af3d87ecd	C++: Change note for several range-analysis PRs	2020-09-30 13:52:23 +02:00
Jonas Jensen	b1c826e5c0	Merge pull request #4135 from rdmarsh2/rdmarsh2/cpp/output-iterators-1 ... C++: Output iterators in AST taint tracking	2020-09-30 12:54:55 +02:00
Jonas Jensen	68f6d93325	C++: Autoformat fixup	2020-09-30 09:49:56 +02:00
Ian Lynagh	d5f8cbc50c	C++: Accept test changes in unnamed entity naming	2020-09-29 17:30:33 +01:00
Geoffrey White	6de29a6dd3	C++: Provide std::pair constructor initializers.	2020-09-28 17:52:33 +01:00
Ian Lynagh	8a76195f04	Merge pull request #4356 from github/igfoo/front_end ... C++: accept test changes from extractor frontend upgrade	2020-09-28 17:27:37 +01:00
Geoffrey White	8059230bbc	Update cpp/ql/src/semmle/code/cpp/models/implementations/StdPair.qll ... Co-authored-by: Jonas Jensen <jbj@github.com>	2020-09-28 16:59:28 +01:00
Geoffrey White	773bc48a91	C++: Use a more modern make_pair.	2020-09-28 16:54:41 +01:00
Geoffrey White	759324ca1b	Update cpp/ql/src/semmle/code/cpp/models/implementations/StdPair.qll ... Co-authored-by: Jonas Jensen <jbj@github.com>	2020-09-28 16:51:21 +01:00
Nick Rolfe	7609ce2d47	C++: accept test changes from extractor frontend upgrade	2020-09-28 12:23:26 +01:00
Geoffrey White	11587c930b	C++: Autoformat.	2020-09-28 09:19:35 +01:00
Robert Marsh	27dc49ff7a	C++: Fix performance issue in PartialDefinition	2020-09-25 19:08:07 -07:00
Robert Marsh	713bdae77a	C++: sync identical files	2020-09-25 13:54:58 -07:00
Robert Marsh	9240256a9f	C++: fix QLDoc	2020-09-25 11:55:39 -07:00
Geoffrey White	09b5fb6753	C++: Fix comments.	2020-09-25 10:41:25 +01:00
Robert Marsh	1445b31864	C++: QLDoc for Operand	2020-09-24 16:34:16 -07:00
Robert Marsh	e51b9215e4	C++: QLDoc for Overlap in IR construction	2020-09-24 15:56:29 -07:00
Robert Marsh	e9b1d817c7	C++: QLDoc for VirtualVariable in IR construction	2020-09-24 15:55:57 -07:00
Robert Marsh	46ff4d524f	C++: autoformat	2020-09-24 14:54:31 -07:00
Robert Marsh	ca06637de0	C++: add qldoc comment	2020-09-24 10:40:45 -07:00
Geoffrey White	ec3c1568d2	C++: Model erase.	2020-09-24 18:38:29 +01:00
Geoffrey White	8b91d5077d	C++: Model find.	2020-09-24 18:38:29 +01:00
Geoffrey White	d550741c0c	C++: Model insert_or_assign.	2020-09-24 18:38:28 +01:00
Geoffrey White	c51294e423	C++: Model operator[] and at.	2020-09-24 18:38:28 +01:00
Geoffrey White	13b15d9bcd	C++: Model swap.	2020-09-24 18:38:27 +01:00
Geoffrey White	6119bf3430	C++: Model begin and end.	2020-09-24 18:38:27 +01:00
Geoffrey White	25e0c680c6	C++: Model insert.	2020-09-24 18:38:27 +01:00
Robert Marsh	094b06ec2a	C++: remove unneeded predicate	2020-09-24 10:37:38 -07:00
Geoffrey White	0dca7f81bc	C++: Model std::swap.	2020-09-24 15:49:33 +01:00
Jonas Jensen	e012dce755	Merge pull request #4334 from github/faster-skip-copy-value-instructions ... C++: Manual recursion in `skipCopyValueInstructions`	2020-09-24 16:43:25 +02:00
Geoffrey White	49f9a76c54	C++: Add tests for std::map and std::unordered_map.	2020-09-24 15:19:39 +01:00
Robert Marsh	89332ca303	C++: autoformat	2020-09-23 15:29:51 -07:00
Robert Marsh	774dcc7c52	C++: New model class for iterator op* and op[]	2020-09-23 15:29:37 -07:00
Geoffrey White	71a605b7d9	C++: Add tests for std::pair.	2020-09-23 18:43:28 +01:00