During static analysis of the block operation implementation, several defects were found in the read block…
During static analysis of the block operation implementation, several defects were found in the read block…: a task in LegoFlow-SWE (Harbor dataset). The expected behavior is that read block and write block always return a well‑defined TEE Result (for example, an appropriate error code when…
The task
The expected behavior is that `read_block` and `write_block` always return a well‑defined `TEE_Result` (for example, an appropriate error code when something fails) and that every allocated resource is released exactly once, with no dangling pointers left behind.
Part of Lego-X/LegoFlow-SWE.