[galaxy-dev] datatype for executables

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, -- Ketan