Mathias Vorreiter Pedersen
|
d18dd5ab09
|
C++: Add testcase demonstrating the underlying problem in 6ca9c449af.
|
2020-09-15 12:32:15 +02:00 |
|
Jonas Jensen
|
25412da845
|
Merge pull request #4253 from geoffw0/stringstream2
C++: Model more stringstream features
|
2020-09-15 12:19:26 +02:00 |
|
Robert Marsh
|
5f2cafc4f5
|
C++: Interprocedural iterator flow
|
2020-09-14 14:36:19 -07:00 |
|
Mathias Vorreiter Pedersen
|
0c14e2b69a
|
C++: Fix annotations in taint.cpp
|
2020-09-14 23:08:50 +02:00 |
|
Mathias Vorreiter Pedersen
|
7cd6137b34
|
Merge branch 'main' into mathiasvp/array-field-flow
|
2020-09-14 20:45:06 +02:00 |
|
Geoffrey White
|
6b035df660
|
C++: Repair taint flow from previous.
|
2020-09-14 10:21:43 +01:00 |
|
Geoffrey White
|
b404a339a4
|
C++: Correct isQualifierObject -> isQualifierAddress.
|
2020-09-11 16:15:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
2d57abdcbe
|
Merge branch 'main' into mathiasvp/read-step-without-memory-operands
|
2020-09-11 12:47:29 +02: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 |
|
Mathias Vorreiter Pedersen
|
ff09104089
|
Merge branch 'main' into mathiasvp/array-field-flow
|
2020-09-11 09:25:50 +02:00 |
|
Robert Marsh
|
2e187a51ae
|
C++: test for interprocedurl iterator flow
|
2020-09-09 12:45:06 -07:00 |
|
Mathias Vorreiter Pedersen
|
bb9cf72a31
|
Merge branch 'main' into mathiasvp/make_shared_make_unique-models
|
2020-09-09 20:51:56 +02:00 |
|
Geoffrey White
|
46a07fa9b2
|
C++: Model std::stringstream::str.
|
2020-09-09 18:22:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
ad602b892b
|
Merge branch 'main' into mathiasvp/read-step-without-memory-operands
|
2020-09-09 16:17:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
e91d321d28
|
Merge pull request #4234 from geoffw0/stringstream
C++: Tests and initial models for taint through std::stringstream / std::ostream.
|
2020-09-09 15:31:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
17867f25a7
|
C++: Accept more test changes
|
2020-09-09 15:27:56 +02:00 |
|
Geoffrey White
|
d8bb49b9a0
|
C++: We get a few additional results for DefaultTaintTracking as well.
|
2020-09-09 13:18:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
8226515138
|
C++: Add a taint model for std::{shared, unique}_ptr<T>::get
|
2020-09-09 12:22:29 +02:00 |
|
Robert Marsh
|
eab1557e27
|
C++: output iterator flow via FlowVar
|
2020-09-08 14:09:57 -07:00 |
|
Robert Marsh
|
703db0b9a6
|
C++: noisy output iterators in AST taint tracking
|
2020-09-08 13:45:23 -07:00 |
|
Robert Marsh
|
983f54f11a
|
C++: simple tests for vector output iterators
|
2020-09-08 13:27:41 -07:00 |
|
Mathias Vorreiter Pedersen
|
f025d09bf0
|
C++: Accept test changes
|
2020-09-08 19:12:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
7ac5e84925
|
C++: Add make_shared and make_unique test cases
|
2020-09-08 19:03:54 +02:00 |
|
Geoffrey White
|
90c7a79272
|
C++: Fix the object/refs up.
|
2020-09-08 16:49:11 +01:00 |
|
Geoffrey White
|
5a3d41879a
|
C++: Change some of the taint flows to data flows.
|
2020-09-08 16:49:11 +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 |
|
Mathias Vorreiter Pedersen
|
41147d245d
|
C++: Accept test changes
|
2020-09-08 14:35:22 +02:00 |
|
Geoffrey White
|
fafd2f0a7c
|
C++: Add test cases for stringstream / ostream.
|
2020-09-07 18:27:42 +01:00 |
|
Jonas Jensen
|
0fe5d75375
|
Merge pull request #4196 from MathiasVP/mathiasvp/field-to-object-taint-tests
C++: Add field to object taint tests
|
2020-09-07 13:02:22 +02:00 |
|
Mathias Vorreiter Pedersen
|
a4890ef99c
|
C++: Add annotations describing whether the flow is an instance of field-to-object flow
|
2020-09-04 18:32:28 +02:00 |
|
Mathias Vorreiter Pedersen
|
208b85c7fc
|
Merge branch 'main' into mathiasvp/read-step-without-memory-operands
|
2020-09-04 18:04:15 +02:00 |
|
Mathias Vorreiter Pedersen
|
ed7e499b02
|
Merge branch 'main' into mathiasvp/read-step-without-memory-operands
|
2020-09-04 17:25:36 +02:00 |
|
Mathias Vorreiter Pedersen
|
c67951682a
|
C++: Fix two bad join orders in readStep and storeStep. And use a min aggregate to guarentee that a FieldContent's toString has at most one result.
|
2020-09-04 17:12:30 +02:00 |
|
Geoffrey White
|
6c40e22f45
|
C++: Support further reverse taint flows on things that return *this.
|
2020-09-04 09:45:10 +01:00 |
|
Geoffrey White
|
018b0a5abf
|
C++: Model std::string front, back and push_back.
|
2020-09-04 09:45:07 +01:00 |
|
Geoffrey White
|
6e734a894f
|
C++: Additional test cases for std::string.
|
2020-09-04 09:44:58 +01:00 |
|
Geoffrey White
|
d4cbb25e09
|
C++: Model std::string constructors and container constructors that use iterators.
|
2020-09-03 10:52:27 +01:00 |
|
Geoffrey White
|
1ac0aa169d
|
C++: Add a few more test cases.
|
2020-09-03 10:52:26 +01:00 |
|
Geoffrey White
|
95ca4b674d
|
C++: Add model for std::vector::insert.
|
2020-09-03 10:52:25 +01:00 |
|
Geoffrey White
|
f61c7ffc1a
|
C++: Add support for iterator parameters to std::vector::assign.
|
2020-09-03 10:52:25 +01:00 |
|
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 |
|