Home / Topics / 90

Rust engine dispatch & compatibility

18 memories · 9 remembered, 9 forgotten (50% kept).

Label

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

Key prefixes

invariant 7 · analyses 3 · rust 2 · bypass 1

Nearest the centre

invariant-rust-simgr-monkey-patch-guard, run-single-monkeypatch-callable-guard, analyses-incompat-uniform-failure-mode, invariant-factory-rust-kwargs-passthrough, invariant-rust-raise-option-names, invariant-run-single-simos-not-callable-exclusion

Members

• bypass-simoption-classification
• callable-rust-engine-monkeypatch-pattern
• invariant-dispatch-reason-strings
• invariant-factory-rust-kwargs-passthrough
• invariant-run-single-simos-not-callable-exclusion
• invariant-rust-default-engine-flag
• invariant-rust-engine-auto-dispatch-predicate
• invariant-rust-simgr-monkey-patch-guard
• strcpy-find-regression-root-cause
• analyses-incompat-uniform-failure-mode
• analyses-no-simgr-backward-slice-ddg-vfg
• analyses-rust-smoke-test-pattern
• invariant-rust-raise-option-names
• run-single-monkeypatch-callable-guard
• rust-engine-inheritance-contract
• rust-veritesting-silently-unsupported
• technique-compat-matrix
• veritesting-rust-failure-modes