Uploaded October 2022 | Updated September 2026, 6 hours ago
Static analysis traditionally provides early feedback to developers on code quality and potential issues in their program. However, in the context of Microservices, it must cope with decentralization and heterogeneity across codebases. Conventional low-level static analysis tools fail to address emerging needs for multi-codebase operability, which is common for microservices. To bridge such gaps, static analysis approaches could adapt and recognize the microservice development practice and use it to determine the system’s intermediate representation (IR). This talk illustrates our static analysis prototypes using a component-based graph as the system IR for technical reasoning about the overall system. Our system IR has been adopted for various tasks. For instance, it is possible to detect microservice bad smells to improve the evolution of these systems, check consistency across microservices, or improve the detection of semantic clones. It is also possible to perform conformance checking toward the originally intended architecture design using a visualization of the reconstructed system architecture. Various practical examples will be given throughout this talk.
Speaker: Tomáš Černý, Baylor University
►About the event
Research Day showcases successful research cooperation between Red Hat and academic institutions worldwide and connects researchers with Red Hat engineers, customers, partners, industry representatives, and others interested in research that will impact open source software.
►Are you interested in open source projects we are incubating at Red Hat Research? Visit research.redhat.com to learn more and get involved!
Static analysis traditionally provides early feedback to developers on code quality and potential issues in their program. However, in the context of Microservices, it must cope with decentralization and heterogeneity across codebases. Conventional low-level static analysis tools fail to address emerging needs for multi-codebase operability, which is common for microservices. To bridge such gaps, static analysis approaches could adapt and recognize the microservice development practice and use it to determine the system’s intermediate representation (IR). This talk illustrates our static analysis prototypes using a component-based graph as the system IR for technical reasoning about the overall system. Our system IR has been adopted for various tasks. For instance, it is possible to detect microservice bad smells to improve the evolution of these systems, check consistency across microservices, or improve the detection of semantic clones. It is also possible to perform conformance checking toward the originally intended architecture design using a visualization of the reconstructed system architecture. Various practical examples will be given throughout this talk.
Speaker: Tomáš Černý, Baylor University
►About the event
Research Day showcases successful research cooperation between Red Hat and academic institutions worldwide and connects researchers with Red Hat engineers, customers, partners, industry representatives, and others interested in research that will impact open source software.
►Are you interested in open source projects we are incubating at Red Hat Research? Visit research.redhat.com to learn more and get involved!
