Float

This case checks for floating point values in kernel code.

Semantic match

There is no note finding semantic match for this case, as all occurrences are faults.

Results