Published July 17, 2026
| Version v2
Software
Open
Determinism Analysis and its Application to Evaluation Order Independence (Software Artefact, SAS'26)
Authors/Creators
-
1.
Centre Inria de l'Université de Rennes
-
2.
EPICURE: Analyse sémantique et compilation pour la sécurité des environnements d'exécution
Description
This is the software artefact for the research paper published at SAS'26 entitled "Determinism Analysis and its Application to Evaluation Order Independence".
It consists of the static analyser for checking determinism and evaluation order independence described in the article, and a set of test programs.
The analyser comes in the form of its source code, and of a standalone Docker image, in which the analyser can be run directly.
Files
README.md
Additional details
Funding
- Agence Nationale de la Recherche
- SECUREVAL - Improving Software Systems Security Evaluation ANR-22-PECY-0005
Software
- Programming language
- OCaml