–

    ___    ____  __    ___   _________
   /   |  / _  |/ /   / / | / /__  __/            Source Code Static Analyzer
  / /| | / / / / /   / /  |/ /  / /                    AdLint - Advanced Lint
 / __  |/ /_/ / /___/ / /|  /  / /
/_/  |_|_____/_____/_/_/ |_/  /_/    Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.

This file is part of adlint-benchmark.

adlint-benchmark is free software: you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the Free
Software Foundation, either version 3 of the License, or (at your option) any
later version.

adlint-benchmark is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
details.

You should have received a copy of the GNU General Public License along with
adlint-benchmark.  If not, see <http://www.gnu.org/licenses/>.

++

What is

adlint-benchmark is a simple benchmark of AdLint.

News

:include:NEWS

How to Install

:include:INSTALL

License

Copyright © 2010-2012, OGIS-RI Co.,Ltd.

adlint-postfilter is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

adlint-postfilter is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with adlint-postfilter. If not, see <http://www.gnu.org/licenses/>.

Authors

:include:AUTHORS