豫言源码浏览器 / Source Browser

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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「安全外壳协议」之「报文」之书。

「：文言：三途分帧之果：未足、已得、非法。汉语：从 TCP 字节缓冲区提取首帧的结果类型。：」
「分帧结果」立「元类型」也。
  「仍待数据」立「分帧结果」也。
  「报头非法」立「分帧结果」也。
  「已取报文」立（化（「字节串」合「字节串」）而「分帧结果」）也。

「：文言：初握报文之首四字节足则判长，不足则候；既足则析首报与余流。汉语：提取未加密 SSH 报文；不足、非法、完整三种结果明确区分。：」
「提取明文报文」乃化「字节串」而「分帧结果」也。
「提取明文报文」者会「缓冲」而
  若「小于」于（「字节串长度」于「缓冲」）于「四」则
    「仍待数据」
  否则
    鉴「探明文报文总长」于「缓冲」而
      有（「可有」于「总长」）则（
        若「小于」于（「字节串长度」于「缓冲」）于「总长」则
          「仍待数据」
        否则
          「已取报文」于（（「截取字节串」于「缓冲」于「零」于「总长」）
            与
          （「截取字节串」于「缓冲」于「总长」于（「减」于（「字节串长度」于「缓冲」）于「总长」）））
      ）
      或有「可无」则「报头非法」
也。

「：文言：加密报文之长不加密，先核界而后候全报。汉语：提取 AES-GCM 完整帧；仅分帧，调用者随后必须验认证标签。：」
「提取AES256GCM报文」乃化「字节串」而「分帧结果」也。
「提取AES256GCM报文」者会「缓冲」而
  若「小于」于（「字节串长度」于「缓冲」）于「四」则
    「仍待数据」
  否则
    鉴「探AES256GCM报文总长」于「缓冲」而
      有（「可有」于「总长」）则（
        若「小于」于（「字节串长度」于「缓冲」）于「总长」则
          「仍待数据」
        否则
          「已取报文」于（（「截取字节串」于「缓冲」于「零」于「总长」）
            与
          （「截取字节串」于「缓冲」于「总长」于（「减」于（「字节串长度」于「缓冲」）于「总长」）））
      ）
      或有「可无」则「报头非法」
也。