Deserialization of Untrusted Data (4.20) (original) (raw)

CWE Glossary Definition x

Weakness ID: 502

Vulnerability Mapping: ALLOWED This CWE ID may be used to map to real-world vulnerabilities
Abstraction:Base Base - a weakness that is still mostly independent of a resource or technology, but with sufficient details to provide specific methods for detection and prevention. Base level weaknesses typically describe issues in terms of 2 or 3 of the following dimensions: behavior, property, technology, language, and resource.

+ Description

The product deserializes untrusted data without sufficiently ensuring that the resulting data will be valid. Diagram for CWE-502

+ Alternate Terms

Marshaling/Marshalling, Unmarshaling/Unmarshalling Marshaling and unmarshaling are effectively synonyms for serialization and deserialization, respectively.
Pickling, Unpickling In Python, the "pickle" functionality is used to perform serialization and deserialization.
PHP Object Injection Some PHP application researchers use this term when attacking unsafe use of the unserialize() function; but it is also used for CWE-915.

+ Common Consequences

Section HelpThis table specifies different individual consequences associated with the weakness. The Scope identifies the application security area that is violated, while the Impact describes the negative technical impact that arises if an adversary succeeds in exploiting this weakness. The Likelihood provides information about how likely the specific consequence is expected to be seen relative to the other consequences in the list. For example, there may be high likelihood that a weakness will be exploited to achieve a certain impact, but a low likelihood that it will be exploited to achieve a different impact.

Impact Details
Modify Application Data; Unexpected State Scope: Integrity Attackers can modify unexpected objects or data that was assumed to be safe from modification. Deserialized data or code could be modified without using the provided accessor functions, or unexpected functions could be invoked.
DoS: Resource Consumption (CPU) Scope: Availability If a function is making an assumption on when to terminate, based on a sentry in a string, it could easily never terminate.
Varies by Context Scope: Other The consequences can vary widely, because it depends on which objects or methods are being deserialized, and how they are used. Making an assumption that the code in the deserialized object is valid is dangerous and can enable exploitation. One example is attackers using gadget chains to perform unauthorized actions, such as generating a shell.

+ Potential Mitigations

Phase(s) Mitigation
Architecture and Design; Implementation If available, use the signing/sealing features of the programming language to assure that deserialized data has not been tainted. For example, a hash-based message authentication code (HMAC) could be used to ensure that data has not been modified.
Implementation When deserializing data, populate a new object rather than just deserializing. The result is that the data flows through safe input validation and that the functions are safe.
Implementation Explicitly define a final object() to prevent deserialization.
Architecture and Design; Implementation Make fields transient to protect them from deserialization. An attempt to serialize and then deserialize a class containing transient fields will result in NULLs where the transient data should be. This is an excellent way to prevent time, environment-based, or sensitive variables from being carried over and used improperly.
Implementation Avoid having unnecessary types or gadgets (a sequence of instances and method invocations that can self-execute during the deserialization process, often found in libraries) available that can be leveraged for malicious ends. This limits the potential for unintended or unauthorized types and gadgets to be leveraged by the attacker. Add only acceptable classes to an allowlist. Note: new gadgets are constantly being discovered, so this alone is not a sufficient mitigation.
Architecture and Design; Implementation Employ cryptography of the data or code for protection. However, it's important to note that it would still be client-side security. This is risky because if the client is compromised then the security implemented on the client (the cryptography) can be bypassed.
Operation Strategy: Firewall Use an application firewall that can detect attacks against this weakness. It can be beneficial in cases in which the code cannot be fixed (because it is controlled by a third party), as an emergency prevention measure while more comprehensive software assurance measures are applied, or to provide defense in depth [REF-1481]. Effectiveness: Moderate Note: An application firewall might not cover all possible input vectors. In addition, attack techniques might be available to bypass the protection mechanism, such as using malformed inputs that can still be processed by the component that receives those inputs. Depending on functionality, an application firewall might inadvertently reject or modify legitimate requests. Finally, some manual effort may be required for customization.

+ Relationships

