{"name": "ospf_discard_from_db", "code": "__int64 __fastcall ospf_discard_from_db ( __int64 @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ ) { __int64 @@result@@ ; __int64 @@v4@@ ; @@result@@ = ospf_lsdb_lookup ( @@a2@@ , @@a3@@ ) ; @@v4@@ = @@result@@ ; if ( @@result@@ ) { if ( * ( int * ) ( @@result@@ + Number ) >= Number ) ospf_refresher_unregister_lsa ( @@a1@@ , @@result@@ ) ; if ( * ( _BYTE * ) ( * ( _QWORD * ) ( @@v4@@ + Number ) + Number L ) == Number ) { ospf_ls_retransmit_delete_nbr_as ( @@a1@@ , @@v4@@ ) ; ospf_ase_unregister_external_lsa ( @@v4@@ , @@a1@@ ) ; } else { ospf_ls_retransmit_delete_nbr_area ( * ( _QWORD * ) ( @@v4@@ + Number ) , @@v4@@ ) ; } ospf_lsa_maxage_delete ( @@a1@@ , @@v4@@ ) ; @@result@@ = ospf_lsa_discard ( ( _BYTE * ) @@v4@@ ) ; } 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": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s8"}]}
{"name": "ospf_lsa_discard", "code": "__int64 __fastcall ospf_lsa_discard ( _BYTE * @@a1@@ ) { __int64 @@result@@ ; @@result@@ = * @@a1@@ & Number ; if ( ( * @@a1@@ & Number ) == Number ) { * @@a1@@ |= Number ; @@result@@ = ospf_lsa_unlock ( ( __int64 ) @@a1@@ ) ; } return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "_BYTE"}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]} {"name": "ospf_lsa_install", "code": "__int64 __fastcall ospf_lsa_install ( __int64 @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ ) { const char * v4 ; char * v5 ; char * v6 ; const char * v7 ; char * v8 ; char * v9 ; char @@dest@@ [ Number ] ; __int64 @@v12@@ ; int @@v13@@ ; __int64 @@v14@@ ; __int64 @@v15@@ ; @@v15@@ = Number L ; @@v12@@ = Number L ; @@v14@@ = Number L ; if ( * ( _BYTE * ) ( * ( _QWORD * ) ( @@a3@@ + Number ) + Number L ) == Number ) @@v14@@ = * ( _QWORD * ) ( @@a1@@ + Number ) ; else @@v14@@ = * ( _QWORD * ) ( * ( _QWORD * ) ( @@a3@@ + Number ) + Number L ) ; if ( ! @@v14@@ ) _assert_fail ( String , String , Number , String ) ; @@v12@@ = ospf_lsdb_lookup ( @@v14@@ , @@a3@@ ) ; @@v13@@ = Number ; if ( ! @@v12@@ || ( unsigned int ) ospf_lsa_different ( @@v12@@ , @@a3@@ ) ) @@v13@@ = Number ; if ( @@v12@@ ) ospf_discard_from_db ( @@a1@@ , @@v14@@ , @@a3@@ ) ; ospf_lsdb_add ( @@v14@@ , @@a3@@ ) ; * ( _QWORD * ) ( @@a3@@ + Number ) = @@v14@@ ; if ( ( * ( _BYTE * ) @@a3@@ & Number ) != Number ) ospf_lsa_checksum ( * ( _QWORD * ) ( @@a3@@ + Number ) ) ; switch ( * ( _BYTE * ) ( * ( _QWORD * ) ( @@a3@@ + Number ) + Number L ) ) { case Number : @@v15@@ = ospf_router_lsa_install ( @@a1@@ , @@a3@@ , @@v13@@ ) ; break ; case Number : if ( ! @@a2@@ ) _assert_fail ( String , String , Number , String ) ; @@v15@@ = ( __int64 ) ospf_network_lsa_install ( @@a1@@ , @@a2@@ , ( _BYTE * ) @@a3@@ , @@v13@@ ) ; break ; case Number : @@v15@@ = ( __int64 ) ospf_summary_lsa_install ( @@a1@@ , ( _BYTE * ) @@a3@@ , @@v13@@ ) ; break ; case Number : @@v15@@ = ( __int64 ) ospf_summary_asbr_lsa_install ( @@a1@@ , ( _BYTE * ) @@a3@@ , @@v13@@ ) ; break ; case Number : @@v15@@ = ( __int64 ) ospf_external_lsa_install ( @@a1@@ , ( _BYTE * ) @@a3@@ , @@v13@@ ) ; break ; default : break ; } if ( ! @@v15@@ ) return Number L ; if ( ( term_debug_ospf_lsa & Number ) != Number ) { if ( * ( _BYTE * ) ( * ( _QWORD * ) ( @@a3@@ + Number ) + Number L ) == Number ) { v4 = ( const char * ) mes_lookup ( & ospf_lsa_type_msg , ospf_lsa_type_msg_max , * ( unsigned __int8 * ) ( * ( _QWORD * ) ( @@v15@@ + Number ) + Number L ) ) ; v5 = dump_lsa_key ( @@v15@@ ) ; zlog_info ( String , v5 , v4 ) ; } else { v6 = inet_ntoa ( * ( struct in_addr * ) ( * ( _QWORD * ) ( @@v15@@ + Number ) + Number L ) ) ; strcpy ( @@dest@@ , v6 ) ; v7 = ( const char * ) mes_lookup ( & ospf_lsa_type_msg , ospf_lsa_type_msg_max , * ( unsigned __int8 * ) ( * ( _QWORD * ) ( @@v15@@ + Number ) + Number L ) ) ; v8 = dump_lsa_key ( @@v15@@ ) ; zlog_info ( String , v8 , v7 , @@dest@@ ) ; } } if ( ( ( int ) get_age ( @@v15@@ ) > Number || ( unsigned int ) get_age ( @@v15@@ ) == Number ) && ( * ( _BYTE * ) @@v15@@ & Number ) == Number ) { if ( ( term_debug_ospf_lsa & Number ) != Number ) { v9 = inet_ntoa ( * ( struct in_addr * ) ( * ( _QWORD * ) ( @@v15@@ + Number ) + Number L ) ) ; zlog_info ( String , * ( unsigned __int8 * ) ( * ( _QWORD * ) ( @@v15@@ + Number ) + Number L ) , v9 ) ; } ospf_lsa_maxage ( @@a1@@ , @@a3@@ ) ; } return @@v15@@ ; }", "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": "v15", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v14", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v13", "t": {"T": 1, "n": "int", "s": 4}, "location": "s36"}, {"n": "v12", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s48"}, {"n": "dest", "t": {"T": 2, "n": 16, "s": 1, "t": "char"}, "location": "s64"}]} {"name": "ospf_maxage_lsa_remover", "code": "__int64 __fastcall ospf_maxage_lsa_remover ( __int64 @@a1@@ ) { int v1 ; char * v2 ; char * v3 ; _QWORD * @@v5@@ ; __int64 @@v6@@ ; __int64 @@v7@@ ; _BOOL4 @@v8@@ ; _QWORD * @@i@@ ; @@v7@@ = * ( _QWORD * ) ( @@a1@@ + Number ) ; * ( _QWORD * ) ( @@v7@@ + Number ) = Number L ; if ( ( term_debug_ospf_lsa & Number ) != Number ) zlog_info ( String ) ; v1 = ospf_check_nbr_status ( @@v7@@ ) ; @@v8@@ = v1 == Number ; if ( v1 ) { for ( @@i@@ = * * ( _QWORD * * * ) ( @@v7@@ + Number ) ; @@i@@ ; @@i@@ = @@v5@@ ) { @@v6@@ = @@i@@ [ Number ] ; @@v5@@ = ( _QWORD * ) * @@i@@ ; if ( * ( int * ) ( @@v6@@ + Number ) <= Number ) { if ( ( * ( _BYTE * ) @@v6@@ & Number ) != Number && ( term_debug_ospf_lsa & Number ) != Number ) { v2 = inet_ntoa ( * ( struct in_addr * ) ( * ( _QWORD * ) ( @@v6@@ + Number ) + Number L ) ) ; zlog_info ( String , * ( unsigned __int8 * ) ( * ( _QWORD * ) ( @@v6@@ + Number ) + Number L ) , v2 ) ; } if ( ( term_debug_ospf_lsa & Number ) != Number ) { v3 = inet_ntoa ( * ( struct in_addr * ) ( * ( _QWORD * ) ( @@v6@@ + Number ) + Number L ) ) ; zlog_info ( String , * ( unsigned __int8 * ) ( * ( _QWORD * ) ( @@v6@@ + Number ) + Number L ) , v3 ) ; } ospf_flood_through ( @@v7@@ , Number L , @@v6@@ ) ; ospf_discard_from_db ( @@v7@@ , * ( _QWORD * ) ( @@v6@@ + Number ) , @@v6@@ ) ; ospf_lsdb_delete ( * ( _QWORD * ) ( @@v6@@ + Number ) , @@v6@@ ) ; } else { @@v8@@ = Number ; } } } if ( @@v8@@ && ! * ( _QWORD * ) ( @@v7@@ + Number ) ) * ( _QWORD * ) ( @@v7@@ + Number ) = thread_add_timer ( master , ospf_maxage_lsa_remover , @@v7@@ , Number L ) ; return Number L ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v8", "t": {"T": 1, "n": "_BOOL4", "s": 4}, "location": "s12"}, {"n": "v7", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v5", "t": {"T": 3, "t": "_QWORD"}, "location": "s40"}, {"n": "i", "t": {"T": 3, "t": "_QWORD"}, "location": "s8"}]} {"name": "ospf_lsa_maxage_delete", "code": "__int64 __fastcall ospf_lsa_maxage_delete ( __int64 @@a1@@ , __int64 @@a2@@ ) { __int64 @@result@@ ; @@result@@ = listnode_lookup ( * ( _QWORD * ) ( @@a1@@ + Number ) , @@a2@@ ) ; if ( @@result@@ ) { list_delete_node ( * ( _QWORD * ) ( @@a1@@ + Number ) , @@result@@ ) ; @@result@@ = ospf_lsa_unlock ( @@a2@@ ) ; } 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"}]} {"name": "ospf_lsa_maxage", "code": "__int64 __fastcall ospf_lsa_maxage ( __int64 @@a1@@ , _QWORD * @@a2@@ ) { __int64 result ; char * v3 ; __int64 v4 ; char * v5 ; if ( ( unsigned int ) ospf_lsa_maxage_exist ( @@a1@@ , ( __int64 ) @@a2@@ ) ) { result = term_debug_ospf_lsa & Number ; if ( ( term_debug_ospf_lsa & Number ) != Number ) { v3 = inet_ntoa ( * ( struct in_addr * ) ( @@a2@@ [ Number ] + Number L ) ) ; result = zlog_info ( String , * ( unsigned __int8 * ) ( @@a2@@ [ Number ] + Number L ) , v3 , @@a2@@ ) ; } } else { v4 = ospf_lsa_lock ( ( __int64 ) @@a2@@ ) ; listnode_add ( * ( _QWORD * ) ( @@a1@@ + Number ) , v4 ) ; if ( ( term_debug_ospf_lsa & Number ) != Number ) { v5 = dump_lsa_key ( ( __int64 ) @@a2@@ ) ; zlog_info ( String , v5 ) ; } result = * ( _QWORD * ) ( @@a1@@ + Number ) ; if ( ! result ) { result = thread_add_timer ( master , ospf_maxage_lsa_remover , @@a1@@ , Number L ) ; * ( _QWORD * ) ( @@a1@@ + Number ) = result ; } } return result ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "_QWORD"}, "location": "r64"}]} {"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"}]}