Home / Topics / 4

Rust-Python shared Z3 context

46 memories · 17 remembered, 29 forgotten (37% kept).

Label

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

Key prefixes

invariant 11 · z3 11 · avoid 4 · wheel 3

Nearest the centre

invariant-shared-z3-context-in-cargo-test, rust-test-harness-no-shared-z3-context, z3-context-sharing-works-set-shared-z3-context, solver-tests-z3-context, shared-z3-context-setup-required, avoid-claripy-z3-ctx-in-cargo-tests

Members

• abi3-py310-compatible
• avoid-cibw-export-in-before-build
• avoid-claripy-z3-ctx-in-cargo-tests
• avoid-unwrapping-z3-simplify
• hackcon-z3-ast-structure
• invariant-pymethods-raw-ptr-validate
• invariant-shared-z3-context-in-cargo-test
• invariant-wheel-libz3-per-platform-repair
• invariant-z3-ast-sort-check-before-wrap
• libz3-soname-mismatch-root-cause
• rust-test-harness-no-shared-z3-context
• shared-z3-context-setup-required
• testing-claripy-duck-typed-ast
• z3-context-rc-no-uaf-on-teardown
• z3-sys-build-script-ordering
• z3-universality-parity-test-template
• z3-with_z3_context-test-pattern
• asisctf-z3-solve-bottleneck
• audit-pyo3-ffi-ownership-2026-06-03
• avoid-with-z3-context-for-stale-ctx-test
• build-z3-header-resolution
• critical-python-claripy-comparisons-ult-ule-etc-produce
• import-z3-constraint-ptrs-hardening
• invariant-extract-z3-ast-ptr
• invariant-pyo3-no-new-raw-ptr-surface
• invariant-windows-z3-dll-directory
• invariant-worker-teardown-clear-ast-cache
• invariant-z3-ast-validation-limit
• invariant-z3-runpath
• invariant-z3-sys-build-script-ordering
• pyo3-trust-model-audit
• rust-z3-sharing-doc-location
• solver-tests-z3-context
• venv-z3-headers-workaround
• wheel-ast-passthrough-smoke-test
• wheel-build-static-audit
• wheel-distribution-shared-libz3
• wheels-manylinux-z3-header-gap
• wheels-windows-z3-header-import-lib-gap
• z3-ast-ptr-design-decision
• z3-context-sharing-cannot-share-z3-context-between
• z3-context-sharing-works-set-shared-z3-context
• z3-fast-path-constraint
• z3-spec-replay-test-template
• z3-sys-pkg-config-fallback
• z3-universality-vs-python-parity