fm-weck 1.4.0__py3-none-any.whl → 1.4.2__py3-none-any.whl

fm_weck/resources/fm_tools/fizzer.yml

@@ -17,6 +17,21 @@ maintainers:
     url: null
 
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.14192915
+    benchexec_toolinfo_options: [
+      "--max_seconds", "865",
+      "--optimizer_max_seconds", "30",
+      "--max_exec_milliseconds", "500",
+      "--max_exec_megabytes", "13312",
+      "--max_stdin_bytes", "65536",
+      "--max_trace_length", "10000",
+      "--max_stack_size", "25",
+      "--stdin_model", "stdin_replay_bytes_then_repeat_zero",
+      "--test_type", "testcomp"
+      ]
+    required_ubuntu_packages:
+      - g++-multilib
   - version: "testcomp24"
     doi: 10.5281/zenodo.10183158
     benchexec_toolinfo_options: [
@@ -30,6 +45,15 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      orcid: 0009-0009-6122-9574
+      name: Marek Trtík
+      institution: Masaryk University, Brno
+      country: Czechia
+      url: null
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"

fm_weck/resources/fm_tools/frama-c-sv.yml

@@ -23,6 +23,8 @@ versions:
     required_ubuntu_packages:
       - python3-pycparser
       - python3-pandas
+    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/frama-c-sv.zip"
     benchexec_toolinfo_options: ["--reach-as-overflow", "--allow-unsafe"]
@@ -31,6 +33,15 @@ versions:
       - python3-pandas
 
 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"

fm_weck/resources/fm_tools/fshell-witness2test.yml

@@ -25,8 +25,18 @@ versions:
       - libc6-dev-i386
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation Witnesses 1.0"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Validation of Violation Witnesses 1.0"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours

fm_weck/resources/fm_tools/fusebmc-ia.yml

@@ -31,6 +31,15 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    hors-concours: true
+    tool_version: "testcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"

fm_weck/resources/fm_tools/fusebmc.yml

@@ -10,12 +10,17 @@ fmtools_entry_maintainers:
   - kaled-alshmrany
 
 maintainers:
-  - name: Kaled Alshmrany
+  - orcid: 0000-0002-5822-5435
+    name: Kaled Alshmrany
     institution: University of Manchester / Institute of Public Administration
     country: UK / Saudi Arabia
     url: https://research.manchester.ac.uk/en/persons/kaled.alshmrany
 
 versions:
+  - version: "testcomp25"
+    doi: "10.5281/zenodo.13983351"
+    benchexec_toolinfo_options: ["-s", "incr"]
+    required_ubuntu_packages: []
   - version: "testcomp24"
     doi: "10.5281/zenodo.10113374"
     benchexec_toolinfo_options: ["-s", "incr"]
@@ -26,6 +31,14 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      name: Kaled Alshmrany
+      institution: University of Manchester / Institute of Public Administration
+      country: UK / Saudi Arabia
+      url: https://research.manchester.ac.uk/en/persons/kaled.alshmrany
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
@@ -51,3 +64,8 @@ techniques:
   - Portfolio
 
 frameworks_solvers: []
+
+literature:
+  - doi: "10.1145/3665337"
+    title: "FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis"
+    year: 2024

fm_weck/resources/fm_tools/gazer-theta.yml

@@ -24,10 +24,22 @@ versions:
       - python3
       - openjdk-11-jre-headless
       - libgomp1
+    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
@@ -36,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/gdart-llvm.yml

@@ -24,8 +24,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/gdart.yml

@@ -15,8 +15,19 @@ maintainers:
     institution: TU Dortmund
     country: Germany
     url: https://falkhowar.de
+    orcid: 0000-0002-9524-4459
+  - name: Malte Mues
+    institution: TU Dortmund
+    country: Germany
+    url: https://aqua.cs.tu-dortmund.de/team/researchers/malte-mues/
+    orcid: 0000-0002-6291-9886
 
 versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.10059535"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - openjdk-11-jre-headless
   - version: "svcomp24"
     doi: "10.5281/zenodo.10059535"
     benchexec_toolinfo_options: []
@@ -29,6 +40,14 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      name: Falk Howar
+      institution: TU Dortmund
+      country: Germany
+      url: https://falkhowar.de
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
@@ -54,3 +73,15 @@ techniques:
 frameworks_solvers:
   - CVC
   - Z3
+
+literature:
+  - doi: 10.1007/978-3-030-99527-0_27
+    title: "GDart: an ensemble of tools for dynamic symbolic execution on the Java virtual machine (competition contribution)"
+    year: 2022
+  - doi: 10.1007/978-3-031-17108-6_6
+    title: "SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM"
+    year: 2022
+  - doi: 10.17877/DE290R-23694
+    title: "The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis"
+    year: 2023
+

fm_weck/resources/fm_tools/goblint.yml

@@ -10,16 +10,26 @@ fmtools_entry_maintainers:
   - sim642
 
 maintainers:
-  - name: Simmo Saan
+  - orcid: 0000-0003-4553-1350
+    name: Simmo Saan
     institution: University of Tartu
     country: Estonia
     url: https://sim642.eu/
-  - name: Michael Schwarz
+  - orcid: 0000-0002-9828-0308
+    name: Michael Schwarz
     institution: Technische Universität München
     country: Germany
     url: https://www.cs.cit.tum.de/en/pl/personen/michael-schwarz/
 
 versions:
+  - version: "svcomp25"
+    doi: 10.5281/zenodo.14054652
+    benchexec_toolinfo_options: ["--conf", "conf/svcomp25.json"]
+    required_ubuntu_packages: []
+  - version: "svcomp25-validation-correctness"
+    doi: 10.5281/zenodo.14054652
+    benchexec_toolinfo_options: ["--conf", "conf/svcomp25-validate.json"]
+    required_ubuntu_packages: []
   - version: "svcomp24"
     doi: 10.5281/zenodo.10202867
     benchexec_toolinfo_options: ["--conf", "conf/svcomp24.json"]
@@ -34,10 +44,29 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0003-4553-1350
+      name: Simmo Saan
+      institution: University of Tartu
+      country: Estonia
+      url: https://sim642.eu/
+  - competition: "SV-COMP 2025"
+    track: "Validation of Correctness Witnesses 2.0"
+    tool_version: "svcomp25-validation-correctness"
+    jury_member:
+      orcid: 0000-0003-4553-1350
+      name: Simmo Saan
+      institution: University of Tartu
+      country: Estonia
+      url: https://sim642.eu/
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
     jury_member:
+      orcid: 0000-0003-4553-1350
       name: Simmo Saan
       institution: University of Tartu
       country: Estonia
@@ -46,6 +75,7 @@ competition_participations:
     track: "Validation of Correctness Witnesses 2.0"
     tool_version: "svcomp24-validation-correctness"
     jury_member:
+      orcid: 0000-0003-4553-1350
       name: Simmo Saan
       institution: University of Tartu
       country: Estonia
@@ -54,6 +84,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp23"
     jury_member:
+      orcid: 0000-0003-4553-1350
       name: Simmo Saan
       institution: University of Tartu
       country: Estonia
@@ -66,3 +97,20 @@ techniques:
 
 frameworks_solvers:
   - Apron
+
+literature:
+  - doi: 10.1145/2970276.2970337
+    title: "Static race detection for device drivers: the Goblint approach"
+    year: 2016
+  - doi: 10.1007/978-3-031-57256-2_17
+    title: "Goblint Validator: Correctness Witness Validation by Abstract Interpretation (Competition Contribution)"
+    year: 2024
+  - doi: 10.1007/978-3-031-57256-2_25
+    title: "Goblint: Abstract Interpretation for Memory Safety and Termination (Competition Contribution)"
+    year: 2024
+  - doi: 10.1007/978-3-031-30820-8_34
+    title: "Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution)"
+    year: 2023
+  - doi: 10.1007/978-3-030-72013-1_28
+    title: "Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution)"
+    year: 2021

fm_weck/resources/fm_tools/graves-par.yml

@@ -27,10 +27,22 @@ versions:
       - python3-lxml
       - gcc
       - libc6-dev-i386
+    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
@@ -39,6 +51,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/graves.yml

@@ -23,10 +23,22 @@ versions:
       - openjdk-11-jre-headless
       - llvm-11
       - clang-11
+    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

fm_weck/resources/fm_tools/gwit.yml

@@ -29,6 +29,15 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Validation of Violation 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 Violation Witnesses 1.0"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/hornix.yml

@@ -0,0 +1,55 @@
+name: Hornix
+input_languages:
+  - C
+project_url: https://github.com/d3sformal/hornix
+repository_url: https://github.com/d3sformal/hornix
+spdx_license_identifier: Apache 2.0
+benchexec_toolinfo_module: benchexec.tools.hornix
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - jan.kofron
+
+maintainers:
+  - orcid: "0000-0000-0000-0000"
+    name: Oliver Glitta
+    institution: Charles University
+    country: Czech Republic
+    url: null
+  - orcid: "0000-0001-8140-4098"
+    name: Martin Blicha
+    institution: University of Lugano
+    country: Switzerland
+    url: null
+  - orcid: "0000-0003-0391-4812"
+    name: Jan Kofron
+    institution: Charles University
+    country: Czech Republic
+    url: https://d3s.mff.cuni.cz/people/jankofron/
+
+versions:
+  - version: "svcomp25"
+    doi: "10.5281/zenodo.14198550"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
+
+competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "svcomp25"
+    jury_member:
+      orcid: 0000-0001-8140-4098
+      name: Martin Blicha
+      institution: University of Lugano
+      country: Switzerland
+      url: null
+
+techniques:
+  - Property-Directed Reachability
+
+frameworks_solvers:
+  - Z3
+  
+literature: []
+
+
+

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.14183043
+    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,21 +12,37 @@ 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:
+      - openjdk-8-jdk-headless
   - version: "svcomp24"
     doi: 10.5281/zenodo.10198951
     benchexec_toolinfo_options: ["--graphml-witness", "witness.graphml"]
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - openjdk-8-jdk-headless
   - version: "svcomp23"
     url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/jbmc.zip"
     benchexec_toolinfo_options: []
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - openjdk-8-jdk-headless
 
 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"