@neralabs/rerail-pack-python 0.1.1

package/rules/ruff-async115-async-zero-sleep.json

@@ -0,0 +1,264 @@
+{
+ "format": "rerail.policy/v1",
+ "id": "ruff-async115-async-zero-sleep",
+ "revision": 1,
+ "mode": "steer",
+ "description": "Port of Ruff's ASYNC115 (async-zero-sleep): a call to `trio.sleep` or `anyio.sleep` with exactly one argument, an int literal whose value is zero (any radix; parentheses allowed) as `seconds=` (trio), `delay=` (anyio) or the first positional argument, in any context, reported on the call. Names resolve as in Ruff's resolve_qualified_name, through the engine's `resolves` (M7).",
+ "scope": {
+  "include": [
+   "**/*"
+  ],
+  "exclude": []
+ },
+ "clauses": [
+  {
+   "id": "shared",
+   "define": {
+    "language": "python",
+    "utils": {
+     "number": {
+      "any": [
+       {
+        "any": [
+         {
+          "kind": "integer"
+         },
+         {
+          "kind": "float"
+         }
+        ],
+        "value": {
+         "type": "int",
+         "eq": 0
+        }
+       },
+       {
+        "kind": "parenthesized_expression",
+        "has": {
+         "stopBy": "neighbor",
+         "matches": "number"
+        }
+       }
+      ]
+     }
+    }
+   }
+  },
+  {
+   "id": "trio-sleep",
+   "forbid": {
+    "ast": {
+     "language": "python",
+     "utils": {
+      "target": {
+       "any": [
+        {
+         "kind": "identifier"
+        },
+        {
+         "kind": "attribute"
+        }
+       ],
+       "resolves": {
+        "import": [
+         "trio.sleep"
+        ]
+       }
+      },
+      "callee-of-target": {
+       "any": [
+        {
+         "matches": "target"
+        },
+        {
+         "kind": "parenthesized_expression",
+         "has": {
+          "stopBy": "neighbor",
+          "matches": "callee-of-target"
+         }
+        }
+       ]
+      }
+     },
+     "rule": {
+      "kind": "call",
+      "has": {
+       "stopBy": "neighbor",
+       "matches": "callee-of-target",
+       "precedes": {
+        "stopBy": "neighbor",
+        "any": [
+         {
+          "kind": "argument_list"
+         },
+         {
+          "kind": "generator_expression"
+         }
+        ]
+       }
+      },
+      "arguments": {
+       "signature": [
+        "seconds"
+       ],
+       "bind": {
+        "S": "seconds"
+       },
+       "mode": "syntactic"
+      },
+      "all": [
+       {
+        "has": {
+         "stopBy": "neighbor",
+         "kind": "argument_list",
+         "count": {
+          "has": {
+           "stopBy": "neighbor",
+           "not": {
+            "any": [
+             {
+              "regex": "^[(),\\[\\]{}]$"
+             },
+             {
+              "kind": "comment"
+             }
+            ]
+           }
+          },
+          "min": 1,
+          "max": 1
+         }
+        }
+       }
+      ]
+     },
+     "constraints": {
+      "S": {
+       "matches": "number"
+      }
+     }
+    }
+   },
+   "violation": {
+    "anchor": "witness.span",
+    "code": "ASYNC115",
+    "message": "Use `trio.lowlevel.checkpoint()` instead of `trio.sleep(0)`",
+    "suppress": {
+      "noqa": {
+        "codes": [
+          "ASYNC115"
+        ]
+      }
+    }
+   }
+  },
+  {
+   "id": "anyio-sleep",
+   "forbid": {
+    "ast": {
+     "language": "python",
+     "utils": {
+      "target": {
+       "any": [
+        {
+         "kind": "identifier"
+        },
+        {
+         "kind": "attribute"
+        }
+       ],
+       "resolves": {
+        "import": [
+         "anyio.sleep"
+        ]
+       }
+      },
+      "callee-of-target": {
+       "any": [
+        {
+         "matches": "target"
+        },
+        {
+         "kind": "parenthesized_expression",
+         "has": {
+          "stopBy": "neighbor",
+          "matches": "callee-of-target"
+         }
+        }
+       ]
+      }
+     },
+     "rule": {
+      "kind": "call",
+      "has": {
+       "stopBy": "neighbor",
+       "matches": "callee-of-target",
+       "precedes": {
+        "stopBy": "neighbor",
+        "any": [
+         {
+          "kind": "argument_list"
+         },
+         {
+          "kind": "generator_expression"
+         }
+        ]
+       }
+      },
+      "arguments": {
+       "signature": [
+        "delay"
+       ],
+       "bind": {
+        "S": "delay"
+       },
+       "mode": "syntactic"
+      },
+      "all": [
+       {
+        "has": {
+         "stopBy": "neighbor",
+         "kind": "argument_list",
+         "count": {
+          "has": {
+           "stopBy": "neighbor",
+           "not": {
+            "any": [
+             {
+              "regex": "^[(),\\[\\]{}]$"
+             },
+             {
+              "kind": "comment"
+             }
+            ]
+           }
+          },
+          "min": 1,
+          "max": 1
+         }
+        }
+       }
+      ]
+     },
+     "constraints": {
+      "S": {
+       "matches": "number"
+      }
+     }
+    }
+   },
+   "violation": {
+    "anchor": "witness.span",
+    "code": "ASYNC115",
+    "message": "Use `anyio.lowlevel.checkpoint()` instead of `anyio.sleep(0)`",
+    "suppress": {
+      "noqa": {
+        "codes": [
+          "ASYNC115"
+        ]
+      }
+    }
+   }
+  }
+ ]
+}

