This folder contains the Prolog code to perform the verification of Action 4 (Global Information).
Makefile
: Instructions on how to compile the program.main.pl
: Main program to manage input and output messages.rir.pl
: Module to parse RPSLng fields in RIR DB.bgp.pl
: Module to parse BGP table from a RouteCollector.check.pl
: Module to find matching transit declarations.
- Download and install Prolog.
- Download a RIB dump from a RouteCollector (an example here).
- Get
ubgpsuite
where the toolbgpgrep
belongs to. - Choose the AS number to analyse (e.g.,
AS59715
), then extract the AS from the RIB. An example of the command is:
./bgpgrep ./rib.20231031.2200.bz2 -aspath "59715$" > 59715.bgp
- Extract the
aut-num
object, for the chosen AS, from an IRR. An example command is:
whois AS59715|iconv -f ISO-8859-1 -t UTF8-MAC|sed -n -e '/aut-num:/,/source: RIPE/ p' > 59715.rir
- Build the project:
make
- Run the verification, for example:
./verify --bgp=59715.bgp --rir=59715.rir