Security/CWE/CWE-120/OverrunWriteFloat.ql