Clang静态分析器Checker触发Loc::isLocType断言失败求助

问题背景 #

你正在为以下类编写Checker：

class A { int member_; public: void set(const int& value); const int& get(); };

类的实际逻辑是set将值存入member_，get返回该成员的引用。调用SValBuilder::getConjuredHeapSymbolVal时触发断言Assertion 'Loc::isLocType(type)' failed，传入this和call表达式均触发该断言，同时有三个疑问：

• 应使用何种位置参数？
• 能否不传入位置创建HeapSymbol？
• 用堆区域建模对象成员是否有误？
  使用版本：clang-16

具体解答 #

1. 断言失败的原因与正确参数 #

触发的断言说明你误用了getConjuredHeapSymbolVal函数：该函数的设计目标是创建堆上对象的符号化指针（Loc类型），因此要求传入的QualType T必须是指针/引用类的Loc类型。如果你的目标是建模member_这个int类型成员的符号值，完全不应该调用这个函数。

针对不同场景的正确用法：

• 若要建模member_的符号值：
  先通过this指针获取A对象的内存区域，再定位到member_的子区域，最后生成对应符号值：

  // 获取this指针的Loc
  Loc thisLoc = thisSVal.getAs<Loc>();
  // 获取A对象的内存区域
  const MemRegion *objRegion = thisLoc->getAsRegion();
  // 获取member_的FieldRegion
  const FieldDecl *memberDecl = ...; // 找到A::member_的声明
  const MemRegion *memberRegion = getSValBuilder().getFieldRegion(memberDecl, objRegion, getASTContext());
  // 为member_创建符号值
  SymbolRef memberSym = getSValBuilder().getConjuredSymbolVal(nullptr, currentStmt, memberDecl->getType());
  

• 若确实需要创建堆上A对象的符号化指针：
  确保传入的QualType T是A*或const A&这类Loc类型，位置参数传入当前触发检查的语句（比如set方法的调用语句）：

  QualType aPtrType = getASTContext().getPointerType(getASTContext().getRecordType(ADecl));
  SymbolRef heapASym = getSValBuilder().getConjuredHeapSymbolVal(nullptr, currentCallStmt, aPtrType);
  

2. 能否不传入位置创建HeapSymbol #

不能。getConjuredHeapSymbolVal要求传入的const Stmt *S是绑定符号与源代码位置的核心参数，静态分析器需要它生成精准的诊断报告、追踪符号的起源路径，因此无法省略。你可以传入当前函数的入口语句、this指针对应的构造语句或方法调用语句等合法的Stmt指针。

3. 用堆区域建模对象成员是否有误 #

是否正确取决于A对象的实际存储位置：

• 如果A对象是通过new动态分配在堆上，那么member_属于堆区域的FieldRegion子区域，这种建模是正确的。
• 如果A对象在栈上或全局数据区，member_对应的是栈区域或全局区域的子区域，此时强行用堆区域建模就会出错。

正确的做法是动态获取对象的内存区域：通过this指针的Loc获取对象所属的区域，再通过getFieldRegion定位到member_，这样无论对象在堆、栈还是全局区，都能正确建模成员的存储位置。

内容的提问来源于stack exchange，提问作者nevilad