opnsense-src/sys/tools/syscalls/scripts/systrace_args.lua

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

277 lines
5.5 KiB
Lua
Raw Normal View History

#!/usr/libexec/flua
--
-- SPDX-License-Identifier: BSD-2-Clause
--
-- Copyright (c) 2024 Tyler Baxter <agge@FreeBSD.org>
-- Copyright (c) 2023 Warner Losh <imp@bsdimp.com>
-- Copyright (c) 2019 Kyle Evans <kevans@FreeBSD.org>
--
-- Setup to be a module, or ran as its own script.
local systrace_args = {}
local script = not pcall(debug.getlocal, 4, 1) -- TRUE if script.
if script then
-- Add library root to the package path.
local path = arg[0]:gsub("/[^/]+.lua$", "")
package.path = package.path .. ";" .. path .. "/../?.lua"
end
local FreeBSDSyscall = require("core.freebsd-syscall")
local util = require("tools.util")
local generator = require("tools.generator")
-- File has not been decided yet; config will decide file. Default defined as
-- /dev/null.
systrace_args.file = "/dev/null"
function systrace_args.generate(tbl, config, fh)
-- Grab the master system calls table.
local s = tbl.syscalls
-- Bind the generator to the parameter file.
local gen = generator:new({}, fh)
gen.storage_levels = {} -- make sure storage is clear
-- 64-bit padding preprocessor directive.
gen:pad64(config.abiChanges("pair_64bit"))
-- Write the generated preamble.
gen:preamble(
"System call argument to DTrace register array conversion.\n" ..
"\n" ..
"This file is part of the DTrace syscall provider.")
gen:write(string.format([[
static void
systrace_args(int sysnum, void *params, uint64_t *uarg, int *n_args)
{
int64_t *iarg = (int64_t *)uarg;
int a = 0;
switch (sysnum) {
]]))
gen:store(string.format([[
static void
systrace_entry_setargdesc(int sysnum, int ndx, char *desc, size_t descsz)
{
const char *p = NULL;
switch (sysnum) {
]]), 1)
gen:store(string.format([[
static void
systrace_return_setargdesc(int sysnum, int ndx, char *desc, size_t descsz)
{
const char *p = NULL;
switch (sysnum) {
]]), 2)
for _, v in pairs(s) do
makesyscalls: Restore support for cpp in input Allow patterns like this in syscalls.master: #if 0 91 AUE_NULL RESERVED #else 91 AUE_NULL STD|CAPENABLED { int newsyscall(void); } #endif makesyscalls.lua and it's predecessor makesyscalls.sh (really an awk script with a tiny shell prolog) used a single pass parsing model where lines beginning with `#` were emitted into most generated files as they were read. I belive this was initially there to allow includes to be listed in syscalls.master, but Hyrum's Law[0] applies and people are using it for things like architecture-specific syscall definitions. This use of CPP macro is unsound and there are a number of sharp edges in both the new and old implementations. The macros are unsound because not all the files were generate are run through CPP (or if they are not in the same context) and this will increasingly be true as we generate more things. Sharp edges include the fact that anything before the first syscall would be printed at a different scope (e.g., before an array is declared). In this patch I collect each non-#include CPP directive and attach them to the syscall table or individual entries. All entries before the first syscall and after the last are attached to the prolog and epilog members. Within the syscall table all entries are attached to the next system calls's prolog member. In generators, each prolog entry is printed regardless of the system call's visibiilty which replicates the naive single pass model's behavior (including lots of empty blocks of #if/#else/#endif in the output). Unlike makesyscalls.lua, I discard none #define entries at the top of the file and print a warning as their usefulness appears limited. [0] https://www.hyrumslaw.com Reported by: kevans Reviewed by: kevans Sponsored by: DARPA, AFRL Pull Request: https://github.com/freebsd/freebsd-src/pull/1575
2025-02-18 17:02:19 -05:00
gen:write(v.prolog);
gen:store(v.prolog, 1);
gen:store(v.prolog, 2);
-- Handle non compat:
if v:native() then
gen:write(string.format([[
/* %s */
case %d: {
]], v.name, v.num))
gen:store(string.format([[
/* %s */
case %d:
]], v.name, v.num), 1)
gen:store(string.format([[
/* %s */
case %d:
]], v.name, v.num), 2)
local n_args = #v.args
if v.type.SYSMUX then
n_args = 0
end
if #v.args > 0 and not v.type.SYSMUX then
local padding = ""
gen:write(string.format([[
struct %s *p = params;
]],
v.arg_alias))
gen:store([[
switch (ndx) {
]],
1)
for idx, arg in ipairs(v.args) do
local argtype = util.trim(
arg.type:gsub(
"__restrict$", ""), nil)
if argtype == "int" and
arg.name == "_pad" and
config.abiChanges("pair_64bit") then
gen:store(
"#ifdef PAD64_REQUIRED\n",
1)
end
-- Pointer arg?
local desc
if argtype:find("*") then
desc = "userland " .. argtype
else
desc = argtype;
end
gen:store(string.format([[
case %d%s:
p = "%s";
break;
]],
idx - 1, padding, desc), 1)
if argtype == "int" and
arg.name == "_pad" and
config.abiChanges("pair_64bit") then
padding = " - _P_"
gen:store([[
#define _P_ 0
#else
#define _P_ 1
#endif
]],
1)
end
if util.isPtrType(argtype,
config.abi_intptr_t) then
gen:write(string.format([[
uarg[a++] = (%s)p->%s; /* %s */
]],
config.ptr_intptr_t_cast,
arg.name, argtype))
elseif argtype == "union l_semun" then
gen:write(string.format([[
uarg[a++] = p->%s.buf; /* %s */
]],
arg.name, argtype))
elseif argtype:sub(1,1) == "u" or
argtype == "size_t" then
gen:write(string.format([[
uarg[a++] = p->%s; /* %s */
]],
arg.name, argtype))
else
if argtype == "int" and
arg.name == "_pad" and
config.abiChanges(
"pair_64bit") then
gen:write([[
#ifdef PAD64_REQUIRED
]])
end
gen:write(string.format([[
iarg[a++] = p->%s; /* %s */
]],
arg.name, argtype))
if argtype == "int" and
arg.name == "_pad" and
config.abiChanges(
"pair_64bit") then
gen:write("#endif\n")
end
end
end
gen:store([[
default:
break;
};
]],
1)
if padding ~= "" then
gen:store("#undef _P_\n\n", 1)
end
gen:store(string.format([[
if (ndx == 0 || ndx == 1)
p = "%s";
break;
]], v.ret), 2)
end
gen:write(string.format("\t\t*n_args = %d;\n\t\tbreak;\n\t}\n",
n_args))
gen:store("\t\tbreak;\n", 1)
-- Handle compat (everything >= FREEBSD3):
-- Do nothing, only for native.
end
end
makesyscalls: Restore support for cpp in input Allow patterns like this in syscalls.master: #if 0 91 AUE_NULL RESERVED #else 91 AUE_NULL STD|CAPENABLED { int newsyscall(void); } #endif makesyscalls.lua and it's predecessor makesyscalls.sh (really an awk script with a tiny shell prolog) used a single pass parsing model where lines beginning with `#` were emitted into most generated files as they were read. I belive this was initially there to allow includes to be listed in syscalls.master, but Hyrum's Law[0] applies and people are using it for things like architecture-specific syscall definitions. This use of CPP macro is unsound and there are a number of sharp edges in both the new and old implementations. The macros are unsound because not all the files were generate are run through CPP (or if they are not in the same context) and this will increasingly be true as we generate more things. Sharp edges include the fact that anything before the first syscall would be printed at a different scope (e.g., before an array is declared). In this patch I collect each non-#include CPP directive and attach them to the syscall table or individual entries. All entries before the first syscall and after the last are attached to the prolog and epilog members. Within the syscall table all entries are attached to the next system calls's prolog member. In generators, each prolog entry is printed regardless of the system call's visibiilty which replicates the naive single pass model's behavior (including lots of empty blocks of #if/#else/#endif in the output). Unlike makesyscalls.lua, I discard none #define entries at the top of the file and print a warning as their usefulness appears limited. [0] https://www.hyrumslaw.com Reported by: kevans Reviewed by: kevans Sponsored by: DARPA, AFRL Pull Request: https://github.com/freebsd/freebsd-src/pull/1575
2025-02-18 17:02:19 -05:00
gen:write(tbl.epilog)
gen:write([[
default:
*n_args = 0;
break;
};
}
]])
makesyscalls: Restore support for cpp in input Allow patterns like this in syscalls.master: #if 0 91 AUE_NULL RESERVED #else 91 AUE_NULL STD|CAPENABLED { int newsyscall(void); } #endif makesyscalls.lua and it's predecessor makesyscalls.sh (really an awk script with a tiny shell prolog) used a single pass parsing model where lines beginning with `#` were emitted into most generated files as they were read. I belive this was initially there to allow includes to be listed in syscalls.master, but Hyrum's Law[0] applies and people are using it for things like architecture-specific syscall definitions. This use of CPP macro is unsound and there are a number of sharp edges in both the new and old implementations. The macros are unsound because not all the files were generate are run through CPP (or if they are not in the same context) and this will increasingly be true as we generate more things. Sharp edges include the fact that anything before the first syscall would be printed at a different scope (e.g., before an array is declared). In this patch I collect each non-#include CPP directive and attach them to the syscall table or individual entries. All entries before the first syscall and after the last are attached to the prolog and epilog members. Within the syscall table all entries are attached to the next system calls's prolog member. In generators, each prolog entry is printed regardless of the system call's visibiilty which replicates the naive single pass model's behavior (including lots of empty blocks of #if/#else/#endif in the output). Unlike makesyscalls.lua, I discard none #define entries at the top of the file and print a warning as their usefulness appears limited. [0] https://www.hyrumslaw.com Reported by: kevans Reviewed by: kevans Sponsored by: DARPA, AFRL Pull Request: https://github.com/freebsd/freebsd-src/pull/1575
2025-02-18 17:02:19 -05:00
gen:store(tbl.epilog, 1)
gen:store([[
default:
break;
};
if (p != NULL)
strlcpy(desc, p, descsz);
}
]], 1)
makesyscalls: Restore support for cpp in input Allow patterns like this in syscalls.master: #if 0 91 AUE_NULL RESERVED #else 91 AUE_NULL STD|CAPENABLED { int newsyscall(void); } #endif makesyscalls.lua and it's predecessor makesyscalls.sh (really an awk script with a tiny shell prolog) used a single pass parsing model where lines beginning with `#` were emitted into most generated files as they were read. I belive this was initially there to allow includes to be listed in syscalls.master, but Hyrum's Law[0] applies and people are using it for things like architecture-specific syscall definitions. This use of CPP macro is unsound and there are a number of sharp edges in both the new and old implementations. The macros are unsound because not all the files were generate are run through CPP (or if they are not in the same context) and this will increasingly be true as we generate more things. Sharp edges include the fact that anything before the first syscall would be printed at a different scope (e.g., before an array is declared). In this patch I collect each non-#include CPP directive and attach them to the syscall table or individual entries. All entries before the first syscall and after the last are attached to the prolog and epilog members. Within the syscall table all entries are attached to the next system calls's prolog member. In generators, each prolog entry is printed regardless of the system call's visibiilty which replicates the naive single pass model's behavior (including lots of empty blocks of #if/#else/#endif in the output). Unlike makesyscalls.lua, I discard none #define entries at the top of the file and print a warning as their usefulness appears limited. [0] https://www.hyrumslaw.com Reported by: kevans Reviewed by: kevans Sponsored by: DARPA, AFRL Pull Request: https://github.com/freebsd/freebsd-src/pull/1575
2025-02-18 17:02:19 -05:00
gen:store(tbl.epilog, 2)
gen:store([[
default:
break;
};
if (p != NULL)
strlcpy(desc, p, descsz);
}
]], 2)
-- Write all stored lines.
if gen.storage_levels ~= nil then
gen:writeStorage()
end
end
-- Entry of script:
if script then
local config = require("config")
if #arg < 1 or #arg > 2 then
error("usage: " .. arg[0] .. " syscall.master")
end
local sysfile, configfile = arg[1], arg[2]
config.merge(configfile)
config.mergeCompat()
-- The parsed system call table.
local tbl = FreeBSDSyscall:new{sysfile = sysfile, config = config}
systrace_args.file = config.systrace -- change file here
systrace_args.generate(tbl, config, systrace_args.file)
end
-- Return the module.
return systrace_args