package/rules/ruff-async116-long-sleep-not-forever.json

@@ -0,0 +1,267 @@
+{
+ "format": "rerail.policy/v1",
+ "id": "ruff-async116-long-sleep-not-forever",
+ "revision": 1,
+ "mode": "steer",
+ "description": "Port of Ruff's ASYNC116 (long-sleep-not-forever): a call to `trio.sleep` or `anyio.sleep` with exactly one argument, an int or float literal (any spelling; not complex, not signed; parentheses allowed) whose value is greater than 86400 as `seconds=` (trio), `delay=` (anyio) or the first positional argument, in any context, reported on the call. Names resolve as in Ruff's resolve_qualified_name, through the engine's `resolves` (M7).",
+ "scope": {
+  "include": [
+   "**/*"
+  ],
+  "exclude": []
+ },
+ "clauses": [
+  {
+   "id": "shared",
+   "define": {
+    "language": "python",
+    "utils": {
+     "number": {
+      "any": [
+       {
+        "any": [
+         {
+          "kind": "integer"
+         },
+         {
+          "kind": "float"
+         }
+        ],
+        "value": {
+         "type": [
+          "int",
+          "float"
+         ],
+         "gt": 86400
+        }
+       },
+       {
+        "kind": "parenthesized_expression",
+        "has": {
+         "stopBy": "neighbor",
+         "matches": "number"
+        }
+       }
+      ]
+     }
+    }
+   }
+  },
+  {
+   "id": "trio-sleep",
+   "forbid": {
+    "ast": {
+     "language": "python",
+     "utils": {
+      "target": {
+       "any": [
+        {
+         "kind": "identifier"
+        },
+        {
+         "kind": "attribute"
+        }
+       ],
+       "resolves": {
+        "import": [
+         "trio.sleep"
+        ]
+       }
+      },
+      "callee-of-target": {
+       "any": [
+        {
+         "matches": "target"
+        },
+        {
+         "kind": "parenthesized_expression",
+         "has": {
+          "stopBy": "neighbor",
+          "matches": "callee-of-target"
+         }
+        }
+       ]
+      }
+     },
+     "rule": {
+      "kind": "call",
+      "has": {
+       "stopBy": "neighbor",
+       "matches": "callee-of-target",
+       "precedes": {
+        "stopBy": "neighbor",
+        "any": [
+         {
+          "kind": "argument_list"
+         },
+         {
+          "kind": "generator_expression"
+         }
+        ]
+       }
+      },
+      "arguments": {
+       "signature": [
+        "seconds"
+       ],
+       "bind": {
+        "S": "seconds"
+       },
+       "mode": "syntactic"
+      },
+      "all": [
+       {
+        "has": {
+         "stopBy": "neighbor",
+         "kind": "argument_list",
+         "count": {
+          "has": {
+           "stopBy": "neighbor",
+           "not": {
+            "any": [
+             {
+              "regex": "^[(),\\[\\]{}]$"
+             },
+             {
+              "kind": "comment"
+             }
+            ]
+           }
+          },
+          "min": 1,
+          "max": 1
+         }
+        }
+       }
+      ]
+     },
+     "constraints": {
+      "S": {
+       "matches": "number"
+      }
+     }
+    }
+   },
+   "violation": {
+    "anchor": "witness.span",
+    "code": "ASYNC116",
+    "message": "`trio.sleep()` with >24 hour interval should usually be `trio.sleep_forever()`",
+    "suppress": {
+      "noqa": {
+        "codes": [
+          "ASYNC116"
+        ]
+      }
+    }
+   }
+  },
+  {
+   "id": "anyio-sleep",
+   "forbid": {
+    "ast": {
+     "language": "python",
+     "utils": {
+      "target": {
+       "any": [
+        {
+         "kind": "identifier"
+        },
+        {
+         "kind": "attribute"
+        }
+       ],
+       "resolves": {
+        "import": [
+         "anyio.sleep"
+        ]
+       }
+      },
+      "callee-of-target": {
+       "any": [
+        {
+         "matches": "target"
+        },
+        {
+         "kind": "parenthesized_expression",
+         "has": {
+          "stopBy": "neighbor",
+          "matches": "callee-of-target"
+         }
+        }
+       ]
+      }
+     },
+     "rule": {
+      "kind": "call",
+      "has": {
+       "stopBy": "neighbor",
+       "matches": "callee-of-target",
+       "precedes": {
+        "stopBy": "neighbor",
+        "any": [
+         {
+          "kind": "argument_list"
+         },
+         {
+          "kind": "generator_expression"
+         }
+        ]
+       }
+      },
+      "arguments": {
+       "signature": [
+        "delay"
+       ],
+       "bind": {
+        "S": "delay"
+       },
+       "mode": "syntactic"
+      },
+      "all": [
+       {
+        "has": {
+         "stopBy": "neighbor",
+         "kind": "argument_list",
+         "count": {
+          "has": {
+           "stopBy": "neighbor",
+           "not": {
+            "any": [
+             {
+              "regex": "^[(),\\[\\]{}]$"
+             },
+             {
+              "kind": "comment"
+             }
+            ]
+           }
+          },
+          "min": 1,
+          "max": 1
+         }
+        }
+       }
+      ]
+     },
+     "constraints": {
+      "S": {
+       "matches": "number"
+      }
+     }
+    }
+   },
+   "violation": {
+    "anchor": "witness.span",
+    "code": "ASYNC116",
+    "message": "`anyio.sleep()` with >24 hour interval should usually be `anyio.sleep_forever()`",
+    "suppress": {
+      "noqa": {
+        "codes": [
+          "ASYNC116"
+        ]
+      }
+    }
+   }
+  }
+ ]
+}

