-- ___ ____ __ ___ _________ / | / _ |/ / / / | / /__ / 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 (C) 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