svf-lib 1.0.953 → 1.0.954

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 (4) hide show
  1. package/SVF-linux/Release-build/lib/libSvf.a +0 -0
  2. package/SVF-linux/include/DDA/DDAVFSolver.h +3 -3
  3. package/SVF-linux/include/MemoryModel/SymbolTableInfo.h +3 -0
  4. package/package.json +1 -1
package/SVF-linux/include/DDA/DDAVFSolver.h CHANGED
@@ -448,10 +448,10 @@ protected:
448
448
  assert(obj && "object not found!!");
449
449
  if(obj->isStack())
450
450
  {
451
- if(const AllocaInst* local = SVFUtil::dyn_cast<AllocaInst>(obj->getValue()))
451
+ if(const Function* fun = _pag->getGNode(id)->getFunction())
452
452
  {
453
- const SVFFunction* fun = LLVMModuleSet::getLLVMModuleSet()->getSVFFunction(local->getFunction());
454
- return _callGraphSCC->isInCycle(_callGraph->getCallGraphNode(fun)->getId());
453
+ const SVFFunction* svffun = LLVMModuleSet::getLLVMModuleSet()->getSVFFunction(fun);
454
+ return _callGraphSCC->isInCycle(_callGraph->getCallGraphNode(svffun)->getId());
455
455
  }
456
456
  }
457
457
  return false;
package/SVF-linux/include/MemoryModel/SymbolTableInfo.h CHANGED
@@ -431,6 +431,9 @@ public:
431
431
  /// Get the number of elements of this object
432
432
  u32_t getNumOfElements() const;
433
433
 
434
+ /// Set the number of elements of this object
435
+ void setNumOfElements(u32_t num);
436
+
434
437
  /// Get max field offset limit
435
438
  u32_t getMaxFieldOffsetLimit() const;
436
439
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.953",
3
+ "version": "1.0.954",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {