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
|
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 |
|
Geoffrey White
|
f343eb9143
|
C++: Split stl.cpp into string.cpp and vector.cpp.
|
2020-08-13 18:04:46 +01:00 |
|
Geoffrey White
|
7349333006
|
C++: Taint through char append.
|
2020-08-13 15:13:47 +01:00 |
|
Geoffrey White
|
732a8fa4c9
|
C++: Add another member function.
|
2020-08-13 14:52:34 +01:00 |
|
Geoffrey White
|
f62ad75048
|
C++: Taint through std::string operator+=.
|
2020-08-11 17:03:02 +01:00 |
|
Geoffrey White
|
cf6f530823
|
C++: Taint through std::string operator+.
|
2020-08-11 16:58:55 +01:00 |
|
Geoffrey White
|
a57dfd6b67
|
C++: Taint through std::string append.
|
2020-08-11 16:54:39 +01:00 |
|
Geoffrey White
|
f824a893ca
|
C++: Add test cases for appending strings.
|
2020-08-11 16:50:52 +01:00 |
|
Geoffrey White
|
030ab4f626
|
C++: Add string append operators to the test (changes layout).
|
2020-08-11 16:47:56 +01:00 |
|
Jonas Jensen
|
c8911ab973
|
C++: Test range-based-for with std::vector too
|
2020-08-07 12:40:00 +02:00 |
|
Jonas Jensen
|
7cc877cbbb
|
C++: Taint through RangeBasedForStmt (AST only)
|
2020-08-06 15:37:41 +02:00 |
|
Jonas Jensen
|
ea0896c78b
|
Merge pull request #3999 from MathiasVP/mathiasvp/range-based-for-loop-taint-tests
C++: Add tests for taint through range-based for loops
|
2020-08-05 09:11:53 +02:00 |
|
Mathias Vorreiter Pedersen
|
4990d00498
|
C++: Add taint tests demonstrating lack of taint through range based for loops
|
2020-07-31 09:57:35 +02:00 |
|
Mathias Vorreiter Pedersen
|
b88ef56cb4
|
C++: Add basic iterator definition that matches STL
|
2020-07-31 09:45:32 +02:00 |
|
Mathias Vorreiter Pedersen
|
c4b97a3a62
|
C++: Accept more test changes
|
2020-07-15 16:19:51 +02:00 |
|
Jonas Jensen
|
2fa54552f0
|
Merge pull request #3914 from geoffw0/cc_followup
C++: Repair swap taint tests
|
2020-07-09 15:54:40 +02:00 |
|
Geoffrey White
|
bc7c83a5d6
|
C++: Add taint test cases confirming that constructor definitions do no need to be present.
|
2020-07-07 16:01:13 +01:00 |
|
Geoffrey White
|
0caa17ab10
|
C++: Test the new methods.
|
2020-07-06 18:47:56 +01:00 |
|
Geoffrey White
|
52e501c41d
|
C++: Extend the 'swap' taint tests with methods that do not have recognizable signatures (copy/move assignment).
|
2020-07-06 18:44:37 +01:00 |
|
Geoffrey White
|
104298e09a
|
Merge branch 'master' into models5
|
2020-06-22 10:59:15 +01:00 |
|
Geoffrey White
|
eebaf0f330
|
C++: Modify the tests so that ConversionConstructors are tested; we don't want the general case for Constructors any more.
|
2020-06-19 10:15:01 +01:00 |
|
Geoffrey White
|
35487ff109
|
Merge branch 'master' into stringtest
|
2020-06-17 19:00:26 +01:00 |
|
Geoffrey White
|
833f5b0cf3
|
C++: Add flow through assignment operators.
|
2020-06-17 15:47:37 +01:00 |
|
Geoffrey White
|
b9a65581ce
|
C++: Some constructors should have dataflow instead of taint.
|
2020-06-17 15:47:37 +01:00 |
|
Geoffrey White
|
031c9b98f1
|
C++: General taint flow through constructors.
|
2020-06-17 15:47:37 +01:00 |
|
Geoffrey White
|
30151c99d7
|
C++: Remove the std::string Constructor model.
|
2020-06-17 15:43:58 +01:00 |
|
Geoffrey White
|
d565cfc58e
|
C++: Add a test of default constructors etc.
|
2020-06-17 15:41:36 +01:00 |
|
Geoffrey White
|
c196ea24b2
|
C++: Add taint tests of class constructors and assignment.
|
2020-06-17 15:41:00 +01:00 |
|
Geoffrey White
|
ea9e9a7a26
|
C++: Add taint tests of std::string constructors and assignment.
|
2020-06-17 15:41:00 +01:00 |
|
Geoffrey White
|
2f192f6a0c
|
C++: Add a test of char* -> std::string -> char* taint.
|
2020-06-11 17:37:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
a38839b446
|
C++: Include copy of IntWrapper class with two data members
|
2020-06-10 22:27:40 +02:00 |
|
Mathias Vorreiter Pedersen
|
ca20f17703
|
C++: Implement move constructor in terms of swap. I'm haven't found anything online on whether this is good or bad, and the only reason for not doing it might be performance.
|
2020-06-10 22:16:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
88dabffd2b
|
C++: Add tests that demonstrate flow through custom swap functions
|
2020-06-10 15:06:57 +02:00 |
|
Jonas Jensen
|
91da0d5567
|
Merge pull request #3592 from geoffw0/strlen
CPP: Don't taint the return value of strlen
|
2020-05-29 19:23:47 +02:00 |
|
Geoffrey White
|
19c33ab41c
|
C++: Refine StrLenFunction, including removal of taint flow.
|
2020-05-29 14:04:27 +01:00 |
|
Geoffrey White
|
d77092c931
|
C++: Add taint tests for strlen.
|
2020-05-29 13:39:40 +01:00 |
|
Jonas Jensen
|
9153f568be
|
C++: Accept test results with location fixes
|
2020-05-28 09:42:49 +02:00 |
|
Geoffrey White
|
95537ed26f
|
C++: Fix mysprintf in test.
|
2020-05-26 18:06:14 +01:00 |
|
Geoffrey White
|
d96bf797ef
|
C++: Test layout.
|
2020-05-26 18:06:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
866b1361ec
|
C++: Accept tests
|
2020-05-15 11:12:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
90d473d886
|
C++: Demonstrate lack of taint through getdelim
|
2020-05-15 11:01:27 +02:00 |
|
Jonas Jensen
|
88eeca39fb
|
Merge commit '52d8acc1a198c5ea29c1dddceda1d6c0fb75de14' into dataflow-defbyref-to-field
This is a partial merge from master. In particular, it takes in #3382
and #3385.
|
2020-05-07 16:46:11 +02:00 |
|