Referência de fonte: APPS/NET/TLS.CC¶

Registro determinístico da fonte. O conteúdo completo do arquivo é reproduzido abaixo; esta página não substitui a interpretação arquitetural dos capítulos autorais.

Identidade do arquivo¶

Dependências sintáticas detectadas¶

Símbolos detectados¶

Fonte completa¶

O bloco seguinte é o arquivo textual integral na revisão indicada. Não há elisão, abreviação ou paráfrase.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

void main() {
  int s;
  int p;
  int o;
  int i;
  int fd;
  viewport(200, 80);
  text(8, 8, "tls", 0x00FFFFFF);
  s = malloc(32);
  p = malloc(32);
  o = malloc(32);
  storeb(p, 9);
  i = 1;
  while (i < 32) {
    storeb(p + i, 0);
    storeb(s + i, rng_u32());
    i = i + 1;
  }
  storeb(s, rng_u32());
  x25519(o, s, p);
  fd = sock_connect(167773186, 443);
  sock_send(fd, o, 32);
  while (1) {
  }
}

Papel deste registro¶

O atlas garante rastreabilidade arquivo-a-arquivo. Responsabilidade, invariantes, ownership, concorrência, segurança, desempenho e interação entre subsistemas pertencem aos capítulos autorais e devem citar este arquivo quando aplicável.