5276 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	072e1967c1	C++: Accept more tests	2020-10-02 15:51:29 +02:00
Mathias Vorreiter Pedersen	48902c07a4	C++: Accept test changes	2020-10-02 14:10:58 +02:00
Mathias Vorreiter Pedersen	8f4982d3f5	C++: Remove flow into ReadSideEffect instructions in simpleInstructionLocalFlowStep	2020-10-02 14:10:28 +02:00
Geoffrey White	4b0e9a4fb1	C++: Remove the model of make_pair.	2020-10-02 10:55:13 +01:00
Geoffrey White	0b6096ebfe	C++: Define make_pair and declare std::forward in the test.	2020-10-02 10:51:34 +01:00
Chris Smowton	aa707e9370	Merge pull request #4381 from smowton/smowton/admin/fix-owasp-broken-links ... Fix OWASP broken links	2020-10-02 08:51:36 +01:00
Gulshan Singh	f026d3a1e6	C++: Improve bitwise and range analysis	2020-10-01 23:30:51 -07:00
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