FABRID base version

.github/workflows/gobra.yml

@@ -33,7 +33,7 @@ jobs:
  caching: '1'
  statsFile: ${{ env.statsFile }}
  - name: Upload the verification report
- uses: actions/upload-artifact@v2
+ uses: actions/upload-artifact@v4
  with:
  name: verification_stats.json
  path: ${{ env.statsFile }}

acceptance/router_benchmark/conf/topology.json

@@ -5,6 +5,11 @@
  "isd_as": "1-ff00:0:1",
  "mtu": 1400,
  "dispatched_ports": "1024-65535",
+ "control_service": {
+ "cs1": {
+ "addr": "10.123.10.3:30252"
+ }
+ },
  "border_routers": {
  "br1a": {
  "internal_addr": "10.123.10.1:30042",

antlr/BUILD.bazel

@@ -13,3 +13,10 @@ antlr(
  language = "Go",
  package = "sequence",
 )
+
+antlr(
+ name = "pathpolicyconstraints",
+ srcs = ["PathPolicyConstraints.g4"],
+ language = "Go",
+ package = "pathpolicyconstraints",
+)

antlr/PathPolicyConstraints.g4

@@ -0,0 +1,72 @@
+
+grammar PathPolicyConstraints;
+
+fragment HEXA: [1-9a-fA-F][0-9a-fA-F]* | '0';
+
+WHITESPACE: [ \t\r\n]+ -> skip;
+ZERO: '0';
+NUM: [1-9][0-9]*;
+WILDCARDAS: '-' '0';
+LEGACYAS: '-' NUM;
+AS: '-' HEXA '_' HEXA '_' HEXA;
+HASH: '#';
+
+QUESTIONMARK: '?';
+ELSE: ':';
+
+PLUS: '+';
+LPAR: '(';
+RPAR: ')';
+LBRACE: '{';
+RBRACE: '}';
+
+MONKEYTAIL: '@';
+GLOBALPOLICY: 'G';
+LOCALPOLICY: 'L';
+REJECT: 'REJECT';
+
+start
+ : expression
+ ;
+
+query
+ : LBRACE expression QUESTIONMARK expression ELSE expression RBRACE #IfElse
+ | LBRACE expression QUESTIONMARK expression RBRACE #If
+ ;
+
+expression
+ : LPAR expression RPAR # Parens
+ | left=expression PLUS right=expression #ExpressionConcat
+ | identifier # ExpressionIdentifier
+ | query #ExpressionQuery
+ ;
+
+identifier: isd as HASH iface ',' iface MONKEYTAIL onepolicy;
+
+isd
+ : ZERO # WildcardISD
+ | NUM # ISD
+ ;
+
+as
+ : WILDCARDAS # WildcardAS
+ | LEGACYAS # LegacyAS
+ | AS # AS
+ ;
+
+iface
+ : ZERO # WildcardIFace
+ | NUM # IFace
+ ;
+
+onepolicy
+ : GLOBALPOLICY policyindex # GlobalPolicy
+ | LOCALPOLICY policyindex # LocalPolicy
+ | ZERO # WildcardPolicy
+ | REJECT # Reject
+ ;
+
+policyindex
+ : NUM # PolicyIndex
+ ;
+

antlr/generate.sh

@@ -23,3 +23,4 @@ function generate {
 
 generate traffic_class
 generate sequence
+generate pathpolicyconstraints

antlr/pathpolicyconstraints/BUILD.bazel

@@ -0,0 +1,30 @@
+load("//tools/lint:go.bzl", "go_library")
+load("//tools/lint:go_config.bzl", "go_lint_config")
+load("@apple_rules_lint//lint:defs.bzl", "package_lint_config")
+
+go_lint_config(
+ name = "go_lint_config",
+ exclude_filter = [
+ "pathpolicyconstraints_parser.go",
+ ],
+ visibility = [
+ "//visibility:public",
+ ],
+)
+
+package_lint_config({
+ "go": ":go_lint_config",
+})
+
+go_library(
+ name = "go_default_library",
+ srcs = [
+ "pathpolicyconstraints_base_listener.go",
+ "pathpolicyconstraints_lexer.go",
+ "pathpolicyconstraints_listener.go",
+ "pathpolicyconstraints_parser.go",
+ ],
+ importpath = "github.com/scionproto/scion/antlr/pathpolicyconstraints",
+ visibility = ["//visibility:public"],
+ deps = ["@com_github_antlr_antlr4_runtime_go_antlr//:go_default_library"],
+)

antlr/pathpolicyconstraints/pathpolicyconstraints_base_listener.go

@@ -0,0 +1,143 @@
+// File generated by ANTLR. DO NOT EDIT.
+
+package pathpolicyconstraints // PathPolicyConstraints
+import "github.com/antlr/antlr4/runtime/Go/antlr"
+
+// BasePathPolicyConstraintsListener is a complete listener for a parse tree produced by PathPolicyConstraintsParser.
+type BasePathPolicyConstraintsListener struct{}
+
+var _ PathPolicyConstraintsListener = &BasePathPolicyConstraintsListener{}
+
+// VisitTerminal is called when a terminal node is visited.
+func (s *BasePathPolicyConstraintsListener) VisitTerminal(node antlr.TerminalNode) {}
+
+// VisitErrorNode is called when an error node is visited.
+func (s *BasePathPolicyConstraintsListener) VisitErrorNode(node antlr.ErrorNode) {}
+
+// EnterEveryRule is called when any rule is entered.
+func (s *BasePathPolicyConstraintsListener) EnterEveryRule(ctx antlr.ParserRuleContext) {}
+
+// ExitEveryRule is called when any rule is exited.
+func (s *BasePathPolicyConstraintsListener) ExitEveryRule(ctx antlr.ParserRuleContext) {}
+
+// EnterStart is called when production start is entered.
+func (s *BasePathPolicyConstraintsListener) EnterStart(ctx *StartContext) {}
+
+// ExitStart is called when production start is exited.
+func (s *BasePathPolicyConstraintsListener) ExitStart(ctx *StartContext) {}
+
+// EnterIfElse is called when production IfElse is entered.
+func (s *BasePathPolicyConstraintsListener) EnterIfElse(ctx *IfElseContext) {}
+
+// ExitIfElse is called when production IfElse is exited.
+func (s *BasePathPolicyConstraintsListener) ExitIfElse(ctx *IfElseContext) {}
+
+// EnterIf is called when production If is entered.
+func (s *BasePathPolicyConstraintsListener) EnterIf(ctx *IfContext) {}
+
+// ExitIf is called when production If is exited.
+func (s *BasePathPolicyConstraintsListener) ExitIf(ctx *IfContext) {}
+
+// EnterParens is called when production Parens is entered.
+func (s *BasePathPolicyConstraintsListener) EnterParens(ctx *ParensContext) {}
+
+// ExitParens is called when production Parens is exited.
+func (s *BasePathPolicyConstraintsListener) ExitParens(ctx *ParensContext) {}
+
+// EnterExpressionIdentifier is called when production ExpressionIdentifier is entered.
+func (s *BasePathPolicyConstraintsListener) EnterExpressionIdentifier(ctx *ExpressionIdentifierContext) {
+}
+
+// ExitExpressionIdentifier is called when production ExpressionIdentifier is exited.
+func (s *BasePathPolicyConstraintsListener) ExitExpressionIdentifier(ctx *ExpressionIdentifierContext) {
+}
+
+// EnterExpressionConcat is called when production ExpressionConcat is entered.
+func (s *BasePathPolicyConstraintsListener) EnterExpressionConcat(ctx *ExpressionConcatContext) {}
+
+// ExitExpressionConcat is called when production ExpressionConcat is exited.
+func (s *BasePathPolicyConstraintsListener) ExitExpressionConcat(ctx *ExpressionConcatContext) {}
+
+// EnterExpressionQuery is called when production ExpressionQuery is entered.
+func (s *BasePathPolicyConstraintsListener) EnterExpressionQuery(ctx *ExpressionQueryContext) {}
+
+// ExitExpressionQuery is called when production ExpressionQuery is exited.
+func (s *BasePathPolicyConstraintsListener) ExitExpressionQuery(ctx *ExpressionQueryContext) {}
+
+// EnterIdentifier is called when production identifier is entered.
+func (s *BasePathPolicyConstraintsListener) EnterIdentifier(ctx *IdentifierContext) {}
+
+// ExitIdentifier is called when production identifier is exited.
+func (s *BasePathPolicyConstraintsListener) ExitIdentifier(ctx *IdentifierContext) {}
+
+// EnterWildcardISD is called when production WildcardISD is entered.
+func (s *BasePathPolicyConstraintsListener) EnterWildcardISD(ctx *WildcardISDContext) {}
+
+// ExitWildcardISD is called when production WildcardISD is exited.
+func (s *BasePathPolicyConstraintsListener) ExitWildcardISD(ctx *WildcardISDContext) {}
+
+// EnterISD is called when production ISD is entered.
+func (s *BasePathPolicyConstraintsListener) EnterISD(ctx *ISDContext) {}
+
+// ExitISD is called when production ISD is exited.
+func (s *BasePathPolicyConstraintsListener) ExitISD(ctx *ISDContext) {}
+
+// EnterWildcardAS is called when production WildcardAS is entered.
+func (s *BasePathPolicyConstraintsListener) EnterWildcardAS(ctx *WildcardASContext) {}
+
+// ExitWildcardAS is called when production WildcardAS is exited.
+func (s *BasePathPolicyConstraintsListener) ExitWildcardAS(ctx *WildcardASContext) {}
+
+// EnterLegacyAS is called when production LegacyAS is entered.
+func (s *BasePathPolicyConstraintsListener) EnterLegacyAS(ctx *LegacyASContext) {}
+
+// ExitLegacyAS is called when production LegacyAS is exited.
+func (s *BasePathPolicyConstraintsListener) ExitLegacyAS(ctx *LegacyASContext) {}
+
+// EnterAS is called when production AS is entered.
+func (s *BasePathPolicyConstraintsListener) EnterAS(ctx *ASContext) {}
+
+// ExitAS is called when production AS is exited.
+func (s *BasePathPolicyConstraintsListener) ExitAS(ctx *ASContext) {}
+
+// EnterWildcardIFace is called when production WildcardIFace is entered.
+func (s *BasePathPolicyConstraintsListener) EnterWildcardIFace(ctx *WildcardIFaceContext) {}
+
+// ExitWildcardIFace is called when production WildcardIFace is exited.
+func (s *BasePathPolicyConstraintsListener) ExitWildcardIFace(ctx *WildcardIFaceContext) {}
+
+// EnterIFace is called when production IFace is entered.
+func (s *BasePathPolicyConstraintsListener) EnterIFace(ctx *IFaceContext) {}
+
+// ExitIFace is called when production IFace is exited.
+func (s *BasePathPolicyConstraintsListener) ExitIFace(ctx *IFaceContext) {}
+
+// EnterGlobalPolicy is called when production GlobalPolicy is entered.
+func (s *BasePathPolicyConstraintsListener) EnterGlobalPolicy(ctx *GlobalPolicyContext) {}
+
+// ExitGlobalPolicy is called when production GlobalPolicy is exited.
+func (s *BasePathPolicyConstraintsListener) ExitGlobalPolicy(ctx *GlobalPolicyContext) {}
+
+// EnterLocalPolicy is called when production LocalPolicy is entered.
+func (s *BasePathPolicyConstraintsListener) EnterLocalPolicy(ctx *LocalPolicyContext) {}
+
+// ExitLocalPolicy is called when production LocalPolicy is exited.
+func (s *BasePathPolicyConstraintsListener) ExitLocalPolicy(ctx *LocalPolicyContext) {}
+
+// EnterWildcardPolicy is called when production WildcardPolicy is entered.
+func (s *BasePathPolicyConstraintsListener) EnterWildcardPolicy(ctx *WildcardPolicyContext) {}
+
+// ExitWildcardPolicy is called when production WildcardPolicy is exited.
+func (s *BasePathPolicyConstraintsListener) ExitWildcardPolicy(ctx *WildcardPolicyContext) {}
+
+// EnterReject is called when production Reject is entered.
+func (s *BasePathPolicyConstraintsListener) EnterReject(ctx *RejectContext) {}
+
+// ExitReject is called when production Reject is exited.
+func (s *BasePathPolicyConstraintsListener) ExitReject(ctx *RejectContext) {}
+
+// EnterPolicyIndex is called when production PolicyIndex is entered.
+func (s *BasePathPolicyConstraintsListener) EnterPolicyIndex(ctx *PolicyIndexContext) {}
+
+// ExitPolicyIndex is called when production PolicyIndex is exited.
+func (s *BasePathPolicyConstraintsListener) ExitPolicyIndex(ctx *PolicyIndexContext) {}