)]}'
{
  "commit": "730ca47a0cc7380def6df1d25b30c1378fd8bf14",
  "tree": "03434388f698b072ecaa3725e893c7a5859c713d",
  "parents": [
    "a62441d4bb6bd0cd8eccab8c5692340c5a2c60bb"
  ],
  "author": {
    "name": "Alejandro Álvarez Ayllón",
    "email": "alejandro.alvarez@sonarsource.com",
    "time": "Fri Mar 22 11:50:34 2024 +0100"
  },
  "committer": {
    "name": "Balazs Benics",
    "email": "benicsbalazs@gmail.com",
    "time": "Fri Mar 22 11:50:34 2024 +0100"
  },
  "message": "[clang][analyzer] Model getline/getdelim preconditions and evaluation (#83027)\n\nAccording to POSIX 2018.\n\n1. lineptr, n and stream can not be NULL.\n2. If *n is non-zero, *lineptr must point to a region of at least *n\n   bytes, or be a NULL pointer.\n\nAdditionally, if *lineptr is not NULL, *n must not be undefined.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "60421e5437d82f7d35e2b3da4473098735d2c7dc",
      "old_mode": 33188,
      "old_path": "clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerHelpers.h",
      "new_id": "d053a97189123afbbb9da502e1397b83f19f9763",
      "new_mode": 33188,
      "new_path": "clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerHelpers.h"
    },
    {
      "type": "modify",
      "old_id": "03cb7696707fe2f215db6192ee244e4a22784c50",
      "old_mode": 33188,
      "old_path": "clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp",
      "new_id": "c2d96f59260906a5ca3a4f78ac67acd8b2ab11bf",
      "new_mode": 33188,
      "new_path": "clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp"
    },
    {
      "type": "modify",
      "old_id": "10972158f3986232db1dd2d9c0a5a0415a6b9e97",
      "old_mode": 33188,
      "old_path": "clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp",
      "new_id": "902c42a2799be46da90a4d179743cea8d5c5d5b1",
      "new_mode": 33188,
      "new_path": "clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp"
    },
    {
      "type": "modify",
      "old_id": "599e5e6cedc606f819893779434f5869bd5c1231",
      "old_mode": 33188,
      "old_path": "clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp",
      "new_id": "da2d16ca9b5dd74dd5192cb97ad948693052e4b6",
      "new_mode": 33188,
      "new_path": "clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp"
    },
    {
      "type": "modify",
      "old_id": "364c87e910b7b51a28c68705dbe8faadc6197cd1",
      "old_mode": 33188,
      "old_path": "clang/lib/StaticAnalyzer/Core/CheckerHelpers.cpp",
      "new_id": "d7137a915b3d3dda7e40afc16ae51a5e2835902b",
      "new_mode": 33188,
      "new_path": "clang/lib/StaticAnalyzer/Core/CheckerHelpers.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "86635ed8499793ccf897696e713b7193a1d69b7a",
      "new_mode": 33188,
      "new_path": "clang/test/Analysis/getline-unixapi.c"
    },
    {
      "type": "modify",
      "old_id": "7ba27740a93796a8e89066395a85a2bbb55afe7e",
      "old_mode": 33188,
      "old_path": "clang/test/Analysis/stream.c",
      "new_id": "ba5e66a4102e3c869a601d66362dc7a718206ffc",
      "new_mode": 33188,
      "new_path": "clang/test/Analysis/stream.c"
    }
  ]
}