Section Help This table shows the weaknesses and high level categories that are related to this weakness. These relationships are defined as ChildOf, ParentOf, MemberOf and give insight to similar items that may exist at higher and lower levels of abstraction. In addition, relationships such as PeerOf and CanAlsoBe are defined to show similar weaknesses that the user may want to explore.

+ Relevant to the view "Research Concepts" (View-1000)

+ Relevant to the view "Software Development" (View-699)

Nature Type ID Name
MemberOf Category Category - a CWE entry that contains a set of other entries that share a common characteristic. 399 Resource Management Errors

+ Relevant to the view "Weaknesses for Simplified Mapping of Published Vulnerabilities" (View-1003)

Nature Type ID Name
ChildOf Class Class - a weakness that is described in a very abstract fashion, typically independent of any specific language or technology. More specific than a Pillar Weakness, but more general than a Base Weakness. Class level weaknesses typically describe issues in terms of 1 or 2 of the following dimensions: behavior, property, and resource. 913 Improper Control of Dynamically-Managed Code Resources

+ Relevant to the view "Architectural Concepts" (View-1008)

Nature Type ID Name
MemberOf Category Category - a CWE entry that contains a set of other entries that share a common characteristic. 1019 Validate Inputs

+ Background Details

Serialization and deserialization refer to the process of taking program-internal object-related data, packaging it in a way that allows the data to be externally stored or transferred ("serialization"), then extracting the serialized data to reconstruct the original object ("deserialization").

+ Modes Of Introduction

Section HelpThe different Modes of Introduction provide information about how and when this weakness may be introduced. The Phase identifies a point in the life cycle at which introduction may occur, while the Note provides a typical scenario related to introduction during the given phase.

Phase Note
Architecture and Design OMISSION: This weakness is caused by missing a security tactic during the architecture and design phase.
Implementation

+ Applicable Platforms

Section HelpThis listing shows possible areas for which the given weakness could appear. These may be for specific named Languages, Operating Systems, Architectures, Paradigms, Technologies, or a class of such platforms. The platform is listed along with how frequently the given weakness appears for that instance.

Languages Java(Undetermined Prevalence) Ruby(Undetermined Prevalence) PHP(Undetermined Prevalence) Python(Undetermined Prevalence) JavaScript(Undetermined Prevalence)
Technologies Class: Not Technology-Specific(Undetermined Prevalence) Class: ICS/OT(Often Prevalent) AI/ML(Often Prevalent)

+ Likelihood Of Exploit

+ Demonstrative Examples

Example 1

This code snippet deserializes an object from a file and uses it as a UI button:

(bad code)

Example Language: Java

try {

File file = new File("object.obj");
ObjectInputStream in = new ObjectInputStream(new FileInputStream(file));
javax.swing.JButton button = (javax.swing.JButton) in.readObject();
in.close();

}

This code does not attempt to verify the source or contents of the file before deserializing it. An attacker may be able to replace the intended file with a file that contains arbitrary malicious code which will be executed when the button is pressed.

To mitigate this, explicitly define final readObject() to prevent deserialization. An example of this is:

(good code)

Example Language: Java

private final void readObject(ObjectInputStream in) throws java.io.IOException {
throw new java.io.IOException("Cannot be deserialized"); }

Example 2

In Python, the Pickle library handles the serialization and deserialization processes. In this example derived from [REF-467], the code receives and parses data, and afterwards tries to authenticate a user based on validating a token.

(bad code)

Example Language: Python

try {

class ExampleProtocol(protocol.Protocol):
def dataReceived(self, data):

# Code that would be here would parse the incoming data
# After receiving headers, call confirmAuth() to authenticate

def confirmAuth(self, headers):
try:
token = cPickle.loads(base64.b64decode(headers['AuthToken']))
if not check_hmac(token['signature'], token['data'], getSecretKey()):
raise AuthFail
self.secure_data = token['data']
except:
raise AuthFail

}

Unfortunately, the code does not verify that the incoming data is legitimate. An attacker can construct a illegitimate, serialized object "AuthToken" that instantiates one of Python's subprocesses to execute arbitrary commands. For instance,the attacker could construct a pickle that leverages Python's subprocess module, which spawns new processes and includes a number of arguments for various uses. Since Pickle allows objects to define the process for how they should be unpickled, the attacker can direct the unpickle process to call Popen in the subprocess module and execute /bin/sh.

