Is there a data type in Galaxy that identifies executables uniquely, eg. from the executable bit in the file perms or some other way?

Thanks,