fm-weck 1.4.5__py3-none-any.whl → 1.4.7__py3-none-any.whl

fm_weck/resources/fm_tools/fizzer.yml

@@ -1,9 +1,14 @@
 id: fizzer
 name: Fizzer
+description: |
+  Fizzer is a gray-box fuzzer focussing on coverage of atomic Boolean
+  expressions (mainly the instructions for number comparison). It uses dynamic
+  taint-flow analysis and local space fuzzing (gradient descent, bit
+  and random mutations performed in local spaces).
 input_languages:
   - C
-project_url: https://github.com/staticafi/sbt-fizzer
-repository_url: https://github.com/staticafi/sbt-fizzer
+project_url: https://github.com/staticafi/fizzer
+repository_url: https://github.com/staticafi/fizzer
 spdx_license_identifier: Zlib
 benchexec_toolinfo_module: "fizzer.py"
 fmtools_format_version: "0.1"
@@ -15,34 +20,17 @@ maintainers:
     name: Marek Trtík
     institution: Masaryk University, Brno
     country: Czechia
-    url: null
+    url:
 
 versions:
   - version: "testcomp25"
     doi: 10.5281/zenodo.14246517
-    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"
-      ]
+    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: [
-      "--max_seconds", "865",
-      "--optimizer_max_seconds", "30",
-      "--max_exec_milliseconds", "500",
-      "--max_stdin_bytes", "65536",
-      "--stdin_model", "stdin_replay_bytes_then_repeat_zero",
-      "--test_type", "testcomp"
-      ]
+    benchexec_toolinfo_options: ["--max_seconds", "865", "--optimizer_max_seconds", "30", "--max_exec_milliseconds", "500", "--max_stdin_bytes", "65536", "--stdin_model", "stdin_replay_bytes_then_repeat_zero", "--test_type", "testcomp"]
     required_ubuntu_packages: []
 
 competition_participations:
@@ -54,7 +42,7 @@ competition_participations:
       name: Marek Trtík
       institution: Masaryk University, Brno
       country: Czechia
-      url: null
+      url:
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
@@ -63,7 +51,7 @@ competition_participations:
       name: Marek Trtík
       institution: Masaryk University, Brno
       country: Czechia
-      url: null
+      url:
 
 techniques:
   - Bit-Precise Analysis
@@ -77,3 +65,6 @@ literature:
   - doi: 10.1007/978-3-031-57259-3_17
     title: "Fizzer: New Gray-Box Fuzzer (Competition Contribution)"
     year: 2024
+  - doi: 10.48550/arXiv.2501.18046
+    title: Gray-Box Fuzzing in Local Space
+    year: 2025

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

@@ -36,13 +36,14 @@ versions:
 competition_participations:
   - competition: "SV-COMP 2025"
     track: "Verification"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "svcomp24"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"

fm_weck/resources/fm_tools/fshell-witness2test.yml

@@ -20,33 +20,36 @@ maintainers:
 versions:
   - version: "svcomp23"
     doi: 10.5281/zenodo.10206716
-    benchexec_toolinfo_options: []
+    benchexec_toolinfo_options: ["--graphml-witness", "${witness}"]
     required_ubuntu_packages:
       - gcc
       - libc6-dev-i386
+      - make
 
 competition_participations:
   - competition: "SV-COMP 2025"
     track: "Validation of Violation Witnesses 1.0"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "SV-COMP 2024"
     track: "Validation of Violation Witnesses 1.0"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: SV-COMP 2023
     track: "Validation of Violation Witnesses 1.0"
-    tool_version: "svcomp24"
+    tool_version: "svcomp23"
     jury_member:
       orcid: 0000-0002-7947-983X
       name: Michael Tautschnig

fm_weck/resources/fm_tools/fusebmc-ia.yml

@@ -3,7 +3,7 @@ name: FuSeBMC-AI
 input_languages:
   - C
 project_url: https://github.com/Mohannad-Aldughaim/FuSeBMC_IA
