DeHydra

DeHydra is a tool inspired by UNO.

DeHydra integrates a low level C++ core and a JavaScript engine for user scripts. More info.

C++ core deals with parsing, name resolution, scoping, control flow graphs.

A user can utilize the JS engine to:

Write scripts using that core to accomplish custom analyses without recompilation.
Work on these scripts to make them progressively as sound and as complete as possible.

Quickstart

Step 1.

In a new file(test.js) define functions process & path_end:

function process(vars, state) {
 if (!state)
   state = 0;
 print(state + ": " + vars);
}

function path_end(state) {
 print(state)
}