BF Specification of CVE-2023-2356 Relative Path Traversal in GitHub repository mlflow/mlflow prior to 2.3.1

//generated// Missing Code in '_validate_source(source, run_id)' to Format Validate path in Codebase mlflow/server/ leads to File Injection (relative path traversal)

. If exploited this can lead to IEX (confidentiality loss).

vendor:product: lfprojects:mlflow

Bug Report

Code with Bug

Code with Fix

NVD Entry

DVLData Validation (DVL) class – Data are validated (syntax check) or sanitized (escape, filter, repair) improperly.
ValidateValidate operation – Check data syntax (proper form/grammar, incl. check for missing symbols/elements) in order to accept (and possibly sanitize) or reject it.
Code BugCode Bug type – Defect in the implementation of the operation – proper operands over an improper operation. A first cause for the chain of weaknesses underlying a software security vulnerability. Must be fixed to resolve the vulnerability.
   Missing CodeMissing Code bug - The operation is entirely absent.
Injection Final ErrorInjection exploitable error type – An exploitable or undefined system behavior caused by 'code separation' data validation bugs.
   File InjectionFile Injection exploitable error – Maliciously inserted data (e.g., with .. and / or with file entries) into an input used to access/modify files or as a file content.
Operation AttributeDefinition
MechanismMechanism operation attribute type – Shows how the buggy/faulty operation code is performed.
   FormatFormat operation attribute – The operation is via a policy based on syntax format (e.g., defined via regular expression).
Source CodeSource Code operation attribute type – Shows where the buggy/faulty operation code is in software or firmware.
   CodebaseCodebase operation attribute – The operation is in the programmer's code - in the application itself.
Execution SpaceExecution Space operation attribute type – Shows where the buggy/faulty operation code is running or with what privilege level.
   LocalLocal operation attribute – The bugged code runs in an environment with access control policy with limited (local user) permission.
Operand AttributeDefinition
Data StateData State operand attribute type operand attribute – Shows where the data come from.
   EnteredEntered operand attribute – Data are from a user via a user interface (e.g., input field of a dialog or a command prompt).