Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

Post History

40%
+0 −1
Q&A How can I restrict filename characters?

A file can be created by the human user directly interacting on the laptop, or indirectly by a program. In principle, you cannot detect statically all file creation calls in a software (even if yo...

posted 1y ago by Basile Starynkevitch‭

Answer
#1: Initial revision by user avatar Basile Starynkevitch‭ · 2023-10-27T10:44:10Z (about 1 year ago)
A file can be created by the human user directly interacting on the laptop, or indirectly by a program.

In principle, you cannot detect statically all file creation calls in a software (even if you have access to its source code), because of [Rice's theorem](https://en.wikipedia.org/wiki/Rice%27s_theorem).

In practice, you could (with a lot of efforts) customize your user interface (e.g. graphical desktop, like [GNOME](https://www.gnome.org/)) to limit in most (but not all) cases what the user is permitted to create interactively.

You could even (in theory) design your own operating system which has no files at all (but persistent objects). See the old [Tunes](http://tunes.org/) project.