Undertrykkelse af advarsler: assert()

• Velplacerede og korrekte assert()s kan hjælpe Flexelint

• FlexeLints value-tracking er ikke perfekt

• modulus (%) forvirrer den ofte
• Co-dependent variabler bliver ikke sporet
• FlexeLint's kendskab til funktioner er ikke komplet

Notes:

Co-dependent variables:

void foo(char *p) {

bool b = (p!=0);

if(b)

*p = 'q'; //warning