Tools

In this page you can find some of the active and public tools I am involved in.

AbU-lang: a programming language for distributed and decentralized IoT applications, based on ECA rules and attribute-based interaction. The language is developed in collaboration with the MADS team at the University of Udine.

ECA rules · Distributed systems · Formal methods · Edge computing · IoT programming

More details, and the tools available (like compilers and simulators), can be found at the language GitHub page:

RestTestGen: a framework for automated black-box testing of RESTful APIs, developed by the SEUnivr team at the University of Verona.

REST API · OpenAPI specification · Automated software testing · Security testing

More details can be found at the tool GitHub repository:

EtherSolve: a decompiler and static analysis tool for Ethereum bytecode, developed by the SEUnivr team at the University of Verona.

Smart-contracts · Reverse engineering · Static analysis · Ethereum · EVM bytecode

More details can be found at the tool GitHub repository: