kleidos/test/ble/test_gatt_write_fuzz/ at main · jmrp.io/kleidos

[READ-ONLY] Mirror of https://github.com/jmrplens/kleidos. Kleidos — Hardware BLE password manager for ESP32-S3 (M5StickC Plus2, StickS3, M5Stack Gray, T-Deck, Cardputer) jmrplens.github.io/kleidos/

Fork 0

kleidos / test / ble / test_gatt_write_fuzz /

at main 1 file

José M. Requena Plens fix(test): correct GATT op-code constant and harden source-scan guards 1mo ago

97842a07

test_gatt_write_fuzz.cpp

fix(test): correct GATT op-code constant and harden source-scan guards kOpWriteChr was 0x02 (BLE_GATT_ACCESS_OP_READ_DSC) instead of 0x01 (BLE_GATT_ACCESS_OP_WRITE_CHR). The protocol-mode behavioral tests were exercising the READ_DSC path, so the om_len >= 1 write-guard proof was invalid — it passed only because the inline fake used the same wrong op consistently. Fix: set kOpWriteChr = 0x01U and add the missing kOpReadDsc = 0x02U constant so all four NimBLE op values are named correctly. Also add existence guards before the two negative sourceContainsInFunc assertions in test_source_write_sink_does_not_access_om_data and test_source_input_report_does_not_access_om_data. Without the guard, a function rename causes sourceContainsInFunc to return false (sig not found), making !sourceContainsInFunc true and the test silently pass without proving anything. The guard fails loudly if the function disappears, directing maintainers to update the scan. Claude-Session: https://claude.ai/code/session_01SLSU3WoYEyX1J7qWXxmyKo

1 month ago

Configure Feed

Configure Feed