{"name": "dio_input", "code": "__int64 dio_input ( ) { __int64 v0 ; _QWORD * v1 ; int v2 ; int v3 ; __int64 * v4 ; __int64 v5 ; __int64 result ; int v7 ; int v8 ; __int64 * v9 ; __int64 v10 ; __int64 @@v11@@ [ Number ] ; __int64 @@s@@ [ Number ] ; __int16 @@v13@@ ; __int16 @@v14@@ ; char @@v15@@ ; char @@v16@@ ; char @@v17@@ ; char @@v18@@ ; char @@v19@@ ; char @@v20@@ ; char @@v21@@ ; char @@v22@@ ; char @@v23@@ ; char @@v24@@ ; __int16 @@v25@@ ; __int16 @@v26@@ ; __int16 @@v27@@ ; _DWORD @@v28@@ [ Number ] ; unsigned __int8 @@v29@@ ; char @@v30@@ ; __int64 @@v31@@ ; __int64 @@v32@@ ; int @@v33@@ ; char @@v34@@ ; char @@v35@@ ; unsigned __int8 @@v36@@ ; char @@v37@@ ; char @@v38@@ ; char @@v39@@ ; char @@v40@@ ; __int16 @@v41@@ ; unsigned __int8 @@v42@@ ; __int64 @@v43@@ ; unsigned __int8 @@v44@@ ; __int64 @@v45@@ ; int @@v46@@ ; int @@v47@@ ; memset ( @@s@@ , Number , Number ) ; @@v21@@ = Number ; @@v22@@ = Number ; @@v23@@ = Number ; @@v27@@ = Number ; @@v26@@ = Number ; @@v13@@ = word_41F2B0 ; @@v24@@ = Number ; @@v25@@ = Number ; v0 = * ( _QWORD * ) & byte_422788 [ Number ] ; @@v11@@ [ Number ] = * ( _QWORD * ) byte_422788 ; @@v11@@ [ Number ] = v0 ; @@v45@@ = uip_ds6_nbr_lookup ( @@v11@@ ) ; if ( ! @@v45@@ ) { v1 = ( _QWORD * ) packetbuf_addr ( Number L ) ; @@v45@@ = uip_ds6_nbr_add ( @@v11@@ , v1 , Number , Number ) ; if ( @@v45@@ ) stimer_set ( @@v45@@ + Number , Number L ) ; } @@v44@@ = uip_len - uip_ext_len - Number ; @@v43@@ = ( unsigned __int8 ) uip_ext_len + Number + Number L ; @@v47@@ = Number ; @@v19@@ = * ( ( _BYTE * ) & uip_aligned_buf + ( unsigned __int8 ) uip_ext_len + Number ) ; @@v47@@ = Number ; @@v18@@ = * ( ( _BYTE * ) & uip_aligned_buf + ( unsigned __int8 ) uip_ext_len + Number ) ; @@v14@@ = get16 ( @@v43@@ , Number ) ; @@v47@@ += Number ; @@v15@@ = * ( _BYTE * ) ( @@v47@@ + @@v43@@ ) & Number ; @@v16@@ = ( ( int ) * ( unsigned __int8 * ) ( @@v47@@ + @@v43@@ ) >> Number ) & Number ; v2 = @@v47@@ ++ ; @@v17@@ = * ( _BYTE * ) ( v2 + @@v43@@ ) & Number ; v3 = @@v47@@ ++ ; @@v20@@ = * ( _BYTE * ) ( v3 + @@v43@@ ) ; @@v47@@ += Number ; v4 = ( __int64 * ) ( @@v47@@ + @@v43@@ ) ; v5 = v4 [ Number ] ; @@s@@ [ Number ] = * v4 ; @@s@@ [ Number ] = v5 ; for ( @@v47@@ += Number ; @@v47@@ < @@v44@@ ; @@v47@@ += @@v46@@ ) { @@v42@@ = * ( _BYTE * ) ( @@v47@@ + @@v43@@ ) ; if ( @@v42@@ ) @@v46@@ = * ( unsigned __int8 * ) ( @@v47@@ + Number L + @@v43@@ ) + Number ; else @@v46@@ = Number ; result = @@v44@@ ; if ( @@v47@@ + @@v46@@ > @@v44@@ ) return result ; result = @@v42@@ ; if ( @@v42@@ == Number ) { if ( @@v46@@ != Number ) return result ; @@v34@@ = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; @@v35@@ = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; @@v33@@ = get32 ( @@v43@@ , @@v47@@ + Number ) ; v9 = ( __int64 * ) ( @@v47@@ + Number L + @@v43@@ ) ; v10 = v9 [ Number ] ; @@v31@@ = * v9 ; @@v32@@ = v10 ; } else if ( @@v42@@ <= Number ) { if ( @@v42@@ == Number ) { if ( @@v46@@ != Number ) return result ; @@v21@@ = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; @@v22@@ = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; @@v23@@ = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; @@v26@@ = get16 ( @@v43@@ , @@v47@@ + Number ) ; @@v27@@ = get16 ( @@v43@@ , @@v47@@ + Number ) ; @@v13@@ = get16 ( @@v43@@ , @@v47@@ + Number ) ; @@v24@@ = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; @@v25@@ = get16 ( @@v43@@ , @@v47@@ + Number ) ; } else if ( @@v42@@ <= Number ) { if ( @@v42@@ == Number ) { if ( @@v46@@ <= Number ) return result ; @@v36@@ = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; @@v37@@ = Number * * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; @@v37@@ |= * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) >> Number ; @@v38@@ = ( * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) >> Number ) & Number ; @@v39@@ = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) & Number ; @@v40@@ = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; if ( @@v36@@ == Number ) { @@v41@@ = get16 ( @@v43@@ , @@v47@@ + Number ) ; } else { result = @@v36@@ ; if ( @@v36@@ != Number ) return result ; LOBYTE ( @@v41@@ ) = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; HIBYTE ( @@v41@@ ) = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; } } else if ( @@v42@@ == Number ) { if ( @@v46@@ <= Number ) return result ; @@v29@@ = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; @@v30@@ = * ( _BYTE * ) ( @@v47@@ + Number L + @@v43@@ ) ; @@v28@@ [ Number ] = get32 ( @@v43@@ , @@v47@@ + Number ) ; v7 = @@v29@@ + Number ; if ( v7 < Number ) v7 = @@v29@@ + Number ; result = ( unsigned int ) ( ( v7 >> Number ) + Number ) ; if ( @@v46@@ <= ( int ) result ) return result ; result = @@v29@@ ; if ( @@v29@@ > Number ) return result ; v8 = @@v29@@ + Number ; if ( v8 < Number ) v8 = @@v29@@ + Number ; memcpy ( @@v28@@ , ( const void * ) ( @@v47@@ + Number L + @@v43@@ ) , v8 >> Number ) ; } } } } return rpl_process_dio ( @@v11@@ , ( __int64 ) @@s@@ ) ; }", "source": [{"n": "v23", "t": {"T": 1, "n": "char", "s": 1}, "location": "s100"}, {"n": "v22", "t": {"T": 1, "n": "char", "s": 1}, "location": "s101"}, {"n": "v21", "t": {"T": 1, "n": "char", "s": 1}, "location": "s102"}, {"n": "v20", "t": {"T": 1, "n": "char", "s": 1}, "location": "s103"}, {"n": "v19", "t": {"T": 1, "n": "char", "s": 1}, "location": "s104"}, {"n": "v18", "t": {"T": 1, "n": "char", "s": 1}, "location": "s105"}, {"n": "v17", "t": {"T": 1, "n": "char", "s": 1}, "location": "s106"}, {"n": "v16", "t": {"T": 1, "n": "char", "s": 1}, "location": "s107"}, {"n": "v15", "t": {"T": 1, "n": "char", "s": 1}, "location": "s108"}, {"n": "v14", "t": {"T": 1, "n": "__int16", "s": 2}, "location": "s110"}, {"n": "v13", "t": {"T": 1, "n": "__int16", "s": 2}, "location": "s112"}, {"n": "s", "t": {"T": 2, "n": 2, "s": 8, "t": "__int64"}, "location": "s128"}, {"n": "v11", "t": {"T": 2, "n": 2, "s": 8, "t": "__int64"}, "location": "s144"}, {"n": "v45", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v44", "t": {"T": 1, "n": "unsigned __int8", "s": 1}, "location": "s17"}, {"n": "v43", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v42", "t": {"T": 1, "n": "unsigned __int8", "s": 1}, "location": "s33"}, {"n": "v41", "t": {"T": 1, "n": "__int16", "s": 2}, "location": "s38"}, {"n": "v47", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "v40", "t": {"T": 1, "n": "char", "s": 1}, "location": "s40"}, {"n": "v39", "t": {"T": 1, "n": "char", "s": 1}, "location": "s41"}, {"n": "v38", "t": {"T": 1, "n": "char", "s": 1}, "location": "s42"}, {"n": "v37", "t": {"T": 1, "n": "char", "s": 1}, "location": "s43"}, {"n": "v36", "t": {"T": 1, "n": "unsigned __int8", "s": 1}, "location": "s44"}, {"n": "v35", "t": {"T": 1, "n": "char", "s": 1}, "location": "s47"}, {"n": "v34", "t": {"T": 1, "n": "char", "s": 1}, "location": "s48"}, {"n": "v33", "t": {"T": 1, "n": "int", "s": 4}, "location": "s52"}, {"n": "v32", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s60"}, {"n": "v31", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s68"}, {"n": "v30", "t": {"T": 1, "n": "char", "s": 1}, "location": "s71"}, {"n": "v29", "t": {"T": 1, "n": "unsigned __int8", "s": 1}, "location": "s72"}, {"n": "v46", "t": {"T": 1, "n": "int", "s": 4}, "location": "s8"}, {"n": "v28", "t": {"T": 2, "n": 5, "s": 4, "t": "_DWORD"}, "location": "s92"}, {"n": "v27", "t": {"T": 1, "n": "__int16", "s": 2}, "location": "s94"}, {"n": "v26", "t": {"T": 1, "n": "__int16", "s": 2}, "location": "s96"}, {"n": "v25", "t": {"T": 1, "n": "__int16", "s": 2}, "location": "s98"}, {"n": "v24", "t": {"T": 1, "n": "char", "s": 1}, "location": "s99"}]}
{"name": "uip_ds6_nbr_add", "code": "__int64 __fastcall uip_ds6_nbr_add ( _QWORD * @@a1@@ , _QWORD * @@a2@@ , unsigned __int8 @@a3@@ , unsigned __int8 @@a4@@ ) { __int64 v4 ; __int64 v5 ; __int64 @@v6@@ ; __int64 @@result@@ ; int @@v10@@ ; unsigned __int64 @@v11@@ ; __int64 * @@v12@@ ; __int64 * @@i@@ ; @@v10@@ = ( unsigned __int8 ) uip_ds6_list_loop ( uip_ds6_nbr_cache , Number , Number , @@a1@@ , Number , & locnbr ) ; if ( @@v10@@ == Number ) { * ( _BYTE * ) locnbr = Number ; v4 = locnbr ; v5 = @@a1@@ [ Number ] ; * ( _QWORD * ) ( locnbr + Number ) = * @@a1@@ ; * ( _QWORD * ) ( v4 + Number ) = v5 ; if ( @@a2@@ ) * ( _QWORD * ) ( locnbr + Number ) = * @@a2@@ ; else memset ( ( void * ) ( locnbr + Number ) , Number , Number ) ; * ( _BYTE * ) ( locnbr + Number ) = @@a3@@ ; * ( _BYTE * ) ( locnbr + Number ) = @@a4@@ ; uip_packetqueue_new ( ( _QWORD * ) ( locnbr + Number ) ) ; stimer_set ( locnbr + Number , Number L ) ; stimer_set ( locnbr + Number , Number L ) ; * ( _BYTE * ) ( locnbr + Number ) = Number ; rpl_ipv6_neighbor_callback ( locnbr ) ; @@v6@@ = locnbr ; * ( _QWORD * ) ( @@v6@@ + Number ) = clock_time ( ) ; @@result@@ = locnbr ; } else { if ( @@v10@@ != Number ) goto LABEL_16 ; @@v12@@ = Number L ; @@v11@@ = clock_time ( ) ; for ( @@i@@ = ( __int64 * ) uip_ds6_nbr_cache ; @@i@@ < & contiki_argv ; @@i@@ += Number ) { if ( * ( _BYTE * ) @@i@@ && ! uip_ds6_defrt_lookup ( ( char * ) @@i@@ + Number ) && @@v11@@ > @@i@@ [ Number ] ) { @@v12@@ = @@i@@ ; @@v11@@ = @@i@@ [ Number ] ; } } if ( @@v12@@ ) { uip_ds6_nbr_rm ( @@v12@@ ) ; @@result@@ = uip_ds6_nbr_add ( @@a1@@ , @@a2@@ , @@a3@@ , @@a4@@ ) ; } else { LABEL_16 : @@result@@ = Number L ; } } return @@result@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned __int8", "s": 1}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "unsigned __int8", "s": 1}, "location": "r24"}, {"n": "v6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r32"}, {"n": "a1", "t": {"T": 3, "t": "_QWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "_QWORD"}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "i", "t": {"T": 3, "t": "__int64"}, "location": "s24"}, {"n": "v12", "t": {"T": 3, "t": "__int64"}, "location": "s32"}, {"n": "v11", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s40"}, {"n": "v10", "t": {"T": 1, "n": "int", "s": 4}, "location": "s44"}]} {"name": "uip_ds6_nbr_lookup", "code": "__int64 __fastcall uip_ds6_nbr_lookup ( const void * @@a1@@ ) { __int64 @@v1@@ ; if ( ( unsigned __int8 ) uip_ds6_list_loop ( uip_ds6_nbr_cache , Number , Number , @@a1@@ , Number , & locnbr ) ) return Number L ; @@v1@@ = locnbr ; * ( _QWORD * ) ( @@v1@@ + Number ) = clock_time ( ) ; return locnbr ; }", "source": [{"n": "v1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r32"}, {"n": "a1", "t": {"T": 3, "t": "const void"}, "location": "r56"}]} {"name": "rpl_process_dio", "code": "__int64 __fastcall rpl_process_dio ( _QWORD * @@a1@@ , __int64 @@a2@@ ) { __int64 @@result@@ ; __int64 @@v3@@ ; __int64 @@v4@@ ; _WORD * @@v5@@ ; _QWORD * @@v6@@ ; @@result@@ = * ( unsigned __int8 * ) ( @@a2@@ + Number ) ; if ( ( _BYTE ) @@result@@ == Number ) { @@v5@@ = get_dag ( * ( _BYTE * ) ( @@a2@@ + Number ) , ( const void * ) @@a2@@ ) ; @@v4@@ = rpl_get_instance ( * ( _BYTE * ) ( @@a2@@ + Number ) ) ; if ( @@v5@@ && @@v4@@ ) { if ( lollipop_greater_than ( * ( unsigned __int8 * ) ( @@a2@@ + Number ) , * ( ( unsigned __int8 * ) @@v5@@ + Number ) ) ) { if ( @@v5@@ [ Number ] != * ( _WORD * ) ( @@v4@@ + Number ) ) return global_repair ( @@a1@@ , ( __int64 ) @@v5@@ , @@a2@@ ) ; * ( ( _BYTE * ) @@v5@@ + Number ) = * ( _BYTE * ) ( @@a2@@ + Number ) ; ++ * ( ( _BYTE * ) @@v5@@ + Number ) ; return rpl_reset_dio_timer ( @@v4@@ ) ; } if ( lollipop_greater_than ( * ( ( unsigned __int8 * ) @@v5@@ + Number ) , * ( unsigned __int8 * ) ( @@a2@@ + Number ) ) && * ( ( _BYTE * ) @@v5@@ + Number ) ) return rpl_reset_dio_timer ( @@v4@@ ) ; } @@result@@ = * ( unsigned __int16 * ) ( @@a2@@ + Number ) ; if ( ( _WORD ) @@result@@ == Number ) return @@result@@ ; if ( ! @@v4@@ ) return rpl_join_instance ( @@a1@@ , @@a2@@ ) ; if ( ! @@v5@@ ) return ( __int64 ) rpl_add_dag ( @@a1@@ , @@a2@@ ) ; @@result@@ = * ( unsigned __int16 * ) ( @@v4@@ + Number ) ; if ( * ( _WORD * ) ( @@a2@@ + Number ) >= ( unsigned __int16 ) @@result@@ ) { if ( * ( _WORD * ) ( @@a2@@ + Number ) == Number && * ( ( _BYTE * ) @@v5@@ + Number ) ) rpl_reset_dio_timer ( @@v4@@ ) ; if ( @@v5@@ [ Number ] == * ( _WORD * ) ( @@v4@@ + Number ) ) { @@result@@ = * ( unsigned __int16 * ) ( @@a2@@ + Number ) ; if ( ( _WORD ) @@result@@ != Number ) { @@result@@ = @@v4@@ ; ++ * ( _BYTE * ) ( @@v4@@ + Number ) ; } return @@result@@ ; } @@v6@@ = rpl_find_parent ( ( __int64 ) @@v5@@ , @@a1@@ ) ; if ( @@v6@@ ) { if ( * ( ( _WORD * ) @@v6@@ + Number ) == * ( _WORD * ) ( @@a2@@ + Number ) ) { if ( * ( ( _BYTE * ) @@v5@@ + Number ) ) ++ * ( _BYTE * ) ( @@v4@@ + Number ) ; } else { * ( ( _WORD * ) @@v6@@ + Number ) = * ( _WORD * ) ( @@a2@@ + Number ) ; } } else { @@v3@@ = find_parent_dag ( @@v4@@ , @@a1@@ ) ; if ( @@v3@@ ) { @@v6@@ = rpl_find_parent ( @@v3@@ , @@a1@@ ) ; if ( @@v6@@ ) rpl_move_parent ( @@v3@@ , ( __int64 ) @@v5@@ , ( __int64 ) @@v6@@ ) ; } else { if ( ( unsigned int ) list_length ( * ( ( _QWORD * ) @@v5@@ + Number ) ) == Number ) remove_worst_parent ( ( __int64 ) @@v5@@ , * ( _WORD * ) ( @@a2@@ + Number ) ) ; @@result@@ = rpl_add_parent ( ( __int64 ) @@v5@@ , @@a2@@ , @@a1@@ ) ; @@v6@@ = ( _QWORD * ) @@result@@ ; if ( ! @@result@@ ) return @@result@@ ; } } @@v6@@ [ Number ] = * ( _QWORD * ) ( @@a2@@ + Number ) ; @@result@@ = rpl_process_parent_event ( @@v4@@ , ( __int64 ) @@v6@@ ) ; if ( ( _DWORD ) @@result@@ ) { if ( * ( ( _BYTE * ) @@v5@@ + Number ) && @@v6@@ == * ( ( _QWORD * * ) @@v5@@ + Number ) && should_send_dao ( @@v4@@ , @@a2@@ , ( __int64 ) @@v6@@ ) ) { ++ * ( _BYTE * ) ( @@v4@@ + Number ) ; rpl_schedule_dao ( @@v4@@ ) ; } @@result@@ = ( __int64 ) @@v6@@ ; * ( ( _BYTE * ) @@v6@@ + Number ) = * ( _BYTE * ) ( @@a2@@ + Number ) ; } return @@result@@ ; } } return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_QWORD"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v5", "t": {"T": 3, "t": "_WORD"}, "location": "s16"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v6", "t": {"T": 3, "t": "_QWORD"}, "location": "s8"}]} {"name": "get32", "code": "__int64 __fastcall get32 ( __int64 @@a1@@ , int @@a2@@ ) { return ( * ( unsigned __int8 * ) ( @@a2@@ + Number L + @@a1@@ ) << Number ) | ( * ( unsigned __int8 * ) ( @@a2@@ + Number L + @@a1@@ ) << Number ) | ( * ( unsigned __int8 * ) ( @@a2@@ + @@a1@@ ) << Number ) | ( unsigned int ) * ( unsigned __int8 * ) ( @@a2@@ + Number L + @@a1@@ ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}]} {"name": "get16", "code": "__int64 __fastcall get16 ( __int64 @@a1@@ , int @@a2@@ ) { return ( * ( unsigned __int8 * ) ( @@a2@@ + @@a1@@ ) << Number ) | ( unsigned int ) * ( unsigned __int8 * ) ( @@a2@@ + Number L + @@a1@@ ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}]} {"name": "uip_rpl_input", "code": "int uip_rpl_input ( ) { int @@result@@ ; @@result@@ = * ( ( unsigned __int8 * ) & uip_aligned_buf + ( unsigned __int8 ) uip_ext_len + Number ) ; if ( @@result@@ == Number ) { @@result@@ = dao_ack_input ( ) ; } else if ( * ( ( unsigned __int8 * ) & uip_aligned_buf + ( unsigned __int8 ) uip_ext_len + Number ) <= Number ) { if ( @@result@@ == Number ) { @@result@@ = dao_input ( ) ; } else if ( * ( ( _BYTE * ) & uip_aligned_buf + ( unsigned __int8 ) uip_ext_len + Number ) ) { @@result@@ = dio_input ( ) ; } else { @@result@@ = ( unsigned int ) dis_input ( ) ; } } uip_len = Number ; return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}]} {"name": "timer_set", "code": "__time_t __fastcall timer_set ( __time_t * @@a1@@ , __time_t @@a2@@ ) { __time_t @@result@@ ; @@a1@@ [ Number ] = @@a2@@ ; @@result@@ = clock_time ( ) ; * @@a1@@ = @@result@@ ; return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "__time_t"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__time_t", "s": 8}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__time_t", "s": 8}, "location": "r8"}]} {"name": "stimer_set", "code": "__time_t __fastcall stimer_set ( __time_t * @@a1@@ , __time_t @@a2@@ ) { __time_t @@result@@ ; @@a1@@ [ Number ] = @@a2@@ ; @@result@@ = clock_seconds ( ) ; * @@a1@@ = @@result@@ ; return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "__time_t"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__time_t", "s": 8}, "location": "r64"}, {"n": "result", "t": {"T": 1, "n": "__time_t", "s": 8}, "location": "r8"}]} {"name": "input", "code": "__int64 input ( ) { int v0 ; int @@v1@@ ; __int64 result ; __int64 v3 ; __int64 v4 ; char v5 ; char @@v6@@ ; char @@v7@@ ; unsigned __int16 @@v8@@ ; unsigned __int8 @@v9@@ ; unsigned __int16 @@v10@@ ; @@v10@@ = Number ; @@v9@@ = Number ; @@v8@@ = Number ; @@v7@@ = Number ; @@v6@@ = Number ; uncomp_hdr_len = Number ; rime_hdr_len = Number ; rime_ptr = packetbuf_dataptr ( ) ; if ( timer_expired ( reass_timer ) ) { sicslowpan_len = Number ; processed_ip_in_len = Number ; } v0 = ( ( ( unsigned __int16 ) ( * ( unsigned __int8 * ) rime_ptr << Number ) | * ( ( unsigned __int8 * ) rime_ptr + Number ) ) >> Number ) & Number ; if ( v0 == Number ) { @@v9@@ = Number ; @@v10@@ = _byteswap_ushort ( * ( _WORD * ) rime_ptr ) & Number ; @@v8@@ = _byteswap_ushort ( * ( ( _WORD * ) rime_ptr + Number ) ) ; rime_hdr_len += Number ; @@v7@@ = Number ; } else if ( v0 == Number ) { @@v9@@ = * ( ( _BYTE * ) rime_ptr + Number ) ; @@v8@@ = _byteswap_ushort ( * ( ( _WORD * ) rime_ptr + Number ) ) ; @@v10@@ = _byteswap_ushort ( * ( _WORD * ) rime_ptr ) & Number ; rime_hdr_len += Number ; @@v1@@ = ( unsigned __int16 ) processed_ip_in_len ; if ( @@v1@@ + ( unsigned __int16 ) packetbuf_datalen ( ) - ( unsigned __int8 ) rime_hdr_len >= @@v10@@ ) @@v6@@ = Number ; } result = ( unsigned __int16 ) processed_ip_in_len ; if ( processed_ip_in_len ) { if ( @@v10@@ ) { result = ( unsigned __int16 ) sicslowpan_len ; if ( @@v10@@ != sicslowpan_len ) return result ; result = ( unsigned __int16 ) reass_tag ; if ( @@v8@@ != reass_tag ) return result ; v3 = packetbuf_addr ( Number ) ; result = rimeaddr_cmp ( ( __int64 ) & frag_sender , v3 ) ; if ( ! ( _DWORD ) result ) return result ; } if ( ! @@v10@@ ) return result ; } else if ( @@v10@@ && @@v10@@ <= Number ) { sicslowpan_len = @@v10@@ ; reass_tag = @@v8@@ ; timer_set ( reass_timer , Number L ) ; v4 = packetbuf_addr ( Number ) ; rimeaddr_copy ( ( __int64 ) & frag_sender , v4 ) ; } if ( rime_hdr_len != Number ) { if ( ( * ( ( _BYTE * ) rime_ptr + ( unsigned __int8 ) rime_hdr_len ) & Number ) == Number ) { uncompress_hdr_hc06 ( @@v10@@ ) ; } else { result = * ( ( unsigned __int8 * ) rime_ptr + ( unsigned __int8 ) rime_hdr_len ) ; if ( ( _DWORD ) result != Number ) return result ; memcpy ( & sicslowpan_aligned_buf , ( char * ) rime_ptr + ( unsigned __int8 ) ++ rime_hdr_len , Number ) ; rime_hdr_len += Number ; uncomp_hdr_len += Number ; } } result = packetbuf_datalen ( ) ; if ( ( unsigned __int16 ) result >= ( unsigned __int8 ) rime_hdr_len ) { v5 = packetbuf_datalen ( ) ; rime_payload_len = v5 - rime_hdr_len ; memcpy ( ( char * ) & sicslowpan_aligned_buf + ( unsigned __int8 ) uncomp_hdr_len + ( unsigned __int64 ) ( unsigned __int16 ) ( Number * @@v9@@ ) , ( char * ) rime_ptr + ( unsigned __int8 ) rime_hdr_len , ( unsigned __int8 ) ( v5 - rime_hdr_len ) ) ; if ( @@v10@@ ) { if ( @@v7@@ ) processed_ip_in_len += ( unsigned __int8 ) uncomp_hdr_len ; if ( @@v6@@ ) processed_ip_in_len = @@v10@@ ; else processed_ip_in_len += ( unsigned __int8 ) rime_payload_len ; } else { sicslowpan_len = ( unsigned __int8 ) rime_payload_len + ( unsigned __int8 ) uncomp_hdr_len ; } if ( ! processed_ip_in_len || ( result = ( unsigned __int16 ) sicslowpan_len , processed_ip_in_len == sicslowpan_len ) ) { memcpy ( & uip_aligned_buf , & sicslowpan_aligned_buf , ( unsigned __int16 ) sicslowpan_len ) ; uip_len = sicslowpan_len ; sicslowpan_len = Number ; processed_ip_in_len = Number ; neighbor_info_packet_received ( ) ; if ( callback ) { set_packet_attrs ( ) ; ( * ( void ( * * ) ( void ) ) ( callback + Number ) ) ( ) ; } result = tcpip_input ( ) ; } } return result ; }", "source": [{"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r32"}, {"n": "v10", "t": {"T": 1, "n": "unsigned __int16", "s": 2}, "location": "s18"}, {"n": "v9", "t": {"T": 1, "n": "unsigned __int8", "s": 1}, "location": "s19"}, {"n": "v8", "t": {"T": 1, "n": "unsigned __int16", "s": 2}, "location": "s22"}, {"n": "v7", "t": {"T": 1, "n": "char", "s": 1}, "location": "s23"}, {"n": "v6", "t": {"T": 1, "n": "char", "s": 1}, "location": "s24"}]}