MCPcopy Create free account
hub / github.com/PLSysSec/veriwasm / lift

Method lift

src/ir/mod.rs:25–36  ·  view source on GitHub ↗
(
        &self,
        instr: &yaxpeax_x86::long_mode::Instruction,
        addr: &u64,
        metadata: &VwMetadata,
        strict: bool,
    )

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 1

liftFunction · 0.70

Tested by

no test coverage detected