flawopen.com/path-traversal/C-cpp
How snprintf file path construction allows directory escapes in C/C++, and how to enforce containment using realpath() and strncmp.
Imagina un escáner de llaves de hotel programado para abrir únicamente habitaciones del segundo piso. Si un huésped escribe '../../master-safe' en el teclado de la puerta, la cerradura vulnerable sube por el pasillo y abre la caja fuerte principal del gerente.
Web Application SecurityCWE-918.CWE-918Defense-in-DepthUn endpoint acepta un nombre de archivo o identificador de recurso provisto por el usuario vía parámetro HTTP.
El atacante inyecta secuencias relativas como '../', '..%2f' o rutas absolutas en el nombre del archivo.
El backend concatena el archivo al directorio base sin resolver rutas canónicas ni validar límites seguros.
El servidor lee y transmite archivos confidenciales del sistema (/etc/passwd, claves de entorno) al atacante.
// VULNERABLE: Direct snprintf and open without realpath check
#include <stdio.h>
#include <fcntl.h>
#include <unistd.h>
int serve_user_file(const char *user_filename) {
char full_path[1024];
const char *base_dir = "/var/app/public/files";
// Attacker input: "../../../../etc/shadow"
snprintf(full_path, sizeof(full_path), "%s/%s", base_dir, user_filename);
// Directly opens system shadow file!
int fd = open(full_path, O_RDONLY);
return fd;
}
// HARDENED: Canonicalize with realpath and verify directory prefix bounds
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <fcntl.h>
#include <unistd.h>
#include <limits.h>
int serve_user_file(const char *user_filename) {
const char *base_dir = "/var/app/public/files";
char base_canonical[PATH_MAX];
char raw_path[PATH_MAX];
char target_canonical[PATH_MAX];
// 1. Resolve canonical base directory
if (realpath(base_dir, base_canonical) == NULL) {
return -1;
}
// 2. Safely construct raw path
if (snprintf(raw_path, sizeof(raw_path), "%s/%s", base_canonical, user_filename) >= (int)sizeof(raw_path)) {
return -1; // Path truncated
}
// 3. Resolve canonical target path
if (realpath(raw_path, target_canonical) == NULL) {
return -1; // File does not exist or access error
}
// 4. Verify canonical target begins with base_canonical + '/'
size_t base_len = strlen(base_canonical);
if (strncmp(target_canonical, base_canonical, base_len) != 0 ||
target_canonical[base_len] != '/') {
return -1; // Traversal detected!
}
return open(target_canonical, O_RDONLY | O_CLOEXEC);
}