Zephyr OS HTTP/1 POST Responses: Do Not Use an Empty Final Callback to Wait for a Worker
Trace request-final status and response fields before attempting deferred output.
-
-
Zephyr OS Fragmented Network Buffers: Check the Actual Byte Count Returned by Linearization
Separate destination capacity, source-chain exhaustion and actual copied length before decoding a linearized header.
-
Zephyr OS SNTP Fractions: Pin the Configuration Before Converting Subseconds
Scope SNTP subsecond conversion to the resolved uncertainty configuration and exact versioned response assignments.
-
Zephyr OS MQTT Keepalive Loops: Schedule Maintenance Even When No Socket Data Arrives
Use MQTT time-left scheduling and distinguish mqtt_live not-due results from attempted ping failures.
-
Zephyr OS MQTT Publish Events: Read the Payload Before Treating the Message as Complete
Consume MQTT payload through the correct helper and track actual progress before accepting a complete message.
-
Zephyr OS Network Buffer Clones: Check Whether Payload Storage Is Shared or Copied
Inspect allocator-dependent net_buf_clone behavior and fragmented-message boundaries before editing a duplicate.
-
Zephyr OS JSON Object Parsing: Check the Decoded-Field Bitmap Before Applying Configuration
Interpret json_obj_parse as a field-presence bitmap and validate a candidate configuration before applying it.
-
RISC-V LR/SC Loops: Preserve the Conditions Required for Eventual Success
Audit constrained RISC-V LR/SC loops after instrumentation changes, including instruction restrictions, memory eventuality and the limits of forward-progress guarantees.
-
RISC-V Cache-Block Operations: Diagnose Privilege Gating Before Assuming Zicbom Is Missing
Distinguish missing Zicbom from environment-gate traps, CBIE-directed flush semantics and address-access faults on cache-block management instructions.
-
RISC-V PMP Regions: Check Entry Priority and the Entire Memory Access
Analyze base PMP failures through encoded regions, first-match priority and full memory-operation containment, including decomposition and privilege limitations.
