Home / Topics / 94

SimProcedure continuation & no_return

15 memories · 8 remembered, 7 forgotten (53% kept).

Label

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

Key prefixes

invariant 9 · avoid 2 · exit 1 · fauxware 1

Nearest the centre

invariant-simproc-call-continuation-push-capture, invariant-simproc-call-no-double-push, invariant-simproc-callback-perfstats, avoid-porting-full-simprocedure-body-without-checking-entry-vs-continuation, invariant-exit-continuation-cache, invariant-no-return-deadend

Members

• avoid-fixing-only-one-native-dispatch-path
• invariant-exit-continuation-cache
• invariant-no-return-deadend
• invariant-no-return-two-dispatch-paths
• invariant-resolve-main-direct-call-fallback
• invariant-rust-auto-init-to-main
• invariant-simproc-call-continuation-push-capture
• selfcall-continuation-regression-test
• avoid-porting-full-simprocedure-body-without-checking-entry-vs-continuation
• exit-continuation-cache
• fauxware-exit-overlaps-main
• invariant-libc-start-main-only-after-main
• invariant-simproc-call-no-double-push
• invariant-simproc-callback-perfstats
• no-native-exit-simprocs