Home / Topics / 2

Lineage solver design invariants

16 memories · 2 remembered, 14 forgotten (13% kept).

Label

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

Key prefixes

v5a5 12 · invariant 4

Nearest the centre

v5a5-slice-4c.1-landed, v5a5-slice-4c.2c-landed, v5a5-slice-4c.2b-landed, v5a5-slice-4c.2-landed, v5a5-slice-2-landed, v5a5-slice-3a-landed

Members

• invariant-v5ht-dismantle-child-none
• invariant-with-z3-solver-no-assert
• invariant-v5a5-lineage-mutex-shape
• invariant-v5a5-slice-1c-mint-semantics
• v5a5-skeleton-landed
• v5a5-slice-2-landed
• v5a5-slice-3a-landed
• v5a5-slice-4-blocker-analysis
• v5a5-slice-4b-complete
• v5a5-slice-4b.1-landed
• v5a5-slice-4b.2-landed
• v5a5-slice-4c.1-landed
• v5a5-slice-4c.2-landed
• v5a5-slice-4c.2b-landed
• v5a5-slice-4c.2c-landed
• v5a5-slice-4c.3-prep-landed