nornir-mimir-exec
Mímir v2's executor: runs the code graph like a program. From the lossless MIR rows (code_mir), a program's instances (code_instances), its data rows (code_data) and the system boundary map it computes, per thread and task entry, which system call can follow which (exec.nodes, exec.edges, exec.marks), argument facts where constants decide them, and the possible set (<program>.possible.json, mimir.possible-syscalls/1). The mimir-exec binary writes them; see docs/v2/mimir/exec-graph.md in the nornir repository.
[dependencies]
nornir-mimir-exec = "0.1"The library is mimir_exec. Part of nornir; released with it.
Licence
MIT OR Apache-2.0, at your choice (LICENSE-MIT, LICENSE-APACHE).