01/06/2023
A fork of a primitive version of AEnima can be found in the WASP Platform organization, more specifically in here, where it is still in development.
Interpretation. Symbolic execution. OCaml.
The target language is a standard while language. A well formed program is a set of top-level functions having one entry-point function with the identifier "aenima". The language supports integers, strings, booleans, and the usual operations for these data types.
What are the dependencies, how can I install them? (OCaml, dune, ..., what else?)
The repository uses the dune build system. To compile use the dune X command. To run use the dune X command or type dune X in the command line.
The main.ml file currently has... dune install, dune exec, dune Interpreters, which modes are available (-o -i -m)
In the following section we will describe how to use this tool to actually find bugs in programs written in the AEnima language. We will use as a guiding example a program implementing a recursive definition of the fibonacci sequence.
This project was developed by Francisco Sena from Instituto Superior Técnico, University of Lisbon, Portugal.
For any questions: fmesena@gmail.com