+ Selected Observed Examples

Note: this is a curated list of examples for users to understand the variety of ways in which this weakness can be introduced. It is not a complete list of all CVEs that are related to this CWE entry.

Reference Description
CVE-2024-37052 insecure deserialization in platform for managing AI/ML applications and models allows code execution via a crafted pickled object in a model file
CVE-2024-37288 deserialization of untrusted YAML data in dashboard for data query and visualization of Elasticsearch data
CVE-2024-9314 PHP object injection in WordPress plugin for AI-based SEO
CVE-2019-12799 chain: bypass of untrusted deserialization issue (CWE-502) by using an assumed-trusted class (CWE-183)
CVE-2015-8103 Deserialization issue in commonly-used Java library allows remote execution.
CVE-2015-4852 Deserialization issue in commonly-used Java library allows remote execution.
CVE-2013-1465 Use of PHP unserialize function on untrusted input allows attacker to modify application configuration.
CVE-2012-3527 Use of PHP unserialize function on untrusted input in content management system might allow code execution.
CVE-2012-0911 Use of PHP unserialize function on untrusted input in content management system allows code execution using a crafted cookie value.
CVE-2012-0911 Content management system written in PHP allows unserialize of arbitrary objects, possibly allowing code execution.
CVE-2011-2520 Python script allows local users to execute code via pickled data.
CVE-2012-4406 Unsafe deserialization using pickle in a Python script.
CVE-2003-0791 Web browser allows execution of native methods via a crafted string to a JavaScript function that deserializes the string.

+ Weakness Ordinalities

Ordinality Description
Primary (where the weakness exists independent of other weaknesses)
Resultant (where the weakness is typically related to the presence of some other weaknesses)

+ Detection Methods

Method Details
Automated Static Analysis Automated static analysis, commonly referred to as Static Application Security Testing (SAST), can find some instances of this weakness by analyzing source code (or binary/compiled code) without having to execute it. Typically, this is done by building a model of data flow and control flow, then searching for potentially-vulnerable patterns that connect "sources" (origins of input) with "sinks" (destinations where the data interacts with external components, a lower layer such as the OS, etc.) Effectiveness: High

+ Memberships

Section HelpThis MemberOf Relationships table shows additional CWE Categories and Views that reference this weakness as a member. This information is often useful in understanding where a weakness fits within the context of external information sources.

+ Vulnerability Mapping Notes

Usage ALLOWED (this CWE ID may be used to map to real-world vulnerabilities)
Reason Acceptable-Use
Rationale This CWE entry is at the Base level of abstraction, which is a preferred level of abstraction for mapping to the root causes of vulnerabilities.
Comments Carefully read both the name and description to ensure that this mapping is an appropriate fit. Do not try to 'force' a mapping to a lower-level Base/Variant simply to comply with this preferred level of abstraction.

+ Notes

Maintenance

The relationships between CWE-502 and CWE-915 need further exploration. CWE-915 is more narrowly scoped to object modification, and is not necessarily used for deserialization.

+ Taxonomy Mappings

Mapped Taxonomy Name Node ID Fit Mapped Node Name
CLASP Deserialization of untrusted data
The CERT Oracle Secure Coding Standard for Java (2011) SER01-J Do not deviate from the proper signatures of serialization methods
The CERT Oracle Secure Coding Standard for Java (2011) SER03-J Do not serialize unencrypted, sensitive data
The CERT Oracle Secure Coding Standard for Java (2011) SER06-J Make defensive copies of private mutable components during deserialization
The CERT Oracle Secure Coding Standard for Java (2011) SER08-J Do not use the default serialized form for implementation defined invariants
Software Fault Patterns SFP25 Tainted input to variable

+ References

+ Content History

