search

mnemonikr / symbolic-pcode

Apache License 2.0
0 stars 0 forks source link

Add write_unchecked for symbolic memory #102

Open mnemonikr opened 8 months ago

mnemonikr commented 8 months ago

The write API is forced to ensure that the number of bytes written from the iterator matches the varnode.size provided. In the event that this does not match, in order to prevent symbolic memory corruption, the write is rolled back before an error is returned.

An unchecked version of the API could avoid the checks and the rollback mechanism by assuming the data provided matches the varnode.size.

mnemonikr commented 8 months ago

Existing benchmarks could also help determine whether the eschewed additional safety is even warranted.