`A15-4-4`: Query incorrectly alerts functions that raise/can raise exceptions
Offen
@rak3-sh arbeitet bereits daran.
Seit 22.12.2024.
Bewertung
Dieses Issue wurde noch nicht bewertet.
Beschreibung
Difficulty-Medium
false positive/false negative
Impact-Low
Affected rules
A15-4-4
Description
- Query doesn’t consider ReThrowExpr. E.g. the query says to mark
rethrow()below asnoexcept
Example
template <bool DoRethrow>
void rethrow() {
throw;
}
int main()
{
rethrow<true>();
return 0;
}
- The query doesn’t check for throw expressions that occur inside lambdas defined in a function. E.g.
Example
void func() {
std::call_once(init_flag_, [this] {
if (sem_init(&sem_, 0, 0) != 0) {
throw std::system_error(errno, std::system_category()); // Throw in a lambda.
}
initialized_ = true;
});
}
- In some cases the noexcept specification is a complex condition involving several logical operations or template instantiations. In such a case, CodeQL’s check for whether its noexcept(true) or noexcept explicitly false doesn’t work and it alerts that it can be marked as noexcept. For practical reasons, maybe we can consider a noexcept(expr) as being marked by the user as correct.
- Vorherrschende Sprache
- CodeQL
- Sterne
- 227
- Forks
- 82
- Ø Merge
- 6 T. 7 Std.
- Gemergte PRs (30 T.)
- 9
Beitragsleitfaden
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus github/codeql-coding-standards
-
false positive/false negative Stardard-MISRA-C++
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100
github/codeql-coding-standards#1172 ·
-
Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100
-
Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
github/codeql-coding-standards#1200 ·
-
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph Offenfalse positive/false negative
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
github/codeql-coding-standards#1190 ·
-
false positive/false negative
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 65/100
github/codeql-coding-standards#1175 ·