{"name": "input_packet", "code": "int input_packet ( ) { unsigned __int16 v0 ; unsigned int v1 ; __int64 v2 ; __int64 v4 ; __int64 v5 ; __int64 v6 ; __int64 v7 ; unsigned int v8 ; unsigned int v9 ; unsigned __int8 * v10 ; __int64 v11 ; __int64 v12 ; __int64 v13 ; unsigned int v14 ; unsigned int v15 ; unsigned __int8 * v16 ; unsigned __int16 v17 ; unsigned int v18 ; unsigned int v19 ; unsigned int v20 ; unsigned int v21 ; char @@v22@@ [ Number ] ; char @@v23@@ ; unsigned __int16 @@v24@@ ; _BYTE @@v25@@ [ Number ] ; _BYTE @@v26@@ [ Number ] ; int @@v27@@ ; v0 = packetbuf_datalen ( ) ; @@v27@@ = v0 ; v1 = ( unsigned __int8 ) v0 ; v2 = packetbuf_dataptr ( ) ; if ( ! ( unsigned __int8 ) frame802154_parse ( v2 , v1 , @@v22@@ ) || ! ( unsigned int ) packetbuf_hdrreduce ( @@v27@@ - ( unsigned int ) @@v26@@ [ Number ] , v1 ) ) { return puts ( String ) ; } if ( ! @@v23@@ ) goto LABEL_10 ; if ( @@v24@@ != mac_src_pan_id && @@v24@@ != Number ) return printf ( String , @@v24@@ ) ; if ( ! ( unsigned int ) is_broadcast_addr ( @@v23@@ , ( __int64 ) @@v25@@ ) ) { packetbuf_set_addr ( Number L , @@v25@@ ) ; v4 = packetbuf_addr ( Number L ) ; if ( ! ( unsigned int ) rimeaddr_cmp ( v4 , & rimeaddr_node_addr ) ) return puts ( String ) ; } LABEL_10 : packetbuf_set_addr ( Number L , @@v26@@ ) ; printf ( String , ( unsigned __int8 ) @@v22@@ [ Number ] ) ; v5 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v6 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v7 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v20 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v18 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v8 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v9 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v10 = ( unsigned __int8 * ) packetbuf_addr ( Number L ) ; printf ( String , * v10 , v9 , v8 , v18 , v20 , v7 , v6 , v5 ) ; v11 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v12 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v13 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v21 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v19 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v14 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v15 = * ( unsigned __int8 * ) ( packetbuf_addr ( Number L ) + Number ) ; v16 = ( unsigned __int8 * ) packetbuf_addr ( Number L ) ; printf ( String , * v16 , v15 , v14 , v19 , v21 , v13 , v12 , v11 ) ; v17 = packetbuf_datalen ( ) ; printf ( String , v17 ) ; return nullmac_driver [ Number ] ( ) ; }", "source": [{"n": "v26", "t": {"T": 2, "n": 54, "s": 1, "t": "_BYTE"}, "location": "s106"}, {"n": "v25", "t": {"T": 2, "n": 10, "s": 1, "t": "_BYTE"}, "location": "s116"}, {"n": "v24", "t": {"T": 1, "n": "unsigned __int16", "s": 2}, "location": "s118"}, {"n": "v23", "t": {"T": 1, "n": "char", "s": 1}, "location": "s123"}, {"n": "v22", "t": {"T": 2, "n": 5, "s": 1, "t": "char"}, "location": "s128"}, {"n": "v27", "t": {"T": 1, "n": "int", "s": 4}, "location": "s52"}]}