Jonas Jensen 6b2ae5d1ad Merge pull request #4393 from MathiasVP/no-more-flow-into-read-side-effect ...

C++: No more flow into ReadSideEffect instructions

2020-10-05 19:46:32 +02:00

..

arrayassignment.cpp

C++: Add flow through arrays

2020-09-15 14:46:11 +02:00

copyableclass_declonly.cpp

C++: Add taint test cases confirming that constructor definitions do no need to be present.

2020-07-07 16:01:13 +01:00

copyableclass.cpp

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

format.cpp

C++: Accept more test changes

2020-07-15 16:19:51 +02:00

IRTaintTestCommon.qll

C++: Remove flow into ReadSideEffect instructions in simpleInstructionLocalFlowStep

2020-10-02 14:10:28 +02:00

localTaint.expected

Merge branch 'main' into map

2020-10-05 12:32:49 +01:00

localTaint.ql

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

map.cpp

C++: Correct test comments.

2020-10-05 13:00:51 +01:00

movableclass.cpp

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

smart_pointer.cpp

C++: Add a taint model for std::{shared, unique}_ptr<T>::get

2020-09-09 12:22:29 +02:00

standalone_iterators.cpp

C++: Add 'tainted' markers to standalone_iterators.cpp test.

2020-10-02 15:54:26 +01:00

stl.h

C++: Define make_pair and declare std::forward in the test.

2020-10-02 10:51:34 +01:00

string.cpp

C++: Add a couple more test cases that have been discussed.

2020-10-02 18:03:07 +01:00

stringstream.cpp

C++: Additional model for 'this' flow through chains.

2020-09-17 14:12:30 +01:00

structlikeclass.cpp

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

swap1.cpp

C++: Test the new methods.

2020-07-06 18:47:56 +01:00

swap2.cpp

C++: Test the new methods.

2020-07-06 18:47:56 +01:00

swap.h

C++: Include copy of IntWrapper class with two data members

2020-06-10 22:27:40 +02:00

taint.cpp

Merge branch 'main' into mathiasvp/array-field-flow

2020-09-16 10:45:31 +02:00

taint.expected

Merge branch 'main' into map

2020-10-05 12:32:49 +01:00

taint.ql

C++: add IR-based taint tracking library

2019-02-21 17:09:09 -08:00

TaintTestCommon.qll

CPP: Add tests of taint through qualifiers.

2020-01-22 16:11:13 +00:00

test_diff.expected

Merge branch 'main' into map

2020-10-05 12:32:49 +01:00

test_diff.ql

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

test_ir.expected

Merge branch 'main' into map

2020-10-05 12:32:49 +01:00

test_ir.ql

C++: add IR-based taint tracking library

2019-02-21 17:09:09 -08:00

vector.cpp

C++: Update test comment

2020-09-21 16:19:41 -07:00