Java Code Analysis with Database and Domain Specific Language

Traditional program analysis requires a high level of expertise for programmers to develop checkers based on analysis engines. To simplify the development of checkers, the industry has proposed technical solutions based on databases and domain-specific language. The idea is to store the code under analysis in a database with specific form such as code property graph, and then use domain-specific language to write checkers that query the database.

The speaker we will introduce some DSL-based analysis tools and share Huawei's practical experience in this area.