Mathias Vorreiter Pedersen 983b64a05f Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt

2021-03-26 09:11:12 +01:00

..

arrayassignment.cpp

C++: Port dataflow/taint-tests to inline expectations test.

2020-11-30 17:32:54 +01:00

bsd.cpp

C++: Accept test changes.

2021-03-23 10:27:19 +01:00

constructor_delegation.cpp

C++: Test comments.

2021-01-12 14:52:52 +00:00

copyableclass_declonly.cpp

C++: Port dataflow/taint-tests to inline expectations test.

2020-11-30 17:32:54 +01:00

copyableclass.cpp

C++: Port dataflow/taint-tests to inline expectations test.

2020-11-30 17:32:54 +01:00

format.cpp

C++: Add sscanf and fscanf model implementations.

2021-02-01 12:54:59 +01:00

localTaint.expected

C++: Add testcase

2021-03-05 08:06:22 +01:00

localTaint.ql

C++: Autoformat everything

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

map.cpp

C++: Only allow taint to a FieldAddressInstruction if it's a union type.

2021-03-04 16:29:44 +01:00

movableclass.cpp

C++: Port dataflow/taint-tests to inline expectations test.

2020-11-30 17:32:54 +01:00

set.cpp

C++: Port dataflow/taint-tests to inline expectations test.

2020-11-30 17:32:54 +01:00

smart_pointer.cpp

C++: Port dataflow/taint-tests to inline expectations test.

2020-11-30 17:32:54 +01:00

standalone_iterators.cpp

C++: Accept test changes.

2021-03-02 11:00:43 +01:00

stl.h

C++: Add std::vector::emplace/_back to our STL model.

2020-11-04 16:07:08 +01:00

string.cpp

C++: Accept test changes.

2021-03-10 15:47:06 +01:00

stringstream.cpp

C++: Fix test annotation.

2021-03-16 22:35:47 +01:00

structlikeclass.cpp

C++: Port dataflow/taint-tests to inline expectations test.

2020-11-30 17:32:54 +01:00

swap1.cpp

C++: Port dataflow/taint-tests to inline expectations test.

2020-11-30 17:32:54 +01:00

swap2.cpp

C++: Port dataflow/taint-tests to inline expectations test.

2020-11-30 17:32:54 +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 rdmarsh/cpp/use-taint-configuration-dtt

2021-03-09 12:35:44 +01:00

taint.expected

C++: Accept test changes.

2021-03-02 11:00:43 +01:00

taint.ql

C++: Add testcase

2021-03-05 08:06:22 +01:00

type_traits.h

Fix subtle typing issue with std::makr_pair

2020-10-17 08:53:20 -04:00

vector.cpp

C++: Fix Iterator.qll taint/data flows for operator+=.

2021-02-12 14:54:47 +00:00