Ubuntu Manpage: gnatsync - The GNAT global dependency detector

Provided by: asis-programs_2010-6_amd64

NAME

       gnatsync - The GNAT global dependency detector

SYNOPSIS

       gnatsync [OPTION]... filename [-cargs gcc_switches]

       gnatsync [OPTION]... -files=filename [-cargs gcc_switches]

DESCRIPTION

gnatsync is the GNAT static analysis tool that helps to detect potential race conditions in multitasking
programs, by exposing the global data that is accessed in unsynchronized manner by independent threads or
Ada tasks.

Input to gnatsync is a set of compilable Ada sources that constitutes a complete program. As it output,
the tool prints out a list of a data objects for which potential unsynchronized access is detected, and
for each such object the tool provides a list of threads that access this object. Each access is
specified by a full sequence of subprograms calls when a given thread does not reference the object
directly.

gnatsync is an ASIS-based tool. It compiles the given sources to create the corresponding tree files. All
these compilations take place in a temporary directory, which is created in the beginning of a gnatsync
run and is deleted when the processing of the argument sources is completed. If a source file specified
as gnatsync argument does not contain a legal Ada program unit, that is to say if the program has
syntactic of semantic errors, gnatsync cannot process it. If the specified source contains an Ada unit
which depends on Ada units located in other directories, the user can either specify the source search
path by means of a -I option in '-cargs' section of gnatsync parameters, in the same way as the source
search path can be specified for GNAT. This is not needed if gnatsync is called from the GNAT driver with
the corresponding project file.

In the first form, gnatsync examines the specified Ada source files (wildcards are allowed).

In the second form, gnatsync examines the Ada source files listed in the specified file.

OPTIONS

       -a     Process RTL units.

       -cargs gcc_switches
              Pass gcc_switches to GCC when producing the tree files.

       -d     Debug mode.

       -dd    Progress indicator mode, for use in the GNAT Programming Studio.

       -main=filename
              Specify file containing main subprogram

       -o(s|m|f)
              Output detail level: s=short, m=medium (the default), f=full.

       -out_file=filename
              Send output to filename.

       -q     Quiet mode: do not report detections on standard output.

       -t     Output execution time.

       -threads=filename
              Specify file describing foreign threads

       -v     Verbose mode.

       -wq    Turn warnings off.

PROJECT FILE SUPPORT

       gnasync can be applied to any set of sources, but it can produce useful and complete results when  called
       to  a  set  of  sources that make up a complete program. The most convenient way to specify such a set of
       sources is a project file. gnatsync can be called from the GNAT  driver  as  other  tools,  so  the  most
       practical way of invoking the tool is:

       gnat sync -Pproj -U [options]

AUTHOR

       gnatsync was written by AdaCore (http://www.adacore.com).

       This  manual  page  was  written  by  Ludovic  Brenta  <lbrenta@debian.org>  for the Debian project, from
       gnatsync's README file.

COPYRIGHT

       gnatsync is Copyright (c) 2007-2009 AdaCore

       This manual page is Copyright (C) 2009 Ludovic Brenta <lbrenta@debian.org>.