Gorimuchu notes / photos / code

COLLECTION

Izanagi

Integrating Jev into Izanagi’s behavioral analysis

I have added behavioral analysis using Jev to my custom sandbox, Izanagi. This explains the correlation between attempts to access credentials and HTTP POST requests, the features transmitted externally, validation of Choice responses, handling of withdrawals and failures, and the verification results obtained with the actual model and QEMU.

→

What can be done with Izanagi

This explains what can be achieved with the custom development sandbox Izanagi. It covers isolated execution of commands, recording and detecting system calls, controlling DNS and HTTPS traffic, secret substitution, and operations from MCP, described in line with the current implementation and verification records.

→