From 4b880f904f1ebb490fae2dd784917573f7acd1dc Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Wed, 28 Oct 2020 15:19:47 +0100 Subject: [PATCH] Further updating year attribution and links. --- README.md | 2 +- src/arachne.c | 2 +- src/arachne.h | 2 +- src/binding.c | 2 +- src/binding.h | 2 +- src/bool.h | 2 +- src/claim.c | 2 +- src/claim.h | 2 +- src/color.c | 2 +- src/color.h | 2 +- src/compiler.c | 2 +- src/compiler.h | 2 +- src/cost.c | 2 +- src/cost.h | 2 +- src/debug.c | 2 +- src/debug.h | 2 +- src/depend.c | 2 +- src/depend.h | 2 +- src/describe-version.py | 2 +- src/dotout.c | 2 +- src/dotout.h | 2 +- src/error.c | 2 +- src/error.h | 2 +- src/heuristic.c | 2 +- src/heuristic.h | 2 +- src/hidelevel.c | 2 +- src/hidelevel.h | 2 +- src/intruderknowledge.c | 2 +- src/intruderknowledge.h | 2 +- src/knowledge.c | 2 +- src/knowledge.h | 2 +- src/label.c | 2 +- src/label.h | 2 +- src/list.c | 2 +- src/list.h | 2 +- src/main.c | 2 +- src/mgu.c | 2 +- src/mgu.h | 2 +- src/mymalloc.h | 2 +- src/parser.y | 2 +- src/pheading.h | 2 +- src/prune_bounds.c | 2 +- src/prune_bounds.h | 2 +- src/prune_theorems.c | 2 +- src/prune_theorems.h | 2 +- src/regression-tests/regression-test.py | 2 +- src/role.c | 2 +- src/role.h | 2 +- src/scanner.l | 2 +- src/specialterm.c | 2 +- src/specialterm.h | 2 +- src/states.c | 2 +- src/states.h | 2 +- src/switches.c | 8 ++++---- src/switches.h | 2 +- src/symbol.c | 2 +- src/symbol.h | 2 +- src/system.c | 2 +- src/system.h | 2 +- src/tac.c | 2 +- src/tac.h | 2 +- src/tempfile.c | 2 +- src/tempfile.h | 2 +- src/term.c | 2 +- src/term.h | 2 +- src/termlist.c | 2 +- src/termlist.h | 2 +- src/termmap.c | 2 +- src/termmap.h | 2 +- src/timer.c | 2 +- src/timer.h | 2 +- src/type.c | 2 +- src/type.h | 2 +- src/warshall.c | 2 +- src/warshall.h | 2 +- src/xmlout.c | 2 +- src/xmlout.h | 2 +- testing/ffgg_n/ffgg_n.py | 2 +- 78 files changed, 81 insertions(+), 81 deletions(-) diff --git a/README.md b/README.md index c8e0781..2c28eb6 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ tool for security protocol analysis. Its intended audience are interested users and future developers of the Scyther tool, as well as protocol modelers. For installation and usage instructions of the Scyther tool see: -. +. Installing from source ---------------------- diff --git a/src/arachne.c b/src/arachne.c index ce0898e..bca476e 100644 --- a/src/arachne.c +++ b/src/arachne.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/arachne.h b/src/arachne.h index feafb11..4f9a6bd 100644 --- a/src/arachne.h +++ b/src/arachne.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/binding.c b/src/binding.c index cbe5294..bf8056d 100644 --- a/src/binding.c +++ b/src/binding.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/binding.h b/src/binding.h index 6cca4c8..3218fd9 100644 --- a/src/binding.h +++ b/src/binding.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/bool.h b/src/bool.h index 8a3ed5b..c2b8a56 100644 --- a/src/bool.h +++ b/src/bool.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/claim.c b/src/claim.c index 97604b2..f445bc4 100644 --- a/src/claim.c +++ b/src/claim.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/claim.h b/src/claim.h index f22f9fc..b73de32 100644 --- a/src/claim.h +++ b/src/claim.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/color.c b/src/color.c index 30a736c..554f44d 100644 --- a/src/color.c +++ b/src/color.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/color.h b/src/color.h index f48a02a..64e890c 100644 --- a/src/color.h +++ b/src/color.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/compiler.c b/src/compiler.c index a74bc4c..cae46a3 100644 --- a/src/compiler.c +++ b/src/compiler.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/compiler.h b/src/compiler.h index 39a801d..fed2555 100644 --- a/src/compiler.h +++ b/src/compiler.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/cost.c b/src/cost.c index 12cff12..67152e8 100644 --- a/src/cost.c +++ b/src/cost.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/cost.h b/src/cost.h index a4d11df..40f5e5b 100644 --- a/src/cost.h +++ b/src/cost.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/debug.c b/src/debug.c index b8f3320..763753b 100644 --- a/src/debug.c +++ b/src/debug.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/debug.h b/src/debug.h index e526406..a873e74 100644 --- a/src/debug.h +++ b/src/debug.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/depend.c b/src/depend.c index 5680963..a64f6de 100644 --- a/src/depend.c +++ b/src/depend.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/depend.h b/src/depend.h index a4fbaef..cf8e71b 100644 --- a/src/depend.h +++ b/src/depend.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/describe-version.py b/src/describe-version.py index e53eb7d..3073890 100755 --- a/src/describe-version.py +++ b/src/describe-version.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/src/dotout.c b/src/dotout.c index 5259fea..d7c98bf 100644 --- a/src/dotout.c +++ b/src/dotout.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/dotout.h b/src/dotout.h index 3c19263..37deb57 100644 --- a/src/dotout.h +++ b/src/dotout.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/error.c b/src/error.c index 041feee..6b524da 100644 --- a/src/error.c +++ b/src/error.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/error.h b/src/error.h index 1bac926..70e9162 100644 --- a/src/error.h +++ b/src/error.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/heuristic.c b/src/heuristic.c index f00b5c7..7640c87 100644 --- a/src/heuristic.c +++ b/src/heuristic.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/heuristic.h b/src/heuristic.h index 9537764..a5982c9 100644 --- a/src/heuristic.h +++ b/src/heuristic.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/hidelevel.c b/src/hidelevel.c index f572701..17a6cc1 100644 --- a/src/hidelevel.c +++ b/src/hidelevel.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/hidelevel.h b/src/hidelevel.h index 2b3f6b9..1f0bbe4 100644 --- a/src/hidelevel.h +++ b/src/hidelevel.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/intruderknowledge.c b/src/intruderknowledge.c index 1b7278d..7c609f7 100644 --- a/src/intruderknowledge.c +++ b/src/intruderknowledge.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/intruderknowledge.h b/src/intruderknowledge.h index 27f5e21..ecc2a9a 100644 --- a/src/intruderknowledge.h +++ b/src/intruderknowledge.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/knowledge.c b/src/knowledge.c index 300d61f..6903491 100644 --- a/src/knowledge.c +++ b/src/knowledge.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/knowledge.h b/src/knowledge.h index c02fcbc..953cb94 100644 --- a/src/knowledge.h +++ b/src/knowledge.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/label.c b/src/label.c index 7adcc2e..f9a1b18 100644 --- a/src/label.c +++ b/src/label.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/label.h b/src/label.h index de408ed..021ee3f 100644 --- a/src/label.h +++ b/src/label.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/list.c b/src/list.c index 44754cf..d12fa6c 100644 --- a/src/list.c +++ b/src/list.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/list.h b/src/list.h index 1d94a46..fcd9a99 100644 --- a/src/list.h +++ b/src/list.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/main.c b/src/main.c index b97d73c..f7a8846 100644 --- a/src/main.c +++ b/src/main.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/mgu.c b/src/mgu.c index 463b027..f11a59a 100644 --- a/src/mgu.c +++ b/src/mgu.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/mgu.h b/src/mgu.h index 4ca2f2c..7af41f2 100644 --- a/src/mgu.h +++ b/src/mgu.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/mymalloc.h b/src/mymalloc.h index 8f928f7..6cd55ff 100644 --- a/src/mymalloc.h +++ b/src/mymalloc.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/parser.y b/src/parser.y index 93e6ccb..3dd0716 100644 --- a/src/parser.y +++ b/src/parser.y @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/pheading.h b/src/pheading.h index e20070c..6a4c641 100644 --- a/src/pheading.h +++ b/src/pheading.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/prune_bounds.c b/src/prune_bounds.c index 4af4444..45bcfaa 100644 --- a/src/prune_bounds.c +++ b/src/prune_bounds.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/prune_bounds.h b/src/prune_bounds.h index 630a958..7493126 100644 --- a/src/prune_bounds.h +++ b/src/prune_bounds.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/prune_theorems.c b/src/prune_theorems.c index 54852d8..c20e5cd 100644 --- a/src/prune_theorems.c +++ b/src/prune_theorems.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/prune_theorems.h b/src/prune_theorems.h index 9859940..5db14b2 100644 --- a/src/prune_theorems.h +++ b/src/prune_theorems.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/regression-tests/regression-test.py b/src/regression-tests/regression-test.py index b945bd4..133281f 100755 --- a/src/regression-tests/regression-test.py +++ b/src/regression-tests/regression-test.py @@ -1,7 +1,7 @@ #!/usr/bin/env python3 """ Scyther : An automatic verifier for security protocols. -Copyright (C) 2007-2013 Cas Cremers +Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/src/role.c b/src/role.c index 33e8347..99d0d10 100644 --- a/src/role.c +++ b/src/role.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/role.h b/src/role.h index 5669c51..03a4afa 100644 --- a/src/role.h +++ b/src/role.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/scanner.l b/src/scanner.l index e72d2b2..18c8edc 100644 --- a/src/scanner.l +++ b/src/scanner.l @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/specialterm.c b/src/specialterm.c index fdf8e3d..b712f5d 100644 --- a/src/specialterm.c +++ b/src/specialterm.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/specialterm.h b/src/specialterm.h index 07055bf..a5cc111 100644 --- a/src/specialterm.h +++ b/src/specialterm.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/states.c b/src/states.c index 6e06999..02863e7 100644 --- a/src/states.c +++ b/src/states.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/states.h b/src/states.h index 974f7f3..5902f99 100644 --- a/src/states.h +++ b/src/states.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/switches.c b/src/switches.c index 0e04e8f..e01042b 100644 --- a/src/switches.c +++ b/src/switches.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -1476,7 +1476,7 @@ switcher (const int process, int index, int commandline) printf ("Compiled with debugging support.\n"); #endif } - printf ("Copyright (C) 2007-2013 Cas Cremers\n\n"); + printf ("Copyright (C) 2007-2020 Cas Cremers\n\n"); printf ("Scyther comes with ABSOLUTELY NO WARRANTY.\n"); printf ("This is free software, and you are welcome\n"); printf ("to redistribute it under certain conditions.\n"); @@ -1497,7 +1497,7 @@ switcher (const int process, int index, int commandline) { printf ("Scyther : An automatic verifier for security protocols.\n"); - printf ("Copyright (C) 2007-2013 Cas Cremers\n"); + printf ("Copyright (C) 2007-2020 Cas Cremers\n"); printf ("\n"); printf ("This program is free software; you can redistribute it and/or\n"); @@ -1856,7 +1856,7 @@ process_switches (int commandline) printf ("Try '%s --help' for more information, or visit:\n", progname); printf - (" http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html\n"); + (" https://people.cispa.io/cas.cremers/scyther/\n"); exit (0); } else diff --git a/src/switches.h b/src/switches.h index 6d450eb..345d08c 100644 --- a/src/switches.h +++ b/src/switches.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/symbol.c b/src/symbol.c index d8a7b7b..946a0cc 100644 --- a/src/symbol.c +++ b/src/symbol.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/symbol.h b/src/symbol.h index 4f18bb2..d27591d 100644 --- a/src/symbol.h +++ b/src/symbol.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/system.c b/src/system.c index 0d7b68b..cd88f1f 100644 --- a/src/system.c +++ b/src/system.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/system.h b/src/system.h index 4a6f708..2e3099f 100644 --- a/src/system.h +++ b/src/system.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/tac.c b/src/tac.c index 3552b68..f55d79e 100644 --- a/src/tac.c +++ b/src/tac.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/tac.h b/src/tac.h index 2e0222a..fb9e2f7 100644 --- a/src/tac.h +++ b/src/tac.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/tempfile.c b/src/tempfile.c index 98808a6..1dea3be 100644 --- a/src/tempfile.c +++ b/src/tempfile.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/tempfile.h b/src/tempfile.h index c3daef6..5fbad6c 100644 --- a/src/tempfile.h +++ b/src/tempfile.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/term.c b/src/term.c index 6bdd1b6..dabd878 100644 --- a/src/term.c +++ b/src/term.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/term.h b/src/term.h index 4f17ca7..cc97bcb 100644 --- a/src/term.h +++ b/src/term.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/termlist.c b/src/termlist.c index 36db8ee..3d83710 100644 --- a/src/termlist.c +++ b/src/termlist.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/termlist.h b/src/termlist.h index ab4335b..f7f6894 100644 --- a/src/termlist.h +++ b/src/termlist.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/termmap.c b/src/termmap.c index 9a83e08..0e01262 100644 --- a/src/termmap.c +++ b/src/termmap.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/termmap.h b/src/termmap.h index 89fce47..1ee5511 100644 --- a/src/termmap.h +++ b/src/termmap.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/timer.c b/src/timer.c index 1c9d94a..f8efc10 100644 --- a/src/timer.c +++ b/src/timer.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/timer.h b/src/timer.h index 931266a..8452791 100644 --- a/src/timer.h +++ b/src/timer.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/type.c b/src/type.c index 17d2840..9043765 100644 --- a/src/type.c +++ b/src/type.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/type.h b/src/type.h index c145b4d..2aecc8a 100644 --- a/src/type.h +++ b/src/type.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/warshall.c b/src/warshall.c index 25c354a..eed9c95 100644 --- a/src/warshall.c +++ b/src/warshall.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/warshall.h b/src/warshall.h index bfc9a66..dd0ec5a 100644 --- a/src/warshall.h +++ b/src/warshall.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/xmlout.c b/src/xmlout.c index 6b01062..4a88c9f 100644 --- a/src/xmlout.c +++ b/src/xmlout.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/xmlout.h b/src/xmlout.h index 3f74700..1a08f74 100644 --- a/src/xmlout.h +++ b/src/xmlout.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2013 Cas Cremers + * Copyright (C) 2007-2020 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/testing/ffgg_n/ffgg_n.py b/testing/ffgg_n/ffgg_n.py index bb6d964..b6ca7f4 100755 --- a/testing/ffgg_n/ffgg_n.py +++ b/testing/ffgg_n/ffgg_n.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2013 Cas Cremers + Copyright (C) 2007-2020 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License