DefectDB Welcome to DefectDB, an open-source database of defects found in software projects. Arithmetic Bitmasks Invalid bitmask Division Possible division by zero Floating point numbers Comparison Exact float comparison Fractional part Fractional part of floating point variable might be missing Integers Possible integer overflow Pointers Unreasoned pointer arithmetics Bit shift Incorrect integer shift Unsigned Related to zero Partially pointless comparison of unsigned to zero Incorrect subtraction Arrays Indices Negative index in array access The index is out of range Abstract Syntax Tree Binary operations Identical subexpressions in binary operation SizeOf operations sizeof() is likely to be misused Casts Integer operations Integer is implicitly truncated Classes Members Uninitialized class member Contexts Interrupts Sleep in interrupt Threads Printing in thread Scanning in thread Expressions Evaluation Order Unknown evaluation order Qualifiers Const qualifier Possible const qualifier dropping File Read Reading 0 symbols is pointless States File is closed twice File is not open Write Writing 0 symbols is pointless Functions Arguments Null argument Logic Assignments Unused assignment result Complete behaviours Observed behaviour doesn't fall within accepted range Conditions Condition is always false Condition is always true Assignment in condition Contract No proof available Contract violation Disjoint behaviours Observed behaviour matches more than one of disjoint behaviours Invariants Invariant violation Loop Missing loop variable Memory Pointers Blocks Memory leak is possible Comparison Comparing pointer to a constant is strange Dangling pointer Null pointer dereference Parsing External parser error Syntax error Standard Library Allocation Allocation of zero size block Formatting Arguments Argument type does not match the format string Format argument is not present Format argument is redundant Format Format string is not constant Parameters Format parameter is invalid Locking Double lock pthread Exit pthread_exit() might cause leaks Random Number Generators srand() should be called only once Unlock Double unlock Lock not locked Translation IR generation error Threading Locking Inconsistent locking Variables Scopes Variable is accessible outside its scope Variable shadows another variable Unused variable States Uninitialized variable is used