Home / Topics / 43

printf & scanf format parsing

18 memories · 4 remembered, 14 forgotten (22% kept).

Label

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

Key prefixes

format 6 · invariant 4 · scanf 4 · printf 1

Nearest the centre

invariant-format-spec-fields-must-be-threaded, format-n-no-native-parity, invariant-scanf-format-error-propagation, invariant-scanf-length-modifier-store-width, format-float-no-native-parity, scanf-scanset-native-implemented

Members

• format-parser-three-dispatch-sites
• format-string-parity-defers
• invariant-format-spec-fields-must-be-threaded
• invariant-scanf-numeric-seeded-stdin
• format-float-no-native-parity
• format-n-no-native-parity
• format-parser-interpret-two-subpaths
• format-spec-type-lowercased-and-printf-strip
• invariant-scanf-format-error-propagation
• invariant-scanf-length-modifier-store-width
• printf-family-symbolic-format-boundary
• procedures-format-common-shared-helpers
• scanf-now-accepts-zjt-modifiers
• scanf-scanset-native-implemented
• scanf-scanset-unconstrained
• scanf-simproc-design
• sprintf-int-width-narrowing
• sscanf-record-stdin-flag-bug