diff --git a/svf/include/AE/Core/AddressValue.h b/svf/include/AE/Core/AddressValue.h index dae9c3417..3fb4ab49c 100644 --- a/svf/include/AE/Core/AddressValue.h +++ b/svf/include/AE/Core/AddressValue.h @@ -212,7 +212,7 @@ class AddressValue static inline u32_t getVirtualMemAddress(u32_t idx) { // 0 is the null address, should not be used as a virtual address - assert(idx != 0 && "because 0 represents null pointer"); + assert(idx != 0 && "idx can’t be 0 because it represents a nullptr"); return AddressMask + idx; }