Add bilint tool to validate bi files somewhat.

* tools/bilint.cc: New file.
	* tools/Makefile.am: Build and install the new file above.

Signed-off-by: Dodji Seketeli <dodji@redhat.com>

tools/Makefile.am

@@ -7,7 +7,7 @@ libtoolsutils_la_SOURCES=	\
 $(h)/abg-tools-utils.h		\
 $(h)/abg-tools-utils.cc
 
-bin_PROGRAMS = biar bidiff
+bin_PROGRAMS = biar bidiff bilint
 biar_SOURCES = $(h)/biar.cc
 biardir = $(bindir)
 biar_LDFLAGS = $(abs_top_builddir)/src/libabigail.la $(abs_top_builddir)/tools/libtoolsutils.la
@@ -18,4 +18,9 @@ bidiffdir = $(bindir)
 bidiff_LDFLAGS = $(abs_top_builddir)/src/libabigail.la $(abs_top_builddir)/tools/libtoolsutils.la
 bidiff_DEPENDENCIES = libtoolsutils.la
 
+bilint_SOURCES = $(h)/bilint.cc
+bilintdir = $(bindir)
+bilint_LDFLAGS = $(abs_top_builddir)/src/libabigail.la $(abs_top_builddir)/tools/libtoolsutils.la
+bilint_DEPENDENCIES = libtoolsutils.la
+
 AM_CPPFLAGS=-I$(abs_top_srcdir)/include -I$(abs_top_srcdir)/tools

tools/bilint.cc

@@ -0,0 +1,136 @@
+// -*- Mode: C++ -*-
+//
+// Copyright (C) 2013 Red Hat, Inc.
+//
+// This file is part of the GNU Application Binary Interface Generic
+// Analysis and Instrumentation Library (libabigail).  This library is
+// free software; you can redistribute it and/or modify it under the
+// terms of the GNU Lesser General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option) any
+// later version.
+
+// This library 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 Lesser Public License for more details.
+
+// You should have received a copy of the GNU Lesser General Public
+// License along with this program; see the file COPYING-LGPLV3.  If
+// not, see <http://www.gnu.org/licenses/>.
+//
+// Author: Dodji Seketeli
+
+/// @file
+///
+/// This is a program aimed at checking that a binary instrumentation
+/// (bi) file is well formed and valid enough.  It acts by loading an
+/// input bi file and saving it back to a temporary file.  It then
+/// runs a diff on the two files and expects the result of the diff to
+/// be empty.
+
+#include <cstring>
+#include <cstdio>
+#include <cstdlib>
+#include <string>
+#include <iostream>
+#include <fstream>
+#include "abg-tools-utils.h"
+#include "abg-ir.h"
+
+using std::string;
+using std::cerr;
+using std::ostream;
+using std::ofstream;
+using abigail::tools::check_file;
+
+struct options
+{
+  string file_path;
+};//end struct options;
+
+void
+display_usage(const string prog_name, ostream& out)
+{
+  out << "usage: " << prog_name << "[options] [<bi-file1>\n"
+      << " where options can be:\n"
+      << "  --help display this message\n";
+}
+
+bool
+parse_command_line(int argc, char* argv[], options& opts)
+{
+  if (argc < 2)
+    return false;
+
+    for (int i = 1; i < argc; ++i)
+    {
+      if (argv[i][0] != '-')
+	{
+	  if (opts.file_path.empty())
+	    opts.file_path = argv[i];
+	  else
+	    return false;
+	}
+      else if (!strcmp(argv[i], "--help"))
+	return false;
+      else
+	return false;
+    }
+
+    if (opts.file_path.empty())
+      return false;
+
+    return true;
+}
+
+/// Reads a bi (binary instrumentation) file, saves it back to a
+/// temporary file and run a diff on the two versions.
+int
+main(int argc, char* argv[])
+{
+  options opts;
+  if (!parse_command_line(argc, argv, opts))
+    {
+      display_usage(argv[0], cerr);
+      return true;
+    }
+  if (!check_file(opts.file_path, cerr))
+    return true;
+
+  abigail::translation_unit tu(opts.file_path);
+  if (!tu.read())
+    {
+      cerr << "failed to read " << opts.file_path << "\n";
+      return true;
+    }
+
+  char tmpn[L_tmpnam];
+  tmpnam(tmpn);
+
+  string ofile_name = tmpn;
+
+  ofstream of(ofile_name.c_str(), std::ios_base::trunc);
+  if (!of.is_open())
+    {
+      cerr << "open temporary output file " << ofile_name << "\n";
+      return true;
+    }
+
+  bool r = tu.write(of);
+  bool is_ok = r;
+  of.close();
+
+  if (!is_ok)
+    cerr << "failed to write the translation unit "
+	 << opts.file_path << " back\n";
+
+  if (is_ok)
+    {
+      string cmd = "diff -u " + opts.file_path + " " + ofile_name;
+      if (system(cmd.c_str()))
+	is_ok = false;
+    }
+  remove(ofile_name.c_str());
+
+  return !is_ok;
+}