Home / Topics / 63

Symbolic libc SimProcedure semantics

20 memories · 3 remembered, 17 forgotten (15% kept).

Label

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

Key prefixes

invariant 6 · memset 3 · procedures 3 · memcpy 2

Nearest the centre

invariant-symbolic-procedures-pattern, memcpy-symbolic-address-native, procedures-write-and-memcommon-helpers, invariant-native-strncpy-symbolic-semantics, memcpy-symbolic-size-native, invariant-symbolic-procedure-result-width

Members

• invariant-native-strncpy-symbolic-semantics
• invariant-strcmp-returns-sign-not-diff
• invariant-symbolic-procedures-pattern
• avoid-bail-on-symbolic-prefix
• ctype-symbolic-pattern
• existing-helper-unused
• invariant-procedures-shared-helper-vis
• invariant-strtol-symbolic-pattern
• invariant-symbolic-procedure-result-width
• memcpy-symbolic-address-native
• memcpy-symbolic-size-native
• memset-symbolic-address-native
• memset-symbolic-size-native
• memset-symbolic-value-native
• native-memrchr-rawmemchr-strchrnul
• procedures-cluster5-scan-driver
• procedures-strings-shared-helpers
• procedures-write-and-memcommon-helpers
• rust-strrchr-strset-pattern
• strstr-integration-test-concrete-only