Splint - Secure Programming Lint
[email protected]
Download - Documentation - Manual - Links Reporting Bugs - Mailing Lists      Sponsors - Credits

Source Code Installation

Splint should compile effortlessly on standard Unix systems, and with a bit of effort on non-Unix platforms. If you produce a port for a non-Unix platform, please let [email protected] know.

To build Splint you need:

If you need to rebuild any of the makefiles, you will also need:

Instructions:

  1. Download http://www.splint.org/downloads/splint-3.1.2.src.tgz. (the latest stable release).

    Copy this package to the directory where you want to build Spint. When the tar file is extracted, it will create a splint-3.1.2 subdirectory.

  2. tar xzf splint-3.1.2.src.tgz (extract files from the archive)

  3. cd splint-3.1.2 (enter the extracted directory)

  4. configure
    This will create a Makefile with settings for your system. Use configure --prefix=directory if you want to install Splint in prefix directory directory.

  5. make
    GNU's make utility is required; it may be named gmake or gnumake on your system. It is best to do this in an emacs shell or a buffered terminal, so you can scroll through the output.

    This builds Splint.

    If the build was successful, it then runs the test suite. You should see:

    Testing splint 3.1.2...
    
    Version Info:
    Splint 3.1.2 --- 12 July 2007
    
    Maintainer: [email protected]
    
    ... (about 100 lines of test output elided)
    
    Checking manual...
    Checking tests2.2...
    Checking tests2.4...
    Checking tests2.5...
    Checking db1...
    Checking db2...
    Checking db3...
    
    Examine the test output. If there are errors, send a bug report to [email protected].
    Note: If possible do not built splint in a directory under /usr/. If the test suite is run in a directory under /usr/ for example /usr/src/, it will report errors even if Splint was built correctly.

The remaining steps are only necessary if you want to install the Splint binary and libraries in a different directory (set when you ran configure).

  1. make install
  2. Set environment variables:
    LARCH_PATH - path to search for splint libraries and initializations files. If you are using the standard directories, this should be .:base-directory/splint-3.1.2/lib.

    LCLIMPORTDIR - directory containing lcl imports files. If you are using the standard directories, this is base-directory/splint-3.1.2/imports.

    Put the commands to set these variables (the actual commands will depend on the shell you are using) in one of your initialization dotfiles (usually ~/.environment).

    Set up your PATH to include the directory containing splint-3.1.2/bin/splint, or move the binary to a directory on your command path.

  • Subscribe to the Splint mailing lists by visiting http://www.splint.org/lists.html.

  • Splint - Secure Programming Lint [email protected]
    Download - Documentation - Manual - Links
    Source - Linux - Publications - Talks
    Reporting Bugs - Mailing Lists       Sponsors - Credits