-repository_url: https://github.com/kaled-alshmrany/FuSeBMC
+repository_url: https://github.com/Mohannad-Aldughaim/FuSeBMC_IA
 spdx_license_identifier: MIT
 benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/fusebmc.py"
 fmtools_format_version: "2.0"
@@ -26,6 +26,8 @@ versions:
     doi: "10.5281/zenodo.10199336"
     benchexec_toolinfo_options: ["-s", "incr"]
     required_ubuntu_packages: []
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
   - version: "testcomp23"
     url: "https://gitlab.com/sosy-lab/test-comp/archives-2023/-/raw/testcomp23/2023/FuSeBMC_IA.zip"
     benchexec_toolinfo_options: ["-s", "incr"]
@@ -34,13 +36,14 @@ versions:
 competition_participations:
   - competition: "Test-Comp 2025"
     track: "Test Generation"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "testcomp24"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"

fm_weck/resources/fm_tools/fusebmc.yml

@@ -1,9 +1,14 @@
 id: fusebmc
 name: FuSeBMC
+description: |
+  FuSeBMC is an award-winning automated software testing tool that integrates Bounded Model Checking (BMC),
+  Fuzzing, and Artificial Intelligence (AI) to enhance software security and reliability.
+  Designed to detect and repair security vulnerabilities in C programs,
+  FuSeBMC improves code quality while reducing false positives and operational disruptions.
 input_languages:
   - C
-project_url: https://github.com/kaled-alshmrany/FuSeBMC
-repository_url: https://github.com/kaled-alshmrany/FuSeBMC
+project_url: https://veribee.co/
+repository_url: https://github.com/FuSeBMC/
 spdx_license_identifier: "MIT"
 benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/fusebmc.py"
 fmtools_format_version: "2.0"
@@ -15,7 +20,7 @@ maintainers:
     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
+    url: https://www.linkedin.com/in/dr-kaled-alshmrany/
 
 versions:
   - version: "testcomp25"
@@ -36,26 +41,29 @@ competition_participations:
     track: "Test Generation"
     tool_version: "testcomp25"
     jury_member:
+      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
+      url: https://www.linkedin.com/in/dr-kaled-alshmrany/
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
     jury_member:
+      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
+      url: https://www.linkedin.com/in/dr-kaled-alshmrany/
   - competition: "Test-Comp 2023"
     track: "Test Generation"
     tool_version: "testcomp23"
     jury_member:
+      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
+      url: https://www.linkedin.com/in/dr-kaled-alshmrany/
 
 techniques:
   - Bounded Model Checking
@@ -67,6 +75,18 @@ techniques:
 frameworks_solvers: []
 
 literature:
+  - doi: "10.1007/978-3-030-71500-7_19"
+    title: "FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)"
+    year: 2021
+  - doi: "10.1007/978-3-030-79379-1_6"
+    title: "FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs"
+    year: 2021
+  - doi: "10.1007/978-3-030-99429-7_19"
+    title: "FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing: (Competition Contribution)"
+    year: 2022
+  - doi: "10.1007/978-3-031-30826-0_18"
+    title: "FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation: (Competition Contribution)"
+    year: 2023
   - 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

@@ -14,7 +14,7 @@ maintainers:
   - name: Zsófia Ádám
     institution: Budapest University of Technology and Economics
     country: Hungary
-    url: null
+    url:
 
 versions:
   - version: "svcomp23"
@@ -31,31 +31,34 @@ versions:
 competition_participations:
   - competition: "SV-COMP 2025"
     track: "Verification"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "SV-COMP 2024"
     track: "Verification"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "SV-COMP 2023"
     track: "Verification"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
 
 techniques:
   - CEGAR

fm_weck/resources/fm_tools/gdart-llvm.yml

@@ -23,26 +23,30 @@ versions:
     doi: 10.5281/zenodo.10397137
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2023
 
 competition_participations:
   - competition: "SV-COMP 2025"
     track: "Verification"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "SV-COMP 2024"
     track: "Verification"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "SV-COMP 2023"
     track: "Verification"
     tool_version: "svcomp23"

fm_weck/resources/fm_tools/gdart.yml

