Keith Ealanta issues

Repositories
Issues
Comments

Results 3 issues of


                                            Keith Ealanta

FPs and FNs in the Symbolic Execution rules when null coalescing is combined with arithmetic expressions because we do not support constraints on integers

When an IF statement uses the null conditional rule and (or?) the null coalescing operator then the else path is not marked as cannot be null, resulting in false S2259...

Type: False Negative

Area: CFG/SE

Area: C#

Type: CFG/SE FPs

Line numbers picked up when copying changed text.

Not specifically a bug, as it's not promised behaviour, but it would be really useful if it was possible to copy from the sorted diff without getting line numbers. If...

Python version incompatibility with PythonAnywhere

### Issue description If the latest python version is installed (currently 3.12) then it is not supported by PythonAnywhere (PA), and the instuctions on PA setup don't make it clear...