Merge pull request #37 from jumormt/main

sync with SVF
SVF-tools · Jan 17, 2025 · 4ee2afd · 4ee2afd
2 parents fcf8d66 + e88a10e
commit 4ee2afd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Assignment-2/Z3SSEMgr.cpp b/Assignment-2/Z3SSEMgr.cpp
@@ -51,7 +51,7 @@ z3::expr Z3SSEMgr::createExprForObjVar(const ObjVar* objVar) {
 	std::string str;
 	raw_string_ostream rawstr(str);
 	expr e(ctx);
-	const MemObj* obj = objVar->getMemObj();
+	const BaseObjVar* obj = svfir->getBaseObject(objVar->getId());
 	/// constant data
 	if (obj->isConstDataOrAggData() || obj->isConstantArray() || obj->isConstantStruct()) {
 		if (const ConstantIntObjVar* consInt = SVFUtil::dyn_cast<ConstantIntObjVar>(objVar)) {

diff --git a/Assignment-3/Assignment-3-Helper.cpp b/Assignment-3/Assignment-3-Helper.cpp
@@ -760,7 +760,7 @@ void AbstractExecution::handleStubFunctions(const SVF::CallICFGNode* callNode) {
 				u64_t access_offset = as[arg1].getInterval().getIntNumeral();
 				NodeID objId = AbstractState::getInternalID(addr);
 				const GepObjVar* gepLhsObjVar = SVFUtil::cast<GepObjVar>(svfir->getGNode(objId));
-				auto size = svfir->getBaseObj(objId)->getByteSizeOfObj();
+				auto size = svfir->getBaseObject(objId)->getByteSizeOfObj();
 				if (bufOverflowHelper.hasGepObjOffsetFromBase(gepLhsObjVar)) {
 					overflow = (bufOverflowHelper.getGepObjOffsetFromBase(gepLhsObjVar).ub().getIntNumeral() + access_offset
 					            >= size);