seitan/cooker/calls, branch master

call, emit, match: Add support for vectorised operations, nfnetlink

2024-08-13T17:00:35+00:00

We want to add and delete rules with iptables(8), and manipulate set
elements with nft(8).

These are the first users we encounter sending multiple netlink
messages in one sendmsg().

To support matching on those, we need to iterate over several
messages, looking for a matching one, or a mismatching one (depending
on quantifiers and match type), but we don't want to implement program
loops because of security design reasons.

We can't implement a generalised instruction that vectorises existing
ones, either, because we need to support universal and existential
quantifiers in fields that are repeated multiple times, once per each
netlink message, with bitwise operations and non-exact matching types.

Add vectorisation support to OP_CMP and OP_BITWISE instead, with a
generic description for a vector (only sequences of netlink messages
with length in nlmsghdr are supported at the moment) so that,
depending on the quantifiers, we'll repeat those operations as many
times as needed. This way, we don't risk any O(n^2) explosion, and we
are bound by O(m * n) instead, with m compare/bitwise operations for
a given expression, and n number of netlink messages.

Add demos for nft and iptables using the new concepts.

Signed-off-by: Stefano Brivio

Add fsetxattr(), fremovexattr(), open_by_handle_at(), and "virtiofsd demo"

2024-05-15T06:49:56+00:00

Mostly assorted fixes, a new FDGET operation (get a copy of the
target file descriptor via pidfd_getfd()) and a new "FD" flag that
means we have to do that on direct tag reference.

Signed-off-by: Stefano Brivio

seitan: Add netlink, sendto()/sendmsg(), iovec handling, demo with routes

2023-12-21T11:45:36+00:00

A bit rough at the moment, but it does the trick. Bonus: setsockopt()
(with magic values only, not used in any demo yet).

Signed-off-by: Stefano Brivio

cooker/calls: Add support for bind()

2023-09-04T15:16:05+00:00

...no examples yet, but it's trivial as the prototype is exactly the
same as connect().

Signed-off-by: Stefano Brivio

cooker: fix priority name for sched_setscheduler

2023-09-01T12:32:16+00:00

cooker, seitan: add sched_setscheduler

2023-09-01T08:37:04+00:00

The sched_setscheduler requires to set the pid of the process we want to
change the priority, this adds a new metadata for getting the target pid
at runtime.

Add a couple of syscalls for the scheduler in the string parsing.

Signed-off-by: Alice Frosi

cooker: add chown and lchown

2023-08-25T07:59:08+00:00

cooker/calls: Actually add io.{c,h}

2023-06-14T10:05:54+00:00

Signed-off-by: Stefano Brivio

cooker: Full support for flags and masks, assorted fixes

2023-06-08T18:05:18+00:00

Signed-off-by: Stefano Brivio

mknod/mknodat values, initial support for MASK flag, OP_BITWISE

2023-06-07T21:06:32+00:00

Signed-off-by: Stefano Brivio