豫言源码浏览器 / 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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「数据结构」之「字节串」之书。

「：文言：书四字节无符号数，以高位居前；越域则止。汉语：按 SSH 网络字节序编码 uint32，拒绝超出零至 4294967295 的值。：」
「编码四字节无符号数」乃化「整数」而「字节串」也。
「编码四字节无符号数」者会「数」而
  若「小于」于「数」于「零」
  则
    （「字节串」也（「发生事故」于『四字节无符号数不可为负』））
  否则若「大于」于「数」于「四二九四九六七二九五」
  则
    （「字节串」也（「发生事故」于『四字节无符号数越界』））
  否则
    虑「首」者「除以」于「数」于「一六七七七二一六」而
    虑「次」者
      「除以」于（「减」于「数」于（「乘」于「首」于「一六七七七二一六」））于「六五五三六」
    而
    虑「三」者
      「除以」
        于（「减」于「数」于（「加」于（「乘」于「首」于「一六七七七二一六」）于（「乘」于「次」于「六五五三六」）））
        于「二五六」
    而
    虑「末」者
      「减」
        于「数」
        于（「加」
          于（「加」于（「乘」于「首」于「一六七七七二一六」）于（「乘」于「次」于「六五五三六」））
          于（「乘」于「三」于「二五六」））
    而
    「拼接字节串」
      于（「单字节串」于「首」）
      于（「拼接字节串」
        于（「单字节串」于「次」）
        于（「拼接字节串」于（「单字节串」于「三」）于（「单字节串」于「末」）））
也。

「：文言：自起点读四字节；不足或起点非法则无，足则还数及新起点。汉语：安全读取 SSH uint32，返回值与下一偏移；不完整输入返回可无。：」
「读取四字节无符号数」乃
  化「字节串」而
  化「整数」而
  （「或可有」于（「整数」合「整数」））
也。
「读取四字节无符号数」者会「内容」而会「起点」而
  虑「总长」者「字节串长度」于「内容」而
  若「小于」于「起点」于「零」则
    「可无」
  否则若「大于」于「起点」于「总长」则「可无」
  否则若「小于」于（「减」于「总长」于「起点」）于「四」则「可无」
  否则
    虑「甲」者「字节串取字节」于「内容」于「起点」而
    虑「乙」者「字节串取字节」于「内容」于（「加」于「起点」于「一」）而
    虑「丙」者「字节串取字节」于「内容」于（「加」于「起点」于「二」）而
    虑「丁」者「字节串取字节」于「内容」于（「加」于「起点」于「三」）而
    「可有」于（（「加」
      于（「加」于（「乘」于「甲」于「一六七七七二一六」）于（「乘」于「乙」于「六五五三六」））
      于（「加」于（「乘」于「丙」于「二五六」）于「丁」））与（「加」于「起点」于「四」）
    ）
也。

「：文言：以四字节长冠原字节串。汉语：编码 SSH string 字段，保留包括零字节在内的全部内容。：」
「编码长度字节串」乃化「字节串」而「字节串」也。
「编码长度字节串」者会「内容」而
  「拼接字节串」于（「编码四字节无符号数」于（「字节串长度」于「内容」））于「内容」
也。

「：文言：先读长度，再核余量；若不足则无，足则还载物与终点。汉语：安全读取 SSH string 字段，长度大于剩余字节时返回可无。：」
「读取长度字节串」乃
  化「字节串」而
  化「整数」而
  （「或可有」于（「字节串」合「整数」））
也。
「读取长度字节串」者会「内容」而会「起点」而
  鉴「读取四字节无符号数」于「内容」于「起点」而
    有（「可有」于「长度与起点」）则（
      虑「长度」者「长度与起点」中「零」而
      虑「正文起点」者「长度与起点」中「一」而
      若「大于」于「长度」于（「减」于（「字节串长度」于「内容」）于「正文起点」）
      则
        「可无」
      否则
        「可有」于（（「截取字节串」于「内容」于「正文起点」于「长度」）与（「加」于「正文起点」于「长度」））
    ）
    或有「可无」则「可无」
也。

「略过正数前零」乃化「字节串」而化「整数」而「整数」也。
「略过正数前零」者会「内容」而会「起点」而
  若「等于」于「起点」于（「字节串长度」于「内容」）则
    「起点」
  否则若「等于」于（「字节串取字节」于「内容」于「起点」）于「零」
  则
    「略过正数前零」于「内容」于（「加」于「起点」于「一」）
  否则
    「起点」
也。

「：文言：以大端无符号字节作正 mpint，去前零；首位若为一，冠零以辨正。汉语：将大端无符号整数编码为 SSH 正数 mpint；零编码为空字符串。：」
「编码正数多字节」乃化「字节串」而「字节串」也。
「编码正数多字节」者会「内容」而
  虑「起点」者「略过正数前零」于「内容」于「零」而
  若「等于」于「起点」于（「字节串长度」于「内容」）
  则
    「编码四字节无符号数」于「零」
  否则
    虑「非零」者
      「截取字节串」于「内容」于「起点」于（「减」于（「字节串长度」于「内容」）于「起点」）
    而
    若「大于」于（「字节串取字节」于「非零」于「零」）于「一二七」
    则
      「编码长度字节串」于（「拼接字节串」于（「单字节串」于「零」）于「非零」）
    否则
      「编码长度字节串」于「非零」
也。