Merge pull request #39 from ElNiak/development-formal-attacks

Development formal attacks
ElNiak · Jun 5, 2024 · ff43d30 · ff43d30
2 parents 756cf25 + fe0d595
commit ff43d30
Show file tree

Hide file tree

Showing 207 changed files with 943 additions and 1,380,876 deletions.
diff --git a/.github/workflows/pre-commit.yml b/.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]
diff --git a/.gitignore b/.gitignore
@@ -14,4 +14,6 @@ panther.egg-info/
 site/
 docs/
 docs_assets/
-**/build/*
+**/build/*
+
+.VSCodeCounter/
diff --git a/.pre-commit-config.yaml b/.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"]
diff --git a/INSTALL.md b/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:

diff --git a/panther/docker-compose.yml.bak b/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:

diff --git a/panther/install_config.ini b/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")
diff --git a/panther/logs/compose_2024-06-02 b/panther/logs/compose_2024-06-02
diff --git a/panther/logs/compose_2024-06-02 11:35:50.338719.log b/panther/logs/compose_2024-06-02 11:35:50.338719.log
diff --git a/panther/logs/compose_2024-06-02 11:36:33.025625.log b/panther/logs/compose_2024-06-02 11:36:33.025625.log
diff --git a/panther/logs/compose_2024-06-02 12:06:25.466312.log b/panther/logs/compose_2024-06-02 12:06:25.466312.log
diff --git a/panther/logs/compose_2024-06-02 12:14:14.005114.log b/panther/logs/compose_2024-06-02 12:14:14.005114.log
diff --git a/panther/logs/compose_2024-06-02 12:26:49.180693.log b/panther/logs/compose_2024-06-02 12:26:49.180693.log
diff --git a/panther/logs/compose_2024-06-02 12:33:30.610217.log b/panther/logs/compose_2024-06-02 12:33:30.610217.log
diff --git a/panther/logs/compose_2024-06-02 12:46:04.890875.log b/panther/logs/compose_2024-06-02 12:46:04.890875.log
diff --git a/panther/logs/compose_2024-06-02 12:47:49.940277.log b/panther/logs/compose_2024-06-02 12:47:49.940277.log
diff --git a/panther/logs/compose_2024-06-02 12:48:23.978535.log b/panther/logs/compose_2024-06-02 12:48:23.978535.log
diff --git a/panther/logs/compose_2024-06-02 12:52:19.856653.log b/panther/logs/compose_2024-06-02 12:52:19.856653.log
diff --git a/panther/logs/compose_2024-06-02 12:54:58.627906.log b/panther/logs/compose_2024-06-02 12:54:58.627906.log
diff --git a/panther/logs/compose_2024-06-02 12:56:19.560375.log b/panther/logs/compose_2024-06-02 12:56:19.560375.log
diff --git a/panther/logs/compose_2024-06-02 12:59:55.050642.log b/panther/logs/compose_2024-06-02 12:59:55.050642.log
diff --git a/panther/logs/compose_2024-06-02 14:35:17.050173.log b/panther/logs/compose_2024-06-02 14:35:17.050173.log
diff --git a/panther/logs/compose_2024-06-02 15:37:51.175045.log b/panther/logs/compose_2024-06-02 15:37:51.175045.log
diff --git a/panther/logs/compose_2024-06-02 18:14:18.437053.log b/panther/logs/compose_2024-06-02 18:14:18.437053.log
diff --git a/panther/logs/compose_2024-06-02 22:29:32.012590.log b/panther/logs/compose_2024-06-02 22:29:32.012590.log
diff --git a/panther/logs/compose_2024-06-02 22:51:49.470675.log b/panther/logs/compose_2024-06-02 22:51:49.470675.log
diff --git a/panther/logs/compose_2024-06-03 07:49:15.896805.log b/panther/logs/compose_2024-06-03 07:49:15.896805.log
diff --git a/panther/logs/compose_2024-06-03 07:56:35.309623.log b/panther/logs/compose_2024-06-03 07:56:35.309623.log
diff --git a/panther/logs/compose_2024-06-03 07:57:50.401010.log b/panther/logs/compose_2024-06-03 07:57:50.401010.log
diff --git a/panther/logs/compose_2024-06-03 08:03:21.073997.log b/panther/logs/compose_2024-06-03 08:03:21.073997.log
diff --git a/panther/logs/compose_2024-06-03 08:04:37.671089.log b/panther/logs/compose_2024-06-03 08:04:37.671089.log
diff --git a/panther/logs/compose_2024-06-03 08:04:56.229326.log b/panther/logs/compose_2024-06-03 08:04:56.229326.log
diff --git a/panther/logs/compose_2024-06-03 08:05:20.750491.log b/panther/logs/compose_2024-06-03 08:05:20.750491.log
diff --git a/panther/logs/compose_2024-06-03 08:05:41.529027.log b/panther/logs/compose_2024-06-03 08:05:41.529027.log
diff --git a/panther/logs/compose_2024-06-03 08:06:08.817201.log b/panther/logs/compose_2024-06-03 08:06:08.817201.log
diff --git a/panther/logs/compose_2024-06-03 08:06:26.485342.log b/panther/logs/compose_2024-06-03 08:06:26.485342.log
diff --git a/panther/logs/panther_docker_2024-06-02 08:05:39.585134.log b/panther/logs/panther_docker_2024-06-02 08:05:39.585134.log
diff --git a/panther/logs/panther_docker_2024-06-02 08:05:51.486381.log b/panther/logs/panther_docker_2024-06-02 08:05:51.486381.log