svf-lib 1.0.748 → 1.0.752

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.
Files changed (10) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/SABER/PathCondAllocator.h +4 -0
  3. package/SVF-linux/include/Util/Conditions.h +10 -0
  4. package/SVF-linux/include/Util/Options.h +3 -1
  5. package/SVF-osx/Release-build/lib/CUDD/libCudd.a +0 -0
  6. package/SVF-osx/Release-build/lib/libSvf.a +0 -0
  7. package/SVF-osx/include/SABER/PathCondAllocator.h +4 -0
  8. package/SVF-osx/include/Util/Conditions.h +10 -0
  9. package/SVF-osx/include/Util/Options.h +3 -1
  10. package/package.json +1 -1
package/SVF-linux/include/SABER/PathCondAllocator.h CHANGED
@@ -138,6 +138,10 @@ public:
138
138
  }
139
139
  //@}
140
140
 
141
+ bool isNegCond(const Condition *condition) {
142
+ return condMgr->isNegCond(condition);
143
+ }
144
+
141
145
  /// Get dominators
142
146
  inline DominatorTree* getDT(const Function* fun)
143
147
  {
package/SVF-linux/include/Util/Conditions.h CHANGED
@@ -287,6 +287,15 @@ public:
287
287
  assert(condToInstMap.find(cond)==condToInstMap.end() && "this should be a fresh condition");
288
288
  condToInstMap[cond] = inst;
289
289
  }
290
+
291
+ inline void setNegCondInst(const CondExpr *cond, const Instruction *inst) {
292
+ setCondInst(cond, inst);
293
+ negConds.set(cond->getId());
294
+ }
295
+
296
+ inline bool isNegCond(const CondExpr *cond) const {
297
+ return negConds.test(cond->getId());
298
+ }
290
299
  //@}
291
300
 
292
301
  private:
@@ -298,6 +307,7 @@ private:
298
307
  BranchCondToCondExprMap branchCondToCondExpr; ///< map branch condition to its Condition wrapper
299
308
  CondToTermInstMap condToInstMap; ///< map condition to llvm instruction
300
309
  BranchCondManager branchCondManager; ///< branch condition manager
310
+ NodeBS negConds;
301
311
  };
302
312
 
303
313
  } // End namespace SVF
package/SVF-linux/include/Util/Options.h CHANGED
@@ -243,13 +243,15 @@ public:
243
243
  // TypeAnalysis.cpp
244
244
  static const llvm::cl::opt<bool> GenICFG;
245
245
 
246
- //WPAPass.cpp
246
+ // WPAPass.cpp
247
247
  static const llvm::cl::opt<bool> AnderSVFG;
248
248
  static const llvm::cl::opt<bool> SABERFULLSVFG;
249
249
  static const llvm::cl::opt<bool> PrintAliases;
250
250
  static llvm::cl::bits<PointerAnalysis::PTATY> PASelected;
251
251
  static llvm::cl::bits<WPAPass::AliasCheckRule> AliasRule;
252
252
 
253
+ // DOTGraphTraits
254
+ static const llvm::cl::opt<bool> ShowHiddenNode;
253
255
  };
254
256
  } // namespace SVF
255
257
 
package/SVF-osx/Release-build/lib/libSvf.a CHANGED
Binary file
package/SVF-osx/include/SABER/PathCondAllocator.h CHANGED
@@ -138,6 +138,10 @@ public:
138
138
  }
139
139
  //@}
140
140
 
141
+ bool isNegCond(const Condition *condition) {
142
+ return condMgr->isNegCond(condition);
143
+ }
144
+
141
145
  /// Get dominators
142
146
  inline DominatorTree* getDT(const Function* fun)
143
147
  {
package/SVF-osx/include/Util/Conditions.h CHANGED
@@ -287,6 +287,15 @@ public:
287
287
  assert(condToInstMap.find(cond)==condToInstMap.end() && "this should be a fresh condition");
288
288
  condToInstMap[cond] = inst;
289
289
  }
290
+
291
+ inline void setNegCondInst(const CondExpr *cond, const Instruction *inst) {
292
+ setCondInst(cond, inst);
293
+ negConds.set(cond->getId());
294
+ }
295
+
296
+ inline bool isNegCond(const CondExpr *cond) const {
297
+ return negConds.test(cond->getId());
298
+ }
290
299
  //@}
291
300
 
292
301
  private:
@@ -298,6 +307,7 @@ private:
298
307
  BranchCondToCondExprMap branchCondToCondExpr; ///< map branch condition to its Condition wrapper
299
308
  CondToTermInstMap condToInstMap; ///< map condition to llvm instruction
300
309
  BranchCondManager branchCondManager; ///< branch condition manager
310
+ NodeBS negConds;
301
311
  };
302
312
 
303
313
  } // End namespace SVF
package/SVF-osx/include/Util/Options.h CHANGED
@@ -243,13 +243,15 @@ public:
243
243
  // TypeAnalysis.cpp
244
244
  static const llvm::cl::opt<bool> GenICFG;
245
245
 
246
- //WPAPass.cpp
246
+ // WPAPass.cpp
247
247
  static const llvm::cl::opt<bool> AnderSVFG;
248
248
  static const llvm::cl::opt<bool> SABERFULLSVFG;
249
249
  static const llvm::cl::opt<bool> PrintAliases;
250
250
  static llvm::cl::bits<PointerAnalysis::PTATY> PASelected;
251
251
  static llvm::cl::bits<WPAPass::AliasCheckRule> AliasRule;
252
252
 
253
+ // DOTGraphTraits
254
+ static const llvm::cl::opt<bool> ShowHiddenNode;
253
255
  };
254
256
  } // namespace SVF
255
257
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.748",
3
+ "version": "1.0.752",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {