Merge pull request #15 from bjjwwang/0621_public

yuleisui · web-flow · commit 2d0788aba821 · 2024-06-21T17:08:02.000+10:00
Make gepobj ids separated from base obj ids
diff --git a/Lab-Exercise-2/Z3Examples.h b/Lab-Exercise-2/Z3Examples.h
@@ -88,6 +88,7 @@ namespace SVF {
 				return pointer;
 			}
 			else {
+				gepObj += maxNumOfExpr/2; // gep obj ID starts from maxNumOfExpr/2 in this lab exercise
 				z3::expr e = getZ3Expr(Z3Mgr::getVirtualMemAddress(gepObj));
 				updateZ3Expr(gepObj, e);
 				return e;

Original file line number	Diff line number	Diff line change
`@@ -88,6 +88,7 @@ namespace SVF {`
`88`	`88`	`return pointer;`
`89`	`89`	`}`
`90`	`90`	`else {`
	`91`	`+ gepObj += maxNumOfExpr/2; // gep obj ID starts from maxNumOfExpr/2 in this lab exercise`
`91`	`92`	`z3::expr e = getZ3Expr(Z3Mgr::getVirtualMemAddress(gepObj));`
`92`	`93`	`updateZ3Expr(gepObj, e);`
`93`	`94`	`return e;`