Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: AD TCF

File and path names containing particular characters can be troublesome and can cause unexpected behavior resulting in vulnerabilities. The following characters and patterns can be problematic or character sequences can cause problems when used in the construction of a file or path name:

  • Leading dashes: Leading dashes can cause problems when programs are called with the file name as a parameter because the first character or characters of the file name might be interpreted as an option switch.
  • Control characters, such as newlines, carriage returns, and escape: Control characters in a file name can cause unexpected results from shell scripts and in logging.
  • Spaces: Spaces can cause problems with scripts and when double quotes aren't are not used to surround the file name.
  • Invalid character encodings: Character encodings can make it difficult to perform proper validation of file and path names. (See rule IDS11-J. Eliminate noncharacter code points Perform any string modifications before validation).
  • Name-space separation characters: Including name-space separation characters in a file or path name Namespace prefixing and conventions: Namespace prefixes can cause unexpected and potentially insecure behavior when included in a path name.
  • Command interpreters, scripts, and parsers: Some characters Characters that have special meaning when processed by a command interpreter, shell, or parser and should consequently be avoided.

Wiki MarkupAs a result of the influence of MS-DOS, 8.3 file names of the form {{xxxxxxxx.xxx}}, where {{x}} denotes an alphanumeric character, are generally supported by modern systems. On some platforms, file names are case sensitive; while on other sensitive, and on other platforms, they are case insensitive. VU#439395 is an example of a vulnerability in C resulting from a failure to deal appropriately with case sensitivity issues \[ [VU#439395|AA. References#VU439395]\].This is a specific instance of rule IDS00-J. Sanitize untrusted data passed across a trust boundary.].  Developers should generate file and path names using a safe subset of ASCII characters and, for security critical applications, only accept names that use these characters.

Noncompliant Code Example

In the following noncompliant code example, unsafe characters are used as part of a file name.

Code Block
bgColor#ffcccc

File f = new File("A\uD8AB");
OutputStream out = new FileOutputStream(f);

A platform is free to define its own mapping of the unsafe characters. For example, when tested on an Ubuntu Linux distribution, this noncompliant code example resulted in the following file name:

Code Block

A?

Compliant Solution

Use a descriptive file name, containing only the subset of ASCII previously described.

Code Block
bgColor#ccccff

File f = new File("name.ext");
OutputStream out = new FileOutputStream(f);

Noncompliant Code Example

This noncompliant code example creates a file with input from the user without sanitizing the input.

Code Block
bgColor#FFCCCC

public static void main(String[] args) throws Exception {
  if (args.length < 1) {
    // handleHandle error
  }
  File f = new File(args[0]);
  OutputStream out = new FileOutputStream(f);
  // ...
}

No checks are performed on the file name to prevent troublesome characters. If an attacker knew this code was in a program used to create or rename files that would later be used in a script or automated process of some sort, the attacker could choose particular characters in the output file name to confuse the later process for malicious purposes.

Compliant Solution

In this compliant solution, the program This compliant solution  uses a whitelist to reject file names containing unsafe file namescharacters.  Further input validation may be necessary, for example, to ensure that a file or directory name does not end with a period.

Code Block
bgColor#ccccFF

public static void main(String[] args) throws Exception {
  if (args.length < 1) {
    // handleHandle error
  }
  String filename = args[0];

  Pattern pattern = 
    Pattern.compile("[^A-Za-z0-9%&+,.:=9._]");
  Matcher matcher = pattern.matcher(filename);
  if (matcher.find()) {
    // File filenamename contains bad chars,; handle error
  }
  File f = new File(filename);
  OutputStream out = new FileOutputStream(f);
  // ...
}

 

Exceptions

FIO99-J-EX0: A program may accept a file or path name that uses "unsafe" characters provided that the developer has determined that the file is not used in a restricted sink such as a command interpreter, shell, parser,logger, or other complex subsystem that attaches a particular meaning to these All file names originating from untrusted sources must be sanitized to ensure they contain only safe characters.

Risk Assessment

Failing to use only a safe subset of ASCII can result in misinterpreted data.

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

IDS05-J

medium

unlikely

medium

P4

L3

Automated Detection

ToolVersionCheckerDescription
The Checker Framework

Include Page
The Checker Framework_V
The Checker Framework_V

Tainting CheckerTrust and security errors (see Chapter 8)

Related Guidelines

SEI CERT C Secure Coding Standard

MSC09-C. Character encoding - : Use subset of ASCII for safety

SEI CERT C++ Secure Coding Standard

VOID MSC09-CPP. Character encoding - : Use subset of ASCII for safety<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="7695effc-6583-4dfb-a5b5-004b70077e53"><ac:plain-text-body><![CDATA[

[ISO/IEC TR 24772:2010

http://www.aitcnet.org/isai/]

Choice of filenames and other external identifiers Filenames and Other External Identifiers [AJN]

]]></ac:plain-text-body></ac:structured-macro>

MITRE CWE

CWE-116. , Improper encoding or escaping of output

Bibliography

ISO/IEC 646-1991

ISO 7-bit coded character set for information interchange Bit Coded Character Set for Information Interchange

[Kuhn 2006]

<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="2ce14cf5-d8d2-4789-a673-c19a7a8614af"><ac:plain-text-body><![CDATA[

[[Kuhn 2006

AA. References#Kuhn 06]]

UTF-8 and Unicode FAQ for UNIX/Linux

]]></ac:plain-text-body></ac:structured-macro>

<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="0015c812-604c-46cc-9afb-64ea9283d432"><ac:plain-text-body><![CDATA[

[[Wheeler 2003AA. References#Wheeler03]]

5.4, "File Names

]]></ac:plain-text-body></ac:structured-macro>

<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="1170964e-4446-46d1-afe2-361bac550358"><ac:plain-text-body><![CDATA[ [

[VU#439395]

AA. References#VU439395]]

]]></ac:plain-text-body></ac:structured-macro>

 

 

...

Image Added Image Added Image AddedIDS04-J. Limit the size of files read from ZipInputStream      Image Removed      IDS06-J. Exclude user input from format strings