Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

...

Noncompliant Code Example

Wiki MarkupThis noncompliant code example is based on the managed string library developed by CERT \ [[Burch 2006|AA. Bibliography#Seacord 06]\]. In this example, the managed string type, and functions that operate on this type, are defined in the {{string_m.h}} header file as follows:

Code Block
bgColor#FFCCCC
langc
struct string_mx {
    size_t size;
    size_t maxsize;
    unsigned char strtype;
    char *cstr;
};

typedef struct string_mx string_mx;

/* Function declarations */
extern errno_t strcpy_m(string_mx *s1, const string_mx *s2);
extern errno_t strcat_m(string_mx *s1, const string_mx *s2);
/* etc. */

...

Tool

Version

Checker

Description

Section

LDRA tool suite

Include Page
c:LDRA_Vc:
LDRA_V
Section

352 S

Section

Fully Implemented

...

ISO/IEC 9899:1999 Section 6.2.5, "Types"

Bibliography

...

\[[Burch 2006|AA. Bibliography#Seacord 06]\]

...

      02. Declarations and Initialization (DCL)