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 |
|
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 |
|
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 |
|
Geoffrey White
|
ceea947f5e
|
C++: Add another test case.
|
2020-10-22 12:41:23 +01:00 |
|
Geoffrey White
|
3cca8443f8
|
C++: Add memcpy(vector test.
|
2020-10-22 09:46:07 +01:00 |
|
Geoffrey White
|
227bf91626
|
C++: Correct test annotation.
|
2020-10-22 09:45:09 +01:00 |
|
Dave Bartolomeo
|
5259f86e32
|
Accept diff (needs further investigation, though)
|
2020-10-21 18:06:34 -04:00 |
|
Robert Marsh
|
413c845e97
|
Merge branch 'main' into rdmarsh2/cpp/output-iterators-2
Accept test changes for unnamed elements
|
2020-10-20 15:22:08 -07:00 |
|
Dave Bartolomeo
|
ade6d10e58
|
Merge remote-tracking branch 'upstream/main' into work
|
2020-10-20 07:24:42 -04:00 |
|
Mathias Vorreiter Pedersen
|
528afc55ab
|
Merge pull request #3788 from geoffw0/callderef
C++: Add bcopy to models and use it.
|
2020-10-20 12:15:23 +02:00 |
|
Dave Bartolomeo
|
d0b93df4ec
|
Merge from main
|
2020-10-19 15:17:19 -04:00 |
|
Ian Lynagh
|
987c16ed53
|
Merge remote-tracking branch 'upstream/main' into igfoo/unnamed
|
2020-10-19 19:09:41 +01:00 |
|
Geoffrey White
|
8646d5c811
|
C++: Fix test failure (we no longer have taint flow from the size parameter).
|
2020-10-19 17:37:11 +01:00 |
|
Dave Bartolomeo
|
129e250569
|
Update test expectations
|
2020-10-17 17:01:24 -04:00 |
|
Dave Bartolomeo
|
40cd96eb1d
|
Merge from main
|
2020-10-17 15:14:26 -04:00 |
|
Dave Bartolomeo
|
e4fdf699ad
|
Accept improved test results
|
2020-10-17 14:33:10 -04:00 |
|
Dave Bartolomeo
|
1b53c4684d
|
Fix test expectations due to pair/make_pair fixes
|
2020-10-17 09:46:18 -04:00 |
|
Dave Bartolomeo
|
7da4eef90d
|
Fix subtle typing issue with std::makr_pair
|
2020-10-17 08:53:20 -04:00 |
|
Dave Bartolomeo
|
675256acab
|
Accept test diffs from set.cpp (50 new good results!)
|
2020-10-16 17:14:41 -04:00 |
|
Dave Bartolomeo
|
af799a79da
|
Accept good test diffs
|
2020-10-16 17:07:46 -04:00 |
|
Robert Marsh
|
1f8167b47b
|
C++: fix test annotations
Co-authored-by: Jonas Jensen <jbj@github.com>
|
2020-10-16 16:16:27 -04:00 |
|
Dave Bartolomeo
|
14ac9859c1
|
Remove more ODR violations from test code.
PrintAST now works on `library-tests/dataflow/taint-tests`.
|
2020-10-16 10:26:42 -04:00 |
|