Prechod 4-úrovňových tabuliek stránok x86-64
hyptcn3/guestparse/view.py
Prečo na tom záleží
Vlastný preklad (bez libvmi) virtuálnej adresy jadra hosťa na fyzickú priamo nad snímkou RAM, vrátane veľkých stránok 2 MiB / 1 GiB (bit PSE). Namiesto holého None vracia úroveň a kód dôvodu zlyhania, takže odlíši „tabuľka nebola zozbieraná“ od „jadro túto adresu nemapuje“ – na tom stojí diagnostika profilu. Známa chyba: pri veľkej stránke maska ponecháva v adrese bit 12 (PAT), takže ak je PAT nastavený, fyzická adresa vyjde zle.
Ďalšie výňatky z repozitára:
- Nájdenie posunu jadra (KASLR) v snímke view.py:76–112
- Krížová kontrola procesov (invariant proti rootkitom) checks.py:231–278
- SHA-NI s výberom vetvy cez CPUID za behu sha256.c:304–342
- eBPF: bpf_loop() namiesto cyklu, ktorý verifikátor odmietol vmic_kvm.bpf.c:138–159
Git blame:ab574b8d 19. 9. 2026, commit z môjho účtu, 34 riadkovb18d4eaf 18. 9. 2026, commit z môjho účtu, 15 riadkovzvýraznené riadky
204 def walk_pa_detail(self, va):205 """206 Preklad virtualnej adresy hosta prechodom tabuliek stranok207 (4 urovne, x86_64). Pokryva aj oblasti, ktore linearne mapovane nie su -208 moduly a vmalloc.209210 Vracia {'pa', 'level', 'index', 'reason', 'reason_code'}; 'pa' je None,211 ked sa prechod nedokoncil. Velke stranky (1 GiB, 2 MiB) sa rozpoznaju212 podla bitu PSE.213214 Kody dovodov (na nich stoji diagnoza, nie na samotnom None):215 bez_korena - nepozname posun jadra alebo init_top_pgt216 chyba_tabulka - tabulku na tej urovni snimka neobsahuje (nic to217 nehovori o profile, iba o tom, co sa zozbieralo)218 chyba_polozka - tabulka V SNIMKE JE, ale polozka pre tuto adresu219 v nej nie je pritomna, teda jadro tuto virtualnu220 adresu nemapuje221 """222 out = {"pa": None, "level": None, "index": None,223 "reason": None, "reason_code": None}224 table = self._pgt_root()225 if table is None:226 out["reason_code"] = "bez_korena"227 out["reason"] = ("neznamy posun jadra alebo profil nema "228 "init_top_pgt")229 return out230 # bity 47:39 / 38:30 / 29:21 / 20:12231 for level, shift in enumerate((39, 30, 21, 12)):232 idx = (va >> shift) & 0x1FF233 name = self.PGT_LEVELS[level]234 ent = self.u64(table + idx * 8) if self._page_present(table) else None235 if ent is None:236 out.update(level=name, index=idx, reason_code="chyba_tabulka",237 reason="tabulka %s na 0x%x nie je v snimke"238 % (name, table))239 return out240 if not (ent & self.PTE_PRESENT):241 out.update(level=name, index=idx, reason_code="chyba_polozka",242 reason="polozka %s[%d] nie je pritomna"243 % (name, idx))244 return out245 phys = ent & 0x000FFFFFFFFFF000246 if level in (1, 2) and (ent & self.PTE_PSE):247 size = 1 << shift248 out["pa"] = phys + (va & (size - 1))249 return out250 table = phys251 out["pa"] = table + (va & 0xFFF)252 return out