codeql-coding-standards

codeql-coding-standards copied to clipboard

### 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...

lcartey

A2-10-1: add functions and types to identifier consideration

2

## Description fixes #118 the query seems to maybe be slower than before, will need this confirmed ## Change request type - [ ] Release or process automation (GitHub workflows,...

knewbury01

### 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...

lcartey

`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...

lcartey

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...

lcartey

## Description fixes #193 misses this one still - l?lrint[fl]? and l?lround[fl]? where the rounded input value is outside the range of the return type. couldnt figure out how to...

knewbury01

`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`...

lcartey

### 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;...

lcartey

## Description fixes #381 ## Change request type - [ ] Release or process automation (GitHub workflows, internal scripts) - [ ] Internal documentation - [ ] External documentation -...

knewbury01

`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...

lcartey