History / Certification
Code Quality Inspector(SAQT)
Support of Various Analyses
Large capacity analysis (analysis of one million lines), parallel analysis, changed portion analysis, etc.
Offering Correction Guide
Detailed information of defects to help with the understanding of defects and a method for correcting defects
Offering UI (User Interface) through which the correction process and inspection results can be identified at a glance.
Diagnosis reports for developers and statistics report for administrators in the formats of PDF, EXCEL, Word, and Hangeul
Main Rules of Code Quality Inspection
Use After Free
Incorrect Numeric Casting
Null Pointer Dereference
Divide by Zero
Return Pointer To Local
Null Check After Dereference
Mismatched Memory Management
Configuration Mgt Linkage
SVN, Git, etc.
E-government, many Java frameworks, Web development-related frameworks, etc.
Eclipse, Visual Studio, IntelliJ, etc.
Linux, Windows, OS X
CLI, REST API, etc.
Precise Semantic Analysis
Linkage analysis of value and memory
Precise analysis between procedures
Graph DB-based static analysis
Top level memory analysis
Deep and fast analysis of actual memory form
On the Fly
The large capacity code analysis results can be checked in real time.
Defect Tracking Graph
An analysis of intelligent source code that automatically tracks the causes of defects.
#807, 285, Digital-ro, Guro-gu, Seoul, Republic of Korea | T.+82-2-859-2633 | F.+82-2-859-2633
All rights reserved.