)]}'
{
  "id": "04165a443fff2aa5dafc61afaea1237a09314e63",
  "repo": "llvm-project",
  "revision": "a78861fc55d18046989ff4d624a037e9181da170",
  "path": "clang/lib/StaticAnalyzer/Core/SMTConstraintManager.cpp"
}