Microsoft has a LONG history when it comes to Windows. I am getting familiar with GitHub and will publish my nifty little utility that will write files that Windows 7, 8 and 10 can’t delete. The files can have an extension or no extension. Because the files use reserved names, they can’t be renamed, accessed or deleted using standard tools like the command prompt, powershell or Windows Explorer. Try the NEW batch file out at http://github.com/stilldrey. More information on the technical details on WHY this is allowed: https://docs.microsoft.com/en-us/windows/win32/fileio/naming-a-file#win32-device-namespaces — namespaces explained in more detail on MSDN.
A number of reserved names are shown in files from the command prompt and Windows Explorer — Windows 10 can’t delete these files. https://www.linkedin.com/pulse/creating-file-windows-cant-delete-dan-rey-mct-consultant/. What if someone eventually uses this to download a file or script that Windows doesn’t even think should exist? That’s when something like Windows Defender (included in Windows 10) ATP (Advanced Threat Protection) can watch for malicious behavior and block the execution/file.
