The Powerful Error Checker OSA 
Author Message
 The Powerful Error Checker OSA

 Hybrid Release of the Static Analyzer OSA for Oberon-2/Modula-2 Programs

   The static analyser OSA is a powerful source code checker which
statically detects non-trivial run-time errors in Oberon-2/Modula-2
programs. The current release of OSA is capable to detect several kinds
of data flow anomalies in a program: uninitialized and unused variables,
null pointer dereference, type guard violations, unreachable branches,
etc.

   Almost all developed source code checkers that detect run-time errors
may produce only warnings due to weakness of the applied analysis.
A user needs to waste a lot of time and efforts to find real errors
in a long list of warnings. Unlike most static analyzers, OSA is able
to recognize true errors in a program, because OSA is based on a powerful
context-sensitive data flow analysis which accurately approximates
must-definition of variables.

   Static analyser OSA is designed and developed to work in conjunction
with the Modula-2/Oberon-2 development system XDS:

  http://www.*-*-*.com/

   The hybrid OSA release 0.40 (free beta) has been developed. Now,
data flow analysis in OSA consists of two phases. The first
context-insensitive phase is used to improve the second
context-sensitive phase. Release 0.40 is the first step towards the new
efficient technology of checking errors in big programs.

   The table below summarizes results of OSA application to some real
programs, which are in common intensive usage:

---------------------------------------------------------------------
        Program          | Source |  Time of    | Size in   | Found
                         |language|exploitation |1000 lines | errors
---------------------------------------------------------------------
1. PMOS/2 library for    |Modula-2|  2 years    |    17     |    6
   multitasking software,|        |             |           |
   Newcastle, Australia  |        |             |           |
                         |        |             |           |
2. OBERON Programming    |Oberon-2|  2-3 years  |    26     |   32
   System 3, ETH Zurich, |        |             |           |
   Utilities News and    |        |             |           |
   BookCompiler          |        |             |           |
                         |        |             |           |
3. VAX command           |Modula-2|  1.5 year   |    7      |    6
   interpretor           |        |             |           |
                         |        |             |           |
4  IBM/360 command       |Modula-2|  4 months   |    5      |    9
   interpretor           |        |             |           |
                         |        |             |           |
5. Convertor of headers  |Oberon-2|  6 months   |    11     |    4
   from C to Modula-2    |        |             |           |
----------------------------------------------------------------------

   Most of the found errors are uninitialized variables. This kind of
errors may or may not cause incorrect execution depending on the initial
memory state. So missing variable initializations are hard to find during
testing and debugging stages of program development, and are especially
dangerous for embedded software.

   Please visit OSA home page:  

      http://www.*-*-*.com/

You may download the hybrid OSA version for Windows NT/95, OS/2,
or SunSparc. The OSA user manual and the description of must-data-flow
analysis applied in OSA are also available.

------------------------------------------------------------------------
   Sergey V.Kuksenko                       Vladimir I.Shelekhov



Thu, 13 Jul 2000 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. The Powerful Error Checker OSA

2. XDS 2.40 To Include The Error Checker OSA

3. XDS 2.40 To Include The Error Checker OSA

4. XDS 2.40 To Include The Error Checker OSA

5. to develop an error checker for consecutive values

6. to develop an error checker

7. f2c used as fortran error checker: one experience

8. Advantest Q8384 OSA Labview driver??

9. Dylan as a OSA-language?

10. Static Analyzer OSA for Oberon-2/Modula-2 Programs

11. --> REXX will support OSA <--

12. Static Analyzer OSA for Oberon-2/Modula-2 Programs

 

 
Powered by phpBB® Forum Software