svf-lib 1.0.1084 → 1.0.1087
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-linux/Release-build/lib/libSvf.a +0 -0
- package/SVF-linux/include/SVF-FE/SVFIRBuilder.h +1 -1
- package/SVF-linux/include/Util/ExtAPI.json +40 -40
- package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
- package/SVF-osx/Release-build/lib/libSvf.a +0 -0
- package/SVF-osx/include/SVF-FE/SVFIRBuilder.h +1 -1
- package/SVF-osx/include/Util/ExtAPI.json +44 -39
- package/package.json +1 -1
|
Binary file
|
|
@@ -241,7 +241,7 @@ protected:
|
|
|
241
241
|
|
|
242
242
|
/// Handle external call
|
|
243
243
|
//@{
|
|
244
|
-
virtual u32_t
|
|
244
|
+
virtual u32_t getArgPos(std::string s);
|
|
245
245
|
virtual NodeID parseNode(std::string s, CallSite cs, const Instruction *inst);
|
|
246
246
|
virtual void handleExtCall(CallSite cs, const SVFFunction *F);
|
|
247
247
|
void addComplexConsForExt(Value *D, Value *S, const Value* sz);
|
|
@@ -2928,81 +2928,81 @@
|
|
|
2928
2928
|
"memset": {
|
|
2929
2929
|
"type": "EFT_L_A0__A0R_A1",
|
|
2930
2930
|
"overwrite_app_function": 0,
|
|
2931
|
-
"copy_n": ["
|
|
2931
|
+
"copy_n": ["A0R", "A1", "A2"]
|
|
2932
2932
|
},
|
|
2933
2933
|
"llvm.memset": {
|
|
2934
2934
|
"type": "EFT_L_A0__A0R_A1",
|
|
2935
2935
|
"overwrite_app_function": 0,
|
|
2936
|
-
"copy_n": ["
|
|
2936
|
+
"copy_n": ["A0R", "A1", "A2"]
|
|
2937
2937
|
},
|
|
2938
2938
|
"llvm.memset.p0i8.i32": {
|
|
2939
2939
|
"type": "EFT_L_A0__A0R_A1",
|
|
2940
2940
|
"overwrite_app_function": 0,
|
|
2941
|
-
"copy_n": ["
|
|
2941
|
+
"copy_n": ["A0R", "A1", "A2"]
|
|
2942
2942
|
},
|
|
2943
2943
|
"llvm.memset.p0i8.i64": {
|
|
2944
2944
|
"type": "EFT_L_A0__A0R_A1",
|
|
2945
2945
|
"overwrite_app_function": 0,
|
|
2946
|
-
"copy_n": ["
|
|
2946
|
+
"copy_n": ["A0R", "A1", "A2"]
|
|
2947
2947
|
},
|
|
2948
2948
|
"__memset_chk": {
|
|
2949
2949
|
"type": "EFT_L_A0__A0R_A1",
|
|
2950
2950
|
"overwrite_app_function": 0,
|
|
2951
|
-
"copy_n": ["
|
|
2951
|
+
"copy_n": ["A0R", "A1", "A2"]
|
|
2952
2952
|
},
|
|
2953
2953
|
"llvm.memcpy": {
|
|
2954
2954
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2955
2955
|
"overwrite_app_function": 0,
|
|
2956
|
-
"copy_mn": ["
|
|
2957
|
-
"copy": ["
|
|
2956
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2957
|
+
"copy": ["A0R", "L"]
|
|
2958
2958
|
},
|
|
2959
2959
|
"llvm.memcpy.p0i8.p0i8.i32": {
|
|
2960
2960
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2961
2961
|
"overwrite_app_function": 0,
|
|
2962
|
-
"copy_mn": ["
|
|
2963
|
-
"copy": ["
|
|
2962
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2963
|
+
"copy": ["A0R", "L"]
|
|
2964
2964
|
},
|
|
2965
2965
|
"llvm.memcpy.p0i8.p0i8.i64": {
|
|
2966
2966
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2967
2967
|
"overwrite_app_function": 0,
|
|
2968
|
-
"copy_mn": ["
|
|
2969
|
-
"copy": ["
|
|
2968
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2969
|
+
"copy": ["A0R", "L"]
|
|
2970
2970
|
},
|
|
2971
2971
|
"llvm.memmove": {
|
|
2972
2972
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2973
2973
|
"overwrite_app_function": 0,
|
|
2974
|
-
"copy_mn": ["
|
|
2975
|
-
"copy": ["
|
|
2974
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2975
|
+
"copy": ["A0R", "L"]
|
|
2976
2976
|
},
|
|
2977
2977
|
"llvm.memmove.p0i8.p0i8.i32": {
|
|
2978
2978
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2979
2979
|
"overwrite_app_function": 0,
|
|
2980
|
-
"copy_mn": ["
|
|
2981
|
-
"copy": ["
|
|
2980
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2981
|
+
"copy": ["A0R", "L"]
|
|
2982
2982
|
},
|
|
2983
2983
|
"llvm.memmove.p0i8.p0i8.i64": {
|
|
2984
2984
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2985
2985
|
"overwrite_app_function": 0,
|
|
2986
|
-
"copy_mn": ["
|
|
2987
|
-
"copy": ["
|
|
2986
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2987
|
+
"copy": ["A0R", "L"]
|
|
2988
2988
|
},
|
|
2989
2989
|
"memccpy": {
|
|
2990
2990
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2991
2991
|
"overwrite_app_function": 0,
|
|
2992
|
-
"copy_mn": ["
|
|
2993
|
-
"copy": ["
|
|
2992
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2993
|
+
"copy": ["A0R", "L"]
|
|
2994
2994
|
},
|
|
2995
2995
|
"memcpy": {
|
|
2996
2996
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2997
2997
|
"overwrite_app_function": 0,
|
|
2998
|
-
"copy_mn": ["
|
|
2999
|
-
"copy": ["
|
|
2998
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2999
|
+
"copy": ["A0R", "L"]
|
|
3000
3000
|
},
|
|
3001
3001
|
"memmove": {
|
|
3002
3002
|
"type": "EFT_L_A0__A0R_A1R",
|
|
3003
3003
|
"overwrite_app_function": 0,
|
|
3004
|
-
"copy_mn": ["
|
|
3005
|
-
"copy": ["
|
|
3004
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
3005
|
+
"copy": ["A0R", "L"]
|
|
3006
3006
|
},
|
|
3007
3007
|
"dlsym": {
|
|
3008
3008
|
"type": "EFT_L_A1__FunPtr",
|
|
@@ -3012,7 +3012,7 @@
|
|
|
3012
3012
|
"bcopy": {
|
|
3013
3013
|
"type": "EFT_A1R_A0R",
|
|
3014
3014
|
"overwrite_app_function": 0,
|
|
3015
|
-
"copy_mn": ["A1R", "
|
|
3015
|
+
"copy_mn": ["A1R", "A0R", "A2"]
|
|
3016
3016
|
},
|
|
3017
3017
|
"iconv": {
|
|
3018
3018
|
"type": "EFT_A3R_A1R_NS",
|
|
@@ -3184,7 +3184,7 @@
|
|
|
3184
3184
|
"_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_":{
|
|
3185
3185
|
"type": "EFT_STD_RB_TREE_INSERT_AND_REBALANCE",
|
|
3186
3186
|
"overwrite_app_function": 0,
|
|
3187
|
-
"complex": ["
|
|
3187
|
+
"complex": ["A1", "A3"]
|
|
3188
3188
|
},
|
|
3189
3189
|
"_ZNSt8__detail15_List_node_base7_M_hookEPS0_":{
|
|
3190
3190
|
"type": "EFT_STD_LIST_HOOK",
|
|
@@ -3194,77 +3194,77 @@
|
|
|
3194
3194
|
"_ZNSsC1EPKcRKSaIcE":{
|
|
3195
3195
|
"type": "CPP_EFT_A0R_A1",
|
|
3196
3196
|
"overwrite_app_function": 0,
|
|
3197
|
-
"store": ["A1", "
|
|
3197
|
+
"store": ["A1", "A0R"]
|
|
3198
3198
|
},
|
|
3199
3199
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_":{
|
|
3200
3200
|
"type": "CPP_EFT_A0R_A1",
|
|
3201
3201
|
"overwrite_app_function": 0,
|
|
3202
|
-
"store": ["A1", "
|
|
3202
|
+
"store": ["A1", "A0R"]
|
|
3203
3203
|
},
|
|
3204
3204
|
"_ZNSsC1EPKcmRKSaIcE":{
|
|
3205
3205
|
"type": "CPP_EFT_A0R_A1",
|
|
3206
3206
|
"overwrite_app_function": 0,
|
|
3207
|
-
"store": ["A1", "
|
|
3207
|
+
"store": ["A1", "A0R"]
|
|
3208
3208
|
},
|
|
3209
3209
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcmRKS3_":{
|
|
3210
3210
|
"type": "CPP_EFT_A0R_A1",
|
|
3211
3211
|
"overwrite_app_function": 0,
|
|
3212
|
-
"store": ["A1", "
|
|
3212
|
+
"store": ["A1", "A0R"]
|
|
3213
3213
|
},
|
|
3214
3214
|
"_ZNSsaSEPKc":{
|
|
3215
3215
|
"type": "CPP_EFT_A0R_A1",
|
|
3216
3216
|
"overwrite_app_function": 0,
|
|
3217
|
-
"store": ["A1", "
|
|
3217
|
+
"store": ["A1", "A0R"]
|
|
3218
3218
|
},
|
|
3219
3219
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc":{
|
|
3220
3220
|
"type": "CPP_EFT_A0R_A1",
|
|
3221
3221
|
"overwrite_app_function": 0,
|
|
3222
|
-
"store": ["A1", "
|
|
3222
|
+
"store": ["A1", "A0R"]
|
|
3223
3223
|
},
|
|
3224
3224
|
"_ZNSsC1ERKSs":{
|
|
3225
3225
|
"type": "CPP_EFT_A0R_A1R",
|
|
3226
3226
|
"overwrite_app_function": 0,
|
|
3227
|
-
"load_store": ["
|
|
3227
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3228
3228
|
},
|
|
3229
3229
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1ERKS4_":{
|
|
3230
3230
|
"type": "CPP_EFT_A0R_A1R",
|
|
3231
3231
|
"overwrite_app_function": 0,
|
|
3232
|
-
"load_store": ["
|
|
3232
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3233
3233
|
},
|
|
3234
3234
|
"_ZNSsC1ERKSsmm":{
|
|
3235
3235
|
"type": "CPP_EFT_A0R_A1R",
|
|
3236
3236
|
"overwrite_app_function": 0,
|
|
3237
|
-
"load_store": ["
|
|
3237
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3238
3238
|
},
|
|
3239
3239
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1ERKS4_mm":{
|
|
3240
3240
|
"type": "CPP_EFT_A0R_A1R",
|
|
3241
3241
|
"overwrite_app_function": 0,
|
|
3242
|
-
"load_store": ["
|
|
3242
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3243
3243
|
},
|
|
3244
3244
|
"_ZNSsaSERKSs":{
|
|
3245
3245
|
"type": "CPP_EFT_A0R_A1R",
|
|
3246
3246
|
"overwrite_app_function": 0,
|
|
3247
|
-
"load_store": ["
|
|
3247
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3248
3248
|
},
|
|
3249
3249
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_":{
|
|
3250
3250
|
"type": "CPP_EFT_A0R_A1R",
|
|
3251
3251
|
"overwrite_app_function": 0,
|
|
3252
|
-
"load_store": ["
|
|
3252
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3253
3253
|
},
|
|
3254
3254
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEOS4_":{
|
|
3255
3255
|
"type": "CPP_EFT_A0R_A1R",
|
|
3256
3256
|
"overwrite_app_function": 0,
|
|
3257
|
-
"load_store": ["
|
|
3257
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3258
3258
|
},
|
|
3259
3259
|
"_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKSbIS4_S5_T1_E":{
|
|
3260
3260
|
"type": "CPP_EFT_A1R",
|
|
3261
3261
|
"overwrite_app_function": 0,
|
|
3262
|
-
"load": ["
|
|
3262
|
+
"load": ["A1R", "V"]
|
|
3263
3263
|
},
|
|
3264
3264
|
"_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE":{
|
|
3265
3265
|
"type": "CPP_EFT_A1R",
|
|
3266
3266
|
"overwrite_app_function": 0,
|
|
3267
|
-
"load": ["
|
|
3267
|
+
"load": ["A1R", "V"]
|
|
3268
3268
|
},
|
|
3269
3269
|
"__dynamic_cast":{
|
|
3270
3270
|
"type": "CPP_EFT_DYNAMIC_CAST",
|
|
Binary file
|
|
Binary file
|
|
@@ -241,7 +241,7 @@ protected:
|
|
|
241
241
|
|
|
242
242
|
/// Handle external call
|
|
243
243
|
//@{
|
|
244
|
-
virtual u32_t
|
|
244
|
+
virtual u32_t getArgPos(std::string s);
|
|
245
245
|
virtual NodeID parseNode(std::string s, CallSite cs, const Instruction *inst);
|
|
246
246
|
virtual void handleExtCall(CallSite cs, const SVFFunction *F);
|
|
247
247
|
void addComplexConsForExt(Value *D, Value *S, const Value* sz);
|
|
@@ -2928,81 +2928,81 @@
|
|
|
2928
2928
|
"memset": {
|
|
2929
2929
|
"type": "EFT_L_A0__A0R_A1",
|
|
2930
2930
|
"overwrite_app_function": 0,
|
|
2931
|
-
"copy_n": ["
|
|
2931
|
+
"copy_n": ["A0R", "A1", "A2"]
|
|
2932
2932
|
},
|
|
2933
2933
|
"llvm.memset": {
|
|
2934
2934
|
"type": "EFT_L_A0__A0R_A1",
|
|
2935
2935
|
"overwrite_app_function": 0,
|
|
2936
|
-
"copy_n": ["
|
|
2936
|
+
"copy_n": ["A0R", "A1", "A2"]
|
|
2937
2937
|
},
|
|
2938
2938
|
"llvm.memset.p0i8.i32": {
|
|
2939
2939
|
"type": "EFT_L_A0__A0R_A1",
|
|
2940
2940
|
"overwrite_app_function": 0,
|
|
2941
|
-
"copy_n": ["
|
|
2941
|
+
"copy_n": ["A0R", "A1", "A2"]
|
|
2942
2942
|
},
|
|
2943
2943
|
"llvm.memset.p0i8.i64": {
|
|
2944
2944
|
"type": "EFT_L_A0__A0R_A1",
|
|
2945
2945
|
"overwrite_app_function": 0,
|
|
2946
|
-
"copy_n": ["
|
|
2946
|
+
"copy_n": ["A0R", "A1", "A2"]
|
|
2947
2947
|
},
|
|
2948
2948
|
"__memset_chk": {
|
|
2949
2949
|
"type": "EFT_L_A0__A0R_A1",
|
|
2950
2950
|
"overwrite_app_function": 0,
|
|
2951
|
-
"copy_n": ["
|
|
2951
|
+
"copy_n": ["A0R", "A1", "A2"]
|
|
2952
2952
|
},
|
|
2953
2953
|
"llvm.memcpy": {
|
|
2954
2954
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2955
2955
|
"overwrite_app_function": 0,
|
|
2956
|
-
"copy_mn": ["
|
|
2957
|
-
"copy": ["
|
|
2956
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2957
|
+
"copy": ["A0R", "L"]
|
|
2958
2958
|
},
|
|
2959
2959
|
"llvm.memcpy.p0i8.p0i8.i32": {
|
|
2960
2960
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2961
2961
|
"overwrite_app_function": 0,
|
|
2962
|
-
"copy_mn": ["
|
|
2963
|
-
"copy": ["
|
|
2962
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2963
|
+
"copy": ["A0R", "L"]
|
|
2964
2964
|
},
|
|
2965
2965
|
"llvm.memcpy.p0i8.p0i8.i64": {
|
|
2966
2966
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2967
2967
|
"overwrite_app_function": 0,
|
|
2968
|
-
"copy_mn": ["
|
|
2969
|
-
"copy": ["
|
|
2968
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2969
|
+
"copy": ["A0R", "L"]
|
|
2970
2970
|
},
|
|
2971
2971
|
"llvm.memmove": {
|
|
2972
2972
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2973
2973
|
"overwrite_app_function": 0,
|
|
2974
|
-
"copy_mn": ["
|
|
2975
|
-
"copy": ["
|
|
2974
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2975
|
+
"copy": ["A0R", "L"]
|
|
2976
2976
|
},
|
|
2977
2977
|
"llvm.memmove.p0i8.p0i8.i32": {
|
|
2978
2978
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2979
2979
|
"overwrite_app_function": 0,
|
|
2980
|
-
"copy_mn": ["
|
|
2981
|
-
"copy": ["
|
|
2980
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2981
|
+
"copy": ["A0R", "L"]
|
|
2982
2982
|
},
|
|
2983
2983
|
"llvm.memmove.p0i8.p0i8.i64": {
|
|
2984
2984
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2985
2985
|
"overwrite_app_function": 0,
|
|
2986
|
-
"copy_mn": ["
|
|
2987
|
-
"copy": ["
|
|
2986
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2987
|
+
"copy": ["A0R", "L"]
|
|
2988
2988
|
},
|
|
2989
2989
|
"memccpy": {
|
|
2990
2990
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2991
2991
|
"overwrite_app_function": 0,
|
|
2992
|
-
"copy_mn": ["
|
|
2993
|
-
"copy": ["
|
|
2992
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2993
|
+
"copy": ["A0R", "L"]
|
|
2994
2994
|
},
|
|
2995
2995
|
"memcpy": {
|
|
2996
2996
|
"type": "EFT_L_A0__A0R_A1R",
|
|
2997
2997
|
"overwrite_app_function": 0,
|
|
2998
|
-
"copy_mn": ["
|
|
2999
|
-
"copy": ["
|
|
2998
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
2999
|
+
"copy": ["A0R", "L"]
|
|
3000
3000
|
},
|
|
3001
3001
|
"memmove": {
|
|
3002
3002
|
"type": "EFT_L_A0__A0R_A1R",
|
|
3003
3003
|
"overwrite_app_function": 0,
|
|
3004
|
-
"copy_mn": ["
|
|
3005
|
-
"copy": ["
|
|
3004
|
+
"copy_mn": ["A0R", "A1R", "A2"],
|
|
3005
|
+
"copy": ["A0R", "L"]
|
|
3006
3006
|
},
|
|
3007
3007
|
"dlsym": {
|
|
3008
3008
|
"type": "EFT_L_A1__FunPtr",
|
|
@@ -3012,7 +3012,7 @@
|
|
|
3012
3012
|
"bcopy": {
|
|
3013
3013
|
"type": "EFT_A1R_A0R",
|
|
3014
3014
|
"overwrite_app_function": 0,
|
|
3015
|
-
"copy_mn": ["A1R", "
|
|
3015
|
+
"copy_mn": ["A1R", "A0R", "A2"]
|
|
3016
3016
|
},
|
|
3017
3017
|
"iconv": {
|
|
3018
3018
|
"type": "EFT_A3R_A1R_NS",
|
|
@@ -3184,7 +3184,7 @@
|
|
|
3184
3184
|
"_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_":{
|
|
3185
3185
|
"type": "EFT_STD_RB_TREE_INSERT_AND_REBALANCE",
|
|
3186
3186
|
"overwrite_app_function": 0,
|
|
3187
|
-
"complex": ["
|
|
3187
|
+
"complex": ["A1", "A3"]
|
|
3188
3188
|
},
|
|
3189
3189
|
"_ZNSt8__detail15_List_node_base7_M_hookEPS0_":{
|
|
3190
3190
|
"type": "EFT_STD_LIST_HOOK",
|
|
@@ -3194,72 +3194,77 @@
|
|
|
3194
3194
|
"_ZNSsC1EPKcRKSaIcE":{
|
|
3195
3195
|
"type": "CPP_EFT_A0R_A1",
|
|
3196
3196
|
"overwrite_app_function": 0,
|
|
3197
|
-
"store": ["A1", "
|
|
3197
|
+
"store": ["A1", "A0R"]
|
|
3198
3198
|
},
|
|
3199
3199
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_":{
|
|
3200
3200
|
"type": "CPP_EFT_A0R_A1",
|
|
3201
3201
|
"overwrite_app_function": 0,
|
|
3202
|
-
"store": ["A1", "
|
|
3202
|
+
"store": ["A1", "A0R"]
|
|
3203
3203
|
},
|
|
3204
3204
|
"_ZNSsC1EPKcmRKSaIcE":{
|
|
3205
3205
|
"type": "CPP_EFT_A0R_A1",
|
|
3206
3206
|
"overwrite_app_function": 0,
|
|
3207
|
-
"store": ["A1", "
|
|
3207
|
+
"store": ["A1", "A0R"]
|
|
3208
3208
|
},
|
|
3209
3209
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcmRKS3_":{
|
|
3210
3210
|
"type": "CPP_EFT_A0R_A1",
|
|
3211
3211
|
"overwrite_app_function": 0,
|
|
3212
|
-
"store": ["A1", "
|
|
3212
|
+
"store": ["A1", "A0R"]
|
|
3213
3213
|
},
|
|
3214
3214
|
"_ZNSsaSEPKc":{
|
|
3215
3215
|
"type": "CPP_EFT_A0R_A1",
|
|
3216
3216
|
"overwrite_app_function": 0,
|
|
3217
|
-
"store": ["A1", "
|
|
3217
|
+
"store": ["A1", "A0R"]
|
|
3218
3218
|
},
|
|
3219
3219
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc":{
|
|
3220
3220
|
"type": "CPP_EFT_A0R_A1",
|
|
3221
3221
|
"overwrite_app_function": 0,
|
|
3222
|
-
"store": ["A1", "
|
|
3222
|
+
"store": ["A1", "A0R"]
|
|
3223
3223
|
},
|
|
3224
3224
|
"_ZNSsC1ERKSs":{
|
|
3225
3225
|
"type": "CPP_EFT_A0R_A1R",
|
|
3226
3226
|
"overwrite_app_function": 0,
|
|
3227
|
-
"load_store": ["
|
|
3227
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3228
3228
|
},
|
|
3229
3229
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1ERKS4_":{
|
|
3230
3230
|
"type": "CPP_EFT_A0R_A1R",
|
|
3231
3231
|
"overwrite_app_function": 0,
|
|
3232
|
-
"load_store": ["
|
|
3232
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3233
3233
|
},
|
|
3234
3234
|
"_ZNSsC1ERKSsmm":{
|
|
3235
3235
|
"type": "CPP_EFT_A0R_A1R",
|
|
3236
3236
|
"overwrite_app_function": 0,
|
|
3237
|
-
"load_store": ["
|
|
3237
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3238
3238
|
},
|
|
3239
3239
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1ERKS4_mm":{
|
|
3240
3240
|
"type": "CPP_EFT_A0R_A1R",
|
|
3241
3241
|
"overwrite_app_function": 0,
|
|
3242
|
-
"load_store": ["
|
|
3242
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3243
3243
|
},
|
|
3244
3244
|
"_ZNSsaSERKSs":{
|
|
3245
3245
|
"type": "CPP_EFT_A0R_A1R",
|
|
3246
3246
|
"overwrite_app_function": 0,
|
|
3247
|
-
"load_store": ["
|
|
3247
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3248
3248
|
},
|
|
3249
3249
|
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_":{
|
|
3250
3250
|
"type": "CPP_EFT_A0R_A1R",
|
|
3251
3251
|
"overwrite_app_function": 0,
|
|
3252
|
-
"load_store": ["
|
|
3252
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3253
|
+
},
|
|
3254
|
+
"_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEOS4_":{
|
|
3255
|
+
"type": "CPP_EFT_A0R_A1R",
|
|
3256
|
+
"overwrite_app_function": 0,
|
|
3257
|
+
"load_store": ["A1R", "V","A0R"]
|
|
3253
3258
|
},
|
|
3254
3259
|
"_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKSbIS4_S5_T1_E":{
|
|
3255
3260
|
"type": "CPP_EFT_A1R",
|
|
3256
3261
|
"overwrite_app_function": 0,
|
|
3257
|
-
"load": ["
|
|
3262
|
+
"load": ["A1R", "V"]
|
|
3258
3263
|
},
|
|
3259
3264
|
"_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE":{
|
|
3260
3265
|
"type": "CPP_EFT_A1R",
|
|
3261
3266
|
"overwrite_app_function": 0,
|
|
3262
|
-
"load": ["
|
|
3267
|
+
"load": ["A1R", "V"]
|
|
3263
3268
|
},
|
|
3264
3269
|
"__dynamic_cast":{
|
|
3265
3270
|
"type": "CPP_EFT_DYNAMIC_CAST",
|