From a8d337edc8435090c0e80f93ad2719719f115464 Mon Sep 17 00:00:00 2001 From: TurtleRuss Date: Tue, 12 Nov 2024 13:55:52 +0800 Subject: [PATCH] fix CallCHI doc --- svf/include/MSSA/MSSAMuChi.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)