@@ -45,6 +45,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp25"
     jury_member:
+      orcid: 0000-0002-9524-4459
       name: Falk Howar
       institution: TU Dortmund
       country: Germany
@@ -53,6 +54,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp24"
     jury_member:
+      orcid: 0000-0002-9524-4459
       name: Falk Howar
       institution: TU Dortmund
       country: Germany
@@ -61,6 +63,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp23"
     jury_member:
+      orcid: 0000-0002-9524-4459
       name: Falk Howar
       institution: TU Dortmund
       country: Germany

fm_weck/resources/fm_tools/goblint.yml

@@ -1,5 +1,9 @@
 id: goblint
 name: Goblint
+description: |
+  Goblint is an abstract interpretation framework that
+  is dedicated to the sound thread-modular analysis of multi-threaded
+  programs, especially for data races.
 input_languages:
   - C
 project_url: https://goblint.in.tum.de/
@@ -20,7 +24,7 @@ maintainers:
     name: Michael Schwarz
     institution: Technische Universität München
     country: Germany
-    url: https://www.cs.cit.tum.de/en/pl/personen/michael-schwarz/
+    url: https://michael-schwarz.github.io/
 
 versions:
   - version: "svcomp25"
@@ -29,7 +33,7 @@ versions:
     required_ubuntu_packages: []
   - version: "svcomp25-validation-correctness"
     doi: 10.5281/zenodo.14054652
-    benchexec_toolinfo_options: ["--conf", "conf/svcomp25-validate.json"]
+    benchexec_toolinfo_options: ["--witness.yaml.unassume", "${witness}", "--witness.yaml.validate", "${witness}", "--conf", "conf/svcomp25-validate.json"]
     required_ubuntu_packages: []
   - version: "svcomp24"
     doi: 10.5281/zenodo.10202867
@@ -95,6 +99,7 @@ techniques:
   - Numeric Interval Analysis
   - Concurrency Support
   - Algorithm Selection
+  - Floating-Point Arithmetics
 
 frameworks_solvers:
   - Apron

fm_weck/resources/fm_tools/graves-par.yml

@@ -14,7 +14,7 @@ maintainers:
   - name: Hors Concours
     institution: University of Virginia
     country: USA
-    url: null
+    url:
 
 versions:
   - version: "svcomp23"
@@ -32,33 +32,28 @@ versions:
       - 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
+    label:
+      - inactive
+      - meta_tool
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
       institution: University of Virginia
       country: USA
-      url: null
+      url:
   - competition: "SV-COMP 2023"
     track: "Verification"
-    hors_concours: true
+    label:
+      - inactive
+      - meta_tool
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
       institution: University of Virginia
       country: USA
-      url: null
+      url:
 
 techniques: []
 

fm_weck/resources/fm_tools/graves.yml

@@ -30,24 +30,30 @@ versions:
 competition_participations:
   - competition: "SV-COMP 2025"
     track: "Verification"
-    hors_concours: true
+    label:
+      - inactive
+      - meta_tool
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "SV-COMP 2024"
     track: "Verification"
-    hors_concours: true
+    label:
+      - inactive
+      - meta_tool
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "SV-COMP 2023"
     track: "Verification"
+    label:
+      - meta_tool
     tool_version: "svcomp23"
     jury_member:
       name: Will Leeson

fm_weck/resources/fm_tools/gwit.yml

@@ -4,7 +4,7 @@ input_languages:
   - Java
 project_url: https://github.com/tudo-aqua/gwit
 repository_url: https://github.com/tudo-aqua/gwit
-spdx_license_identifier: LicenseRef-LICENSE
+spdx_license_identifier: LicenseRef-GWIT
 benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/gwit.py"
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
@@ -15,12 +15,13 @@ maintainers:
   - name: Falk Howar
     institution: TU Dortmund
     country: Germany
+    orcid: 0000-0002-9524-4459
     url: https://falkhowar.de
 
 versions:
   - version: "svcomp24"
     doi: "10.5281/zenodo.10059567"
