{"name": "ospf_summary_asbr_lsa_install", "code": "_BYTE * __fastcall ospf_summary_asbr_lsa_install ( __int64 @@a1@@ , _BYTE * @@a2@@ , int @@a3@@ ) { if ( @@a3@@ && ( * @@a2@@ & Number ) == Number ) ospf_spf_calculate_schedule ( @@a1@@ ) ; if ( ( * @@a2@@ & Number ) != Number ) ospf_refresher_register_lsa ( @@a1@@ , @@a2@@ ) ; return @@a2@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "_BYTE"}, "location": "r64"}]}
{"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_refresher_register_lsa", "code": "__int64 __fastcall ospf_refresher_register_lsa ( __int64 @@a1@@ , __int64 @@a2@@ ) { __int64 result ; int v3 ; __int16 v4 ; unsigned int v5 ; __int64 v6 ; unsigned __int16 @@v7@@ ; int @@v8@@ ; if ( ( * ( _BYTE * ) @@a2@@ & Number ) == Number ) _assert_fail ( String , String , Number , String ) ; result = * ( unsigned int * ) ( @@a2@@ + Number ) ; if ( ( int ) result < Number ) { if ( ( int ) get_age ( @@a2@@ ) > Number || ( unsigned int ) get_age ( @@a2@@ ) || ntohl ( * ( _DWORD * ) ( * ( _QWORD * ) ( @@a2@@ + Number ) + Number L ) ) != Number ) { if ( ( int ) get_age ( @@a2@@ ) > Number ) v3 = Number ; else v3 = Number - get_age ( @@a2@@ ) ; @@v8@@ = v3 + random ( ) % Number ; } else { @@v8@@ = random ( ) % Number + Number ; } if ( @@v8@@ < Number ) @@v8@@ = Number ; v4 = * ( _WORD * ) ( @@a1@@ + Number ) ; @@v7@@ = ( @@v8@@ / Number + ( unsigned __int16 ) ( v4 + ( __int16 ) ( time ( Number L ) - * ( _WORD * ) ( @@a1@@ + Number ) ) / Number ) ) % Number ; if ( ( term_debug_ospf_lsa & Number ) != Number ) { if ( ( int ) get_age ( @@a2@@ ) > Number ) v5 = Number ; else v5 = get_age ( @@a2@@ ) ; zlog_info ( String , v5 , @@v7@@ ) ; } if ( ! * ( _QWORD * ) ( @@a1@@ + Number * ( @@v7@@ + Number L ) + Number ) ) * ( _QWORD * ) ( @@a1@@ + Number * ( @@v7@@ + Number L ) + Number ) = list_new ( ) ; v6 = ospf_lsa_lock ( @@a2@@ ) ; listnode_add ( * ( _QWORD * ) ( @@a1@@ + Number * ( @@v7@@ + Number L ) + Number ) , v6 ) ; result = @@a2@@ ; * ( _DWORD * ) ( @@a2@@ + Number ) = @@v7@@ ; } 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": "v8", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}, {"n": "v7", "t": {"T": 1, "n": "unsigned __int16", "s": 2}, "location": "s24"}]}