Sends a signal to a target thread, using the current process as the sender. If `signal` is `None`, this method will only check permission without sending any signal.
(tid: Tid, tgid: Pid, signal: Option<UserSignal>, ctx: &Context)
source not stored for this graph (policy: none)
no test coverage detected