{"name": "ospf_lsa_refresh_walker", "code": "__int64 __fastcall ospf_lsa_refresh_walker ( __int64 @@a1@@ ) { __int64 @@v1@@ ; _QWORD * @@v3@@ ; _DWORD * @@v4@@ ; _QWORD * @@v5@@ ; _QWORD * @@v6@@ ; __int64 @@v7@@ ; int @@v8@@ ; _QWORD * i ; _QWORD * j ; @@v7@@ = * ( _QWORD * ) ( @@a1@@ + Number ) ; @@v6@@ = ( _QWORD * ) list_new ( ) ; if ( ( term_debug_ospf_lsa & Number ) != Number ) zlog_info ( String ) ; @@v8@@ = * ( unsigned __int16 * ) ( @@v7@@ + Number ) ; @@v1@@ = * ( unsigned __int16 * ) ( @@v7@@ + Number ) ; * ( _WORD * ) ( @@v7@@ + Number ) = ( @@v1@@ + ( time ( Number L ) - * ( _QWORD * ) ( @@v7@@ + Number ) ) / Number ) % Number ; if ( ( term_debug_ospf_lsa & Number ) != Number ) zlog_info ( String , * ( unsigned __int16 * ) ( @@v7@@ + Number ) ) ; while ( @@v8@@ != * ( unsigned __int16 * ) ( @@v7@@ + Number ) ) { if ( ( term_debug_ospf_lsa & Number ) != Number ) zlog_info ( String , ( unsigned int ) @@v8@@ ) ; @@v5@@ = * ( _QWORD * * ) ( @@v7@@ + Number * ( @@v8@@ + Number L ) + Number ) ; * ( _QWORD * ) ( @@v7@@ + Number * ( @@v8@@ + Number L ) + Number ) = Number L ; if ( @@v5@@ ) { for ( i = ( _QWORD * ) * @@v5@@ ; i ; i = @@v3@@ ) { @@v4@@ = ( _DWORD * ) i [ Number ] ; @@v3@@ = ( _QWORD * ) * i ; if ( ( term_debug_ospf_lsa & Number ) != Number ) zlog_info ( String , @@v4@@ ) ; list_delete_node ( @@v5@@ , i ) ; ospf_lsa_unlock ( ( __int64 ) @@v4@@ ) ; @@v4@@ [ Number ] = Number ; listnode_add ( @@v6@@ , @@v4@@ ) ; } list_free ( @@v5@@ ) ; } @@v8@@ = ( @@v8@@ + Number ) % Number ; } * ( _QWORD * ) ( @@v7@@ + Number ) = thread_add_timer ( master , ospf_lsa_refresh_walker , @@v7@@ , * ( unsigned __int16 * ) ( @@v7@@ + Number ) ) ; * ( _QWORD * ) ( @@v7@@ + Number ) = time ( Number L ) ; for ( j = ( _QWORD * ) * @@v6@@ ; j ; j = ( _QWORD * ) * j ) ospf_lsa_refresh ( @@v7@@ , j [ Number ] ) ; list_delete ( @@v6@@ ) ; if ( ( term_debug_ospf_lsa & Number ) != Number ) zlog_info ( String ) ; return Number L ; }", "source": [{"n": "v1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r32"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v8", "t": {"T": 1, "n": "int", "s": 4}, "location": "s28"}, {"n": "v7", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v6", "t": {"T": 3, "t": "_QWORD"}, "location": "s48"}, {"n": "v5", "t": {"T": 3, "t": "_QWORD"}, "location": "s56"}, {"n": "v4", "t": {"T": 3, "t": "_DWORD"}, "location": "s64"}, {"n": "v3", "t": {"T": 3, "t": "_QWORD"}, "location": "s72"}]}
{"name": "ospf_lsa_unlock", "code": "__int64 __fastcall ospf_lsa_unlock ( __int64 @@a1@@ ) { __int64 @@result@@ ; if ( @@a1@@ ) { if ( ( int ) -- * ( _DWORD * ) ( @@a1@@ + Number ) < Number ) _assert_fail ( String , String , Number , String ) ; @@result@@ = * ( unsigned int * ) ( @@a1@@ + Number ) ; if ( ! ( _DWORD ) @@result@@ ) { if ( ( * ( _BYTE * ) @@a1@@ & Number ) == Number ) _assert_fail ( String , String , Number , String ) ; @@result@@ = ospf_lsa_free ( @@a1@@ ) ; } } return @@result@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}]} {"name": "ospf_lsa_refresh", "code": "__int64 __fastcall ospf_lsa_refresh ( __int64 @@a1@@ , __int64 @@a2@@ ) { __int64 @@result@@ ; unsigned __int8 * @@v3@@ ; if ( ( * ( _BYTE * ) @@a2@@ & Number ) == Number ) _assert_fail ( String , String , Number , String ) ; @@result@@ = * ( unsigned __int8 * ) ( * ( _QWORD * ) ( @@a2@@ + Number ) + Number L ) ; if ( ( _DWORD ) @@result@@ == Number ) { @@v3@@ = ( unsigned __int8 * ) ospf_external_info_check ( @@a2@@ ) ; if ( @@v3@@ ) @@result@@ = ospf_external_lsa_refresh ( @@a1@@ , @@a2@@ , @@v3@@ , Number ) ; else @@result@@ = ospf_lsa_flush_as ( @@a1@@ , @@a2@@ ) ; } else if ( * ( unsigned __int8 * ) ( * ( _QWORD * ) ( @@a2@@ + Number ) + Number L ) <= Number ) { if ( ( _DWORD ) @@result@@ == Number ) { @@result@@ = ( __int64 ) ospf_summary_asbr_lsa_refresh ( @@a1@@ , @@a2@@ ) ; } else if ( * ( unsigned __int8 * ) ( * ( _QWORD * ) ( @@a2@@ + Number ) + Number L ) > Number ) { @@result@@ = ( __int64 ) ospf_summary_lsa_refresh ( @@a1@@ , @@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"}, {"n": "v3", "t": {"T": 3, "t": "unsigned __int8"}, "location": "s8"}]}