sogen

Sogen 无需真实操作系统即可运行 Windows 和 Linux 程序，并让您查看和控制它们所做的一切。 Sogen 并非重新实现数千个操作系统 API，而是在 CPU 和系统调用层面模拟二进制文件，并运行真实的系统 DLL ，因此行为与真实操作系统高度一致。 每条指令、每次内存访问和 API 调用都可以被挂钩、检查或重写，运行完全确定性，整个模拟器状态可以快照和恢复。 使用 C++ 构建，并由您选择的 CPU 后端驱动： Unicorn Engine icicle-emu Hyper-V WHP KVM FEX 立即试用：sogen.dev 主要特性 真实的系统 DLL ：运行实际...

fzy

fzy fozzylang 汎用システム言語およびプロダクションツールチェーン。デフォルトでメモリ安全な出荷時安全言語表面、検証可能な正当性、決定論的実行、およびリプレイ優先デバッグが組み込まれています。 fzy は、コンパイラワークフローと決定論的検証の両方のために、1 つのプロダクション CLI fz を提供します。正当性、決定論、リプレイ、インシデント成果物、およびプロダクションエビデンスは、後付けではなく通常のワークフローの一部です。言語の簡単なビジュアルツアーについては、open fzl-showcase.html でブラウザに同梱の FZL ショーケース...