fm-weck 1.3.0__py3-none-any.whl → 1.4.1__py3-none-any.whl

fm_weck/resources/fm_tools/hybridtiger.yml

@@ -22,8 +22,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    hors-concours: true
+    tool_version: "testcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "Test-Comp 2024"
     track: "Test Generation"
+    hors-concours: true
     tool_version: "testcomp23"
     jury_member:
       name: Hors Concours
@@ -32,6 +42,7 @@ competition_participations:
       url: null
   - competition: "Test-Comp 2023"
     track: "Test Generation"
+    hors-concours: true
     tool_version: "testcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/infer.yml

@@ -28,8 +28,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp24"
     jury_member:
       name: Hors Concours
@@ -38,6 +48,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/java-ranger.yml

@@ -11,19 +11,34 @@ fmtools_entry_maintainers:
 
 maintainers:
   - name: Soha Hussein
-    institution: University of Minnesota
-    country: USA
-    url: https://www.linkedin.com/in/sohahusse/
+    institution: Ain Shams University
+    country: Egypt
+    url: https://sohah.github.io/
+    orcid: 0000-0002-5071-6811
 
 versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14143727
+    benchexec_toolinfo_options: [ ]
+    required_ubuntu_packages:
+      - openjdk-8-jre-headless
   - version: "svcomp23"
     doi: 10.5281/zenodo.7467038
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      name: Soha Hussein
+      institution: Ain Shams University
+      country: Egypt
+      url: https://sohah.github.io/
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
@@ -45,3 +60,10 @@ techniques:
 
 frameworks_solvers:
   - JPF
+literature:
+  - doi: 10.1007/978-3-030-45237-7_27
+    title: "Java Ranger at SV-COMP 2020 (Competition Contribution)"
+    year: 2020
+  - doi: 10.1145/3368089.3409734
+    title: "Java Ranger: statically summarizing regions for efficient symbolic execution of Java"
+    year: 2020

fm_weck/resources/fm_tools/jayhorn.yml

@@ -21,6 +21,8 @@ versions:
     benchexec_toolinfo_options: ['--graphml-witness', 'witness.graphml']
     required_ubuntu_packages:
       - openjdk-8-jdk-headless
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
   - version: "svcomp23"
     url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/jayhorn.zip"
     benchexec_toolinfo_options: []
@@ -28,6 +30,15 @@ versions:
       - openjdk-8-jdk-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
@@ -38,6 +49,7 @@ competition_participations:
       url: https://ir.linkedin.com/in/hassan-mousavi
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/jbmc.yml

@@ -12,11 +12,15 @@ fmtools_entry_maintainers:
 maintainers:
   - orcid: 0000-0002-5713-1381
     name: Peter Schrammel
-    institution: University of Sussex and Diffblue
+    institution: Diffblue Ltd.
     country: UK
     url: http://www.schrammel.it
 
 versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.13975618
+    benchexec_toolinfo_options: ["--graphml-witness", "witness.graphml"]
+    required_ubuntu_packages: []
   - version: "svcomp24"
     doi: 10.5281/zenodo.10198951
     benchexec_toolinfo_options: ["--graphml-witness", "witness.graphml"]
@@ -27,6 +31,15 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0002-5713-1381
+      name: Peter Schrammel
+      institution: Diffblue Ltd.
+      country: UK
+      url: http://www.schrammel.it
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/jcwit.yml

@@ -21,8 +21,19 @@ versions:
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - python3-networkx
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Correctness Witnesses 1.0"
+    hors-concours: true
+    tool_version: "svcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Validation of Correctness Witnesses 1.0"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/jdart.yml

@@ -24,8 +24,18 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
@@ -34,6 +44,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/klee.yml

@@ -22,8 +22,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    hors-concours: true
+    tool_version: "testcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "Test-Comp 2024"
     track: "Test Generation"
+    hors-concours: true
     tool_version: "testcomp23"
     jury_member:
       name: Hors Concours
@@ -32,6 +42,7 @@ competition_participations:
       url: null
   - competition: "Test-Comp 2023"
     track: "Test Generation"
+    hors-concours: true
     tool_version: "testcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/kleef.yml

@@ -7,21 +7,35 @@ spdx_license_identifier: NCSA
 benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/kleef.py"
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
-  - Columpio
+  - misonijnik
 
 maintainers:
-  - name: Yurii Kostyukov
-    institution: RnD Toolchain Labs, Huawei
-    country: China
-    url: https://toolchain-labs.com
+  - name: Aleksandr Misonizhnik
+    orcid: 0000-0002-5907-0324
+    institution: Independent Researcher
+    country: Neutral
+    url: null
 
 versions:
