{"name": "ospf_external_lsa_flush", "code": "__int64 __fastcall ospf_external_lsa_flush ( __int64 @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ ) { unsigned int v3 ; char * v4 ; __int64 result ; unsigned int v6 ; char * v7 ; __int64 @@v9@@ ; if ( ( term_debug_ospf_lsa & Number ) != Number ) { v3 = * ( unsigned __int8 * ) ( @@a3@@ + Number ) ; v4 = inet_ntoa ( * ( struct in_addr * ) ( @@a3@@ + Number ) ) ; zlog_info ( String , v4 , v3 ) ; } @@v9@@ = ospf_external_info_find_lsa ( @@a1@@ , @@a3@@ ) ; if ( @@v9@@ ) { ospf_ls_retransmit_delete_nbr_as ( @@a1@@ , @@v9@@ ) ; if ( ( int ) get_age ( @@v9@@ ) <= Number && ( unsigned int ) get_age ( @@v9@@ ) != Number ) { ospf_refresher_unregister_lsa ( @@a1@@ , @@v9@@ ) ; ospf_lsa_flush_as ( @@a1@@ , @@v9@@ ) ; } result = term_debug_ospf_lsa & Number ; if ( ( term_debug_ospf_lsa & Number ) != Number ) result = zlog_info ( String ) ; } else { result = term_debug_ospf_lsa & Number ; if ( ( term_debug_ospf_lsa & Number ) != Number ) { v6 = * ( unsigned __int8 * ) ( @@a3@@ + Number ) ; v7 = inet_ntoa ( * ( struct in_addr * ) ( @@a3@@ + Number ) ) ; result = zlog_warn ( String , v7 , v6 ) ; } } return result ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "v9", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}]}
{"name": "get_age", "code": "__int64 __fastcall get_age ( __int64 @@a1@@ ) { int @@v1@@ ; __int64 @@v2@@ ; __int64 @@v3@@ ; struct timeval @@tv@@ ; gettimeofday ( & @@tv@@ , Number L ) ; @@v1@@ = ntohs ( * * ( _WORD * * ) ( @@a1@@ + Number ) ) ; @@v2@@ = tv_sub ( @@tv@@ . tv_sec , @@tv@@ . tv_usec , * ( _QWORD * ) ( @@a1@@ + Number ) , * ( _QWORD * ) ( @@a1@@ + Number ) ) ; return @@v1@@ + ( unsigned int ) tv_floor ( @@v2@@ , @@v3@@ ) ; }", "source": [{"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r104"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "tv", "t": {"T": 6, "n": "struct timeval", "l": [{"T": 4, "n": "tv_sec", "t": "__time_t", "s": 8}, {"T": 4, "n": "tv_usec", "t": "__suseconds_t", "s": 8}]}, "location": "s48"}]} {"name": "ospf_external_lsa_refresh", "code": "__int64 __fastcall ospf_external_lsa_refresh ( __int64 @@a1@@ , __int64 @@a2@@ , unsigned __int8 * @@a3@@ , int @@a4@@ ) { __int64 result ; char * v5 ; uint32_t v6 ; char * v7 ; unsigned int @@v10@@ ; struct timeval * @@v11@@ ; if ( ! ( unsigned int ) ospf_redistribute_check ( @@a1@@ , @@a3@@ , & @@v10@@ ) ) return ospf_external_lsa_flush ( @@a1@@ , * @@a3@@ , ( __int64 ) ( @@a3@@ + Number ) ) ; result = @@v10@@ ; if ( @@v10@@ || @@a4@@ ) { ospf_ls_retransmit_delete_nbr_as ( @@a1@@ , @@a2@@ ) ; ospf_refresher_unregister_lsa ( @@a1@@ , @@a2@@ ) ; @@v11@@ = ospf_external_lsa_new ( @@a1@@ , @@a3@@ , ( int * ) ( * ( _QWORD * ) ( @@a2@@ + Number ) + Number L ) ) ; if ( @@v11@@ ) { v6 = lsa_seqnum_increment ( @@a2@@ ) ; * ( _DWORD * ) ( @@v11@@ -> tv_usec + Number ) = v6 ; gettimeofday ( @@v11@@ + Number , Number L ) ; ospf_lsa_checksum ( @@v11@@ -> tv_usec ) ; ospf_lsa_install ( @@a1@@ , Number L , @@v11@@ ) ; ospf_flood_through_as ( @@a1@@ , Number L , @@v11@@ ) ; ospf_refresher_register_lsa ( @@a1@@ , @@v11@@ ) ; result = term_debug_ospf_lsa & Number ; if ( ( term_debug_ospf_lsa & Number ) != Number ) { v7 = inet_ntoa ( * ( struct in_addr * ) ( @@v11@@ -> tv_usec + Number ) ) ; zlog_info ( String , * ( unsigned __int8 * ) ( @@v11@@ -> tv_usec + Number ) , v7 ) ; result = ospf_lsa_header_dump ( @@v11@@ -> tv_usec ) ; } } else { result = term_debug_ospf_lsa & Number ; if ( ( term_debug_ospf_lsa & Number ) != Number ) { v5 = inet_ntoa ( * ( struct in_addr * ) ( * ( _QWORD * ) ( @@a2@@ + Number ) + Number L ) ) ; result = zlog_warn ( String , * ( unsigned __int8 * ) ( * ( _QWORD * ) ( @@a2@@ + Number ) + Number L ) , v5 ) ; } } } return result ; }", "source": [{"n": "a3", "t": {"T": 3, "t": "unsigned __int8"}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "int", "s": 4}, "location": "r24"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "v10", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s12"}, {"n": "v11", "t": {"T": 3, "t": "struct timeval"}, "location": "s8"}]} {"name": "ospf_refresher_unregister_lsa", "code": "__int64 __fastcall ospf_refresher_unregister_lsa ( __int64 @@a1@@ , __int64 @@a2@@ ) { __int64 @@result@@ ; __int64 @@v3@@ ; if ( ( * ( _BYTE * ) @@a2@@ & Number ) == Number ) _assert_fail ( String , String , Number , String ) ; @@result@@ = * ( unsigned int * ) ( @@a2@@ + Number ) ; if ( ( int ) @@result@@ >= Number ) { @@v3@@ = * ( _QWORD * ) ( @@a1@@ + Number * ( * ( int * ) ( @@a2@@ + Number ) + Number L ) + Number ) ; listnode_delete ( @@v3@@ , @@a2@@ ) ; if ( ! * ( _DWORD * ) ( @@v3@@ + Number ) ) { list_free ( @@v3@@ ) ; * ( _QWORD * ) ( @@a1@@ + Number * ( * ( int * ) ( @@a2@@ + Number ) + Number L ) + Number ) = Number L ; } ospf_lsa_unlock ( @@a2@@ ) ; @@result@@ = @@a2@@ ; * ( _DWORD * ) ( @@a2@@ + Number ) = Number ; } return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "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": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s8"}]}