Home / Topics / 97

Native libVEX lift & NX

17 memories · 8 remembered, 9 forgotten (47% kept).

Label

Written by llm:claude-sonnet-5-5 on 2026-10-15T04:39:21Z. Change it with angr-memories topics label 97 "<label>".

Key prefixes

invariant 7 · inspect 3 · native 2 · smc 2

Nearest the centre

invariant-native-lift-bypasses-lift-callback, inspect-vexlift-dual-dispatch, z087y-stage2-native-lift-seam, invariant-cargo-test-cannot-lift-blocks, invariant-native-lift-byte-source-order, inspect-constraints-vexlift-wired

Members

• feature-gate-decay-native-lift
• invariant-cargo-test-cannot-lift-blocks
• invariant-enable-nx-gated-on-strict
• invariant-loadg-fallback-coverage
• invariant-native-lift-bypasses-lift-callback
• invariant-native-lift-byte-source-order
• invariant-nx-block-fetch
• native-lift-fallback-counter-trap
• inspect-constraints-dual-dispatch
• inspect-constraints-vexlift-wired
• inspect-vexlift-dual-dispatch
• invariant-check-executable-test-needs-both-flags
• native-lift-feature-not-default
• smc-python-lift-bytes-channel
• smc-rust-engine-architecture
• z087y-stage2-native-lift-python-wiring
• z087y-stage2-native-lift-seam