svf-lib 1.0.2069 → 1.0.2070
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
Binary file
|
|
@@ -209,7 +209,7 @@ class DoubleFreeBug : public GenericBug
|
|
|
209
209
|
{
|
|
210
210
|
public:
|
|
211
211
|
DoubleFreeBug(const EventStack &bugEventStack):
|
|
212
|
-
GenericBug(GenericBug::
|
|
212
|
+
GenericBug(GenericBug::DOUBLEFREE, bugEventStack) { }
|
|
213
213
|
|
|
214
214
|
cJSON *getBugDescription() const;
|
|
215
215
|
void printBugToTerminal() const;
|
|
@@ -225,7 +225,7 @@ class FileNeverCloseBug : public GenericBug
|
|
|
225
225
|
{
|
|
226
226
|
public:
|
|
227
227
|
FileNeverCloseBug(const EventStack &bugEventStack):
|
|
228
|
-
GenericBug(GenericBug::
|
|
228
|
+
GenericBug(GenericBug::FILENEVERCLOSE, bugEventStack) { };
|
|
229
229
|
|
|
230
230
|
cJSON *getBugDescription() const;
|
|
231
231
|
void printBugToTerminal() const;
|
|
@@ -241,7 +241,7 @@ class FilePartialCloseBug : public GenericBug
|
|
|
241
241
|
{
|
|
242
242
|
public:
|
|
243
243
|
FilePartialCloseBug(const EventStack &bugEventStack):
|
|
244
|
-
GenericBug(GenericBug::
|
|
244
|
+
GenericBug(GenericBug::FILEPARTIALCLOSE, bugEventStack) { }
|
|
245
245
|
|
|
246
246
|
cJSON *getBugDescription() const;
|
|
247
247
|
void printBugToTerminal() const;
|
|
Binary file
|
|
Binary file
|