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.
Imagine um scanner de chave de hotel que só deveria abrir quartos no segundo andar. Se um hóspede digita '../../master-safe' no teclado da porta, uma fechadura vulnerável sobe pelo corredor e abre o cofre principal da gerência.
Web Application SecurityCWE-918.CWE-918Defense-in-DepthUm endpoint aceita um nome de arquivo ou identificador de recurso fornecido pelo usuário por parâmetro HTTP.
O invasor injeta sequências de diretório relativo como '../', '..%2f' ou caminhos absolutos no parâmetro.
O backend concatena o nome sem resolver o caminho canônico nem validar que o destino permaneça no diretório base.
O runtime abre e transmite arquivos sensíveis do sistema (como /etc/passwd ou credenciais) diretamente ao cliente.
// 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);
}