+ Submissions
Submission Date Submitter Organization
2006-07-19(CWE Draft 3, 2006-07-19) CLASP
+ Contributions
Contribution Date Contributor Organization
2024-02-29(CWE 4.16, 2024-11-19) Abhi Balakrishnan
Contributed usability diagram concepts used by the CWE team
+ Modifications
Modification Date Modifier Organization
2026-04-30(CWE 4.20, 2026-04-30) CWE Content Team MITRE
updated Alternate_Terms, Relationships
2025-12-11(CWE 4.19, 2025-12-11) CWE Content Team MITRE
updated Applicable_Platforms, Observed_Examples, Relationships, Weakness_Ordinalities
2025-09-09(CWE 4.18, 2025-09-09) CWE Content Team MITRE
updated Observed_Examples, Potential_Mitigations, References
2024-11-19(CWE 4.16, 2024-11-19) CWE Content Team MITRE
updated Common_Consequences, Description, Diagram, Potential_Mitigations, Relationships
2023-06-29(CWE 4.12, 2023-06-29) CWE Content Team MITRE
updated Mapping_Notes, Relationships
2023-04-27(CWE 4.11, 2023-04-27) CWE Content Team MITRE
updated Detection_Factors, References, Relationships
2023-01-31(CWE 4.10, 2023-01-31) CWE Content Team MITRE
updated Description
2022-10-13(CWE 4.9, 2022-10-13) CWE Content Team MITRE
updated Applicable_Platforms
2022-06-28(CWE 4.8, 2022-06-28) CWE Content Team MITRE
updated Relationships
2021-10-28(CWE 4.6, 2021-10-28) CWE Content Team MITRE
updated Relationships
2021-07-20(CWE 4.5, 2021-07-20) CWE Content Team MITRE
updated Relationships
2020-12-10(CWE 4.3, 2020-12-10) CWE Content Team MITRE
updated Relationships
2020-08-20(CWE 4.2, 2020-08-20) CWE Content Team MITRE
updated Relationships
2020-06-25(CWE 4.1, 2020-06-25) CWE Content Team MITRE
updated Alternate_Terms, Potential_Mitigations
2020-02-24(CWE 4.0, 2020-02-24) CWE Content Team MITRE
updated Observed_Examples, References, Relationships
2019-09-19(CWE 3.4, 2019-09-19) CWE Content Team MITRE
updated Relationships
2019-06-20(CWE 3.3, 2019-06-20) CWE Content Team MITRE
updated Type
2019-01-03(CWE 3.2, 2019-01-03) CWE Content Team MITRE
updated Related_Attack_Patterns, Relationships, Taxonomy_Mappings
2018-03-27(CWE 3.1, 2018-03-27) CWE Content Team MITRE
updated Relationships
2017-11-08(CWE 3.0, 2017-11-08) CWE Content Team MITRE
updated Applicable_Platforms, Common_Consequences, Demonstrative_Examples, Modes_of_Introduction, Potential_Mitigations, References, Relationships
2017-05-03(CWE 2.11, 2017-05-05) CWE Content Team MITRE
updated Applicable_Platforms, Demonstrative_Examples, Description, Potential_Mitigations, References
2015-12-07(CWE 2.9, 2015-12-07) CWE Content Team MITRE
updated Observed_Examples, References, Relationships
2014-07-30(CWE 2.8, 2014-07-31) CWE Content Team MITRE
updated Relationships, Taxonomy_Mappings
2013-02-21(CWE 2.4, 2013-02-21) CWE Content Team MITRE
updated Alternate_Terms, Applicable_Platforms, Background_Details, Common_Consequences, Maintenance_Notes, Observed_Examples, Potential_Mitigations, References, Relationships
2012-10-30(CWE 2.3, 2012-10-30) CWE Content Team MITRE
updated Demonstrative_Examples
2012-05-11(CWE 2.2, 2012-05-15) CWE Content Team MITRE
updated Relationships, Taxonomy_Mappings
2011-06-01(CWE 1.13, 2011-06-01) CWE Content Team MITRE
updated Common_Consequences, Relationships, Taxonomy_Mappings
2009-10-29(CWE 1.6, 2009-10-29) CWE Content Team MITRE
updated Description, Other_Notes, Potential_Mitigations
2008-09-08(CWE 1.0, 2008-09-09) CWE Content Team MITRE
updated Common_Consequences, Description, Relationships, Other_Notes, Taxonomy_Mappings
2008-07-01(CWE 1.0, 2008-09-09) Eric Dalci Cigital
updated Time_of_Introduction

More information is available — Please edit the custom filter or select a different filter.