|
Home About Us A-Z Index Search * Contact Us Register Login Press ShopThe Open Brand -- Problem Reporting and Interpretations System |
Problem Report 2765 Details
Show help | Quick Search | Submit a Test Suite Support Request | Click here to view your privileges
This page provides all information on Problem Report 2765.
Report 2765 Actions
Problem Report Number 2765 Submitter's Classification Test Suite problem State Resolved Resolution Test Suite Deficiency (TSD) Problem Resolution ID TSD.X.1437 Raised 2025-04-08 15:25 Updated 2025-04-09 09:51 Published 2025-04-09 09:51 Product Standard Internationalised System Calls and Libraries Extended V3 (UNIX 03) Certification Program The Open Brand certification program Test Suite VSX4 version 4.7.24 Test Identification /tset/ANSI.os/genuts/free/T.free{1} Specification Base Definitions Issue 6 Problem Summary The current test for 'free' is flawed per SUSv3/C99 as it relies on
undefined behaviour/immediate reallocation of freed blocks.Problem Text The test strategy for Test 1 is problematic:
It relies on an unspecified assumption: That the same memory area will
be allocated on subsequent malloc() calls after a free(). However, SUSv3
and C99 do not mandate this behaviour, as they do not specify any
particular memory allocation algorithm.
Our malloc() implementation has security features that break this assumption.
Modern memory management approaches invalidate the test strategy.Test Output 400|92 1 1 22:25:33|IC Start
200|92 1 22:25:33|TP Start
520|92 1 00080980 1 1|failed to reuse freed memory in next 1000 malloc()
calls
220|92 1 1 22:25:33|FAIL
410|92 1 1 22:25:33|IC EndReview Information
Review Type TSMA Review Start Date 2025-04-08 15:25 Last Updated 2025-04-09 09:47 Completed 2025-04-09 09:47 Status Complete Review Recommendation Test Suite Deficiency (TSD) Review Response This is accepted as a fault in the test suite.
Review Type SA Review Start Date 2025-04-09 17:47 Last Updated 2025-04-09 09:51 Completed 2025-04-09 09:51 Status Complete Review Resolution Test Suite Deficiency (TSD) Review Conclusion A test suite deficiency is granted.
Problem Reporting System Options:
- View Report 2765
- List All PRs
- Search Reports
- Email the System Administrator
- View the The Open Brand Interpretations Database User Manual
Contact the Certification Authority