+  - version: "testcomp25"
+    doi: "10.5281/zenodo.13964451"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
   - version: "testcomp24"
     doi: "10.5281/zenodo.10202734"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      name: Aleksandr Misonizhnik
+      orcid: 0000-0002-5907-0324
+      institution: Independent Researcher
+      country: Neutral
+      url: null
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
@@ -40,3 +54,8 @@ techniques:
   - Guidance by Coverage Measures
 
 frameworks_solvers: []
+
+literature:
+  - doi: 10.1007/978-3-031-57259-3_18
+    title: "KLEEF: Symbolic Execution Engine (Competition Contribution)"
+    year: 2024

fm_weck/resources/fm_tools/korn.yml

@@ -13,9 +13,14 @@ maintainers:
   - name: Gidon Ernst
     institution: LMU Munich
     country: Germany
+    orcid: 0000-0002-3289-5764
     url: https://www.sosy-lab.org/people/ernst/
 
 versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.13987882"
+    benchexec_toolinfo_options: ["-witness", "witness.graphml", "-smt2", "clauses.smt2", "-model", "-write", "-confirm", "-debug", "-random", "20", "-timeout", "60", "-golem:spacer", "-timeout", "60", "-z3", "-timeout", "900", "-eld:portfolio"]
+    required_ubuntu_packages: []
   - version: "svcomp24"
     doi: "10.5281/zenodo.10202058"
     benchexec_toolinfo_options: ["-witness", "witness.graphml", "-smt2", "clauses.smt2", "-model", "-write", "-random", "10", "-timeout", "20", "-golem", "-timeout", "20", "-z3", "-timeout", "900", "-eld:portfolio"]
@@ -26,6 +31,15 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      name: Gidon Ernst
+      institution: LMU Munich
+      country: Germany
+      orcid: 0000-0002-3289-5764
+      url: https://www.sosy-lab.org/people/ernst/
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
@@ -51,3 +65,5 @@ techniques:
 
 frameworks_solvers:
   - Z3
+
+literature: []

fm_weck/resources/fm_tools/lazycseq.yml

@@ -21,10 +21,22 @@ versions:
     benchexec_toolinfo_options: ['--witness', 'error-witness.graphml']
     required_ubuntu_packages:
       - python2
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
@@ -33,6 +45,7 @@ competition_participations:
       url: null
   - competition: "SV-COMP 2023"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/legion-symcc.yml

@@ -22,8 +22,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    hors-concours: true
+    tool_version: "testcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "Test-Comp 2024"
     track: "Test Generation"
+    hors-concours: true
     tool_version: "testcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/legion.yml

@@ -22,8 +22,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    hors-concours: true
+    tool_version: "testcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "Test-Comp 2024"
     track: "Test Generation"
+    hors-concours: true
     tool_version: "testcomp23"
     jury_member:
       name: Hors Concours
@@ -32,6 +42,7 @@ competition_participations:
       url: null
   - competition: "Test-Comp 2023"
     track: "Test Generation"
+    hors-concours: true
     tool_version: "testcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/lf-checker.yml

@@ -23,8 +23,18 @@ versions:
       - clang
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/liv.yml

@@ -7,22 +7,46 @@ spdx_license_identifier: Apache-2.0
 benchexec_toolinfo_module: "benchexec.tools.liv"
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
-  - masp
+  - Marianl
+  - dbeyer
+  - PhilippWendler 
 
 maintainers:
-  - orcid: 0000-0002-9169-9130
-    name: Martin Spiessl
+  - orcid: 0000-0002-8172-3184
+    name: Marian Lingsch-Rosenfeld
     institution: LMU Munich
     country: Germany
-    url: https://www.sosy-lab.org/people/spiessl/
+    url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
 
 versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.14168986"
+    benchexec_toolinfo_options: ['--verifier', 'actors/cbmc.yml', '--verifierversion', 'default', '--cache-dir', 'lib/cvt_cache', '--no-cache-update', '--all-possible-invariant-locations', '--fuzzy-invariant-locations', '1', "--non-strict"]
+    required_ubuntu_packages: []
   - version: "svcomp24"
     doi: "10.5281/zenodo.10202756"
     benchexec_toolinfo_options: ['--verifier', 'actors/cbmc.yml', '--verifierversion', 'default', '--cache-dir', 'lib/cvt_cache', '--no-cache-update', '--all-possible-invariant-locations', '--fuzzy-invariant-locations', '1', "--non-strict"]
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Correctness Witnesses 2.0"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Correctness Witnesses 1.0"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2024"
     track: "Validation of Correctness Witnesses 1.0"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/locksmith.yml

