Home / Topics / 36

Rust refactor patterns & CFG pitfalls

29 memories · 7 remembered, 22 forgotten (24% kept).

Label

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

Key prefixes

invariant 10 · dcas 3 · cas 2 · avoid 1

Nearest the centre

param-struct-refactor-0mqkc6, fallback-store-refactor-pattern, build-ite-callbacks-refactor-pattern, cas-stmt-refactor-pattern, eval-expr-inner-refactor-pattern, test-isolation-class-property-monkeypatch

Members

• cfg-spillingcfg-graph-api
• cfgfast-data-region-nondeterminism
• decomposition-staticmethod-pitfall
• invariant-newtype-impl-into-inference
• invariant-segmentlist-getitem-is-on
• invariant-step-monkey-patch-must-be-bound
• test-isolation-class-property-monkeypatch
• avoid-impl-into-arc-str
• build-ite-callbacks-refactor-pattern
• cas-llsc-recursion-limit
• cas-stmt-refactor-pattern
• clippy-too-many-arguments-decision
• dcas-be-not-supported
• dcas-irexpr-binop-addr-hi
• dcas-test-shellcode-and-alignment
• eval-expr-inner-refactor-pattern
• fallback-store-refactor-pattern
• hitcon-sakura-separate-bug
• invariant-arc-collection-iter
• invariant-constraint-substructs-direct-fields
• invariant-dcas-reason-string
• invariant-execution-env-direct-fields
• invariant-labeled-block-instrumentation
• invariant-memory-config-direct-fields
• invariant-profiling-collector-direct-fields
• param-struct-refactor-0mqkc6
• pre-existing-dcas-test-failure
• segmentlist-iter-snapshot
• z3-rs-019-wrap-incref-behavior