diff --git a/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a b/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a index 3d4e985f..03546eca 100644 Binary files a/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a and b/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a differ diff --git a/SVF-osx/Release-build/svf/libSvfCore.a b/SVF-osx/Release-build/svf/libSvfCore.a index 97c89444..dd3b5f79 100644 Binary files a/SVF-osx/Release-build/svf/libSvfCore.a and b/SVF-osx/Release-build/svf/libSvfCore.a differ diff --git a/SVF-osx/svf/include/Graphs/VFGNode.h b/SVF-osx/svf/include/Graphs/VFGNode.h index 0904dfdc..bc1c8b71 100644 --- a/SVF-osx/svf/include/Graphs/VFGNode.h +++ b/SVF-osx/svf/include/Graphs/VFGNode.h @@ -47,13 +47,13 @@ class VFGNode : public GenericVFGNodeTy { public: - /// 24 kinds of ICFG node + /// 25 kinds of ICFG node /// Gep represents offset edge for field sensitivity enum VFGNodeK { Addr, Copy, Gep, Store, Load, Cmp, BinaryOp, UnaryOp, Branch, TPhi, TIntraPhi, TInterPhi, MPhi, MIntraPhi, MInterPhi, FRet, ARet, AParm, FParm, - FunRet, APIN, APOUT, FPIN, FPOUT, NPtr, DummyVProp + APIN, APOUT, FPIN, FPOUT, NPtr, DummyVProp }; typedef VFGEdge::VFGEdgeSetTy::iterator iterator;