@@ -22,8 +22,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/metaval++.yml

@@ -0,0 +1,49 @@
+name: MetaVal++
+input_languages:
+  - C
+project_url: https://gitlab.com/sosy-lab/software/metavalpp
+repository_url: https://gitlab.com/sosy-lab/software/metavalpp
+spdx_license_identifier: Apache-2.0
+benchexec_toolinfo_module: benchexec.tools.metaval++
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - Marianl
+  - dbeyer
+  - PhilippWendler
+
+maintainers:
+  - orcid: 0000-0002-8172-3184
+    name: Marian Lingsch-Rosenfeld
+    institution: LMU Munich
+    country: Germany
+    url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+
+
+versions:
+  - version: "svcomp25-correctness"
+    doi: 10.5281/zenodo.13986094
+    benchexec_toolinfo_options: ['--backend', 'framac-wp']
+    required_ubuntu_packages: []
+
+competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Correctness Witnesses 2.0"
+    tool_version: "svcomp25-correctness"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+
+techniques:
+  - Task Translation
+
+frameworks_solvers: []
+
+used_actors:
+  - actor_type: "Annotator"
+    description: |
+      Annotates invariants or state guards from software witnesses in the program as assertions or assumptions.
+
+literature: []

fm_weck/resources/fm_tools/metaval.yml

@@ -2,21 +2,31 @@ name: MetaVal
 input_languages:
   - C
 project_url: https://gitlab.com/sosy-lab/software/metaval
-repository_url: https://gitlab.com/sosy-lab/software/cpachecker
+repository_url: https://gitlab.com/sosy-lab/software/metaval
 spdx_license_identifier: Apache-2.0
 benchexec_toolinfo_module: benchexec.tools.metaval
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
-  - masp
+  - Marianl
+  - dbeyer
+  - PhilippWendler 
 
 maintainers:
-  - orcid: 0000-0002-9169-9130
-    name: Martin Spiessl
+  - orcid: 0000-0002-8172-3184
+    name: Marian Lingsch-Rosenfeld
     institution: LMU Munich
     country: Germany
-    url: https://www.sosy-lab.org/people/spiessl/
+    url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
 
 versions:
+  - version: "svcomp25-correctness"
+    doi: 10.5281/zenodo.14007852
+    benchexec_toolinfo_options: ['--metavalWitnessType', 'correctness_witness', '--metavalVerifierBackend', 'cpachecker', '--svcomp24', '--heap', '5000M', '--benchmark', '--timelimit', '900s']
+    required_ubuntu_packages: []
+  - version: "svcomp25-violation"
+    doi: 10.5281/zenodo.14007852
+    benchexec_toolinfo_options: ['--metavalWitnessType', 'violation_witness', '--metavalVerifierBackend', 'cpachecker', '--svcomp24', '--heap', '5000M', '--benchmark', '--timelimit', '90s']
+    required_ubuntu_packages: []
   - version: "svcomp24-correctness"
     doi: 10.5281/zenodo.10137150
     benchexec_toolinfo_options: ['--metavalWitnessType', 'correctness_witness']
@@ -31,6 +41,42 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Correctness Witnesses 1.0"
+    tool_version: "svcomp25-correctness"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Correctness Witnesses 2.0"
+    tool_version: "svcomp25-correctness"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 1.0"
+    tool_version: "svcomp25-violation"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 2.0"
+    tool_version: "svcomp25-violation"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2024"
     track: "Validation of Correctness Witnesses 1.0"
     tool_version: "svcomp24-correctness"

fm_weck/resources/fm_tools/mlb.yml

@@ -10,12 +10,18 @@ fmtools_entry_maintainers:
   - MLB-SE
 
 maintainers:
-  - name: Lei Bu
+  - orcid: 0000-0003-0517-7801
+    name: Lei Bu
     institution: Nanjing University
     country: China
     url: null
 
 versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.10210608"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - openjdk-8-jre-headless
   - version: "svcomp24"
     doi: "10.5281/zenodo.10210608"
     benchexec_toolinfo_options: []
@@ -28,6 +34,15 @@ versions:
       - openjdk-8-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-0517-7801
+      name: Lei Bu
+      institution: Nanjing University
+      country: China
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
@@ -51,3 +66,8 @@ techniques:
   - Portfolio
 
 frameworks_solvers: []
+
+literature:
+  - doi: 10.1007/s00165-021-00538-3
+    title: "Machine learning steered symbolic execution framework for complex software code"
+    year: 2021