xtuml / munin

Apache License 2.0
1 stars 0 forks source link

Updates to support merge count and mandatory instance forks #28

Closed ColinCarterUK closed 1 year ago

ColinCarterUK commented 1 year ago

The commits in this pull request support two additional features:

  1. The potential to mandate branch count on an instance fork. We have noticed that the absence of branch count means instance forks can happen anywhere. This feels like a significant vulnerability which is addressed by mandating the presence of a branch count on any instance fork.
  2. A merge count has been added which tests that the number of previous events seen at a merge point matches that provided in audit event data. This is currently optional but could be made mandatory to reduce the instance variation that is otherwise permissible. There is also some corresponding updated PLUS to support the tutorial including the use of Fork for AND and split for IOR.