Test case 2014

Deprecated test case

This version contains mistakes, making it deprecated. Deprecated test cases should not be used for new work. However, They remain in the SARD as a reference to redo previous work. The latest version of this test case is available here.

Old Test Case ID: 35
Type: source code
State: bad
Author: SecureSoftware
Status: deprecated
Language: C
Submission Date: 28 Oct 2005

Description

State synchronization refers to a set of flaws involving contradictory states of
execution in a process which result in undefined behavior. (from TCCLASP-5_4_1_10-C)

Have any comments on this test case? Please, send us an email.