Aletheia is a static analysis framework for automated detection of integrity violations in microservice codebases.
In microservice architectures, data is stored across heterogeneous systems, with data schemas partitioned and managed by separate services. Due to the complexity of microservices, it can be almost impossible for developers to have a comprehensive understanding of the entire system, making it challenging to reason about and maintain data integrity at the application level.
Aletheia solves this problem through static analysis, identifying semantic violations in microservice ecosystems (i.e., service interactions and operations that break data integrity) for various types of integrity constraints, including entity integrity, referential integrity, and uniqueness.
You can check our two main repositories:
- Aletheia: implementation of Aletheia framework
- Aletheia - OSDI'26 Artifact: artifacts and instructions to reproduce the experiments from the paper "Aletheia: Automated Detection of Data Integrity Violations in Microservices", accepted in OSDI'26
Additional repositories:
- Synthetic Microservice Applications Generator: generator of synthetic microservice applications based on call graph characteristics - used in the Aletheia OSDI'26 artifact
- Fork of Blueprint's Repository: fork containing the Blueprint compiler and all applications analyzed by Aletheia
