Static source code analyzer, SPARROW

SPARROW is a source code static analysis tool based on semantic static analysis.

SPARROW sophisticatedly analyzes the semantics of program execution and automatically uncovers critical defects that are otherwise hard to find during program development.

SPARROW’s analysis engine has been carefully designed based on the necessary foundations of theory and finely tuned through practical testing.

• Deep and accurate analysis

  SPARROW understands all constructs of C/C++, hence can capture tricky effects-such as aliasing-of any C/C++ command. SPARROW through deep analysis hardly misses probable flaws that cannot be spotted by human experts
  • - Deep call chain: SPARROW keeps tracks of all the call chains no matter how it deeps
  • - Recursions: SPARROW understands functions being recursively called
  • - Complex heap structures: Complex heap structure such as linked list or trees are properly handled
  • - Pointer aliases: Pointer aliases are understood
  • - Infinite loops: Infinite Loops are terminated properly for assuring finite analysis
  • - Function pointer: SPARROW understands the calls by function pointer
  • - Dynamic memory allocation: Dynamic memory allocation is analyzed and its status is kept through entire program
  • - Libraries: Libraries without source codes are defined through script and taken into analysis considerations

• Rapidness and accuracy  

  SPARROW uses the same compiler as the original development environment and incremental analysis, which enables SPARROW to analyze code rapidly and accurately regardless of the program size.

• Customization to user environment

  Scaffold allows you to add standard library and user-defined function.

• Easy and convenient user interface

  NEST, the web-based unified management system enables you to execute the analysis and check the status. Various search keys such as project, defect types are provided for easy access to the defects.

• Scalability

  Easy and simple agent installation

• Technical support

  Our experts offer technical support for your satisfaction.

Bug Types

Supported Platforms