756 Commits

Author	SHA1	Message	Date
Jonas Jensen	1b3d69d617	Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3 ... C++: Support longer access paths in IR field flow	2021-01-25 10:36:03 +01:00
Mathias Vorreiter Pedersen	b4f9b1590d	C++: Restore lost result on git/git. We lost the result in a00bd7ae02 because the added check for type T to type T* conversion didn't handle const qualifiers.	2021-01-22 14:20:18 +01:00
Geoffrey White	3f09a047ae	C++: Test comments.	2021-01-12 14:52:52 +00:00
Geoffrey White	1cde5e1828	C++: Test of taint through ConstructorDelegationInit.	2021-01-11 17:35:50 +00:00
Mathias Vorreiter Pedersen	a00bd7ae02	C++: Respond to review comments.	2021-01-08 19:47:02 +01:00
Mathias Vorreiter Pedersen	7b003678a9	Merge branch 'main' into mathiasvp/reverse-read-take-3	2021-01-07 11:56:18 +01:00
Mathias Vorreiter Pedersen	bb158f1857	C++: Add dataflow testcases that need flow through conflated memory.	2021-01-04 11:43:23 +01:00
Mathias Vorreiter Pedersen	258d04178f	C++: Replace SkippableInstruction with local flow steps.	2020-12-30 13:39:24 +01:00
Mathias Vorreiter Pedersen	72a80e3722	C++: Accept test changes.	2020-12-22 09:14:54 +01:00
Mathias Vorreiter Pedersen	ba4da72b9e	C++: Add examples that require longer access paths	2020-12-22 09:14:53 +01:00
Geoffrey White	3bef0e5c00	C++: Implement a general model.	2020-12-09 18:53:49 +00:00
Cornelius Riemenschneider	feb05542d2	C++: Refactor common implementation of data/taint flow tests.	2020-12-02 15:42:52 +01:00
Cornelius Riemenschneider	239588b5e0	C++: Remove MISSING annotations for tests that are already correct.	2020-12-01 19:41:24 +01:00
Cornelius Riemenschneider	7700e87cca	C++: Address review.	2020-12-01 19:08:49 +01:00
Cornelius Riemenschneider	5b1ab86ac6	C++: Port DefaultTaintTracking tests to inline expectations test.	2020-12-01 19:00:45 +01:00
Cornelius Riemenschneider	0d0fa1b341	C++: Delete difference tests.	2020-11-30 17:33:27 +01:00
Cornelius Riemenschneider	b632ca40b4	C++: Port dataflow/taint-tests to inline expectations test.	2020-11-30 17:32:54 +01:00
Cornelius Riemenschneider	644a0fac98	C++: Port dataflow/dataflow-tests to inline expectations test library.	2020-11-27 16:03:15 +01:00
Robert Marsh	c2e44fa180	C++: autoformat	2020-11-17 09:28:39 -08:00
Robert Marsh	525aeb6551	C++: autoformat	2020-11-13 16:14:07 -08:00
Robert Marsh	bd00988c37	C++: accept test output for DefaultTaintTracking	2020-11-12 14:38:53 -08:00
Robert Marsh	68040b717e	C++: autoformat	2020-11-12 14:32:19 -08:00
Robert Marsh	275d75295c	Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt ... Fix test conflict	2020-11-12 13:28:10 -08:00
Robert Marsh	049bff09e6	Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt ... Make this branch a valid taget for a submodule bump	2020-11-10 14:25:05 -08:00
Robert Marsh	2a6ba40a93	C++: Accept more test changes	2020-11-10 13:59:35 -08:00
Mathias Vorreiter Pedersen	8d4b948acf	Merge branch 'main' into interleave-op-instr-field-flow	2020-11-10 21:15:50 +01:00
Geoffrey White	c4fe8df04c	C++: Support data flow from parameter deref to return value.	2020-11-10 13:17:34 +00:00
Geoffrey White	4563e32e92	C++: Remove data flows we shouldn't need in MemberFunction.	2020-11-10 13:17:24 +00:00
Robert Marsh	95ed5465de	C++: improve handling of function arguments in DTT	2020-11-09 13:02:06 -08:00
Mathias Vorreiter Pedersen	3c2fb5a93f	Merge branch 'main' into interleave-op-instr-field-flow	2020-11-09 09:58:19 +01:00
Cornelius Riemenschneider	e7e5754270	C++: Add taint model for std::vector::emplace/_back.	2020-11-04 16:20:01 +01:00
Cornelius Riemenschneider	62a02cde73	C++: Add test to show missing taint steps for std::vector::emplace/_back	2020-11-04 16:07:15 +01:00
Cornelius Riemenschneider	081ab1e2bb	C++: Add std::vector::emplace/_back to our STL model.	2020-11-04 16:07:08 +01:00
Dave Bartolomeo	f0b9794907	Merge remote-tracking branch 'upstream/main' into work	2020-11-03 11:33:44 -05:00
Dave Bartolomeo	0d1fbd1bdc	Fix annotations	2020-11-02 18:03:40 -05:00
Mathias Vorreiter Pedersen	ed9ad8b5e3	Merge branch 'main' into better-syntax-for-false-positives-and-negatives-inline-expectation	2020-10-31 16:52:16 +01:00
Dave Bartolomeo	42373417e2	Merge from main	2020-10-30 12:02:56 -04:00
Mathias Vorreiter Pedersen	177f94368e	C++: Respond to review comments and accept test changes.	2020-10-30 15:59:39 +01:00
Jonas Jensen	ba41417d61	Merge pull request #4553 from geoffw0/samateregtests ... C++: Additional pointer tests for DefaultTaintTracking.	2020-10-30 10:02:11 +01:00
Mathias Vorreiter Pedersen	835d3fc2b7	C++: Accept tests	2020-10-29 09:27:03 +01:00
Mathias Vorreiter Pedersen	4be02a9463	C++: Use new syntax in field-flow tests	2020-10-29 08:48:37 +01:00
Dave Bartolomeo	c49e33f9cd	Fixup after merge	2020-10-28 16:59:13 -04:00
Dave Bartolomeo	7a2c59c194	Merge from main	2020-10-28 15:35:46 -04:00
Geoffrey White	0b35b34288	C++: Add pointer tests.	2020-10-27 09:47:10 +00:00
Dave Bartolomeo	3fce971f2d	Fix taint propagation to qualifier objects and update test expectations	2020-10-23 17:48:37 -04:00
Dave Bartolomeo	86668058dc	Avoid ODR violation in test code	2020-10-23 17:45:01 -04:00
Robert Marsh	aab9797c2f	Merge branch 'main' into rdmarsh2/cpp/output-iterators-2 ... Resolve merge conflict in tests	2020-10-23 13:50:15 -07:00
Dave Bartolomeo	1e96404ee0	Revert bad changes to basic_string	2020-10-23 13:46:27 -04:00
Dave Bartolomeo	bace0dca6d	Handle more cases that require synthesizing temporary objects ... - Parens around qualifier expressions - Inheritance conversions involving class prvalues	2020-10-23 12:04:09 -04:00
Dave Bartolomeo	b62bda6c3a	Fix regression due to primary instructions for side effects not being computed correctly in the presence of synthetic temporary objects.	2020-10-22 12:55:30 -04:00