-    benchexec_toolinfo_options: []
+    benchexec_toolinfo_options: ["--witness", "${witness}"]
     required_ubuntu_packages:
       - openjdk-11-jre-headless
   - version: "svcomp23"
@@ -32,17 +33,19 @@ versions:
 competition_participations:
   - competition: "SV-COMP 2025"
     track: "Validation of Violation Witnesses 1.0"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "svcomp24"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "SV-COMP 2024"
     track: "Validation of Violation Witnesses 1.0"
     tool_version: "svcomp24"
     jury_member:
+      orcid: 0000-0002-9524-4459
       name: Falk Howar
       institution: TU Dortmund
       country: Germany
@@ -51,6 +54,7 @@ competition_participations:
     track: "Validation of Violation Witnesses 1.0"
     tool_version: "svcomp23"
     jury_member:
+      orcid: 0000-0002-9524-4459
       name: Falk Howar
       institution: TU Dortmund
       country: Germany
@@ -62,3 +66,5 @@ techniques:
   - Portfolio
 
 frameworks_solvers: []
+
+literature: []

fm_weck/resources/fm_tools/hornix.yml

@@ -1,10 +1,15 @@
 id: hornix
 name: Hornix
+description: |
+  Hornix is a software-verification tool based on the LLVM
+  framework, aiming to verify C/C++ code by employing a custom LLVM pass
+  on the LLVM IR level. It transforms the LLVM IR into a system of
+  constrained Horn clauses (CHC) and uses Z3 to decide about its satisfiability.
 input_languages:
   - C
 project_url: https://github.com/d3sformal/hornix
 repository_url: https://github.com/d3sformal/hornix
-spdx_license_identifier: Apache 2.0
+spdx_license_identifier: Apache-2.0
 benchexec_toolinfo_module: benchexec.tools.hornix
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
@@ -14,17 +19,17 @@ maintainers:
   - orcid: "0000-0000-0000-0000"
     name: Oliver Glitta
     institution: Charles University
-    country: Czech Republic
-    url: null
+    country: Czechia
+    url:
   - orcid: "0000-0001-8140-4098"
     name: Martin Blicha
     institution: University of Lugano
     country: Switzerland
-    url: null
+    url:
   - orcid: "0000-0003-0391-4812"
     name: Jan Kofron
     institution: Charles University
-    country: Czech Republic
+    country: Czechia
     url: https://d3s.mff.cuni.cz/people/jankofron/
 
 versions:
@@ -42,14 +47,14 @@ competition_participations:
       name: Martin Blicha
       institution: University of Lugano
       country: Switzerland
-      url: null
+      url:
 
 techniques:
   - Property-Directed Reachability
 
 frameworks_solvers:
   - Z3
-  
+
 literature: []
 
 

fm_weck/resources/fm_tools/hybridtiger.yml

@@ -2,7 +2,7 @@ id: hybridtiger
 name: HybridTiger
 input_languages:
   - C
-project_url: https://www.es.tu-darmstadt.de/es/team/sebastian-ruland/testcomp20
+project_url: https://gitlab.com/sosy-lab/software/cpachecker
 repository_url: https://gitlab.com/sosy-lab/software/cpachecker
 spdx_license_identifier: Apache-2.0
 benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/cpachecker.py"
@@ -14,42 +14,47 @@ maintainers:
   - name: Hors Concours
     institution: --
     country: --
-    url: null
+    url:
 
 versions:
   - version: "testcomp23"
     doi: 10.5281/zenodo.10412240
     benchexec_toolinfo_options: ['-benchmark', '-heap', '10000M', '-tigertestcomp20']
     required_ubuntu_packages: []
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
   - competition: "Test-Comp 2025"
     track: "Test Generation"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "testcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "Test-Comp 2024"
     track: "Test Generation"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "testcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
   - competition: "Test-Comp 2023"
     track: "Test Generation"
-    hors_concours: true
+    label:
+      - inactive
     tool_version: "testcomp23"
     jury_member:
       name: Hors Concours
       institution: --
       country: --
-      url: null
+      url:
 
 techniques:
   - CEGAR