Syscall dispatch & argument extraction
30 memories · 14 remembered, 16 forgotten (47% kept).
Members
invariant-ignored-syscall-args-stay-symbolicinvariant-native-handler-err-no-rollbackinvariant-native-syscall-dispatchinvariant-native-syscall-pc-contractinvariant-rdtsc-per-state-tscinvariant-syscall-arg-extractioninvariant-syscall-symbolic-arg-messageinvariant-use-system-times-rejectednative-identity-proc-vs-syscall-dispatchnative-only-procedures-patternnative-scanf-variadic-arg-truncationnative-syscall-registration-disciplinesyscall-handlers-arch-agnosticsyscall-vs-procedure-dispatchextract-args-helpers-fixextract-args-two-code-pathsinvariant-extract-args-no-silent-placeholdersinvariant-nativesimprocedure-name-staticinvariant-register-syscalls-macroinvariant-rust-last-time-driftinvariant-syscall-arg-count-guardinvariant-syscall-outcome-concrete-onlyinvariant-syscall-outcome-symbolicnative-syscall-name-is-diagnosticnative-time-proc-forwards-to-syscallstore-stmt-timing-divergencesyscall-cc-override-neededsyscall-native-count-statsyscall-registry-keyed-lookupsyscalls-extract-concrete-arg-helper