Zephyr OS Directory Enumeration: Check the Entry Name Before Treating Zero as Another File
Interpret both outputs of directory reads. Source-based integration review with explicit failure boundaries.
-
-
Zephyr OS LwM2M Resource Buffers: Distinguish Capacity from Current Data Length
Review registered storage capacity, valid data length and direct-update semantics.
-
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.
