We fundamentally understand and improve software operation with code analysis technologies based on programming languages. We visualize the software architecture to detect structural flaws and analyze software behavior with static analysis tools to eliminate inherent defects and open-source license violations in advance. In addition, it improves software developers’ experiences by learning large-scale code repositories, utilizing intelligent development tools, and incorporating an Integrated Development Environment (IDE). Furthermore, it promotes development into an interactive AI pair programmer capable of automatically generating code suitable for development situations.

To ensure software quality, we research efficient testing technology optimized for our products. We write and execute test cases to detect flaws in code, automate tasks such as root cause analysis, and develop verification technology. To this end, we analyze the verification path through large-scale user data and study the automation of intelligent tests. In addition, we preemptively secure quality by researching verification techniques specialized for new domains, such as AI and robots.

We improve productivity by building infrastructure that automates the workflow and transforms it into a virtualized workflow. When a developer writes code, a series of processes, such as build, analysis, and testing are automated. In addition, we provide a virtual development environment that allows developers to execute activities such as coding and testing, regardless of time and place.