handle nullptr in printAbstractState

bjjwwang · Oct 8, 2024 · 1174630 · 1174630
1 parent 59d0663
commit 1174630
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/svf/lib/AE/Core/AbstractState.cpp b/svf/lib/AE/Core/AbstractState.cpp
@@ -441,6 +441,7 @@ void AbstractState::printAbstractState() const
 
     for (const auto& item: addrToAbsValVec)
     {
+        if (item.first == 0) continue;
         std::ostringstream oss;
         oss << "0x" << std::hex << AbstractState::getVirtualMemAddress(item.first);
         SVFUtil::outs() << std::left << std::setw(fieldWidth) << oss.str();