Empower

SSA.to

Code Analysis

Multiple Languages Supported

Compiling System Support multiple languages, including Yaklang, JavaScript(ES), Java, PHP and more.
Standard eBNF g4 grammar file is supported.

Advanced Analysis Techniques

In the SSA formal, we support a variety of advanced analysis techniques:

• Context Sensitive Cross-Function Analysis
• Data-Flow Analysis
• Control-Flow Analysis
• Use-Def Chain: Bottom-Up and Top-Down Analysis
• Call Stack Context Analysis and more.

IR-Database and Analysis Rule

SSA formal provides a powerful IR-Database and Visualization tool,
which can help you to understand the code structure and analyze the code quality.
Even you can use the Rule System (SyntaxFlow: TBD) to define your own code analysis rules.