Luke Cartey

**Describe the bug** If I create a QL file with some compilation errors, those compilation errors will be reported in the standard VS Code "Problems" view. However, if I delete...

### Affected rules - `M0-1-2` ### Description Similar to `M0-1-1`, the infeasible path query needs to consider whether a path is infeasible in any template instantiation. ### Example ```cpp template...

### Affected rules - `RULE-21-15` ### Description The query for this rule is currently too strict - it requires the types be identical (after stripping specifiers), instead of compatible. For...

`M0-2-1`: Consider array copies with overlapping data

1

### Affected rules - `M0-2-1` ### Description The query as currently written only considers overlapping as caused by unions. We should also consider whether overlapping arrays are covered by the...

Rule 11.4 improvements

1

## Description This pull request makes the following improvements to the query for Rule 11.4: * Consider `0` to be a null pointer constant (fixes https://github.com/github/codeql-coding-standards/issues/331). * Report the actual...

`A0-4-4`: More domain cases

2

### Affected rules - `A0-4-4` ### Description There are a number of math function domain errors we didn't previously capture, because they result in unspecified or undefined behaviour: * `abs`...

### Affected rules - `STR32-C` ### Description Support reducing buffer size via realloc. ### Example ```cpp #include #include wchar_t *cur_msg = NULL; size_t cur_msg_size = 1024; size_t cur_msg_len = 0;...

`M9-3-3`: Identify indirect assignment of member data

2

### Affected rules - `M9-3-3` ### Description Improve the rule to detect assignment into references or pointers into member data. ### Example In this example we see a member function...

### Affected rules - `A16-2-2` ### Description Types that only appear in template parameters or template arguments are not currently considered when determining whether an include is useless. We should...

`A2-10-1`: Report type and function identifier hiding

2

### Affected rules - `A2-10-1` ### Description `A2-10-1` states "An identifier declared in an inner scope shall not hide an identifier declared in an outer scope.". The existing query looks...