Development formal attacks

.github/workflows/pre-commit.yml

@@ -0,0 +1,14 @@
+name: pre-commit
+
+on:
+  pull_request:
+  push:
+    branches: [production]
+
+jobs:
+  pre-commit:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - uses: actions/setup-python@v3
+    - uses: pre-commit/[email protected]

.gitignore

@@ -14,4 +14,6 @@ panther.egg-info/
 site/
 docs/
 docs_assets/
-**/build/*
+**/build/*
+
+.VSCodeCounter/

.pre-commit-config.yaml

@@ -0,0 +1,22 @@
+# See https://pre-commit.com for more information
+# See https://pre-commit.com/hooks.html for more hooks
+repos:
+-   repo: https://github.com/psf/black
+    rev: 22.10.0
+    hooks:
+    -   id: black
+        language_version: python3
+        skip-string-normalization: true
+-   repo: https://github.com/pre-commit/pre-commit-hooks
+    rev: v3.2.0
+    hooks:
+    -   id: trailing-whitespace
+    # -   id: end-of-file-fixer
+    -   id: check-yaml
+    -   id: check-added-large-files
+    -   id: check-ast
+    -   id: check-json
+    -   id: check-merge-conflict
+    -   id: check-toml
+    -   id: pretty-format-json
+        args: ["--autofix", "--no-sort-keys"]

INSTALL.md

@@ -1,7 +1,11 @@
-# :wrench: Installation 
+# :wrench: Installation
 
 Note, before implementation were added as submodule. Now we only consider Docker containers installation. (To be updated)
 
+```
+python3 -m pip install pre-commit
+pre-commit installed at .git/hooks/pre-commit
+```
 
 
 ## :computer: Local Installation (Not Recommended)
@@ -12,7 +16,7 @@ See Dockerfile for dependencies and commands
 
 
 
-## :whale: Single implementation 
+## :whale: Single implementation
 
 
 
@@ -22,13 +26,13 @@ IMPLEM="picoquic" make build-docker
 ```
 
 
-## :whale: WebApp (Recommended) 
+## :whale: WebApp (Recommended)
 
 ```bash
-# For first installation 
+# For first installation
 make install
 
-# For modification: 
+# For modification:
 # For major update in ivy:
 make build-docker-compose-full
 # For a minor update in some implementation:

panther/docker-compose.yml.bak

@@ -73,6 +73,8 @@ services:
     - MPLBACKEND="Agg"
     - COLUMNS=100
     - LINES=100
+    - PYTHONUNBUFFERED=1
+    - PYTHONPATH=${PYTHONPATH}:/app/implementations/quic-implementations/aioquic/src
     hostname: picoquic-panther
     image: picoquic-panther:latest
     networks:
@@ -116,6 +118,8 @@ services:
     - MPLBACKEND="Agg"
     - COLUMNS=100
     - LINES=100
+    - PYTHONUNBUFFERED=1
+    - PYTHONPATH=${PYTHONPATH}:/app/implementations/quic-implementations/aioquic/src
     hostname: picoquic-shadow-panther
     image: picoquic-shadow-panther:latest
     networks:
@@ -159,6 +163,8 @@ services:
     - MPLBACKEND="Agg"
     - COLUMNS=100
     - LINES=100
+    - PYTHONUNBUFFERED=1
+    - PYTHONPATH=${PYTHONPATH}:/app/implementations/quic-implementations/aioquic/src
     hostname: ping-pong-panther
     image: ping-pong-panther:latest
     networks:

panther/install_config.ini

@@ -2,7 +2,6 @@
 name = PANTHER
 version = 1.0
 
-
 [modules]
 checkout_git = True
 build_webapp = True
@@ -17,7 +16,6 @@ normal_cpu=4
 shadow_mem=2048M
 shadow_cpu=4
 
-
 [implems]
 ; BGP
 bgp_bird = False
@@ -42,7 +40,7 @@ quic_quinn = False
 
 [shadow_support]
 minip_ping_pong = True
-quic_picoquic = True
+quic_picoquic_shadow = True
 
 [directories]
 base_path = panther_worker/panther-ivy/protocol-testing/
@@ -73,4 +71,4 @@ quic_picoquic_vuln = ("picoquic-shadow", "${quic_path}picoquic", "Dockerfile.pic
 quic_quant = ("quant", "${quic_path}quant", "Dockerfile.quant")
 quic_quic_go = ("quic-go", "${quic_path}quic-go", "Dockerfile.quic-go")
 quic_quiche = ("quiche", "${quic_path}quiche", "Dockerfile.quiche")
-quic_quinn = ("quinn", "${quic_path}quinn", "Dockerfile.quinn")
+quic_quinn = ("quinn", "${quic_path}quinn", "Dockerfile.quinn")