svf-lib 1.0.1531 → 1.0.1533
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-linux/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-linux/svf/include/SVFIR/SVFStatements.h +4 -1
- package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-osx/svf/include/AbstractExecution/BoundedZ3Expr.h +2 -2
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
@@ -113,9 +113,12 @@ public:
|
|
|
113
113
|
edge->getEdgeKind() == SVFStmt::Call ||
|
|
114
114
|
edge->getEdgeKind() == SVFStmt::Ret ||
|
|
115
115
|
edge->getEdgeKind() == SVFStmt::Gep ||
|
|
116
|
+
edge->getEdgeKind() == SVFStmt::Phi ||
|
|
117
|
+
edge->getEdgeKind() == SVFStmt::Select ||
|
|
116
118
|
edge->getEdgeKind() == SVFStmt::Cmp ||
|
|
117
119
|
edge->getEdgeKind() == SVFStmt::BinaryOp ||
|
|
118
120
|
edge->getEdgeKind() == SVFStmt::UnaryOp ||
|
|
121
|
+
edge->getEdgeKind() == SVFStmt::Branch ||
|
|
119
122
|
edge->getEdgeKind() == SVFStmt::ThreadFork ||
|
|
120
123
|
edge->getEdgeKind() == SVFStmt::ThreadJoin;
|
|
121
124
|
}
|
|
@@ -1245,4 +1248,4 @@ public:
|
|
|
1245
1248
|
|
|
1246
1249
|
} // End namespace SVF
|
|
1247
1250
|
|
|
1248
|
-
#endif /* INCLUDE_SVFIR_SVFSTATEMENT_H_ */
|
|
1251
|
+
#endif /* INCLUDE_SVFIR_SVFSTATEMENT_H_ */
|
|
Binary file
|
|
Binary file
|
|
@@ -112,12 +112,12 @@ public:
|
|
|
112
112
|
|
|
113
113
|
bool is_zero() const
|
|
114
114
|
{
|
|
115
|
-
return getExpr().is_numeral() && getExpr()
|
|
115
|
+
return getExpr().is_numeral() && eq(getExpr(), Z3Expr(0));
|
|
116
116
|
}
|
|
117
117
|
|
|
118
118
|
static bool isZero(const BoundedZ3Expr &expr)
|
|
119
119
|
{
|
|
120
|
-
return expr.is_numeral() && expr.
|
|
120
|
+
return expr.is_numeral() && eq(expr.getExpr(), Z3Expr(0));
|
|
121
121
|
}
|
|
122
122
|
|
|
123
123
|
BoundedZ3Expr equal(const BoundedZ3Expr &rhs) const
|