How can I determine a file's true extension/type programmatically?
I am working on a script that will process user uploads to the server, and as an added layer of security I'd like to know:
Is there a way to detect a file's true extension/file type, and ensure that it is not another file type masked with a different extension?
Is there a byte stamp or some unique identifier for each type/extension?
I'd like to be able to detect that someone hasn't applied a different extension onto the file they are uploading.
Answer
Not really, no.
You will need to read the first few bytes of each file and interpret it as a header for a finite set of known filetypes. Most files have distinct file headers, some sort of metadata in the first few bytes or first few kilobytes in the case of MP3.
Your program will have to simply try parsing the file for each of your accepted filetypes.
For my program, I send the uploaded image to imagemagick in a try-catch block, and if it blows up, then I guess it was a bad image. This should be considered insecure, because I am loading arbitrary (user supplied) binary data into an external program, which is generally an attack vector. here, I am trusting imageMagick to not do anything to my system.
I recommend writing your own handlers for the significant filetypes you intend to use, to avoid any attack vectors.
Edit: I see in PHP there are some tools to do this for you.
Also, MIME types are what the user's browser claims the file to be. It is handy and useful to read those and act on them in your code, but it is not a secure method, because anyone sending you bad files will fake the MIME headers easily. It's sort of a front line defense to keep your code that expects a JPEG from barfing on a PNG, but if someone embedded a virus in a .exe and named it JPEG, there's no reason not to have spoofed the MIME type.