Diagnostics from 181 analysis tool

Daniel, (others),

  FYI, here are some interesting results Cengiz and Andy got from running
their analysis tool over the RIPE db.  This kind of analysis could be
included in prcheck, and even in syntax.pl ("Warning:  this policy evaluates
to 'ANY'!")

  Neat stuff!

--Dale


> From cengiz at ISI.EDU Fri Oct 21 19:50:41 1994
> Date: Fri, 21 Oct 1994 16:50:27 -0700
> To: ra-team at ISI.EDU
> Subject: preliminary results from peval
> 
> 
> I have partially tested the partial evaluator.
> Remember the examples which I picked from Ripe database with ambiguous
> use of AND/OR/NOT. 
> Here are the results of partial evaluation on these examples:
> 
> peval NOT AS1729 AS1741 AS1755
> Evaluates to:
> (NOT(1729 ))
> 
> peval NOT \(AS701 AND AS174 AND AS1133 AND AS1800 AND AS2044\)
> Evaluates to:
> ANY
> 
> peval AS690 AS1103 AND NOT \(AS1133 AND AS1800 AND AS286 AND AS1890\)
> Evaluates to:
> ((690 1103 ))
> 
> peval AS2125 NOT \(AS286 AND AS517\)
> Evaluates to:
> ANY
> 
> peval ANY AND NOT \(AS286 AS3 AS8 AS17 AS19 AS22 AS3673\)
> Evaluates to:
> (NOT(3 8 17 19 22 286 3673 ))
> 
> I think one use of this tool should be to partially evaluate and
> return the result back to users when new policies are entered. This
> way they can detect their mistakes.
> 
> Cengiz & Andy
> 
> -- 
> Cengiz Alaettinoglu       Information Sciences Institute
> cengiz at isi.edu            University of Southern California



-------- Logged at  Tue Oct 25 20:27:44 MET 1994  ---------