Simon Friis Vindum
|
f066f21751
|
C++: Make swap member functions data-flow functions
|
2024-09-04 13:55:19 +02:00 |
|
Mathias Vorreiter Pedersen
|
24a63ae94d
|
C++: Block flow by default.
|
2024-02-16 12:56:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
fb4bd53ec5
|
Revert "Merge pull request #15528 from MathiasVP/flow-barrier-interface"
This reverts commit c5dc88345d, reversing
changes made to 781486172e.
|
2024-02-13 13:42:58 +00:00 |
|
Mathias Vorreiter Pedersen
|
21b9b3b87f
|
C++: Accept test changes.
|
2024-02-06 16:15:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
3efe60fdd2
|
C++: Accept test changes.
|
2021-10-28 12:35:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
0679142607
|
C++: Accept test changes.
|
2021-10-01 18:27:55 +02:00 |
|
Mathias Vorreiter Pedersen
|
dd6b27df24
|
C++: Fix test annotation.
|
2021-03-16 22:35:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b6589c8be
|
C++: Accept test changes.
|
2021-03-10 15:47:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
ffc6af73b7
|
C++: Accept test changes.
|
2021-03-02 11:00:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
52e2a69db9
|
C++: Accept test changes.
|
2021-01-27 16:56:37 +01:00 |
|
Cornelius Riemenschneider
|
b632ca40b4
|
C++: Port dataflow/taint-tests to inline expectations test.
|
2020-11-30 17:32:54 +01: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 |
|
Geoffrey White
|
5cc11f1c44
|
C++: Additional model for 'this' flow through chains.
|
2020-09-17 14:12:30 +01:00 |
|
Geoffrey White
|
73399cb5f7
|
C++: Model GetLine.
|
2020-09-17 14:05:43 +01:00 |
|
Geoffrey White
|
2c15e6f934
|
C++: Add test cases.
|
2020-09-17 13:43:07 +01:00 |
|
Geoffrey White
|
4d6125841d
|
C++: Clean up multiply defined functions.
|
2020-09-17 11:48:26 +01:00 |
|
Geoffrey White
|
c4de071a4c
|
C++: Flow through swap.
|
2020-09-16 13:39:07 +01:00 |
|
Geoffrey White
|
eb7bd6e176
|
C++: Flow through putback.
|
2020-09-16 13:39:07 +01:00 |
|
Geoffrey White
|
7cc60a30a6
|
C++: Flow through get, peek, read, readsome.
|
2020-09-16 13:36:41 +01:00 |
|
Geoffrey White
|
56390c1aef
|
C++: Flow through operator>>.
|
2020-09-16 13:32:13 +01:00 |
|
Geoffrey White
|
dd53e3fe65
|
C++: Fix data flow to return value.
|
2020-09-11 11:14:58 +01:00 |
|
Geoffrey White
|
597757d76f
|
C++: Model std::stringstream put and write.
|
2020-09-11 11:14:57 +01:00 |
|
Geoffrey White
|
66a5c38eef
|
C++: Model std::stringstream constructor.
|
2020-09-11 11:14:57 +01:00 |
|
Geoffrey White
|
46a07fa9b2
|
C++: Model std::stringstream::str.
|
2020-09-09 18:22:06 +01:00 |
|
Geoffrey White
|
8a143bec3a
|
C++: Reverse taint through operator<<.
|
2020-09-08 16:49:10 +01:00 |
|
Geoffrey White
|
b73ff8da63
|
C++: Flow through operator<<.
|
2020-09-08 16:49:10 +01:00 |
|
Geoffrey White
|
fafd2f0a7c
|
C++: Add test cases for stringstream / ostream.
|
2020-09-07 18:27:42 +01:00 |
|
Geoffrey White
|
a839f1fae5
|
C++: Split off stringstream.cpp.
|
2020-08-13 18:17:24 +01:00 |
|