hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 12:15:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add tests for shared_ptr.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2021-03-29 18:04:20 +02:00
parent 8dc7b6403a
commit 5a4efab742
1 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
cpp/ql/test/library-tests/dataflow/smart-pointers-taint/test.cpp
View File

@@ -25,4 +25,22 @@ void test_unique_ptr_struct() {
sink(p1->y);
sink(p2->x); // $ ir=22:46
sink(p2->y); // $ SPURIOUS: ir=22:46
}
void test_shared_ptr_int() {
std::shared_ptr<int> p1(new int(source()));
std::shared_ptr<int> p2 = std::make_shared<int>(source());
sink(*p1); // $ ast
sink(*p2); // $ ast ir=32:50
}
void test_shared_ptr_struct() {
std::shared_ptr<A> p1(new A{source(), 0});
std::shared_ptr<A> p2 = std::make_shared<A>(source(), 0);
sink(p1->x); // $ MISSING: ast,ir
sink(p1->y);
sink(p2->x); // $ ir=40:46
sink(p2->y); // $ SPURIOUS: ir=40:46
}