svf-lib 1.0.2138 → 1.0.2139

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 (2) hide show
  1. package/SVF-linux/Release-build/include/MSSA/MSSAMuChi.h +2 -2
  2. package/package.json +1 -1
package/SVF-linux/Release-build/include/MSSA/MSSAMuChi.h CHANGED
@@ -515,7 +515,7 @@ public:
515
515
 
516
516
  /*!
517
517
  *
518
- * StoreCHI is annotated at each store instruction, representing a memory object is modified here
518
+ * CallCHI is annotated at callsite, representing a memory object is indirect modified by callee
519
519
  */
520
520
  template<class Cond>
521
521
  class CallCHI : public MSSACHI<Cond>
@@ -523,7 +523,7 @@ class CallCHI : public MSSACHI<Cond>
523
523
  private:
524
524
  const CallICFGNode* callsite;
525
525
  public:
526
- /// Constructors for StoreCHI
526
+ /// Constructors for CallCHI
527
527
  //@{
528
528
  CallCHI(const CallICFGNode* cs, const MemRegion* m, Cond c = true) :
529
529
  MSSACHI<Cond>(MSSADEF::CallMSSACHI,m,c), callsite(cs)
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2138",
3
+ "version": "1.0.2139",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {