rcc Manual

Requirements

The pattern-based constraint verifier should run with minimal support; no database support is needed, nor does the program depend on any database support, CGI, etc.

On the other hand, the control-flow analyzer has several dependencies. We've highlighted the dependencies that are specific to the control-flow analyzer below.


Download

We eventually plan to make our code available to the general public. Because our tool is in its infancy, and because we want operator feedback, help, etc. in adding features, fixing bugs, and developing the tool, we are initially providing download access via a CVS pserver only. This helps us keep track of the people in the community that are trying out the tool, and encourages others in the community to contribute.

We are committed to making a tool that is useful to the operator community, but we can't do this without operator feedback!
We also emphasize that this tool is alpha, and only the adventurous should proceed. :)

To download the code, please take the following steps:

  1. Get access to the CVS pserver. The code is available for download via a CVS pserver.
    You can ask for access via this form.

  2. Download code via the CVS pserver.


Important Note: To make this process a little more painless, these steps can now be executed using the menu.pl script in perl/src/utils/. Running this script and selecting from the appropriate menu options can prevent you from having to run most of the steps below from the command line.

Setup

  1. Configuration File Setup. The verifier is currently configured to read AS-wide configuration files from a single directory. The following two steps are necessary for the verifier to work.

    Note: The tool currently has modules for Cisco and Juniper configuration parsing. The Cisco module works fairly well for Zebra, Avici, and (with minor modifications) Procket.

  2. Default Settings. Most of the default settings are specified in ConfigCommon.pm. In particular, you will want to set the variables that determine the host, port, user, and password information for accessing the database.

    ConfigCommon.pm also contains important variable settings, such as the location of the binaries such as dot, etc., which will be necessary if you decide to use any of these binaries or want to change the location of the temporary directory.

    Some of the tests for the configuration verifier require knowledge of which ASes are peers. If you care about running those tests, you should create a file in the perl/conf/ directory called peers.txt. The file should include a comma-separated list of peers. The distribution includes an example.

  3. Database Setup. You will need to create a database. The default database names that ConfigDB.pm looks for areconfig_if (for the BGP constraint verifier), config_isis (for the IS-IS constraint verifier) and config_control_flow (for the configuration browser). The easiest way to do this is to fire up mysql (or equivalent) and type create database config_if (or or config_control_flow).

    (If you must change the default database name, this can be done in ConfigDB.pm.)

  4. Database Schema Setup. Now it's time to set up the database tables. The distribution includes the database schema in the db-schema/ subdirectory. The easiest way to do this is to type the following: at the shell prompt.

  5. Web interface setup (configuration browser only). flowgraph.cgi is an interface to the database that shows some (hopefully) interesting things about the control graph. flowgraph.cgi is a CGI script. Therefore, it must be placed at some location on the Web server where executing CGI scripts is allowed. You must also indicate the location where the verifier libs are located. (i.e., modify the push(@INC, "/home/feamster/bgp/src/rolex/perl/lib"); line to point to the appropriate place, and make sure that the libs are world-readable.)

    If you had to move flowgraph.cgi to a cgi-bin directory, you should also make sure that you either (1) moved ConfigWeb.pm to the same directory or (2) added a push(@INC, dir) statement to the code to point to the directory where ConfigWeb.pm is located.

It should now be possible to run the verifier scripts. If you encounter problems, please contact us.


Usage

The verifier scripts are located in the perl/src/ directory. The scripts for each part of the verifier are located in subdirectories. This section of the manual describes how to run those scripts, and, in the case of the control-flow analyzer, how to use the Web interface.

Constraint Verifier

The scripts for the constraint verifier are located in the perl/src/queries/ subdirectory. Running the constraint verifier involves two steps:
  1. Parsing Cisco and Juniper configs into an intermediate format.

    This is done with the script gen_intermediate.pl in the src/config-convert subdirectory. Important options for this script:

  2. Running the constraint checks.

    This is done by executing a perl script, such as the example we have included in src/queries/scripts/test_all.pl (you should run this script from the scripts directory).

    More info:Each test is a class method; constraints are grouped by classes, so it's easy to write a script that runs any subset of tests in test_all.pl.

Configuration Browser

The scripts for the pattern-based verifier are located in the perl/src/control/ subdirectory.

The control flow analyzer consists of:


Development

Coming soon: Instructions for how to write new rules for the configuration verifier (i.e., writing new perl modules).