Intelligent static application quality testing solution

Detect code quality issues early in the development lifecycle.

다양한 개발 언어 및 점검 항목 지원 (MISRA, 방위사업청, BSSC 등)
Languages & compliance
  • Support over 20 languages including Java, JSP, C/C++, C#, Python, Swift, ASP(.NET), ABAP, Object C, Kotlin, etc.
  • Complies with global security compliances guides and standards
강력한 정적 분석 능력 (MVC 구조 분석, 연관 파일 분석 등)
Fast & accurate analysis
  • MVC structure analysis, associated file analysis, and analysis of function call relationship in various levels
  • Incremental analysis: Minimize analysis time by only analyzing newly added, modified files and their associated files
스마트 관리 가능 (이슈 및 취약점 관리 기능)
Advanced manageability
  • Issue navigator to track and follow vulnerabilities from its origin to actual code
  • Automated real source code correction guide
  • Automated classification of vulnerabilities
가트너 매직 쿼드런트 등재
CC 인증
ISO26262 인증
InfoSecurity 수상
Compliance regulation
HIC C++ and more
Key Feature
웹기반 통합 관리
Web-based centralized management
  • Dashboard for analysis result management and statistics
  • Centralized rule (Checker) management based on information including risk levels, option and other.
형상관리, 이관제어, 개발 IDE, 빌드 도구와의 연동 지원
  • Transfer control via integration with source code version control systems
  • Automated management via integration with Build Management Tool (Continuous Integration) and Issue Tracking System (ITS)
강력한 관리 기능
Dashboard and statistics
  • Dashboard offers various information including analysis, detection issues, risk levels, projects, etc.
  • History and trend of analysis results by period
  • Provides statistics by project, by user and by compliances
고객 친화 맞춤형 보고서 제공
Customizable report
  • Edit project summary, analysis file information, results by risk levels, etc.
  • Reports (PDF, Excel, Word, HWP)
결과 및 이력 관리
Analysis history management
  • Automatically differentiate new issues from old issues
  • Automatic identification of existing detection result status even if source code line changes
  • Prevent tempering and unauthorized use via exception request/approval process
다양한 분석 기술 지원
Analysis methods
  • Easy to use GUI that enables analysis with a simple click
  • CLI that enables batch and scheduling analysis
  • Plugin that can be installed in development IDE to enable analysis and result checking
  • Simple drag and drop analysis via web management system without separate client program
Use Case
Flexible integration with process and development environment
Integration with developer IDEs
Integration with version control systems
Integration with build systems
How to purchase
Annual license, Basic (5 users)
Supported Environment
Category Details
Server OS
Windows Server 2000 or higher
Ubuntu 8.04 or higher
Redhat Linux 5 or higher
Fedora 8 or higher
CentOS 5 or higher
PostgreSQL (Embedded)
Client OS
Windows XP or higher
Ubuntu 8.04 or higher
Redhat Linux 5 or higher
Fedora 8 or higher
CentOS 5 or higher
AIX 5.1 or higher
HP_UX 11.x or higher
SUN_OS 5.6 or higher
MAC_OS 10.6 or higher
Plug in
Eclipse (3.2 or higher)
Visual Studio (2010~2019)
Proframe Studio
IntelliJ, Android Studio
Eclipse Based Tool (IBM RAD, etc.)
Visual Studio Code
Support Unicode
Multilingual UI support(English / Japanese / Korean)
Hardware Specification
Category Details
Server Client
Quad Core 2.5GHz or faster
Dual Core 2GHz or faster
16GB or larger
2GB or larger
300GB or larger
500MB + (2 * Size of source code)
Other supported Environment
Category Details
  • C/C++
  • Android Java
  • Java
  • Objective-C
  • JSP
  • HTML
  • C#
  • SQL
  • XML
  • ABAP
  • PHP
  • Python
  • VB.NET
  • Swift
  • Javascript
  • Apex
  • VBScript
  • Visualforce
  • XSL
  • Kotlin
  • etc.
Java: Spring Framework, iBATIS, MyBatis, Struts2, eGovernment Framework
C: Tmax Proframe