FindIaCBug is responsible for the verification of the IaC code and the detection of various quality issues such as errors, smells, antipatterns, bugs in IaC artifacts including TOSCA and Ansible. It is addressing the problem of building high-quality IaC artifacts, the users need to follow the recommended best practices of developing IaC scripts, and avoid applying the bad practices. Still, they can inadvertently introduce errors, smells and bugs to the IaC code. The users need a tool that can help them to easily and interactively check the quality of the IaC code they develop, and to get recommendations on how to fix any detected quality issue.
Addressing target audiences and expressing needs
- Collaboration
- Fellowship to advance my/our research
Partners working in similar fields of expertise to expand and upgrade our research results.
- Research and Technology Organisations
- Academia/ Universities
- Private Investors
R&D, Technology and Innovation aspects
The SODALITE team has the sufficiently complete taxonomies of IaC best/bad practices, smells, and bugs. Our tool (defect prediction) can verify IaC codes for some errors, can find some smells, and can find linguistic anti-patterns. In Y3, the taxonomies are improved and validated. The tool was improved to support more verification cases, detecting more smells and misconfiguration errors, and recommending fixes for some detected smells.
The technology is scalable by design, based on well-established technology.
The SODALITE technology is based on open source technologies and custom developments. It is being already tested in 3 use cases. The replication difficulty lies on the data acquisition options and configuration to the applications it will focus on. However, the business model includes tools and specific features (e.g., training, consultancy) for covering those.
The SODALITE consortium is making available the full-stack technology over five layers that are led and maintained by a subset of partners that are its IP owners and will extend those technologies to commercial solutions or further research pathways.
- Global

