xserver/doc
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Mason Green e0160fdb7d Xext/namespace: fix potential NULL-pointer dereference in select_ns()
When the configuration file is parsed at server startup, select_ns()
dynamically allocates namespace structures. However, it does not check
whether calloc() or strdup() successfully allocate memory.

If calloc() fails, the server dereferences a NULL pointer and crashes
instantly.

If strdup() fails, the namespace is added to the global list with a
NULL name. When the server later searches for a namespace, it calls
strlen() on the NULL name. This causes a delayed crash of the server
at runtime.

Fix this by adding standard FatalError() checks to handle allocation
failures safely during startup.

Also include a formal TLA+ verification model of the Xnamespace
security isolation extension in doc/Xnamespace.tla.

Signed-off-by: Mason Green <mason@greenm01.net>
2026-10-07 16:01:44 +02:00
..
dtrace Remove autotools support 2021-10-27 13:15:40 +03:00
.gitignore
c-extensions hw/xwin: Add an option to use alpha channel in multiwindow mode 2019-06-17 21:56:35 +00:00
filter-xmlto.sh
meson.build meson: Implement developer documentation build 2021-08-20 10:26:07 +00:00
smartsched doc: Get rid of RCS tags. 2015-09-23 10:27:13 -04:00
Xinput.xml Treewide: Fix typos 2026-03-16 13:11:07 +01:00
Xnamespace-protocol.md doc: Xnamespace-protocol: fix stale attribute names in CreateNamespace/§8 2026-07-03 20:05:08 +02:00
Xnamespace.md Xnamespace: add some documentation 2025-06-12 17:21:48 +02:00
Xnamespace.tla Xext/namespace: fix potential NULL-pointer dereference in select_ns() 2026-10-07 16:01:44 +02:00
Xserver-spec.xml Fix typos 2026-04-19 12:32:26 +02:00