{"name": "vfbfs_dir_init", "code": "__int64 __fastcall vfbfs_dir_init ( __int64 @@a1@@ ) { * ( _QWORD * ) ( @@a1@@ + Number ) = Number L ; * ( _QWORD * ) ( @@a1@@ + Number ) = Number L ; * ( _QWORD * ) ( @@a1@@ + Number ) = Number L ; * ( _QWORD * ) ( @@a1@@ + Number ) = Number L ; * ( _QWORD * ) ( @@a1@@ + Number ) = Number L ; * ( _QWORD * ) @@a1@@ = Number L ; * ( _QWORD * ) ( @@a1@@ + Number ) = Number L ; pthread_rwlock_init ( ( pthread_rwlock_t * ) ( @@a1@@ + Number ) , Number L ) ; return @@a1@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}]}
{"name": "vfbfs_dir_alloc", "code": "__int64 vfbfs_dir_alloc ( ) { __int64 @@result@@ ; void * @@v1@@ ; @@v1@@ = malloc ( Number ) ; if ( @@v1@@ ) @@result@@ = vfbfs_dir_init ( ( __int64 ) @@v1@@ ) ; else @@result@@ = Number L ; return @@result@@ ; }", "source": [{"n": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "v1", "t": {"T": 3, "t": "void"}, "location": "s8"}]}