instrument is a tool that instruments an Erlang program. The execution of the instrumented program outputs the sequence of symbolic events generated by a concrete execution. This tool has been implemented using the ideas introduced in the paper:

  • Adrián Palacios and Germán Vidal. Concolic Execution in Functional Programming by Program Instrumentation.
    To appear in Proc. of LOPSTR 2015 PDF

instrument takes a single input: The Erlang program that will be instrumented. You can choose one of the list and edit it (e.g.,fact.erl) or write a program from scratch. Once you click the INSTRUMENT button, the instrumented Core Erlang program will appear.

The instrumented program can be executed for obtaining the associated sequence of events. To do this, you need to provide:

  • the instrumented program.
  • an input argument (a suggested input argument is provided for each program of the list).
After clicking the EXECUTE button, the associated sequence of events for the given program and input will be shown.

Check the web interface in the next tab.

Please let me know if you have any question or comment to gvidal@dsic.upv.es.

Source program
Choose a file:

Instrumented program

Sequence of Events