merge with main

GrosQuildu · GrosQuildu · commit d7a5131cff60 · 2024-07-05T16:06:54.000+02:00
diff --git a/cpp/src/security/AsyncUnsafeSignalHandler/AsyncUnsafeSignalHandler.ql b/cpp/src/security/AsyncUnsafeSignalHandler/AsyncUnsafeSignalHandler.ql
@@ -134,7 +134,7 @@ predicate isSignalDeliveryBlocked(Variable sigactVar) {
 string deliveryNotBlockedMsg() {
   result = "Moreover, delivery of new signals may be not blocked. "
 }
- 
+
 from FunctionCall fc, Function signalHandler, string msg
 where
   isAsyncUnsafe(signalHandler)
@@ -151,4 +151,3 @@ where
   )
 select signalHandler, "$@ is a non-trivial signal handler that uses not async-safe functions. " + msg +
   "Handler is registered by $@.", signalHandler, signalHandler.toString(), fc, fc.toString()
-

Original file line number	Diff line number	Diff line change
`@@ -134,7 +134,7 @@ predicate isSignalDeliveryBlocked(Variable sigactVar) {`
`134`	`134`	`string deliveryNotBlockedMsg() {`
`135`	`135`	`result = "Moreover, delivery of new signals may be not blocked. "`
`136`	`136`	`}`
`137`		`-`
	`137`	`+`
`138`	`138`	`from FunctionCall fc, Function signalHandler, string msg`
`139`	`139`	`where`
`140`	`140`	`isAsyncUnsafe(signalHandler)`
`@@ -151,4 +151,3 @@ where`
`151`	`151`	`)`
`152`	`152`	`select signalHandler, "$@ is a non-trivial signal handler that uses not async-safe functions. " + msg +`
`153`	`153`	`"Handler is registered by $@.", signalHandler, signalHandler.toString(), fc, fc.toString()`
`154`		`-`