BUG/MEDIUM: hlua: Forbid any L6/L7 sample fetche functions from lua services
authorChristopher Faulet <cfaulet@haproxy.com>
Tue, 24 Jun 2025 06:26:14 +0000 (08:26 +0200)
committerChristopher Faulet <cfaulet@haproxy.com>
Wed, 1 Oct 2025 13:40:08 +0000 (15:40 +0200)
It was already forbidden to use HTTP sample fetch functions from lua
services. An error is triggered if it happens. However, the error must be
extended to any L6/L7 sample fetch functions.

Indeed, a lua service is an applet. It totally unexepected for an applet to
access to input data in a channel's buffer. These data have not been
analyzed yet and are still subject to any change. An applet, lua or not,
must never access to "not forwarded" data. Only output data are
available. For now, if a lua applet relies on any L6/L7 sampel fetch
functions, the behavior is undefined and not consistent.

So to fix the issue, hlua flag HLUA_F_MAY_USE_HTTP is renamed to
HLUA_F_MAY_USE_CHANNELS_DATA. This flag is used to prevent any lua applet to
use L6/L7 sample fetch functions.

This patch could be backported to all stable versions.

(cherry picked from commit a2a142bf40c76114cf85dfe1f48d7b14ec70ad5f)
Signed-off-by: Willy Tarreau <w@1wt.eu>
(cherry picked from commit 236a6faff2a8abd7221b13fac1746488d335868e)
Signed-off-by: Christopher Faulet <cfaulet@haproxy.com>
(cherry picked from commit db837984a6bba5846f4157cacd675f3685a93afe)
Signed-off-by: Christopher Faulet <cfaulet@haproxy.com>

include/haproxy/hlua-t.h
src/hlua.c

index a98afa8..a4475ae 100644 (file)
@@ -69,8 +69,8 @@ struct stream;
 #define HLUA_NOYIELD   0x00000020
 #define HLUA_BUSY      0x00000040
 
-#define HLUA_F_AS_STRING    0x01
-#define HLUA_F_MAY_USE_HTTP 0x02
+#define HLUA_F_AS_STRING             0x01
+#define HLUA_F_MAY_USE_CHANNELS_DATA 0x02
 
 /* HLUA TXN flags */
 #define HLUA_TXN_NOTERM   0x00000001
index f27019d..8ee76f2 100644 (file)
@@ -4844,10 +4844,10 @@ __LJMP static int hlua_run_sample_fetch(lua_State *L)
        hsmp = MAY_LJMP(hlua_checkfetches(L, 1));
 
        /* Check execution authorization. */
-       if (f->use & SMP_USE_HTTP_ANY &&
-           !(hsmp->flags & HLUA_F_MAY_USE_HTTP)) {
-               lua_pushfstring(L, "the sample-fetch '%s' needs an HTTP parser which "
-                                  "is not available in Lua services", f->kw);
+       if ((f->use & (SMP_USE_L6REQ|SMP_USE_L6RES|SMP_USE_HTTP_ANY)) &&
+           !(hsmp->flags & HLUA_F_MAY_USE_CHANNELS_DATA)) {
+               lua_pushfstring(L, "the sample-fetch '%s' needs to access data from channel's buffer which"
+                               " is not available in Lua services", f->kw);
                WILL_LJMP(lua_error(L));
        }
 
@@ -8504,13 +8504,13 @@ __LJMP static int hlua_txn_new(lua_State *L, struct stream *s, struct proxy *p,
 
        /* Create the "f" field that contains a list of fetches. */
        lua_pushstring(L, "f");
-       if (!hlua_fetches_new(L, htxn, HLUA_F_MAY_USE_HTTP))
+       if (!hlua_fetches_new(L, htxn, HLUA_F_MAY_USE_CHANNELS_DATA))
                return 0;
        lua_rawset(L, -3);
 
        /* Create the "sf" field that contains a list of stringsafe fetches. */
        lua_pushstring(L, "sf");
-       if (!hlua_fetches_new(L, htxn, HLUA_F_MAY_USE_HTTP | HLUA_F_AS_STRING))
+       if (!hlua_fetches_new(L, htxn, HLUA_F_MAY_USE_CHANNELS_DATA | HLUA_F_AS_STRING))
                return 0;
        lua_rawset(L, -3);