| /* | |
| * Copyright (c) 1997, 2025, Oracle and/or its affiliates. All rights reserved. | |
| * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. | |
| * | |
| * This code is free software; you can redistribute it and/or modify it | |
| * under the terms of the GNU General Public License version 2 only, as | |
| * published by the Free Software Foundation. Oracle designates this | |
| * particular file as subject to the "Classpath" exception as provided | |
| * by Oracle in the LICENSE file that accompanied this code. | |
| * | |
| * This code is distributed in the hope that it will be useful, but WITHOUT | |
| * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| * version 2 for more details (a copy is included in the LICENSE file that | |
| * accompanied this code). | |
| * | |
| * You should have received a copy of the GNU General Public License version | |
| * 2 along with this work; if not, write to the Free Software Foundation, | |
| * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
| * | |
| * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA | |
| * or visit www.oracle.com if you need additional information or have any | |
| * questions. | |
| */ | |
| package java.io; | |
| import java.nio.file.*; | |
| import java.security.Permission; | |
| import java.security.PermissionCollection; | |
| import java.util.Enumeration; | |
| import java.util.Objects; | |
| import java.util.StringJoiner; | |
| import java.util.Vector; | |
| import java.util.concurrent.ConcurrentHashMap; | |
| import sun.nio.fs.DefaultFileSystemProvider; | |
| import sun.security.util.SecurityConstants; | |
| import sun.security.util.SecurityProperties; | |
| /** | |
| * This class represents access to a file or directory. A FilePermission consists | |
| * of a pathname and a set of actions valid for that pathname. | |
| * <P> | |
| * Pathname is the pathname of the file or directory granted the specified | |
| * actions. A pathname that ends in "/*" (where "/" is | |
| * the file separator character, {@code File.separatorChar}) indicates | |
| * all the files and directories contained in that directory. A pathname | |
| * that ends with "/-" indicates (recursively) all files | |
| * and subdirectories contained in that directory. Such a pathname is called | |
| * a wildcard pathname. Otherwise, it's a simple pathname. | |
| * <P> | |
| * A pathname consisting of the special token {@literal "<<ALL FILES>>"} | |
| * matches <b>any</b> file. | |
| * <P> | |
| * Note: A pathname consisting of a single "*" indicates all the files | |
| * in the current directory, while a pathname consisting of a single "-" | |
| * indicates all the files in the current directory and | |
| * (recursively) all files and subdirectories contained in the current | |
| * directory. | |
| * <P> | |
| * The actions are passed to the constructor in a string containing | |
| * a list of one or more comma-separated keywords. The possible keywords are | |
| * "read", "write", "execute", "delete", and "readlink". | |
| * <P> | |
| * The actions string is converted to lowercase before processing. | |
| * | |
| * @deprecated | |
| * This permission cannot be used for controlling access to resources | |
| * as the Security Manager is no longer supported. | |
| * | |
| * @see java.security.Permission | |
| * @see java.security.Permissions | |
| * @see java.security.PermissionCollection | |
| * | |
| * | |
| * @author Marianne Mueller | |
| * @author Roland Schemers | |
| * @since 1.2 | |
| * | |
| * @serial exclude | |
| */ | |
| @Deprecated(since="25", forRemoval=true) | |
| public final class FilePermission extends Permission implements Serializable { | |
| /** | |
| * Execute action. | |
| */ | |
| private static final int EXECUTE = 0x1; | |
| /** | |
| * Write action. | |
| */ | |
| private static final int WRITE = 0x2; | |
| /** | |
| * Read action. | |
| */ | |
| private static final int READ = 0x4; | |
| /** | |
| * Delete action. | |
| */ | |
| private static final int DELETE = 0x8; | |
| /** | |
| * Read link action. | |
| */ | |
| private static final int READLINK = 0x10; | |
| /** | |
| * All actions (read,write,execute,delete,readlink) | |
| */ | |
| private static final int ALL = READ|WRITE|EXECUTE|DELETE|READLINK; | |
| /** | |
| * No actions. | |
| */ | |
| private static final int NONE = 0x0; | |
| // the actions mask | |
| private transient int mask; | |
| // does path indicate a directory? (wildcard or recursive) | |
| private transient boolean directory; | |
| // is it a recursive directory specification? | |
| private transient boolean recursive; | |
| /** | |
| * the actions string. | |
| * | |
| * @serial | |
| */ | |
| private String actions; // Left null as long as possible, then | |
| // created and re-used in the getAction function. | |
| // canonicalized dir path. used by the "old" behavior (nb == false). | |
| // In the case of directories, it is the name "/blah/*" or "/blah/-" | |
| // without the last character (the "*" or "-"). | |
| private transient String cpath; | |
| // Following fields used by the "new" behavior (nb == true), in which | |
| // input path is not canonicalized. For compatibility (so that granting | |
| // FilePermission on "x" allows reading "`pwd`/x", an alternative path | |
| // can be added so that both can be used in an implies() check. Please note | |
| // the alternative path only deals with absolute/relative path, and does | |
| // not deal with symlink/target. | |
| private transient Path npath; // normalized dir path. | |
| private transient Path npath2; // alternative normalized dir path. | |
| private transient boolean allFiles; // whether this is <<ALL FILES>> | |
| private transient boolean invalid; // whether input path is invalid | |
| // static Strings used by init(int mask) | |
| private static final char RECURSIVE_CHAR = '-'; | |
| private static final char WILD_CHAR = '*'; | |
| /** | |
| * New behavior? Keep compatibility? | |
| * The new behavior does not use the canonical path normalization | |
| */ | |
| private static final boolean nb = initNb(); | |
| // Initialize the nb flag from the System property jdk.io.permissionsUseCanonicalPath. | |
| private static boolean initNb() { | |
| String flag = SecurityProperties.getOverridableProperty( | |
| "jdk.io.permissionsUseCanonicalPath"); | |
| return switch (flag) { | |
| case "true" -> false; // compatibility mode to canonicalize paths | |
| case "false" -> true; // do not canonicalize | |
| case null -> true; // default, do not canonicalize | |
| default -> | |
| throw new RuntimeException( | |
| "Invalid jdk.io.permissionsUseCanonicalPath: " + flag); | |
| }; | |
| } | |
| // public String toString() { | |
| // StringBuilder sb = new StringBuilder(); | |
| // sb.append("*** FilePermission on " + getName() + " ***"); | |
| // for (Field f : FilePermission.class.getDeclaredFields()) { | |
| // if (!Modifier.isStatic(f.getModifiers())) { | |
| // try { | |
| // sb.append(f.getName() + " = " + f.get(this)); | |
| // } catch (Exception e) { | |
| // sb.append(f.getName() + " = " + e.toString()); | |
| // } | |
| // sb.append('\n'); | |
| // } | |
| // } | |
| // sb.append("***\n"); | |
| // return sb.toString(); | |
| // } | |
| @java.io.Serial | |
| private static final long serialVersionUID = 7930732926638008763L; | |
| /** | |
| * Use the platform's default file system to avoid recursive initialization | |
| * issues when the VM is configured to use a custom file system provider. | |
| */ | |
| private static final java.nio.file.FileSystem builtInFS = | |
| DefaultFileSystemProvider.theFileSystem(); | |
| private static final Path here = builtInFS.getPath(jdk.internal.util.StaticProperty.userDir()); | |
| private static final Path EMPTY_PATH = builtInFS.getPath(""); | |
| private static final Path DASH_PATH = builtInFS.getPath("-"); | |
| private static final Path DOTDOT_PATH = builtInFS.getPath(".."); | |
| /** | |
| * A private constructor that clones some and updates some, | |
| * always with a different name. | |
| * @param input | |
| */ | |
| private FilePermission(String name, | |
| FilePermission input, | |
| Path npath, | |
| Path npath2, | |
| int mask, | |
| String actions) { | |
| super(name); | |
| // Customizables | |
| this.npath = npath; | |
| this.npath2 = npath2; | |
| this.actions = actions; | |
| this.mask = mask; | |
| // Cloneds | |
| this.allFiles = input.allFiles; | |
| this.invalid = input.invalid; | |
| this.recursive = input.recursive; | |
| this.directory = input.directory; | |
| this.cpath = input.cpath; | |
| } | |
| /** | |
| * Returns the alternative path as a Path object, i.e. absolute path | |
| * for a relative one, or vice versa. | |
| * | |
| * @param in a real path w/o "-" or "*" at the end, and not <<ALL FILES>>. | |
| * @return the alternative path, or null if cannot find one. | |
| */ | |
| private static Path altPath(Path in) { | |
| try { | |
| if (!in.isAbsolute()) { | |
| return here.resolve(in).normalize(); | |
| } else { | |
| return here.relativize(in).normalize(); | |
| } | |
| } catch (IllegalArgumentException e) { | |
| return null; | |
| } | |
| } | |
| // Construct a new Permission with altPath | |
| // Used by test FilePermissionCollectionMerge | |
| private FilePermission newPermPlusAltPath() { | |
| System.err.println("PlusAlt path: " + this + ", npath: " + npath); | |
| if (nb && !invalid && npath2 == null && !allFiles) { | |
| Path npath2 = altPath(npath); | |
| if (npath2 != null) { | |
| // Please note the name of the new permission is | |
| // different than the original so that when one is | |
| // added to a FilePermissionCollection it will not | |
| // be merged with the original one. | |
| return new FilePermission(getName() + "#plus", | |
| this, | |
| npath, | |
| npath2, | |
| mask, | |
| actions); | |
| } | |
| } | |
| return this; | |
| } | |
| // Construct a new Permission adding altPath | |
| // Used by test FilePermissionCollectionMerge | |
| private FilePermission newPermUsingAltPath() { | |
| System.err.println("Alt path: " + this + ", npath: " + npath); | |
| if (!invalid && !allFiles) { | |
| Path npath2 = altPath(npath); | |
| if (npath2 != null) { | |
| // New name, see above. | |
| return new FilePermission(getName() + "#using", | |
| this, | |
| npath2, | |
| null, | |
| mask, | |
| actions); | |
| } | |
| } | |
| return this; | |
| } | |
| /** | |
| * initialize a FilePermission object. Common to all constructors. | |
| * Also called during de-serialization. | |
| * | |
| * @param mask the actions mask to use. | |
| * | |
| */ | |
| private void init(int mask) { | |
| if ((mask & ALL) != mask) | |
| throw new IllegalArgumentException("invalid actions mask"); | |
| if (mask == NONE) | |
| throw new IllegalArgumentException("invalid actions mask"); | |
| if (nb) { | |
| String name = getName(); | |
| if (name == null) | |
| throw new NullPointerException("name can't be null"); | |
| this.mask = mask; | |
| if (name.equals("<<ALL FILES>>")) { | |
| allFiles = true; | |
| npath = EMPTY_PATH; | |
| // other fields remain default | |
| return; | |
| } | |
| boolean rememberStar = false; | |
| if (name.endsWith("*")) { | |
| rememberStar = true; | |
| recursive = false; | |
| name = name.substring(0, name.length()-1) + "-"; | |
| } | |
| try { | |
| // new File() can "normalize" some name, for example, "/C:/X" on | |
| // Windows. Some JDK codes generate such illegal names. | |
| npath = builtInFS.getPath(new File(name).getPath()) | |
| .normalize(); | |
| // lastName should always be non-null now | |
| Path lastName = npath.getFileName(); | |
| if (lastName != null && lastName.equals(DASH_PATH)) { | |
| directory = true; | |
| recursive = !rememberStar; | |
| npath = npath.getParent(); | |
| } | |
| if (npath == null) { | |
| npath = EMPTY_PATH; | |
| } | |
| invalid = false; | |
| } catch (InvalidPathException ipe) { | |
| // Still invalid. For compatibility reason, accept it | |
| // but make this permission useless. | |
| npath = builtInFS.getPath("-u-s-e-l-e-s-s-"); | |
| invalid = true; | |
| } | |
| } else { | |
| if ((cpath = getName()) == null) | |
| throw new NullPointerException("name can't be null"); | |
| this.mask = mask; | |
| if (cpath.equals("<<ALL FILES>>")) { | |
| allFiles = true; | |
| directory = true; | |
| recursive = true; | |
| cpath = ""; | |
| return; | |
| } | |
| // Validate path by platform's default file system | |
| try { | |
| String name = cpath.endsWith("*") ? cpath.substring(0, cpath.length() - 1) + "-" : cpath; | |
| builtInFS.getPath(new File(name).getPath()); | |
| } catch (InvalidPathException ipe) { | |
| invalid = true; | |
| return; | |
| } | |
| // store only the canonical cpath if possible | |
| try { | |
| String path = cpath; | |
| if (cpath.endsWith("*")) { | |
| // call getCanonicalPath with a path with wildcard character | |
| // replaced to avoid calling it with paths that are | |
| // intended to match all entries in a directory | |
| path = path.substring(0, path.length() - 1) + "-"; | |
| path = new File(path).getCanonicalPath(); | |
| cpath = path.substring(0, path.length() - 1) + "*"; | |
| } else { | |
| cpath = new File(path).getCanonicalPath(); | |
| } | |
| } catch (IOException ignore) { | |
| } | |
| int len = cpath.length(); | |
| char last = ((len > 0) ? cpath.charAt(len - 1) : 0); | |
| if (last == RECURSIVE_CHAR && | |
| cpath.charAt(len - 2) == File.separatorChar) { | |
| directory = true; | |
| recursive = true; | |
| cpath = cpath.substring(0, --len); | |
| } else if (last == WILD_CHAR && | |
| cpath.charAt(len - 2) == File.separatorChar) { | |
| directory = true; | |
| //recursive = false; | |
| cpath = cpath.substring(0, --len); | |
| } else { | |
| // overkill since they are initialized to false, but | |
| // commented out here to remind us... | |
| //directory = false; | |
| //recursive = false; | |
| } | |
| // XXX: at this point the path should be absolute. die if it isn't? | |
| } | |
| } | |
| /** | |
| * Creates a new FilePermission object with the specified actions. | |
| * <i>path</i> is the pathname of a file or directory, and <i>actions</i> | |
| * contains a comma-separated list of the desired actions granted on the | |
| * file or directory. Possible actions are | |
| * "read", "write", "execute", "delete", and "readlink". | |
| * | |
| * <p>A pathname that ends in "/*" (where "/" is | |
| * the file separator character, {@code File.separatorChar}) | |
| * indicates all the files and directories contained in that directory. | |
| * A pathname that ends with "/-" indicates (recursively) all files and | |
| * subdirectories contained in that directory. The special pathname | |
| * {@literal "<<ALL FILES>>"} matches any file. | |
| * | |
| * <p>A pathname consisting of a single "*" indicates all the files | |
| * in the current directory, while a pathname consisting of a single "-" | |
| * indicates all the files in the current directory and | |
| * (recursively) all files and subdirectories contained in the current | |
| * directory. | |
| * | |
| * <p>A pathname containing an empty string represents an empty path. | |
| * | |
| * @implNote In this implementation, the | |
| * {@systemProperty jdk.io.permissionsUseCanonicalPath} system property | |
| * dictates how the {@code path} argument is processed and stored. | |
| * <P> | |
| * If the value of the system property is set to {@code true}, {@code path} | |
| * is canonicalized and stored as a String object named {@code cpath}. | |
| * This means a relative path is converted to an absolute path, a Windows | |
| * DOS-style 8.3 path is expanded to a long path, and a symbolic link is | |
| * resolved to its target, etc. | |
| * <P> | |
| * If the value of the system property is set to {@code false}, {@code path} | |
| * is converted to a {@link java.nio.file.Path} object named {@code npath} | |
| * after {@link Path#normalize() normalization}. No canonicalization is | |
| * performed which means the underlying file system is not accessed. | |
| * If an {@link InvalidPathException} is thrown during the conversion, | |
| * this {@code FilePermission} will be labeled as invalid. | |
| * <P> | |
| * In either case, the "*" or "-" character at the end of a wildcard | |
| * {@code path} is removed before canonicalization or normalization. | |
| * It is stored in a separate wildcard flag field. | |
| * <P> | |
| * The default value of the {@code jdk.io.permissionsUseCanonicalPath} | |
| * system property is {@code false} in this implementation. | |
| * <p> | |
| * The value can also be set with a security property using the same name, | |
| * but setting a system property will override the security property value. | |
| * | |
| * @param path the pathname of the file/directory. | |
| * @param actions the action string. | |
| * | |
| * @throws IllegalArgumentException if actions is {@code null}, empty, | |
| * malformed or contains an action other than the specified | |
| * possible actions | |
| */ | |
| public FilePermission(String path, String actions) { | |
| super(path); | |
| init(getMask(actions)); | |
| } | |
| /** | |
| * Creates a new FilePermission object using an action mask. | |
| * More efficient than the FilePermission(String, String) constructor. | |
| * Can be used from within | |
| * code that needs to create a FilePermission object to pass into the | |
| * {@code implies} method. | |
| * | |
| * @param path the pathname of the file/directory. | |
| * @param mask the action mask to use. | |
| */ | |
| // package private for use by the FilePermissionCollection add method | |
| FilePermission(String path, int mask) { | |
| super(path); | |
| init(mask); | |
| } | |
| /** | |
| * Checks if this FilePermission object "implies" the specified permission. | |
| * <P> | |
| * More specifically, this method returns true if: | |
| * <ul> | |
| * <li> <i>p</i> is an instanceof FilePermission, | |
| * <li> <i>p</i>'s actions are a proper subset of this | |
| * object's actions, and | |
| * <li> <i>p</i>'s pathname is implied by this object's | |
| * pathname. For example, "/tmp/*" implies "/tmp/foo", since | |
| * "/tmp/*" encompasses all files in the "/tmp" directory, | |
| * including the one named "foo". | |
| * </ul> | |
| * <P> | |
| * Precisely, a simple pathname implies another simple pathname | |
| * if and only if they are equal. A simple pathname never implies | |
| * a wildcard pathname. A wildcard pathname implies another wildcard | |
| * pathname if and only if all simple pathnames implied by the latter | |
| * are implied by the former. A wildcard pathname implies a simple | |
| * pathname if and only if | |
| * <ul> | |
| * <li>if the wildcard flag is "*", the simple pathname's path | |
| * must be right inside the wildcard pathname's path. | |
| * <li>if the wildcard flag is "-", the simple pathname's path | |
| * must be recursively inside the wildcard pathname's path. | |
| * </ul> | |
| * <P> | |
| * {@literal "<<ALL FILES>>"} implies every other pathname. No pathname, | |
| * except for {@literal "<<ALL FILES>>"} itself, implies | |
| * {@literal "<<ALL FILES>>"}. | |
| * | |
| * @implNote | |
| * If {@code jdk.io.permissionsUseCanonicalPath} is {@code true}, a | |
| * simple {@code cpath} is inside a wildcard {@code cpath} if and only if | |
| * after removing the base name (the last name in the pathname's name | |
| * sequence) from the former the remaining part is equal to the latter, | |
| * a simple {@code cpath} is recursively inside a wildcard {@code cpath} | |
| * if and only if the former starts with the latter. | |
| * <p> | |
| * If {@code jdk.io.permissionsUseCanonicalPath} is {@code false}, a | |
| * simple {@code npath} is inside a wildcard {@code npath} if and only if | |
| * {@code simple_npath.relativize(wildcard_npath)} is exactly "..", | |
| * a simple {@code npath} is recursively inside a wildcard {@code npath} | |
| * if and only if {@code simple_npath.relativize(wildcard_npath)} is a | |
| * series of one or more "..". This means "/-" implies "/foo" but not "foo". | |
| * <p> | |
| * An invalid {@code FilePermission} does not imply any object except for | |
| * itself. An invalid {@code FilePermission} is not implied by any object | |
| * except for itself or a {@code FilePermission} on | |
| * {@literal "<<ALL FILES>>"} whose actions is a superset of this | |
| * invalid {@code FilePermission}. Even if two {@code FilePermission} | |
| * are created with the same invalid path, one does not imply the other. | |
| * | |
| * @param p the permission to check against. | |
| * | |
| * @return {@code true} if the specified permission is not | |
| * {@code null} and is implied by this object, | |
| * {@code false} otherwise. | |
| */ | |
| @Override | |
| public boolean implies(Permission p) { | |
| if (!(p instanceof FilePermission that)) | |
| return false; | |
| // we get the effective mask. i.e., the "and" of this and that. | |
| // They must be equal to that.mask for implies to return true. | |
| return ((this.mask & that.mask) == that.mask) && impliesIgnoreMask(that); | |
| } | |
| /** | |
| * Checks if the Permission's actions are a proper subset of the | |
| * this object's actions. Returns the effective mask iff the | |
| * this FilePermission's path also implies that FilePermission's path. | |
| * | |
| * @param that the FilePermission to check against. | |
| * @return the effective mask | |
| */ | |
| boolean impliesIgnoreMask(FilePermission that) { | |
| if (this == that) { | |
| return true; | |
| } | |
| if (allFiles) { | |
| return true; | |
| } | |
| if (this.invalid || that.invalid) { | |
| return false; | |
| } | |
| if (that.allFiles) { | |
| return false; | |
| } | |
| if (nb) { | |
| // Left at least same level of wildness as right | |
| if ((this.recursive && that.recursive) != that.recursive | |
| || (this.directory && that.directory) != that.directory) { | |
| return false; | |
| } | |
| // Same npath is good as long as both or neither are directories | |
| if (this.npath.equals(that.npath) | |
| && this.directory == that.directory) { | |
| return true; | |
| } | |
| int diff = containsPath(this.npath, that.npath); | |
| // Right inside left is good if recursive | |
| if (diff >= 1 && recursive) { | |
| return true; | |
| } | |
| // Right right inside left if it is element in set | |
| if (diff == 1 && directory && !that.directory) { | |
| return true; | |
| } | |
| // Hack: if a npath2 field exists, apply the same checks | |
| // on it as a fallback. | |
| if (this.npath2 != null) { | |
| if (this.npath2.equals(that.npath) | |
| && this.directory == that.directory) { | |
| return true; | |
| } | |
| diff = containsPath(this.npath2, that.npath); | |
| if (diff >= 1 && recursive) { | |
| return true; | |
| } | |
| if (diff == 1 && directory && !that.directory) { | |
| return true; | |
| } | |
| } | |
| return false; | |
| } else { | |
| if (this.directory) { | |
| if (this.recursive) { | |
| // make sure that.path is longer then path so | |
| // something like /foo/- does not imply /foo | |
| if (that.directory) { | |
| return (that.cpath.length() >= this.cpath.length()) && | |
| that.cpath.startsWith(this.cpath); | |
| } else { | |
| return ((that.cpath.length() > this.cpath.length()) && | |
| that.cpath.startsWith(this.cpath)); | |
| } | |
| } else { | |
| if (that.directory) { | |
| // if the permission passed in is a directory | |
| // specification, make sure that a non-recursive | |
| // permission (i.e., this object) can't imply a recursive | |
| // permission. | |
| if (that.recursive) | |
| return false; | |
| else | |
| return (this.cpath.equals(that.cpath)); | |
| } else { | |
| int last = that.cpath.lastIndexOf(File.separatorChar); | |
| if (last == -1) | |
| return false; | |
| else { | |
| // this.cpath.equals(that.cpath.substring(0, last+1)); | |
| // Use regionMatches to avoid creating new string | |
| return (this.cpath.length() == (last + 1)) && | |
| this.cpath.regionMatches(0, that.cpath, 0, last + 1); | |
| } | |
| } | |
| } | |
| } else if (that.directory) { | |
| // if this is NOT recursive/wildcarded, | |
| // do not let it imply a recursive/wildcarded permission | |
| return false; | |
| } else { | |
| return (this.cpath.equals(that.cpath)); | |
| } | |
| } | |
| } | |
| /** | |
| * Returns the depth between an outer path p1 and an inner path p2. -1 | |
| * is returned if | |
| * | |
| * - p1 does not contains p2. | |
| * - this is not decidable. For example, p1="../x", p2="y". | |
| * - the depth is not decidable. For example, p1="/", p2="x". | |
| * | |
| * This method can return 2 if the depth is greater than 2. | |
| * | |
| * @param p1 the expected outer path, normalized | |
| * @param p2 the expected inner path, normalized | |
| * @return the depth in between | |
| */ | |
| private static int containsPath(Path p1, Path p2) { | |
| // Two paths must have the same root. For example, | |
| // there is no contains relation between any two of | |
| // "/x", "x", "C:/x", "C:x", and "//host/share/x". | |
| if (!Objects.equals(p1.getRoot(), p2.getRoot())) { | |
| return -1; | |
| } | |
| // Empty path (i.e. "." or "") is a strange beast, | |
| // because its getNameCount()==1 but getName(0) is null. | |
| // It's better to deal with it separately. | |
| if (p1.equals(EMPTY_PATH)) { | |
| if (p2.equals(EMPTY_PATH)) { | |
| return 0; | |
| } else if (p2.getName(0).equals(DOTDOT_PATH)) { | |
| // "." contains p2 iff p2 has no "..". Since | |
| // a normalized path can only have 0 or more | |
| // ".." at the beginning. We only need to look | |
| // at the head. | |
| return -1; | |
| } else { | |
| // and the distance is p2's name count. i.e. | |
| // 3 between "." and "a/b/c". | |
| return p2.getNameCount(); | |
| } | |
| } else if (p2.equals(EMPTY_PATH)) { | |
| int c1 = p1.getNameCount(); | |
| if (!p1.getName(c1 - 1).equals(DOTDOT_PATH)) { | |
| // "." is inside p1 iff p1 is 1 or more "..". | |
| // For the same reason above, we only need to | |
| // look at the tail. | |
| return -1; | |
| } | |
| // and the distance is the count of ".." | |
| return c1; | |
| } | |
| // Good. No more empty paths. | |
| // Common heads are removed | |
| int c1 = p1.getNameCount(); | |
| int c2 = p2.getNameCount(); | |
| int n = Math.min(c1, c2); | |
| int i = 0; | |
| while (i < n) { | |
| if (!p1.getName(i).equals(p2.getName(i))) | |
| break; | |
| i++; | |
| } | |
| // for p1 containing p2, p1 must be 0-or-more "..", | |
| // and p2 cannot have "..". For the same reason, we only | |
| // check tail of p1 and head of p2. | |
| if (i < c1 && !p1.getName(c1 - 1).equals(DOTDOT_PATH)) { | |
| return -1; | |
| } | |
| if (i < c2 && p2.getName(i).equals(DOTDOT_PATH)) { | |
| return -1; | |
| } | |
| // and the distance is the name counts added (after removing | |
| // the common heads). | |
| // For example: p1 = "../../..", p2 = "../a". | |
| // After removing the common heads, they become "../.." and "a", | |
| // and the distance is (3-1)+(2-1) = 3. | |
| return c1 - i + c2 - i; | |
| } | |
| /** | |
| * Checks two FilePermission objects for equality. Checks that <i>obj</i> is | |
| * a FilePermission, and has the same pathname and actions as this object. | |
| * | |
| * @implNote More specifically, two pathnames are the same if and only if | |
| * they have the same wildcard flag and their {@code cpath} | |
| * (if {@code jdk.io.permissionsUseCanonicalPath} is {@code true}) or | |
| * {@code npath} (if {@code jdk.io.permissionsUseCanonicalPath} | |
| * is {@code false}) are equal. Or they are both {@literal "<<ALL FILES>>"}. | |
| * <p> | |
| * When {@code jdk.io.permissionsUseCanonicalPath} is {@code false}, an | |
| * invalid {@code FilePermission} does not equal to any object except | |
| * for itself, even if they are created using the same invalid path. | |
| * | |
| * @param obj the object we are testing for equality with this object. | |
| * @return {@code true} if obj is a FilePermission, and has the same | |
| * pathname and actions as this FilePermission object, | |
| * {@code false} otherwise. | |
| */ | |
| @Override | |
| public boolean equals(Object obj) { | |
| if (obj == this) | |
| return true; | |
| if (! (obj instanceof FilePermission that)) | |
| return false; | |
| if (this.invalid || that.invalid) { | |
| return false; | |
| } | |
| if (nb) { | |
| return (this.mask == that.mask) && | |
| (this.allFiles == that.allFiles) && | |
| this.npath.equals(that.npath) && | |
| Objects.equals(npath2, that.npath2) && | |
| (this.directory == that.directory) && | |
| (this.recursive == that.recursive); | |
| } else { | |
| return (this.mask == that.mask) && | |
| (this.allFiles == that.allFiles) && | |
| this.cpath.equals(that.cpath) && | |
| (this.directory == that.directory) && | |
| (this.recursive == that.recursive); | |
| } | |
| } | |
| /** | |
| * Returns the hash code value for this object. | |
| * | |
| * @return a hash code value for this object. | |
| */ | |
| @Override | |
| public int hashCode() { | |
| if (nb) { | |
| return Objects.hash( | |
| mask, allFiles, directory, recursive, npath, npath2, invalid); | |
| } else { | |
| return 0; | |
| } | |
| } | |
| /** | |
| * Converts an actions String to an actions mask. | |
| * | |
| * @param actions the action string. | |
| * @return the actions mask. | |
| */ | |
| private static int getMask(String actions) { | |
| int mask = NONE; | |
| // Null action valid? | |
| if (actions == null) { | |
| return mask; | |
| } | |
| // Use object identity comparison against known-interned strings for | |
| // performance benefit (these values are used heavily within the JDK). | |
| if (actions == SecurityConstants.FILE_READ_ACTION) { | |
| return READ; | |
| } else if (actions == SecurityConstants.FILE_WRITE_ACTION) { | |
| return WRITE; | |
| } else if (actions == SecurityConstants.FILE_EXECUTE_ACTION) { | |
| return EXECUTE; | |
| } else if (actions == SecurityConstants.FILE_DELETE_ACTION) { | |
| return DELETE; | |
| } else if (actions == SecurityConstants.FILE_READLINK_ACTION) { | |
| return READLINK; | |
| } | |
| char[] a = actions.toCharArray(); | |
| int i = a.length - 1; | |
| if (i < 0) | |
| return mask; | |
| while (i != -1) { | |
| char c; | |
| // skip whitespace | |
| while ((i!=-1) && ((c = a[i]) == ' ' || | |
| c == '\r' || | |
| c == '\n' || | |
| c == '\f' || | |
| c == '\t')) | |
| i--; | |
| // check for the known strings | |
| int matchlen; | |
| if (i >= 3 && (a[i-3] == 'r' || a[i-3] == 'R') && | |
| (a[i-2] == 'e' || a[i-2] == 'E') && | |
| (a[i-1] == 'a' || a[i-1] == 'A') && | |
| (a[i] == 'd' || a[i] == 'D')) | |
| { | |
| matchlen = 4; | |
| mask |= READ; | |
| } else if (i >= 4 && (a[i-4] == 'w' || a[i-4] == 'W') && | |
| (a[i-3] == 'r' || a[i-3] == 'R') && | |
| (a[i-2] == 'i' || a[i-2] == 'I') && | |
| (a[i-1] == 't' || a[i-1] == 'T') && | |
| (a[i] == 'e' || a[i] == 'E')) | |
| { | |
| matchlen = 5; | |
| mask |= WRITE; | |
| } else if (i >= 6 && (a[i-6] == 'e' || a[i-6] == 'E') && | |
| (a[i-5] == 'x' || a[i-5] == 'X') && | |
| (a[i-4] == 'e' || a[i-4] == 'E') && | |
| (a[i-3] == 'c' || a[i-3] == 'C') && | |
| (a[i-2] == 'u' || a[i-2] == 'U') && | |
| (a[i-1] == 't' || a[i-1] == 'T') && | |
| (a[i] == 'e' || a[i] == 'E')) | |
| { | |
| matchlen = 7; | |
| mask |= EXECUTE; | |
| } else if (i >= 5 && (a[i-5] == 'd' || a[i-5] == 'D') && | |
| (a[i-4] == 'e' || a[i-4] == 'E') && | |
| (a[i-3] == 'l' || a[i-3] == 'L') && | |
| (a[i-2] == 'e' || a[i-2] == 'E') && | |
| (a[i-1] == 't' || a[i-1] == 'T') && | |
| (a[i] == 'e' || a[i] == 'E')) | |
| { | |
| matchlen = 6; | |
| mask |= DELETE; | |
| } else if (i >= 7 && (a[i-7] == 'r' || a[i-7] == 'R') && | |
| (a[i-6] == 'e' || a[i-6] == 'E') && | |
| (a[i-5] == 'a' || a[i-5] == 'A') && | |
| (a[i-4] == 'd' || a[i-4] == 'D') && | |
| (a[i-3] == 'l' || a[i-3] == 'L') && | |
| (a[i-2] == 'i' || a[i-2] == 'I') && | |
| (a[i-1] == 'n' || a[i-1] == 'N') && | |
| (a[i] == 'k' || a[i] == 'K')) | |
| { | |
| matchlen = 8; | |
| mask |= READLINK; | |
| } else { | |
| // parse error | |
| throw new IllegalArgumentException( | |
| "invalid permission: " + actions); | |
| } | |
| // make sure we didn't just match the tail of a word | |
| // like "ackbarfdelete". Also, skip to the comma. | |
| boolean seencomma = false; | |
| while (i >= matchlen && !seencomma) { | |
| switch (c = a[i-matchlen]) { | |
| case ' ': case '\r': case '\n': | |
| case '\f': case '\t': | |
| break; | |
| default: | |
| if (c == ',' && i > matchlen) { | |
| seencomma = true; | |
| break; | |
| } | |
| throw new IllegalArgumentException( | |
| "invalid permission: " + actions); | |
| } | |
| i--; | |
| } | |
| // point i at the location of the comma minus one (or -1). | |
| i -= matchlen; | |
| } | |
| return mask; | |
| } | |
| /** | |
| * Return the current action mask. Used by the FilePermissionCollection. | |
| * | |
| * @return the actions mask. | |
| */ | |
| int getMask() { | |
| return mask; | |
| } | |
| /** | |
| * Return the canonical string representation of the actions. | |
| * Always returns present actions in the following order: | |
| * read, write, execute, delete, readlink. | |
| * | |
| * @return the canonical string representation of the actions. | |
| */ | |
| private static String getActions(int mask) { | |
| StringJoiner sj = new StringJoiner(","); | |
| if ((mask & READ) == READ) { | |
| sj.add("read"); | |
| } | |
| if ((mask & WRITE) == WRITE) { | |
| sj.add("write"); | |
| } | |
| if ((mask & EXECUTE) == EXECUTE) { | |
| sj.add("execute"); | |
| } | |
| if ((mask & DELETE) == DELETE) { | |
| sj.add("delete"); | |
| } | |
| if ((mask & READLINK) == READLINK) { | |
| sj.add("readlink"); | |
| } | |
| return sj.toString(); | |
| } | |
| /** | |
| * Returns the "canonical string representation" of the actions. | |
| * That is, this method always returns present actions in the following order: | |
| * read, write, execute, delete, readlink. For example, if this FilePermission | |
| * object allows both write and read actions, a call to {@code getActions} | |
| * will return the string "read,write". | |
| * | |
| * @return the canonical string representation of the actions. | |
| */ | |
| @Override | |
| public String getActions() { | |
| if (actions == null) | |
| actions = getActions(this.mask); | |
| return actions; | |
| } | |
| /** | |
| * Returns a new PermissionCollection object for storing FilePermission | |
| * objects. | |
| * <p> | |
| * FilePermission objects must be stored in a manner that allows them | |
| * to be inserted into the collection in any order, but that also enables the | |
| * PermissionCollection {@code implies} | |
| * method to be implemented in an efficient (and consistent) manner. | |
| * | |
| * <p>For example, if you have two FilePermissions: | |
| * <OL> | |
| * <LI> {@code "/tmp/-", "read"} | |
| * <LI> {@code "/tmp/scratch/foo", "write"} | |
| * </OL> | |
| * | |
| * <p>and you are calling the {@code implies} method with the FilePermission: | |
| * | |
| * <pre> | |
| * "/tmp/scratch/foo", "read,write", | |
| * </pre> | |
| * | |
| * then the {@code implies} function must | |
| * take into account both the "/tmp/-" and "/tmp/scratch/foo" | |
| * permissions, so the effective permission is "read,write", | |
| * and {@code implies} returns true. The "implies" semantics for | |
| * FilePermissions are handled properly by the PermissionCollection object | |
| * returned by this {@code newPermissionCollection} method. | |
| * | |
| * @return a new PermissionCollection object suitable for storing | |
| * FilePermissions. | |
| */ | |
| @Override | |
| public PermissionCollection newPermissionCollection() { | |
| return new FilePermissionCollection(); | |
| } | |
| /** | |
| * WriteObject is called to save the state of the FilePermission | |
| * to a stream. The actions are serialized, and the superclass | |
| * takes care of the name. | |
| */ | |
| @java.io.Serial | |
| private void writeObject(ObjectOutputStream s) | |
| throws IOException | |
| { | |
| // Write out the actions. The superclass takes care of the name | |
| // call getActions to make sure actions field is initialized | |
| if (actions == null) | |
| getActions(); | |
| s.defaultWriteObject(); | |
| } | |
| /** | |
| * readObject is called to restore the state of the FilePermission from | |
| * a stream. | |
| */ | |
| @java.io.Serial | |
| private void readObject(ObjectInputStream s) | |
| throws IOException, ClassNotFoundException | |
| { | |
| // Read in the actions, then restore everything else by calling init. | |
| s.defaultReadObject(); | |
| init(getMask(actions)); | |
| } | |
| /** | |
| * Create a cloned FilePermission with a different actions. | |
| * @param effective the new actions | |
| * @return a new object | |
| */ | |
| FilePermission withNewActions(int effective) { | |
| return new FilePermission(this.getName(), | |
| this, | |
| this.npath, | |
| this.npath2, | |
| effective, | |
| null); | |
| } | |
| } | |
| /** | |
| * A FilePermissionCollection stores a set of FilePermission permissions. | |
| * FilePermission objects | |
| * must be stored in a manner that allows them to be inserted in any | |
| * order, but enable the implies function to evaluate the implies | |
| * method. | |
| * For example, if you have two FilePermissions: | |
| * <OL> | |
| * <LI> "/tmp/-", "read" | |
| * <LI> "/tmp/scratch/foo", "write" | |
| * </OL> | |
| * And you are calling the implies function with the FilePermission: | |
| * "/tmp/scratch/foo", "read,write", then the implies function must | |
| * take into account both the /tmp/- and /tmp/scratch/foo | |
| * permissions, so the effective permission is "read,write". | |
| * | |
| * @see java.security.Permission | |
| * @see java.security.Permissions | |
| * @see java.security.PermissionCollection | |
| * | |
| * | |
| * @author Marianne Mueller | |
| * @author Roland Schemers | |
| * | |
| * @serial include | |
| * | |
| */ | |
| final class FilePermissionCollection extends PermissionCollection | |
| implements Serializable | |
| { | |
| // Not serialized; see serialization section at end of class | |
| private transient ConcurrentHashMap<String, Permission> perms; | |
| /** | |
| * Create an empty FilePermissionCollection object. | |
| */ | |
| public FilePermissionCollection() { | |
| perms = new ConcurrentHashMap<>(); | |
| } | |
| /** | |
| * Adds a permission to the FilePermissionCollection. The key for the hash is | |
| * permission.path. | |
| * | |
| * @param permission the Permission object to add. | |
| * | |
| * @throws IllegalArgumentException if the permission is not a | |
| * FilePermission | |
| * | |
| * @throws SecurityException if this FilePermissionCollection object | |
| * has been marked readonly | |
| */ | |
| @Override | |
| @SuppressWarnings("removal") | |
| public void add(Permission permission) { | |
| if (! (permission instanceof FilePermission fp)) | |
| throw new IllegalArgumentException("invalid permission: "+ | |
| permission); | |
| if (isReadOnly()) | |
| throw new SecurityException( | |
| "attempt to add a Permission to a readonly PermissionCollection"); | |
| // Add permission to map if it is absent, or replace with new | |
| // permission if applicable. | |
| perms.merge(fp.getName(), fp, (existingVal, newVal) -> { | |
| int oldMask = ((FilePermission)existingVal).getMask(); | |
| int newMask = ((FilePermission)newVal).getMask(); | |
| if (oldMask != newMask) { | |
| int effective = oldMask | newMask; | |
| if (effective == newMask) { | |
| return newVal; | |
| } | |
| if (effective != oldMask) { | |
| return ((FilePermission)newVal).withNewActions(effective); | |
| } | |
| } | |
| return existingVal; | |
| } | |
| ); | |
| } | |
| /** | |
| * Check and see if this set of permissions implies the permissions | |
| * expressed in "permission". | |
| * | |
| * @param permission the Permission object to compare | |
| * | |
| * @return true if "permission" is a proper subset of a permission in | |
| * the set, false if not. | |
| */ | |
| @Override | |
| @SuppressWarnings("removal") | |
| public boolean implies(Permission permission) { | |
| if (! (permission instanceof FilePermission fperm)) | |
| return false; | |
| int desired = fperm.getMask(); | |
| int effective = 0; | |
| int needed = desired; | |
| for (Permission perm : perms.values()) { | |
| FilePermission fp = (FilePermission)perm; | |
| if (((needed & fp.getMask()) != 0) && fp.impliesIgnoreMask(fperm)) { | |
| effective |= fp.getMask(); | |
| if ((effective & desired) == desired) { | |
| return true; | |
| } | |
| needed = (desired & ~effective); | |
| } | |
| } | |
| return false; | |
| } | |
| /** | |
| * Returns an enumeration of all the FilePermission objects in the | |
| * container. | |
| * | |
| * @return an enumeration of all the FilePermission objects. | |
| */ | |
| @Override | |
| @SuppressWarnings("removal") | |
| public Enumeration<Permission> elements() { | |
| return perms.elements(); | |
| } | |
| @java.io.Serial | |
| private static final long serialVersionUID = 2202956749081564585L; | |
| // Need to maintain serialization interoperability with earlier releases, | |
| // which had the serializable field: | |
| // private Vector permissions; | |
| /** | |
| * @serialField permissions java.util.Vector | |
| * A list of FilePermission objects. | |
| */ | |
| @java.io.Serial | |
| private static final ObjectStreamField[] serialPersistentFields = { | |
| new ObjectStreamField("permissions", Vector.class), | |
| }; | |
| /** | |
| * Writes the contents of the perms field out as a Vector for | |
| * serialization compatibility with earlier releases. | |
| * @serialData "permissions" field (a Vector containing the FilePermissions). | |
| * | |
| * @param out the {@code ObjectOutputStream} to which data is written | |
| * @throws IOException if an I/O error occurs | |
| */ | |
| @java.io.Serial | |
| private void writeObject(ObjectOutputStream out) throws IOException { | |
| // Don't call out.defaultWriteObject() | |
| // Write out Vector | |
| Vector<Permission> permissions = new Vector<>(perms.values()); | |
| ObjectOutputStream.PutField pfields = out.putFields(); | |
| pfields.put("permissions", permissions); | |
| out.writeFields(); | |
| } | |
| /** | |
| * Reads in a Vector of FilePermissions and saves them in the perms field. | |
| * | |
| * @param in the {@code ObjectInputStream} from which data is read | |
| * @throws IOException if an I/O error occurs | |
| * @throws ClassNotFoundException if a serialized class cannot be loaded | |
| */ | |
| @java.io.Serial | |
| private void readObject(ObjectInputStream in) | |
| throws IOException, ClassNotFoundException | |
| { | |
| // Don't call defaultReadObject() | |
| // Read in serialized fields | |
| ObjectInputStream.GetField gfields = in.readFields(); | |
| // Get the one we want | |
| @SuppressWarnings("unchecked") | |
| Vector<Permission> permissions = (Vector<Permission>)gfields.get("permissions", null); | |
| perms = new ConcurrentHashMap<>(permissions.size()); | |
| for (Permission perm : permissions) { | |
| perms.put(perm.getName(), perm); | |
| } | |
| } | |
| } |