Open
Description
Currently, the x86/arm cosimulators do not random-test the formal semantics of load/store instructions.
We can extend the cosimulators to run the instructions in a controlled situation such as after creating a large buffer that stores some known bytes.
Metadata
Metadata
Assignees
Labels
No labels