Flere advarsler: -sem

• -sem() fortæller Flexelint om semantikken I funktioner som den ikke har kildekoden til

• Eksempel from logger.h:

void mesgHex(int error_code, const void* raw_data,

size_t raw_len, const char* fmt, ...);

• flexelint.lnt:

-sem(mesgHex,2P>=3n,pod(2))

• Dette fortæller FlexeLint at raw_data skal have mindst raw_len bytes

• Og at raw_data ikke må indeholde et ikke-trivielt C++ object (non-POD)