Geoffrey White
|
8e9faac363
|
C++: Add support for std::vector begin and end.
|
2020-09-03 10:52:24 +01:00 |
|
Geoffrey White
|
4d47eaa08d
|
C++: Add support for iterator parameters to std::string::assign.
|
2020-09-03 10:52:24 +01:00 |
|
Geoffrey White
|
98f84646d6
|
C++: Result changes due to iterators PR, which adds support for std::string begin and end, and iterator parameters to std::string::insert and some similar functions.
|
2020-09-03 10:52:24 +01:00 |
|
Geoffrey White
|
7917dff843
|
C++: Add test cases for std::string and std::vector using iterator methods.
|
2020-09-03 10:52:23 +01:00 |
|
Geoffrey White
|
fcdbe0f512
|
C++: Add a const conversion constructor to std::iterator in the tests.
|
2020-09-03 10:52:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
3cbc4cf0b9
|
C++: Add field to object taint tests
|
2020-09-02 17:32:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
69c1eadfdc
|
Merge branch 'main' into mathiasvp/read-step-without-memory-operands
|
2020-09-02 14:21:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
472363b86e
|
Merge branch 'main' into mathiasvp/read-step-without-memory-operands
|
2020-09-01 11:08:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
3cca74e654
|
C++: Accept test changes
|
2020-09-01 10:54:46 +02:00 |
|
Robert Marsh
|
10005dd199
|
Merge branch 'main' into rdmarsh2/cpp/input-iterators-1Merge changes to input/output models for functions that return thisand resolve conflicting changes to taint tests.
|
2020-08-31 14:49:01 -07:00 |
|
Rasmus Lerchedahl Petersen
|
750735c70c
|
Dataflow: Update test expectations
|
2020-08-28 15:00:01 +02:00 |
|
Jonas Jensen
|
55d7ac88f9
|
Merge pull request #4148 from geoffw0/vecextra
C++: Improvements to string and vector models.
|
2020-08-28 10:05:42 +02:00 |
|
Geoffrey White
|
208cd4c888
|
C++: Fix assign in the test stl.h.
|
2020-08-27 16:52:22 +01:00 |
|
Geoffrey White
|
927a4faa58
|
C++: Remove the non-reference case that we shouldn't need.
|
2020-08-27 15:42:40 +01:00 |
|
Geoffrey White
|
865d91de80
|
C++: Fix getAValueTypeParameterIndex().
|
2020-08-27 15:08:58 +01:00 |
|
Geoffrey White
|
816b8abd7c
|
C++: Add a test case using a const int *.
|
2020-08-27 15:05:23 +01:00 |
|
Geoffrey White
|
a5a3078b58
|
C++: Add a test case using a typedef int.
|
2020-08-27 12:11:56 +01:00 |
|
Geoffrey White
|
6f62803e1f
|
C++: Taint tests for array and reference assignments.
|
2020-08-27 11:26:25 +01:00 |
|
Geoffrey White
|
111da4c352
|
C++: Add a model of std::vector::assign.
|
2020-08-27 10:22:31 +01:00 |
|
Geoffrey White
|
fbac4ce44f
|
C++: Split StdStringCStr and allow reverse flow on data.
|
2020-08-27 10:11:03 +01:00 |
|
Geoffrey White
|
fbff44ea45
|
C++: Add reverse taint as well.
|
2020-08-27 10:09:51 +01:00 |
|
Geoffrey White
|
6ae96baaf6
|
C++: Model std::vector::data.
|
2020-08-27 10:08:58 +01:00 |
|
Geoffrey White
|
2235c19593
|
C++: Add test cases for 'assign' and extra cases for 'data'.
|
2020-08-27 10:08:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
e4807c0181
|
C++: Accept test changes
|
2020-08-26 15:51:09 +02:00 |
|
Mathias Vorreiter Pedersen
|
2a8ee90828
|
C++: Demonstrate lack of flow when taking the address of a field and loading it afterwards
|
2020-08-26 15:50:57 +02:00 |
|
Robert Marsh
|
34ddbc0dc2
|
C++: add std::string::end to model
|
2020-08-25 13:22:00 -07:00 |
|
Geoffrey White
|
23a792b8c6
|
C++: Add tests of nested vectors.
|
2020-08-25 12:13:32 +01:00 |
|
Robert Marsh
|
9aa3735165
|
C++: add tests for non-std:: iterators
|
2020-08-24 14:19:34 -07:00 |
|
Geoffrey White
|
adbfad21ef
|
C++: Correct the localFlow test.
|
2020-08-24 18:05:30 +01:00 |
|
Geoffrey White
|
d3c8ffb995
|
C++: Clean up, comment, and restrict the new flow to the post-update node of the returned reference.
|
2020-08-24 14:07:06 +01:00 |
|
Geoffrey White
|
f2caa8a2b0
|
C++: Reverse taint through function models returning a reference.
|
2020-08-24 14:05:04 +01:00 |
|
Geoffrey White
|
f25ef26c37
|
C++: Permit taint flow to the left side of an assignment.
|
2020-08-24 14:01:49 +01:00 |
|
Geoffrey White
|
1da78ada14
|
C++: Model 'operator[]' and 'at' for std::string, std::vector and other containers.
|
2020-08-24 13:58:43 +01:00 |
|
Geoffrey White
|
f6770c5b88
|
C++: Add tests for std::string 'operator[]' and 'at()'.
|
2020-08-24 13:49:39 +01:00 |
|
Robert Marsh
|
bc0d21879d
|
Merge branch 'main' into rdmarsh2/cpp/input-iterators-1
Resolve test conflict
|
2020-08-21 14:36:27 -07:00 |
|
Robert Marsh
|
4c82753e8d
|
C++: remove constexpr in stl.h temporarily
|
2020-08-21 14:22:32 -07:00 |
|
Robert Marsh
|
94d4e05c25
|
C++: Fix iterator taint flow
|
2020-08-21 14:04:45 -07:00 |
|
Robert Marsh
|
656340f5c6
|
C++: more tests for string iterator flow
|
2020-08-21 13:48:36 -07:00 |
|
Geoffrey White
|
3d171f358a
|
Merge remote-tracking branch 'upstream/main' into vecmethods
|
2020-08-20 13:29:28 +01:00 |
|
Geoffrey White
|
cda9fd250b
|
C++: Model vector methods.
|
2020-08-20 10:30:01 +01:00 |
|
Geoffrey White
|
620126d38c
|
C++: Add vector taint cases to test.
|
2020-08-20 10:27:25 +01:00 |
|
Geoffrey White
|
43c8efdf63
|
C++: Repair the range based for test.
|
2020-08-20 10:19:54 +01:00 |
|
Geoffrey White
|
8afa92d881
|
C++: Add more detail to the vector class in the test stl.h.
|
2020-08-20 09:39:35 +01:00 |
|
Robert Marsh
|
20188b7bc2
|
C++: input iterator models
|
2020-08-19 12:11:36 -07:00 |
|
Geoffrey White
|
0234bca6ca
|
C++: Fix a hole in StdStringAppend and clarify comments.
|
2020-08-17 17:55:44 +01:00 |
|
Geoffrey White
|
a11ca06189
|
C++: Implement more std::string models.
|
2020-08-17 17:33:09 +01:00 |
|
Geoffrey White
|
9204940830
|
C++: Add test cases for std::string methods.
|
2020-08-17 17:31:26 +01:00 |
|
Geoffrey White
|
789e781eb7
|
C++: Add prototypes for std::string methods to test.
|
2020-08-17 16:01:25 +01:00 |
|
Geoffrey White
|
a839f1fae5
|
C++: Split off stringstream.cpp.
|
2020-08-13 18:17:24 +01:00 |
|
Geoffrey White
|
49d2f66ddb
|
C++: Tidy up sources and sinks.
|
2020-08-13 18:08:58 +01:00 |
|