svf-lib 1.0.1512 → 1.0.1513
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/svf/libSvfCore.a +0 -0
- package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-linux/svf/include/SVFIR/SVFFileSystem.h +1333 -0
- package/SVF-linux/svf/include/SVFIR/SVFModule.h +0 -4
- package/SVF-linux/svf/include/SVFIR/SVFType.h +0 -8
- package/SVF-linux/svf/include/SVFIR/SVFValue.h +0 -34
- package/SVF-linux/svf/include/Util/NodeIDAllocator.h +3 -0
- package/package.json +1 -1
|
@@ -40,8 +40,6 @@ namespace SVF
|
|
|
40
40
|
|
|
41
41
|
class SVFModule
|
|
42
42
|
{
|
|
43
|
-
friend class SVFModuleWrite;
|
|
44
|
-
friend class SVFModuleRead;
|
|
45
43
|
friend class SVFIRWriter;
|
|
46
44
|
friend class SVFIRReader;
|
|
47
45
|
|
|
@@ -79,8 +77,6 @@ public:
|
|
|
79
77
|
|
|
80
78
|
~SVFModule();
|
|
81
79
|
|
|
82
|
-
void writeToJson(const std::string& filePath);
|
|
83
|
-
|
|
84
80
|
static inline void setPagFromTXT(const std::string& txt)
|
|
85
81
|
{
|
|
86
82
|
pagReadFromTxt = txt;
|
|
@@ -130,8 +130,6 @@ typedef Set<VersionedVar> VersionedVarSet;
|
|
|
130
130
|
*/
|
|
131
131
|
class StInfo
|
|
132
132
|
{
|
|
133
|
-
friend class SVFModuleWrite;
|
|
134
|
-
friend class SVFModuleRead;
|
|
135
133
|
friend class SVFIRWriter;
|
|
136
134
|
friend class SVFIRReader;
|
|
137
135
|
|
|
@@ -242,8 +240,6 @@ public:
|
|
|
242
240
|
|
|
243
241
|
class SVFType
|
|
244
242
|
{
|
|
245
|
-
friend class SVFModuleWrite;
|
|
246
|
-
friend class SVFModuleRead;
|
|
247
243
|
friend class SVFIRWriter;
|
|
248
244
|
friend class SVFIRReader;
|
|
249
245
|
|
|
@@ -329,8 +325,6 @@ public:
|
|
|
329
325
|
|
|
330
326
|
class SVFPointerType : public SVFType
|
|
331
327
|
{
|
|
332
|
-
friend class SVFModuleWrite;
|
|
333
|
-
friend class SVFModuleRead;
|
|
334
328
|
friend class SVFIRWriter;
|
|
335
329
|
friend class SVFIRReader;
|
|
336
330
|
|
|
@@ -364,8 +358,6 @@ public:
|
|
|
364
358
|
|
|
365
359
|
class SVFFunctionType : public SVFType
|
|
366
360
|
{
|
|
367
|
-
friend class SVFModuleWrite;
|
|
368
|
-
friend class SVFModuleRead;
|
|
369
361
|
friend class SVFIRWriter;
|
|
370
362
|
friend class SVFIRReader;
|
|
371
363
|
|
|
@@ -49,8 +49,6 @@ class SVFType;
|
|
|
49
49
|
|
|
50
50
|
class SVFLoopAndDomInfo
|
|
51
51
|
{
|
|
52
|
-
friend class SVFModuleWrite;
|
|
53
|
-
friend class SVFModuleRead;
|
|
54
52
|
friend class SVFIRWriter;
|
|
55
53
|
friend class SVFIRReader;
|
|
56
54
|
public:
|
|
@@ -151,8 +149,6 @@ public:
|
|
|
151
149
|
|
|
152
150
|
class SVFValue
|
|
153
151
|
{
|
|
154
|
-
friend class SVFModuleWrite;
|
|
155
|
-
friend class SVFModuleRead;
|
|
156
152
|
friend class SVFIRWriter;
|
|
157
153
|
friend class SVFIRReader;
|
|
158
154
|
friend class LLVMModuleSet;
|
|
@@ -268,8 +264,6 @@ public:
|
|
|
268
264
|
class SVFFunction : public SVFValue
|
|
269
265
|
{
|
|
270
266
|
friend class LLVMModuleSet;
|
|
271
|
-
friend class SVFModuleWrite;
|
|
272
|
-
friend class SVFModuleRead;
|
|
273
267
|
friend class SVFIRWriter;
|
|
274
268
|
friend class SVFIRReader;
|
|
275
269
|
|
|
@@ -486,8 +480,6 @@ public:
|
|
|
486
480
|
class SVFBasicBlock : public SVFValue
|
|
487
481
|
{
|
|
488
482
|
friend class LLVMModuleSet;
|
|
489
|
-
friend class SVFModuleWrite;
|
|
490
|
-
friend class SVFModuleRead;
|
|
491
483
|
friend class SVFIRWriter;
|
|
492
484
|
friend class SVFIRReader;
|
|
493
485
|
|
|
@@ -588,8 +580,6 @@ public:
|
|
|
588
580
|
|
|
589
581
|
class SVFInstruction : public SVFValue
|
|
590
582
|
{
|
|
591
|
-
friend class SVFModuleWrite;
|
|
592
|
-
friend class SVFModuleRead;
|
|
593
583
|
friend class SVFIRWriter;
|
|
594
584
|
friend class SVFIRReader;
|
|
595
585
|
public:
|
|
@@ -657,8 +647,6 @@ public:
|
|
|
657
647
|
|
|
658
648
|
class SVFCallInst : public SVFInstruction
|
|
659
649
|
{
|
|
660
|
-
friend class SVFModuleWrite;
|
|
661
|
-
friend class SVFModuleRead;
|
|
662
650
|
friend class SVFIRWriter;
|
|
663
651
|
friend class SVFIRReader;
|
|
664
652
|
friend class LLVMModuleSet;
|
|
@@ -733,8 +721,6 @@ public:
|
|
|
733
721
|
|
|
734
722
|
class SVFVirtualCallInst : public SVFCallInst
|
|
735
723
|
{
|
|
736
|
-
friend class SVFModuleWrite;
|
|
737
|
-
friend class SVFModuleRead;
|
|
738
724
|
friend class SVFIRWriter;
|
|
739
725
|
friend class SVFIRReader;
|
|
740
726
|
friend class LLVMModuleSet;
|
|
@@ -793,8 +779,6 @@ public:
|
|
|
793
779
|
|
|
794
780
|
class SVFConstant : public SVFValue
|
|
795
781
|
{
|
|
796
|
-
friend class SVFModuleWrite;
|
|
797
|
-
friend class SVFModuleRead;
|
|
798
782
|
friend class SVFIRWriter;
|
|
799
783
|
friend class SVFIRReader;
|
|
800
784
|
public:
|
|
@@ -817,8 +801,6 @@ public:
|
|
|
817
801
|
|
|
818
802
|
class SVFGlobalValue : public SVFConstant
|
|
819
803
|
{
|
|
820
|
-
friend class SVFModuleWrite;
|
|
821
|
-
friend class SVFModuleRead;
|
|
822
804
|
friend class SVFIRWriter;
|
|
823
805
|
friend class SVFIRReader;
|
|
824
806
|
friend class LLVMModuleSet;
|
|
@@ -857,8 +839,6 @@ public:
|
|
|
857
839
|
|
|
858
840
|
class SVFArgument : public SVFValue
|
|
859
841
|
{
|
|
860
|
-
friend class SVFModuleWrite;
|
|
861
|
-
friend class SVFModuleRead;
|
|
862
842
|
friend class SVFIRWriter;
|
|
863
843
|
friend class SVFIRReader;
|
|
864
844
|
private:
|
|
@@ -898,8 +878,6 @@ public:
|
|
|
898
878
|
|
|
899
879
|
class SVFConstantData : public SVFConstant
|
|
900
880
|
{
|
|
901
|
-
friend class SVFModuleWrite;
|
|
902
|
-
friend class SVFModuleRead;
|
|
903
881
|
friend class SVFIRWriter;
|
|
904
882
|
friend class SVFIRReader;
|
|
905
883
|
public:
|
|
@@ -929,8 +907,6 @@ public:
|
|
|
929
907
|
|
|
930
908
|
class SVFConstantInt : public SVFConstantData
|
|
931
909
|
{
|
|
932
|
-
friend class SVFModuleWrite;
|
|
933
|
-
friend class SVFModuleRead;
|
|
934
910
|
friend class SVFIRWriter;
|
|
935
911
|
friend class SVFIRReader;
|
|
936
912
|
private:
|
|
@@ -965,8 +941,6 @@ public:
|
|
|
965
941
|
|
|
966
942
|
class SVFConstantFP : public SVFConstantData
|
|
967
943
|
{
|
|
968
|
-
friend class SVFModuleWrite;
|
|
969
|
-
friend class SVFModuleRead;
|
|
970
944
|
friend class SVFIRWriter;
|
|
971
945
|
friend class SVFIRReader;
|
|
972
946
|
private:
|
|
@@ -994,8 +968,6 @@ public:
|
|
|
994
968
|
|
|
995
969
|
class SVFConstantNullPtr : public SVFConstantData
|
|
996
970
|
{
|
|
997
|
-
friend class SVFModuleWrite;
|
|
998
|
-
friend class SVFModuleRead;
|
|
999
971
|
friend class SVFIRWriter;
|
|
1000
972
|
friend class SVFIRReader;
|
|
1001
973
|
|
|
@@ -1017,8 +989,6 @@ public:
|
|
|
1017
989
|
|
|
1018
990
|
class SVFBlackHoleValue : public SVFConstantData
|
|
1019
991
|
{
|
|
1020
|
-
friend class SVFModuleWrite;
|
|
1021
|
-
friend class SVFModuleRead;
|
|
1022
992
|
friend class SVFIRWriter;
|
|
1023
993
|
friend class SVFIRReader;
|
|
1024
994
|
|
|
@@ -1040,8 +1010,6 @@ public:
|
|
|
1040
1010
|
|
|
1041
1011
|
class SVFOtherValue : public SVFValue
|
|
1042
1012
|
{
|
|
1043
|
-
friend class SVFModuleWrite;
|
|
1044
|
-
friend class SVFModuleRead;
|
|
1045
1013
|
friend class SVFIRWriter;
|
|
1046
1014
|
friend class SVFIRReader;
|
|
1047
1015
|
public:
|
|
@@ -1061,8 +1029,6 @@ public:
|
|
|
1061
1029
|
*/
|
|
1062
1030
|
class SVFMetadataAsValue : public SVFOtherValue
|
|
1063
1031
|
{
|
|
1064
|
-
friend class SVFModuleWrite;
|
|
1065
|
-
friend class SVFModuleRead;
|
|
1066
1032
|
friend class SVFIRWriter;
|
|
1067
1033
|
friend class SVFIRReader;
|
|
1068
1034
|
public:
|