SVF code formatter

jumormt · Jan 17, 2025 · 8068f98 · 8068f98
1 parent 89b8815
commit 8068f98
Show file tree

Hide file tree

Showing 7 changed files with 28 additions and 16 deletions.
diff --git a/svf-llvm/lib/SVFIRBuilder.cpp b/svf-llvm/lib/SVFIRBuilder.cpp
@@ -356,9 +356,11 @@ void SVFIRBuilder::initialiseNodes()
         }
     }
 
-    for (auto& it : SymbolTableInfo::SymbolInfo()->idToObjTypeInfoMap()) {
+    for (auto& it : SymbolTableInfo::SymbolInfo()->idToObjTypeInfoMap())
+    {
         NodeID id = it.first;
-        if (BaseObjVar* obj = SVFUtil::dyn_cast<BaseObjVar>(pag->getGNode(id))) {
+        if (BaseObjVar* obj = SVFUtil::dyn_cast<BaseObjVar>(pag->getGNode(id)))
+        {
             if (!obj->hasValue())
                 continue;
 

diff --git a/svf-llvm/lib/SymbolTableBuilder.cpp b/svf-llvm/lib/SymbolTableBuilder.cpp
@@ -48,9 +48,10 @@ ObjTypeInfo* SymbolTableBuilder::createBlkObjTypeInfo(SymID symId)
 {
     assert(symInfo->isBlkObj(symId));
     LLVMModuleSet* llvmset = LLVMModuleSet::getLLVMModuleSet();
-    if (symInfo->objTypeInfoMap.find(symId)==symInfo->objTypeInfoMap.end()) {
+    if (symInfo->objTypeInfoMap.find(symId)==symInfo->objTypeInfoMap.end())
+    {
         ObjTypeInfo* ti =symInfo->createObjTypeInfo(llvmset->getSVFType(
-            IntegerType::get(llvmset->getContext(), 32)));
+                             IntegerType::get(llvmset->getContext(), 32)));
         symInfo->objTypeInfoMap[symId] = ti;
     }
     ObjTypeInfo* ti = symInfo->objTypeInfoMap[symId];
@@ -64,7 +65,7 @@ ObjTypeInfo* SymbolTableBuilder::createConstantObjTypeInfo(SymID symId)
     if (symInfo->objTypeInfoMap.find(symId)==symInfo->objTypeInfoMap.end())
     {
         ObjTypeInfo* ti = symInfo->createObjTypeInfo(
-            llvmset->getSVFType(IntegerType::get(llvmset->getContext(), 32)));
+                              llvmset->getSVFType(IntegerType::get(llvmset->getContext(), 32)));
         symInfo->objTypeInfoMap[symId] = ti;
     }
     ObjTypeInfo* ti = symInfo->objTypeInfoMap[symId];

diff --git a/svf/include/SVFIR/SVFIR.h b/svf/include/SVFIR/SVFIR.h
@@ -705,12 +705,14 @@ class SVFIR : public IRGraph
     }
     inline NodeID addDummyObjNode(NodeID i, const SVFType* type)
     {
-        if (symInfo->idToObjTypeInfoMap().find(i) == symInfo->idToObjTypeInfoMap().end()) {
+        if (symInfo->idToObjTypeInfoMap().find(i) == symInfo->idToObjTypeInfoMap().end())
+        {
             ObjTypeInfo* ti = symInfo->createObjTypeInfo(type);
             symInfo->idToObjTypeInfoMap()[i] = ti;
             return addObjNode(nullptr, new DummyObjVar(i, ti));
         }
-        else {
+        else
+        {
             return addObjNode(nullptr, new DummyObjVar(i, symInfo->getObjTypeInfo(i)));
         }
     }

diff --git a/svf/include/SVFIR/SVFVariables.h b/svf/include/SVFIR/SVFVariables.h
@@ -577,7 +577,8 @@ class BaseObjVar : public ObjVar
     {
     }
 
-    virtual const BaseObjVar* getBaseMemObj() const {
+    virtual const BaseObjVar* getBaseMemObj() const
+    {
         return this;
     }
 
@@ -723,7 +724,8 @@ class BaseObjVar : public ObjVar
     //@}
 
     /// Clean up memory
-    void destroy() {
+    void destroy()
+    {
         delete typeInfo;
         typeInfo = nullptr;
     }
@@ -867,7 +869,7 @@ class HeapObjVar: public BaseObjVar
     /// Constructor
     HeapObjVar(const SVFValue* val, NodeID i, ObjTypeInfo* ti,
                const SVFFunction* f, PNODEK ty = HeapObjNode):
-          BaseObjVar(val, i, ti, ty)
+        BaseObjVar(val, i, ti, ty)
     {
         isPtr = val->getType()->isPointerTy();
         func = f;
@@ -933,7 +935,7 @@ class StackObjVar: public BaseObjVar
     /// Constructor
     StackObjVar(const SVFValue* val, NodeID i, ObjTypeInfo* ti,
                 const SVFFunction* fun, PNODEK ty = StackObjNode):
-          BaseObjVar(val, i, ti, ty)
+        BaseObjVar(val, i, ti, ty)
     {
         isPtr = val->getType()->isPointerTy();
         func = fun;

diff --git a/svf/lib/SABER/SaberSVFGBuilder.cpp b/svf/lib/SABER/SaberSVFGBuilder.cpp
@@ -232,9 +232,11 @@ bool SaberSVFGBuilder::isStrongUpdate(const SVFGNode* node, NodeID& singleton, B
             singleton = *it;
 
             // Strong update can be made if this points-to target is not heap, array or field-insensitive.
-            if (!pta->isHeapMemObj(singleton) && !pta->isArrayMemObj(singleton)) {
+            if (!pta->isHeapMemObj(singleton) && !pta->isArrayMemObj(singleton))
+            {
                 if (SVFIR::getPAG()->getBaseObject(singleton)->isFieldInsensitive() == false
-                    && !pta->isLocalVarInRecursiveFun(singleton)) {
+                        && !pta->isLocalVarInRecursiveFun(singleton))
+                {
                     isSU = true;
                 }
             }

diff --git a/svf/lib/SVFIR/SymbolTableInfo.cpp b/svf/lib/SVFIR/SymbolTableInfo.cpp
@@ -162,7 +162,8 @@ void SymbolTableInfo::destroy()
 
 const ObjTypeInfo* SymbolTableInfo::createDummyObjTypeInfo(SymID symId, const SVFType* type)
 {
-    if (objTypeInfoMap.find(symId)==objTypeInfoMap.end()) {
+    if (objTypeInfoMap.find(symId)==objTypeInfoMap.end())
+    {
         ObjTypeInfo* ti = createObjTypeInfo(type);
         objTypeInfoMap[symId] = ti;
     }

diff --git a/svf/lib/WPA/FlowSensitive.cpp b/svf/lib/WPA/FlowSensitive.cpp
@@ -670,10 +670,12 @@ bool FlowSensitive::isStrongUpdate(const SVFGNode* node, NodeID& singleton)
             singleton = *it;
 
             // Strong update can be made if this points-to target is not heap, array or field-insensitive.
-            if (!isHeapMemObj(singleton) && !isArrayMemObj(singleton)) {
+            if (!isHeapMemObj(singleton) && !isArrayMemObj(singleton))
+            {
                 assert(pag->getBaseObject(singleton)->isFieldInsensitive() == pag->getBaseObject(singleton)->isFieldInsensitive());
                 if (pag->getBaseObject(singleton)->isFieldInsensitive() == false
-                    && !isLocalVarInRecursiveFun(singleton)) {
+                        && !isLocalVarInRecursiveFun(singleton))
+                {
                     isSU = true;
                 }
             }