Home / Topics / 42

Stdin & stdio stream modeling

38 memories · 15 remembered, 23 forgotten (39% kept).

Label

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

Key prefixes

invariant 7 · avoid 3 · fgets 3 · native 3

Nearest the centre

syscall-readwrite-full-fdtable, stdio-fwrite-fputs-arbitrary-fd, write-side-fileno-fallback-correct, native-stdio-cle-stream-fileno-unmapped, native-fgets-fgetc-resolves-stream-fd, invariant-native-stdin-readers-use-mint-stdin-bytes

Members

• avoid-storing-extract-asts-in-guest-buffers
• cgc-receive-stdin-sync-root-cause
• djq7-file-read-harness-evidence
• fgets-short-read-design
• fread-python-boundary-unreachable-content
• invariant-iovec-syscall-handlers
• invariant-native-stdin-readers-use-mint-stdin-bytes
• invariant-positioned-io-syscalls
• invariant-readv-is-symbolic-fast-path
• invariant-rust-stdin-injection-idempotent
• snapshot-resume-stdin-solve-root-cause
• stdin-seed-binding-architecture
• stdio-fwrite-fputs-arbitrary-fd
• write-fd-position-aware
• write-side-fileno-fallback-correct
• avoid-record-stdin-symbol-mismatch
• avoid-stdin-tracking-fix-for-codegate
• djq7-evidence-needs-file-io-harness
• fauxware-q7ij-root-cause
• fauxware-rust-empty-output
• fgetc-eof-short-read-model
• fgets-eof-newline-gap-bead
• fgets-newline-constraint
• file-read-fixture-build
• fopen-mode-parsing
• fopen-mode-parsing-order-independent
• fwrite-io_file-fd-offsets
• invariant-io-file-struct-arch-layout
• invariant-record-stdin-symbol-required
• license-timeout-fread-root-cause
• native-fgets-fgetc-resolves-stream-fd
• native-fputc-putc-resolves-stream-fd
• native-stdio-cle-stream-fileno-unmapped
• read-short-read-model
• stdio-feof-ferror-fputs-impl
• stdio-fwrite-fputs-arbitrary-fd-update
• symbolic-stream-fd-read-slice
• syscall-readwrite-full-fdtable