Skip to content

Commit 7b88bf7

Browse files
committed
CPP: Add a test.
1 parent 4075f57 commit 7b88bf7

File tree

2 files changed

+37
-0
lines changed

2 files changed

+37
-0
lines changed

cpp/ql/test/query-tests/jsf/4.10 Classes/AV Rule 79/AV Rule 79.expected

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,5 +19,6 @@
1919
| Variants.cpp:65:3:65:17 | ... = ... | Resource a is acquired by class MyClass6 but not released anywhere in this class. |
2020
| Variants.cpp:66:3:66:36 | ... = ... | Resource b is acquired by class MyClass6 but not released anywhere in this class. |
2121
| Variants.cpp:67:3:67:41 | ... = ... | Resource c is acquired by class MyClass6 but not released anywhere in this class. |
22+
| Variants.cpp:100:3:100:22 | ... = ... | Resource success is acquired by class myClass7Test but not released anywhere in this class. |
2223
| Wrapped.cpp:46:3:46:22 | ... = ... | Resource ptr2 is acquired by class Wrapped2 but not released anywhere in this class. |
2324
| Wrapped.cpp:59:3:59:22 | ... = ... | Resource ptr4 is acquired by class Wrapped2 but not released anywhere in this class. |

cpp/ql/test/query-tests/jsf/4.10 Classes/AV Rule 79/Variants.cpp

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -73,3 +73,39 @@ class MyClass6
7373

7474
int *a, *b, *c;
7575
};
76+
77+
class MyClass7
78+
{
79+
public:
80+
MyClass7()
81+
{
82+
}
83+
84+
bool open()
85+
{
86+
// ...
87+
}
88+
89+
void close()
90+
{
91+
// ...
92+
}
93+
};
94+
95+
class myClass7Test
96+
{
97+
public:
98+
myClass7Test()
99+
{
100+
success = mc7.open(); // GOOD [FALSE POSITIVE]
101+
}
102+
103+
~myClass7Test()
104+
{
105+
mc7.close();
106+
}
107+
108+
private:
109+
MyClass7 mc7;
110+
bool success;
111+
};

0 commit comments

Comments
 (0)