Abstract: A wireless communication method for use in a wireless network function comprises receiving, from a first session management function (SMF) a registration request of a packet data unit (PDU) session corresponding to a second SMF, and transmitting, to the second SMF, a notification which indicates the PDU session is controlled by another SMF.

Abstract: A wireless communication method for use in a session management function is disclosed. The method comprises transmitting, to a wireless terminal, a steering rule for uplink data associated with a first protocol data unit session anchor of a multi-access protocol data unit session, wherein the multi-access protocol data unit session is associated with the first protocol data unit session anchor and a second protocol data unit session anchor.

Abstract: A method for detecting defects in computer software code comprises: preprocessing a code to check; generating an SEG for the code to check, wherein the SEG includes nodes, data dependency edges and control dependency edges that connect the nodes, wherein, the nodes include value nodes and operator nodes, the value nodes including terminal value nodes representing unknown values or constants generated outside a function, and non-terminal value node representing values generated within the function, wherein each non-terminal value node is associated with a unique memory location, and wherein the data dependency edge is a directed edge connecting a value node to another value node that has a direct data dependency relationship with the value node, and traversing the SEG in a depth-first way backward from a null pointer node in a lowest level of the SEG and generating a bug report when a defect is found.

Abstract: A method for detecting defects in computer software code comprises: preprocessing a code to check; generating an SEG for the code to check, wherein the SEG includes nodes, data dependency edges and control dependency edges that connect the nodes, wherein, the nodes include value nodes and operator nodes, the value nodes including terminal value nodes representing unknown values or constants generated outside a function, and non-terminal value node representing values generated within the function, wherein each non-terminal value node is associated with a unique memory location, and wherein the data dependency edge is a directed edge connecting a value node to another value node that has a direct data dependency relationship with the value node, and traversing the SEG in a depth-first way backward from a null pointer node in a lowest level of the SEG and generating a bug report when a defect is found.