Código Objetivo (Java) y Cobertura
1public class PacketParser {
2 // Estructura del
protocolo binario:
3 // [Bytes 0-1]:
declaredLength | [Byte 2]: divisor | [Bytes 3-6]: Magic Signature (0xCAFEBABE) | [Bytes 7+]:
Payload
4 public
void parsePacket(byte[] data) {
5 // Validación 1: Verificar si el buffer de entrada es nulo
(CWE-476)
6 if (data == null) {
7 throw new NullPointerException("El buffer de datos de entrada es nulo");
8 }
9
10 // Validación 2: El paquete debe contener al menos el encabezado completo (8
bytes)
11 if (data.length < 8) {
12 return; // Retorno
temprano si el paquete es demasiado pequeño
13 }
14
15 // Extracción de Campos del Encabezado:
16 // declaredLength: Indica cuántos bytes de payload se supone que vienen a
continuación
17 int declaredLength = ((data[0] & 0xFF) << 8) | (data[1] & 0xFF);
18
19 // divisor: Valor utilizado para calcular la tasa de
procesamiento
20 int divisor = data[2] & 0xFF;
21
22 // Simulación de cálculo aritmético vulnerable a división por cero
(CWE-369)
23 int ratio = 100 / divisor; // Arroja
ArithmeticException si divisor == 0
24
25 // signature: Firma mágica de control para validar el origen del
paquete
26 int signature = ((data[3] & 0xFF) << 24) | ((data[4] & 0xFF) << 16)
27 |
((data[5] & 0xFF)
<< 8) | (data[6] &
0xFF);
28
29 // Validación 3: Comprobación de la Firma Mágica (Fase crítica para
CMPLOG)
30 if (signature != 0xCAFEBABE) {
31 return; // Firma
incorrecta, abortar procesamiento silenciosamente
32 }
33
34 // Validación de consistencia de memoria (CWE-1284 / CWE-190):
35 if (declaredLength < 0) {
36 throw new NegativeArraySizeException("Longitud declarada negativa: " + declaredLength);
37 }
38
39 // Reserva de memoria en el Heap para almacenar el payload del
paquete
40 byte[] payload = new byte[declaredLength];
41
42 // Copia de bytes desde el buffer físico al payload reservado
43 // Vulnerabilidad: Lectura fuera de límites (CWE-125 / OOB Read) si
declaredLength > (data.length - 7)
44 System.arraycopy(data, 7, payload, 0, declaredLength);
// Crash ASan
45 }
46}
Grafo de Control de Flujo (Cobertura de Bloques)
💡 Haz clic en cualquier bloque (B1-B4) para ver detalles técnicos de la fase.
B1
B2
B3
B4
El fuzzer comienza ejecutando la semilla base y alcanzando solo el bloque inicial **B1** (Validación de
longitud de entrada).