cksystemsgroup / beator-visualizer

Beatle

A visualization tool for the BEATOR2 model format.

Read the thesis for an in depth look at the features.

How to use

In the browser:

• Open the website

EITHER

• Click the upload file button
• Select desired model
• Click evaluate model button

OR

• Click use example file button

Locally:

• Prerequisites: Node.js and npm
• Clone repository
• Run npm install to install dependencies
• Run npm start to start local server
• Load model like in the browser

The example file models the following C* source code:

uint64_t* x;

uint64_t main() {
  uint64_t a;
  x = malloc(1);
  *x = 0;
  read(0, x, 1);
  a = *x;

  return *(x + a);
}

How to create a model

Please follow the steps described here.

In this guide the the unicorn tool is referred to for generation of the model file. There are other options out there such as monster and beator.