Merge remote-tracking branch 'upstream/main' into next

Author: jketema

c/cert/src/rules/SIG30-C/CallOnlyAsyncSafeFunctionsWithinSignalHandlers.ql

@@ -37,15 +37,15 @@ class AsyncSafeVariableAccess extends VariableAccess {
 abstract class AsyncSafeFunction extends Function { }
 
 /**
- * C standard library ayncronous-safe functions
+ * C standard library asynchronous-safe functions
  */
 class CAsyncSafeFunction extends AsyncSafeFunction {
   //tion, or the signal function with the first argument equal to the signal number corresponding to the signal that caused the invocation of the handler
   CAsyncSafeFunction() { this.hasGlobalName(["abort", "_Exit", "quick_exit", "signal"]) }
 }
 
 /**
- * POSIX defined ayncronous-safe functions
+ * POSIX defined asynchronous-safe functions
  */
 class PosixAsyncSafeFunction extends AsyncSafeFunction {
   PosixAsyncSafeFunction() {
@@ -73,7 +73,7 @@ class PosixAsyncSafeFunction extends AsyncSafeFunction {
 }
 
 /**
- * Application defined ayncronous-safe functions
+ * Application defined asynchronous-safe functions
  */
 class ApplicationAsyncSafeFunction extends AsyncSafeFunction {
   pragma[nomagic]
@@ -122,5 +122,5 @@ where
     or
     fc instanceof AsyncUnsafeRaiseCall
   )
-select fc, "Asyncronous-unsafe function calls within a $@ can lead to undefined behavior.",
+select fc, "Asynchronous-unsafe function calls within a $@ can lead to undefined behavior.",
   handler.getRegistration(), "signal handler"

c/cert/test/rules/SIG30-C/CallOnlyAsyncSafeFunctionsWithinSignalHandlers.expected

@@ -1,4 +1,4 @@
-| test.c:10:3:10:18 | call to log_local_unsafe | Asyncronous-unsafe function calls within a $@ can lead to undefined behavior. | test.c:16:7:16:12 | call to signal | signal handler |
-| test.c:11:3:11:6 | call to free | Asyncronous-unsafe function calls within a $@ can lead to undefined behavior. | test.c:16:7:16:12 | call to signal | signal handler |
-| test.c:46:3:46:9 | call to longjmp | Asyncronous-unsafe function calls within a $@ can lead to undefined behavior. | test.c:50:7:50:12 | call to signal | signal handler |
-| test.c:76:7:76:11 | call to raise | Asyncronous-unsafe function calls within a $@ can lead to undefined behavior. | test.c:91:7:91:12 | call to signal | signal handler |
+| test.c:10:3:10:18 | call to log_local_unsafe | Asynchronous-unsafe function calls within a $@ can lead to undefined behavior. | test.c:16:7:16:12 | call to signal | signal handler |
+| test.c:11:3:11:6 | call to free | Asynchronous-unsafe function calls within a $@ can lead to undefined behavior. | test.c:16:7:16:12 | call to signal | signal handler |
+| test.c:46:3:46:9 | call to longjmp | Asynchronous-unsafe function calls within a $@ can lead to undefined behavior. | test.c:50:7:50:12 | call to signal | signal handler |
+| test.c:76:7:76:11 | call to raise | Asynchronous-unsafe function calls within a $@ can lead to undefined behavior. | test.c:91:7:91:12 | call to signal | signal handler |

change_notes/2025-07-11-typo-in-alert-message..md

@@ -0,0 +1,2 @@
+- `SIG30-C`: `CallOnlyAsyncSafeFunctionsWithinSignalHandlers.ql`
+ - Fixed a misspelling of "asynchronous" in the alert message.