Détail du CAPEC-135

An adversary includes formatting characters in a string input field on the target application. Most applications assume that users will provide static text and may respond unpredictably to the presence of formatting character. For example, in certain functions of the C programming languages such as printf, the formatting character %s will print the contents of a memory location expecting this location to identify a string and the formatting character %n prints the number of DWORD written in the memory. An adversary can use this to read or write to memory locations or files, or simply to manipulate the value of the resulting text in unexpected ways. Reading or writing memory may result in program crashes and writing memory could result in the execution of arbitrary code if the adversary can write to the program stack.

Flux d'exécution

[Survey application] The adversary takes an inventory of the entry points of the application.

• Spider web sites for all available links
• List parameters, external variables, configuration files variables, etc. that are possibly used by the application.

[Determine user-controllable input susceptible to format string injection] Determine the user-controllable input susceptible to format string injection. For each user-controllable input that the adversary suspects is vulnerable to format string injection, attempt to inject formatting characters such as %n, %s, etc.. The goal is to manipulate the string creation using these formatting characters.

• Inject probe payload which contains formatting characters (%s, %d, %n, etc.) through input parameters.

[Try to exploit the Format String Injection vulnerability] After determining that a given input is vulnerable to format string injection, hypothesize what the underlying usage looks like and the associated constraints.

• Insert various formatting characters to read or write the memory, e.g. overwrite return address, etc.

Conditions préalables

The target application must accept a strings as user input, fail to sanitize string formatting characters in the user input, and process this string using functions that interpret string formatting characters.

Compétences requises

In order to discover format string vulnerabilities it takes only low skill, however, converting this discovery into a working exploit requires advanced knowledge on the part of the adversary.

Ressources nécessaires

None: No specialized resources are required to execute this type of attack.

Atténuations

Limit the usage of formatting string functions.
Strong input validation - All user-controllable input must be validated and filtered for illegal formatting characters.

Faiblesses connexes

Références

REF-14

FIO30-C. Exclude user input from format strings
Hal Burch, Brendan Saulsbury.
https://www.securecoding.cert.org/confluence/display/seccode/FIO30-C.+Exclude+user+input+from+format+strings

REF-15

WASC Threat Classification 2.0
Robert Auger.
http://projects.webappsec.org/Format-String

REF-616

OWASP Web Security Testing Guide
https://owasp.org/www-project-web-security-testing-guide/latest/4-Web_Application_Security_Testing/07-Input_Validation_Testing/13-Testing_for_Format_String_Injection.html

Soumission

Modifications