adlint-benchmark 1.0.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (16) hide show
  1. data/AUTHORS +25 -0
  2. data/COPYING +674 -0
  3. data/ChangeLog +5 -0
  4. data/INSTALL +54 -0
  5. data/MANIFEST +15 -0
  6. data/NEWS +31 -0
  7. data/README +57 -0
  8. data/Rakefile +84 -0
  9. data/bin/adlint_bm +99 -0
  10. data/lib/adlint/benchmark/driver.rb +71 -0
  11. data/lib/adlint/benchmark/target/screen_4_0_3_process_c.rb +33063 -0
  12. data/lib/adlint/benchmark/target/screen_4_0_3_process_c_small.rb +27065 -0
  13. data/lib/adlint/benchmark/target.rb +209 -0
  14. data/lib/adlint/benchmark/version.rb +73 -0
  15. data/lib/adlint/benchmark.rb +41 -0
  16. metadata +82 -0
data/AUTHORS ADDED
@@ -0,0 +1,25 @@
1
+ --
2
+ ___ ____ __ ___ _________
3
+ / | / _ |/ / / / | / /__ __/ Source Code Static Analyzer
4
+ / /| | / / / / / / / |/ / / / AdLint - Advanced Lint
5
+ / __ |/ /_/ / /___/ / /| / / /
6
+ /_/ |_|_____/_____/_/_/ |_/ /_/ Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
7
+
8
+ This file is part of adlint-benchmark.
9
+
10
+ adlint-benchmark is free software: you can redistribute it and/or modify it
11
+ under the terms of the GNU General Public License as published by the Free
12
+ Software Foundation, either version 3 of the License, or (at your option) any
13
+ later version.
14
+
15
+ adlint-benchmark is distributed in the hope that it will be useful, but
16
+ WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
17
+ FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
18
+ details.
19
+
20
+ You should have received a copy of the GNU General Public License along with
21
+ adlint-benchmark. If not, see <http://www.gnu.org/licenses/>.
22
+
23
+ ++
24
+
25
+ * Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>