Valgrind annotations for MEMORY engine
Registered by
Laurynas Biveinis
The dynamic row format for the MEMORY engine introduces a block allocator with its workings not fully exposed to Valgrind: 1) it reuses the freed blocks making access-after-free errors undetectable; 2) there are no inaccessible areas between neighboring blocks making out-of-bound accesses undetectable.
The goal is to annotate the allocator to expose this to Valgrind completely.
Blueprint information
- Status:
- Not started
- Approver:
- None
- Priority:
- Low
- Drafter:
- Laurynas Biveinis
- Direction:
- Approved
- Assignee:
- None
- Definition:
- Approved
- Series goal:
- None
- Implementation:
-
Deferred
- Milestone target:
- None
- Started by
- Completed by
Related branches
Related bugs
Sprints
Whiteboard
(?)
Work Items
Dependency tree
* Blueprints in grey have been implemented.
