HomeAbout Us A-Z IndexSearch * Contact Us Register LoginPress Shop

The Open Brand -- Problem Reporting and Interpretations System


Problem Report 2765 Details

Help 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 End

    Review 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:

     

    Back   


Contact the Certification Authority