::safe::interpCreate ?slave? ?options...?
::safe::interpInit slave ?options...?
::safe::interpConfigure slave ?options...?
::safe::interpDelete slave
::safe::interpAddToAccessPath slave directory
::safe::interpFindInAccessPath slave directory
::safe::setLogCmd ?cmd arg...?
?-accessPath pathList? ?-noStatics? ?-nestedLoadOk? ?-deleteHook script?
The Safe Base ensures that untrusted Tcl scripts cannot harm the hosting application. The Safe Base prevents integrity and privacy attacks. Untrusted Tcl scripts are prevented from corrupting the state of the hosting application or computer. Untrusted scripts are also prevented from disclosing information stored on the hosting computer or in the hosting application to any party.
The Safe Base allows a master interpreter to create safe, restricted interpreters that contain a set of predefined aliases for the source, load, file and exit commands and are able to use the auto-loading and package mechanisms.
No knowledge of the file system structure is leaked to the safe interpreter, because it has access only to a virtualized path containing tokens. When the safe interpreter requests to source a file, it uses the token in the virtual path as part of the file name to source; the master interpreter translates the token into a real directory name and executes the requested operation. Different levels of security can be selected by using the optional flags of the commands described below.
All commands provided in the master interpreter by the Safe Base reside in the safe namespace. ::safe::interpCreate creates a new safe interpreter with options, described in the section OPTIONS. The return value is the name of the new safe interpreter created. ::safe::interpInit is similar to ::safe::interpCreate except that it requires as its first argument the name of a safe interpreter that was previously created directly using the interp command. ::safe::interpDelete deletes the interpreter named by its argument. ::safe::interpConfigure can be used to set or get options for the named safe interpreters; the options are described in the section OPTIONS.
A virtual path is maintained in the master interpreter for each safe interpreter created by ::safe::interpCreate or initialized by ::safe::interpInit. The path maps tokens accessible in the safe interpreter into real path names on the local file system. This prevents safe interpreters from gaining knowledge about the structure of the file system of the host on which the interpeter is executing. When a token is used in a safe interpreter in a request to source or load a file, the token is translated to a real path name and the file to be sourced or loaded is located on the file system. The safe interpreter never gains knowledge of the actual path name under which the file is stored on the file system. Commands are provided in the master interpreter to manipulate the virtual path for a safe interpreter. ::safe::interpConfigure can be used to set a new path for a safe interpreter. ::safe::interpAddToAccessPath adds a directory to the virtual path for the named safe interpreter and returns the token by which that directory will be accessible in the safe interpreter. ::safe::interpFindInAccessPath finds the requested directory in the virtual path for the named safe interpreter and returns the token by which that directory can be accessed in the safe interpreter. If the path is not found, an error is raised.
::safe::setLogCommand installs a script to be called when interesting life cycle events happen. This script will be called with one argument, a string describing the event.
The following aliases are provided in a safe interpreter:
The following commands are provided in the master interpreter:
$slave eval [list set tk_library [::safe::interpFindInAccessPath $name $tk_library]]
$slave eval [list set tk_library [::safe::interpAddToAccessPath $name $tk_library]]
Below is the output of a sample session in which a safe interpreter attempted to source a file not found in its virtual access path. Note that the safe interpreter only received an error message saying that the file was not found:::safe::setLogCmd puts stderr
NOTICE for slave interp10 : Created NOTICE for slave interp10 : Setting accessPath=(/foo/bar) staticsok=1 nestedok=0 deletehook=() NOTICE for slave interp10 : auto_path in interp10 has been set to {$p(:0:)} ERROR for slave interp10 : /foo/bar/init.tcl: no such file or directory
The Safe Base does not attempt to completely prevent annoyance and denial of service attacks. These forms of attack prevent the application or user from temporarily using the computer to perform useful work, for example by consuming all available CPU time or all available screen real estate. These attacks, while agravating, are deemed to be of lesser importance in general than integrity and privacy attacks that the Safe Base is to prevent. The commands available in a safe interpreter, in addition to the safe set as defined in interp manual page, are mediated aliases for source, load, exit, and a safe subset of file. The safe interpreter can also auto-load code and it can request to load packages. Because some of these commands access the local file system, there is a potential for information leakage about its directory structure. To prevent this, commands which take file names as arguments in a safe interpreter use tokens instead of the real directory names. These tokens are translated to the real directory name while a request to, e.g., source a file is mediated by the master interpreter.
To further prevent potential information leakage from sensitive files that are accidentally included in the set of files that can be sourced by a safe interpreter, the source alias is restricted so that it can only source files with names that have the extension .tcl, that contain only one dot and that are forteen characters long or shorter.
The default value of the Tcl variable auto_path in a safe interpreter is a virtualized token list for the directories in the value of its master's auto_path variable and their immediate subdirectories. The first token in this list is also assigned to the Tcl varibale tcl_library in the safe interpreter. You can always specify a more restrictive path for which sub directories will never be searched by explicitly specifying your directory list with the -accessPath flag instead of relying on this default mechanism.
Copyright © 1989-1994 The Regents of the University of California. Copyright © 1994-1996 Sun Microsystems, Inc.