package/rules/ruff-async210-blocking-http-call-in-async-function.json

@@ -0,0 +1,161 @@
+{
+ "format": "rerail.policy/v1",
+ "id": "ruff-async210-blocking-http-call-in-async-function",
+ "revision": 1,
+ "mode": "steer",
+ "description": "Port of Ruff's ASYNC210 (blocking-http-call-in-async-function): a call to `urllib.request.urlopen`, `urllib3.request` or an `httpx`/`requests` module-level HTTP method inside an `async def` body whose function is the nearest enclosing function, lambda body or class, reported on the callee. Names resolve as in Ruff's resolve_qualified_name, through the engine's `resolves` (M7).",
+ "scope": {
+  "include": [
+   "**/*"
+  ],
+  "exclude": []
+ },
+ "clauses": [
+  {
+   "id": "blocking-http-call",
+   "forbid": {
+    "ast": {
+     "language": "python",
+     "utils": {
+      "scope-body": {
+       "kind": "block",
+       "inside": {
+        "stopBy": "neighbor",
+        "any": [
+         {
+          "kind": "function_definition"
+         },
+         {
+          "kind": "class_definition"
+         }
+        ]
+       }
+      },
+      "lambda-body": {
+       "inside": {
+        "stopBy": "neighbor",
+        "kind": "lambda"
+       },
+       "follows": {
+        "stopBy": "end",
+        "regex": "^:$"
+       }
+      },
+      "callee-position": {
+       "any": [
+        {
+         "inside": {
+          "stopBy": "neighbor",
+          "kind": "call"
+         },
+         "precedes": {
+          "stopBy": "neighbor",
+          "any": [
+           {
+            "kind": "argument_list"
+           },
+           {
+            "kind": "generator_expression"
+           }
+          ]
+         }
+        },
+        {
+         "inside": {
+          "stopBy": "neighbor",
+          "kind": "parenthesized_expression",
+          "matches": "callee-position"
+         }
+        }
+       ]
+      },
+      "async-context": {
+       "inside": {
+        "stopBy": {
+         "any": [
+          {
+           "matches": "scope-body"
+          },
+          {
+           "matches": "lambda-body"
+          }
+         ]
+        },
+        "kind": "block",
+        "inside": {
+         "stopBy": "neighbor",
+         "kind": "function_definition",
+         "has": {
+          "stopBy": "neighbor",
+          "regex": "^async$"
+         }
+        }
+       }
+      },
+      "target": {
+       "any": [
+        {
+         "kind": "identifier"
+        },
+        {
+         "kind": "attribute"
+        }
+       ],
+       "resolves": {
+        "import": [
+         "urllib.request.urlopen",
+         "urllib3.request",
+         "httpx.request",
+         "httpx.get",
+         "httpx.post",
+         "httpx.delete",
+         "httpx.patch",
+         "httpx.put",
+         "httpx.head",
+         "httpx.connect",
+         "httpx.options",
+         "httpx.trace",
+         "requests.request",
+         "requests.get",
+         "requests.post",
+         "requests.delete",
+         "requests.patch",
+         "requests.put",
+         "requests.head",
+         "requests.connect",
+         "requests.options",
+         "requests.trace"
+        ]
+       }
+      }
+     },
+     "rule": {
+      "all": [
+       {
+        "matches": "callee-position"
+       },
+       {
+        "matches": "async-context"
+       },
+       {
+        "matches": "target"
+       }
+      ]
+     }
+    }
+   },
+   "violation": {
+    "anchor": "witness.span",
+    "code": "ASYNC210",
+    "message": "Async functions should not call blocking HTTP methods",
+    "suppress": {
+      "noqa": {
+        "codes": [
+          "ASYNC210"
+        ]
+      }
+    }
+   }
+  }
+ ]
+}