svf-tools 1.0.560 → 1.0.563

package/lib/MTA/FSMPTA.cpp

@@ -1,3 +1,25 @@
+//===- FSMPTA.cpp -- Flow-sensitive analysis of multithreaded programs-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * FSMPTA.cpp
  *

package/lib/MTA/LockAnalysis.cpp

@@ -1,3 +1,25 @@
+//===- LockAnalysis.cpp -- Analysis of locksets-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * LocksetAnalysis.cpp
  *
@@ -569,12 +591,12 @@ bool LockAnalysis::isProtectedByCommonLock(const Instruction *i1, const Instruct
 {
     numOfTotalQueries++;
     bool commonlock = false;
-    DOTIMESTAT(double queryStart = PTAStat::getClk());
+    DOTIMESTAT(double queryStart = PTAStat::getClk(true));
     if (isInsideIntraLock(i1) && isInsideIntraLock(i2))
         commonlock = isProtectedByCommonCILock(i1,i2) ;
     else
         commonlock = isProtectedByCommonCxtLock(i1,i2);
-    DOTIMESTAT(double queryEnd = PTAStat::getClk());
+    DOTIMESTAT(double queryEnd = PTAStat::getClk(true));
     DOTIMESTAT(lockQueriesTime += (queryEnd - queryStart) / TIMEINTERVAL);
     return commonlock;
 }
@@ -645,7 +667,7 @@ bool LockAnalysis::isProtectedByCommonCxtLock(const Instruction *i1, const Instr
  */
 bool LockAnalysis::isInSameSpan(const Instruction *i1, const Instruction *i2)
 {
-    DOTIMESTAT(double queryStart = PTAStat::getClk());
+    DOTIMESTAT(double queryStart = PTAStat::getClk(true));
 
     bool sameSpan = false;
     if (isInsideIntraLock(i1) && isInsideIntraLock(i2))
@@ -653,7 +675,7 @@ bool LockAnalysis::isInSameSpan(const Instruction *i1, const Instruction *i2)
     else
         sameSpan = isInSameCSSpan(i1, i2);
 
-    DOTIMESTAT(double queryEnd = PTAStat::getClk());
+    DOTIMESTAT(double queryEnd = PTAStat::getClk(true));
     DOTIMESTAT(lockQueriesTime += (queryEnd - queryStart) / TIMEINTERVAL);
     return sameSpan;
 }

package/lib/MTA/MHP.cpp

@@ -1,5 +1,27 @@
+//===- MHP.cpp -- May-happen-in-parallel analysis-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
- * MTA.cpp
+ * MHP.cpp
  *
  *  Created on: Jan 21, 2014
  *      Author: Yulei Sui, Peng Di
@@ -605,9 +627,9 @@ bool MHP::mayHappenInParallel(const Instruction* i1, const Instruction* i2)
 {
     numOfTotalQueries++;
 
-    DOTIMESTAT(double queryStart = PTAStat::getClk());
+    DOTIMESTAT(double queryStart = PTAStat::getClk(true));
     bool mhp=mayHappenInParallelCache(i1,i2);
-    DOTIMESTAT(double queryEnd = PTAStat::getClk());
+    DOTIMESTAT(double queryEnd = PTAStat::getClk(true));
     DOTIMESTAT(interleavingQueriesTime += (queryEnd - queryStart) / TIMEINTERVAL);
 
     return mhp;

package/lib/MTA/MTA.cpp

@@ -1,3 +1,26 @@
+//===- MTA.h -- Analysis of multithreaded programs-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
+
 /*
  * MTA.cpp
  *

package/lib/MTA/MTAStat.cpp

@@ -1,3 +1,25 @@
+//===- MTAStat.cpp -- Statistics for MTA-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * MTAStat.cpp
  *

package/lib/MTA/PCG.cpp

@@ -1,3 +1,25 @@
+//===- PCG.cpp -- Procedure creation graph-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * PCG.cpp
  *

package/lib/MTA/TCT.cpp

@@ -1,3 +1,26 @@
+//===- TCT.cpp -- Thread creation tree-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
+
 /*
  * TCT.cpp
  *

package/lib/MemoryModel/LocationSet.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/MemoryModel/PAGBuilderFromFile.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2018>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/MemoryModel/PointerAnalysis.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/MemoryModel/PointerAnalysisImpl.cpp

@@ -1,3 +1,26 @@
+//===- PointerAnalysisImpl.cpp -- Pointer analysis implementation--------------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
+
 /*
  * PointerAnalysisImpl.cpp
  *

package/lib/SABER/DoubleFreeChecker.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/SABER/FileChecker.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/SABER/LeakChecker.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/SABER/ProgSlice.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/SABER/SaberAnnotator.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/SABER/SaberCheckerAPI.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/SABER/SaberCondAllocator.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/SABER/SaberSVFGBuilder.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/SABER/SrcSnkDDA.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/lib/SVF-FE/LLVMModule.cpp

@@ -83,6 +83,8 @@ SVFModule* LLVMModuleSet::buildSVFModule(Module &mod)
 
 SVFModule* LLVMModuleSet::buildSVFModule(const std::vector<std::string> &moduleNameVec)
 {
+    double startTime = SVFStat::getClk(true);
+
     assert(llvmModuleSet && "LLVM Module set needs to be created!");
 
     loadModules(moduleNameVec);
@@ -94,6 +96,9 @@ SVFModule* LLVMModuleSet::buildSVFModule(const std::vector<std::string> &moduleN
 
     build();
 
+    double endTime = SVFStat::getClk(true);
+    SVFStat::timeOfBuildingLLVMModule = (endTime - startTime)/TIMEINTERVAL;
+
     return svfModule;
 }
 

package/lib/SVF-FE/SVFIRBuilder.cpp

@@ -49,6 +49,7 @@ using namespace LLVMUtil;
  */
 SVFIR* SVFIRBuilder::build(SVFModule* svfModule)
 {
+    double startTime = SVFStat::getClk(true);
 
     // We read SVFIR from a user-defined txt instead of parsing SVFIR from LLVM IR
     if (SVFModule::pagReadFromTXT())
@@ -141,6 +142,10 @@ SVFIR* SVFIRBuilder::build(SVFModule* svfModule)
         LLVMLoopAnalysis loopAnalysis;
         loopAnalysis.build(pag->getICFG());
     }
+
+    double endTime = SVFStat::getClk(true);
+    SVFStat::timeOfBuildingSVFIR = (endTime - startTime)/TIMEINTERVAL;
+
     return pag;
 }
 
@@ -1281,6 +1286,27 @@ void SVFIRBuilder::handleExtCall(CallSite cs, const SVFFunction *callee)
                         else
                             writeWrnMsg("We need two valid NodeIDs and an offset to add a Gep edge");
                     }
+                    else if (op.getOperator() == "BinaryOPStmt")
+                    {
+                        if (op.getOperands().size() == 4)
+                            addBinaryOPEdge(op.getOperands()[0], op.getOperands()[1], op.getOperands()[2], op.getOperands()[3]);
+                        else
+                            writeWrnMsg("We need four valid NodeIDs to add a BinaryOP edge");
+                    }
+                    else if (op.getOperator() == "UnaryOPStmt")
+                    {
+                        if (op.getOperands().size() == 3)
+                            addUnaryOPEdge(op.getOperands()[0], op.getOperands()[1], op.getOperands()[2]);
+                        else
+                            writeWrnMsg("We need three valid NodeIDs to add a UnaryOP edge");
+                    }
+                    else if (op.getOperator() == "CmpStmt")
+                    {
+                        if (op.getOperands().size() == 4)
+                            addCmpEdge(op.getOperands()[0], op.getOperands()[1], op.getOperands()[2], op.getOperands()[3]);
+                        else
+                            writeWrnMsg("We need four valid NodeIDs to add a CmpStmt edge");
+                    }
                     else if (op.getOperator() == "memset_like")
                     {
                         // this is for memset(void *str, int c, size_t n)

package/lib/Util/ExtAPI.cpp

@@ -266,6 +266,48 @@ s32_t ExtAPI::getNodeIDType(std::string s)
         return -2;
     else if(argStr == "Obj")
         return -3;
+    else if(argStr == "Add")
+        return BinaryOperator::Add;
+    else if(argStr == "Sub")
+        return BinaryOperator::Sub;
+    else if(argStr == "Mul")
+        return BinaryOperator::Mul;
+    else if(argStr == "SDiv")
+        return BinaryOperator::SDiv;
+    else if(argStr == "SRem")
+        return BinaryOperator::SRem;
+    else if(argStr == "Xor")
+        return BinaryOperator::Xor;
+    else if(argStr == "And")
+        return BinaryOperator::And;
+    else if(argStr == "Or")
+        return BinaryOperator::Or;
+    else if(argStr == "AShr")
+        return BinaryOperator::AShr;
+    else if(argStr == "Shl")
+        return BinaryOperator::Shl;
+    else if(argStr == "ICMP_EQ")
+        return CmpInst::ICMP_EQ;
+    else if(argStr == "ICMP_NE")
+        return CmpInst::ICMP_NE;
+    else if(argStr == "ICMP_UGT")
+        return CmpInst::ICMP_UGT;
+    else if(argStr == "ICMP_SGT")
+        return CmpInst::ICMP_SGT;
+    else if(argStr == "ICMP_UGE")
+        return CmpInst::ICMP_UGE;
+    else if(argStr == "ICMP_SGE")
+        return CmpInst::ICMP_SGE;
+    else if(argStr == "ICMP_ULT")
+        return CmpInst::ICMP_ULT;
+    else if(argStr == "ICMP_SLT")
+        return CmpInst::ICMP_SLT;
+    else if(argStr == "ICMP_ULE")
+        return CmpInst::ICMP_ULE;
+    else if(argStr == "ICMP_SLE")
+        return CmpInst::ICMP_SLE;
+    else if(argStr == "FNeg")
+        return UnaryOperator::FNeg;
     else // offset
     {
         u32_t i=0;

package/lib/Util/PTAStat.cpp

@@ -207,6 +207,11 @@ void PTAStat::performStat()
     generalNumMap[NumOfIndirectCallSites] = pag->getIndirectCallsites().size();
     generalNumMap["TotalCallSite"] = pag->getCallSiteSet().size();
     generalNumMap["LocalVarInRecur"] = localVarInRecursion.count();
+
+    timeStatMap["LLVMIRTime"] = SVFStat::timeOfBuildingLLVMModule;
+    timeStatMap["SymbolTableTime"] = SVFStat::timeOfBuildingSymbolTable;
+    timeStatMap["SVFIRTime"] = SVFStat::timeOfBuildingSVFIR;
+
     // REFACTOR-TODO bitcastInstStat();
     branchStat();
 

package/lib/Util/SVFModule.cpp

@@ -24,11 +24,13 @@
 #include "Util/SVFModule.h"
 #include "SVF-FE/SymbolTableBuilder.h"
 #include "Util/SVFUtil.h"
+#include "Util/SVFStat.h"
 
 using namespace SVF;
 
 void SVFModule::buildSymbolTableInfo()
 {
+    double startTime = SVFStat::getClk(true);
     if (!pagReadFromTXT())
     {
         /// building symbol table
@@ -37,4 +39,6 @@ void SVFModule::buildSymbolTableInfo()
         SymbolTableBuilder builder(symInfo);
         builder.buildMemModel(this);
     }
+    double endTime = SVFStat::getClk(true);
+    SVFStat::timeOfBuildingSymbolTable = (endTime - startTime)/TIMEINTERVAL;
 }

package/lib/Util/SVFStat.cpp

@@ -32,6 +32,11 @@
 
 using namespace SVF;
 
+double SVFStat::timeOfBuildingLLVMModule = 0;
+double SVFStat::timeOfBuildingSVFIR = 0;
+double SVFStat::timeOfBuildingSymbolTable = 0;
+
+
 SVFStat::SVFStat() : startTime(0), endTime(0)
 {
     assert((Options::ClockType == ClockType::Wall || Options::ClockType == ClockType::CPU)

package/lib/WPA/Steensgaard.cpp

@@ -1,3 +1,25 @@
+//===- Steensgaard.cpp -- Steensgaard's field-insensitive analysis--------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013-2017>  <Yulei Sui>
+//
+
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * Steensgaard.cpp
  *

package/lib/WPA/TypeAnalysis.cpp

@@ -1,4 +1,4 @@
-//===- Andersen.h -- Field-sensitive Andersen's pointer analysis-------------//
+//===- TypeAnalysis.cpp -- Fast type-based analysis without pointer analysis------//
 //
 //                     SVF: Static Value-Flow Analysis
 //

package/lib/WPA/WPAPass.cpp

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 
 // This program is free software: you can redistribute it and/or modify

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.560",
+  "version": "1.0.563",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {