search

Baltoli / project-docs

Documents for my Part III project
0 stars 0 forks source link

Update Protocol Buffer Structure #2

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

The protobuf structure used by TESLA to represent a manifest will need some extra fields added to it in order that the static analysis can add annotations as needed (e.g. to mark a usage as being deleted or similar).

It should be fairly simple just to update tesla.proto and have the build system take care of the rest, I think.

The simplest possible change is probably to add a deleted optional (default false?) field to the Usage message. Should do some sanity checks to make sure that this works, doesn't break anything etc.

Baltoli commented 7 years ago

The protocol buffer specification has been updated with a new field that marks whether or not a Usage has been marked as deleted by the static analyser.