Expired
Milestone
Nov 14, 2023–Dec 29, 2023
Shared Memory Integration for Klee ConstraintSets
Implement KLEE copying ConstraintSets (and, in the future, other objects) into Shared Memory, so a different program can access them.
For this milestone, the following needs to be done:
- implementing new/added functionality to Klee that: -> copies existing ConstraintSets / Constraints into shared memory -> creates deep copies of Expr objects -> provides a new reference class, shm_ref that works in shared memory
- building the data structure that will manage the objects put into shared memory
- providing at least a simple memory management that makes sure the shared memory is always large enough
- implementing access control through a shared mutex
- implementing a simple program that can read the data in the shared memory and is able to delete written data from shared memory
For the shared memory management, the boost interprocess library will be used.
All issues for this milestone are closed. You may close this milestone now.
Loading
Loading
Loading
Loading