diff --git a/svf/include/MSSA/MSSAMuChi.h b/svf/include/MSSA/MSSAMuChi.h index c37c6c43a..1e5dc0e41 100644 --- a/svf/include/MSSA/MSSAMuChi.h +++ b/svf/include/MSSA/MSSAMuChi.h @@ -515,7 +515,7 @@ class StoreCHI : public MSSACHI /*! * - * StoreCHI is annotated at each store instruction, representing a memory object is modified here + * CallCHI is annotated at callsite, representing a memory object is indirect modified by callee */ template class CallCHI : public MSSACHI @@ -523,7 +523,7 @@ class CallCHI : public MSSACHI private: const CallICFGNode* callsite; public: - /// Constructors for StoreCHI + /// Constructors for CallCHI //@{ CallCHI(const CallICFGNode* cs, const MemRegion* m, Cond c = true) : MSSACHI(MSSADEF::CallMSSACHI,m,c), callsite(cs)