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

fm_weck/resources/fm_tools/esbmc-incr.yml

@@ -1,3 +1,4 @@
+id: esbmc-incr
 name: ESBMC-incr
 input_languages:
   - C
@@ -19,7 +20,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14165983
+    doi: 10.5281/zenodo.14185854
     benchexec_toolinfo_options: ['-s', 'incr', '--concurrency']
     required_ubuntu_packages: []
   - version: "svcomp22"
@@ -27,7 +28,7 @@ versions:
     benchexec_toolinfo_options: ['-s', 'incr', '--concurrency']
     required_ubuntu_packages: []
   - version: "testcomp25"
-    doi: 10.5281/zenodo.14165983
+    doi: 10.5281/zenodo.14191098
     benchexec_toolinfo_options: ["-s", "incr", "-o", "condition"]
     required_ubuntu_packages: []
 

fm_weck/resources/fm_tools/esbmc-kind.yml

@@ -1,3 +1,4 @@
+id: esbmc-kind
 name: ESBMC-kind
 input_languages:
   - C
@@ -19,7 +20,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.14165983"
+    doi: 10.5281/zenodo.14185854
     benchexec_toolinfo_options: ["-s", "kinduction"]
     required_ubuntu_packages: []
   - version: "svcomp24"
@@ -31,7 +32,7 @@ versions:
     benchexec_toolinfo_options: ["-s", "kinduction"]
     required_ubuntu_packages: []
   - version: "testcomp25"
-    doi: 10.5281/zenodo.14165983
+    doi: 10.5281/zenodo.14191098
     benchexec_toolinfo_options: ["-s", "kinduction","-o","branch"]
     required_ubuntu_packages: []
   - version: "testcomp23"

fm_weck/resources/fm_tools/fdse.yml

@@ -1,8 +1,9 @@
+id: fdse
 name: FDSE
 input_languages:
   - C
-project_url: https://github.com/passengerZ/FDSE
-repository_url: https://github.com/passengerZ/FDSE
+project_url: https://github.com/zbchen/fdse-test-comp
+repository_url: https://github.com/zbchen/fdse-test-comp
 spdx_license_identifier: Apache-2.0
 benchexec_toolinfo_module: "fdse.py"
 fmtools_format_version: "2.0"
@@ -10,12 +11,17 @@ fmtools_entry_maintainers:
   - passengerzgf
 
 maintainers:
-  - name: Zhenbang Chen
+  - orcid: 0000-0002-4066-7892
+    name: Zhenbang Chen
     institution: National University of Defense Technology
     country: China
     url: https://zbchen.github.io/
 
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.14207717
+    benchexec_toolinfo_options: ["--testcomp"]
+    required_ubuntu_packages: []
   - version: "testcomp24"
     doi: 10.5281/zenodo.10203198
     benchexec_toolinfo_options: ["--testcomp"]
@@ -24,17 +30,18 @@ versions:
 competition_participations:
   - competition: "Test-Comp 2025"
     track: "Test Generation"
-    hors-concours: true
-    tool_version: "testcomp24"
+    tool_version: "testcomp25"
     jury_member:
-      name: Hors Concours
-      institution: --
-      country: --
-      url: null
+      orcid: 0000-0002-4066-7892
+      name: Zhenbang Chen
+      institution: National University of Defense Technology
+      country: China
+      url: https://zbchen.github.io/
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
     jury_member:
+      orcid: 0000-0002-4066-7892
       name: Zhenbang Chen
       institution: National University of Defense Technology
       country: China
@@ -47,3 +54,8 @@ techniques:
   - Guidance by Coverage Measures
 
 frameworks_solvers: []
+
+literature:
+  - doi: 10.1007/978-3-031-57259-3_16
+    title: "FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution)"
+    year: 2024

fm_weck/resources/fm_tools/fizzer.yml

@@ -1,3 +1,4 @@
+id: fizzer
 name: Fizzer
 input_languages:
   - C
@@ -18,7 +19,7 @@ maintainers:
 
 versions:
   - version: "testcomp25"
-    doi: 10.5281/zenodo.14064195
+    doi: 10.5281/zenodo.14210143
     benchexec_toolinfo_options: [
       "--max_seconds", "865",
       "--optimizer_max_seconds", "30",
@@ -30,7 +31,8 @@ versions:
       "--stdin_model", "stdin_replay_bytes_then_repeat_zero",
       "--test_type", "testcomp"
       ]
-    required_ubuntu_packages: []
+    required_ubuntu_packages:
+      - g++-multilib
   - version: "testcomp24"
     doi: 10.5281/zenodo.10183158
     benchexec_toolinfo_options: [

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

@@ -1,3 +1,4 @@
+id: frama-c-sv
 name: Frama-C-SV
 input_languages:
   - C

fm_weck/resources/fm_tools/fshell-witness2test.yml

@@ -1,3 +1,4 @@
+id: fshell-witness2test
 name: CProver-witness2test
 input_languages:
   - C

fm_weck/resources/fm_tools/fusebmc-ia.yml

@@ -1,3 +1,4 @@
+id: fusebmc-ia
 name: FuSeBMC-AI
 input_languages:
   - C

fm_weck/resources/fm_tools/fusebmc.yml

@@ -1,3 +1,4 @@
+id: fusebmc
 name: FuSeBMC
 input_languages:
   - C

fm_weck/resources/fm_tools/gazer-theta.yml

@@ -1,3 +1,4 @@
+id: gazer-theta
 name: Gazer-Theta
 input_languages:
   - C

fm_weck/resources/fm_tools/gdart-llvm.yml

@@ -1,3 +1,4 @@
+id: gdart-llvm
 name: GDart-LLVM
 input_languages:
   - C

fm_weck/resources/fm_tools/gdart.yml

@@ -1,3 +1,4 @@
+id: gdart
 name: GDart
 input_languages:
   - Java
@@ -24,7 +25,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.10059535"
+    doi: "10.5281/zenodo.14207413"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - openjdk-11-jre-headless

fm_weck/resources/fm_tools/goblint.yml

@@ -1,3 +1,4 @@
+id: goblint
 name: Goblint
 input_languages:
   - C

fm_weck/resources/fm_tools/graves-par.yml

@@ -1,3 +1,4 @@
+id: graves-par
 name: Graves-Par
 input_languages:
   - C

fm_weck/resources/fm_tools/graves.yml

@@ -1,3 +1,4 @@
+id: graves
 name: Graves-CPA
 input_languages:
   - C

fm_weck/resources/fm_tools/gwit.yml

@@ -1,3 +1,4 @@
+id: gwit
 name: GWIT
 input_languages:
   - Java

fm_weck/resources/fm_tools/hornix.yml

@@ -1,3 +1,4 @@
+id: hornix
 name: Hornix
 input_languages:
   - C
@@ -28,7 +29,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.13950398"
+    doi: "10.5281/zenodo.14208262"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
 

fm_weck/resources/fm_tools/hybridtiger.yml

@@ -1,3 +1,4 @@
+id: hybridtiger
 name: HybridTiger
 input_languages:
   - C

fm_weck/resources/fm_tools/infer.yml

@@ -1,3 +1,4 @@
+id: infer
 name: Infer
 input_languages:
   - C

fm_weck/resources/fm_tools/java-ranger.yml

@@ -1,3 +1,4 @@
+id: java-ranger
 name: Java-Ranger
 input_languages:
   - Java
@@ -18,7 +19,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14143727
+    doi: 10.5281/zenodo.14205198
     benchexec_toolinfo_options: [ ]
     required_ubuntu_packages:
       - openjdk-8-jre-headless

fm_weck/resources/fm_tools/jayhorn.yml

@@ -1,3 +1,4 @@
+id: jayhorn
 name: JayHorn
 input_languages:
   - Java

fm_weck/resources/fm_tools/jbmc.yml

@@ -1,3 +1,4 @@
+id: jbmc
 name: JBMC
 input_languages:
   - Java
@@ -18,17 +19,20 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.13975618
+    doi: 10.5281/zenodo.14207455
     benchexec_toolinfo_options: ["--graphml-witness", "witness.graphml"]
-    required_ubuntu_packages: []
+    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"

fm_weck/resources/fm_tools/jcwit.yml

@@ -1,3 +1,4 @@
+id: jcwit
 name: JCWIT
 input_languages:
   - Java

fm_weck/resources/fm_tools/jdart.yml

@@ -1,3 +1,4 @@
+id: jdart
 name: JDart
 input_languages:
   - Java

fm_weck/resources/fm_tools/key.yml

@@ -1,3 +1,4 @@
+id: key
 name: KeY
 description: |
   KeY is a tool for deductive verification to

fm_weck/resources/fm_tools/klee.yml

@@ -1,3 +1,4 @@
+id: klee
 name: KLEE
 input_languages:
   - C

fm_weck/resources/fm_tools/kleef.yml

@@ -1,3 +1,4 @@
+id: kleef
 name: KLEEF
 input_languages:
   - C
@@ -18,7 +19,7 @@ maintainers:
 
 versions:
   - version: "testcomp25"
-    doi: "10.5281/zenodo.13964451"
+    doi: "10.5281/zenodo.14188533"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
   - version: "testcomp24"

fm_weck/resources/fm_tools/korn.yml

@@ -1,3 +1,4 @@
+id: korn
 name: Korn
 input_languages:
   - C

fm_weck/resources/fm_tools/lazycseq.yml

@@ -1,3 +1,4 @@
+id: lazycseq
 name: Lazy-CSeq
 input_languages:
   - C

fm_weck/resources/fm_tools/legion-symcc.yml

@@ -1,3 +1,4 @@
+id: legion-symcc
 name: Legion/SymCC
 input_languages:
   - C

fm_weck/resources/fm_tools/legion.yml

@@ -1,3 +1,4 @@
+id: legion
 name: Legion
 input_languages:
   - C

fm_weck/resources/fm_tools/lf-checker.yml

@@ -1,3 +1,4 @@
+id: lf-checker
 name: LF-checker
 input_languages:
   - C

fm_weck/resources/fm_tools/liv.yml

@@ -1,3 +1,4 @@
+id: liv
 name: LIV
 input_languages:
   - C
@@ -20,9 +21,16 @@ maintainers:
 
 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: []
+    doi: "10.5281/zenodo.14210280"
+    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", '--prep-cgroup', '--debug']
+    required_ubuntu_packages:
+      - python3-requests
+      - python3-pycparser
+      - python3-lxml
+      - python3-yaml
+      - python3-graphviz
+      - python3-tqdm
+      - python3-docker
   - 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"]

fm_weck/resources/fm_tools/locksmith.yml

@@ -1,3 +1,4 @@
+id: locksmith
 name: Locksmith
 input_languages:
   - C

fm_weck/resources/fm_tools/metaval++.yml

@@ -1,3 +1,4 @@
+id: metaval++
 name: MetaVal++
 input_languages:
   - C
@@ -21,8 +22,8 @@ maintainers:
 
 versions:
   - version: "svcomp25-correctness"
-    doi: 10.5281/zenodo.13986094
-    benchexec_toolinfo_options: ['--backend', 'framac-wp']
+    doi: 10.5281/zenodo.14194293
+    benchexec_toolinfo_options: ['--backend', 'framac-wp', '--debug']
     required_ubuntu_packages: []
 
 competition_participations:

fm_weck/resources/fm_tools/metaval.yml

@@ -1,3 +1,4 @@
+id: metaval
 name: MetaVal
 input_languages:
   - C
@@ -20,12 +21,12 @@ maintainers:
 
 versions:
   - version: "svcomp25-correctness"
-    doi: 10.5281/zenodo.14007852
+    doi: 10.5281/zenodo.14170354
     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']
+    doi: 10.5281/zenodo.14170354
+    benchexec_toolinfo_options: ['--metavalWitnessType', 'violation_witness', '--metavalVerifierBackend', 'cpachecker', '--predicateAnalysis', '--heap', '5000M', '--benchmark', '--timelimit', '90s']
     required_ubuntu_packages: []
   - version: "svcomp24-correctness"
     doi: 10.5281/zenodo.10137150

fm_weck/resources/fm_tools/mlb.yml

@@ -1,3 +1,4 @@
+id: mlb
 name: MLB
 input_languages:
   - Java
@@ -18,7 +19,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: "10.5281/zenodo.10210608"
+    doi: "10.5281/zenodo.14202342"
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - openjdk-8-jre-headless

fm_weck/resources/fm_tools/mopsa.yml

@@ -1,3 +1,4 @@
+id: mopsa
 name: Mopsa
 input_languages:
   - C
@@ -20,7 +21,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14093204
+    doi: 10.5281/zenodo.14208644
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - clang
@@ -33,7 +34,7 @@ versions:
       - llvm-dev
       - libflint-dev
   - version: "svcomp25-validation-correctness"
-    doi: 10.5281/zenodo.14093204
+    doi: 10.5281/zenodo.14208644
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - clang

fm_weck/resources/fm_tools/nacpa.yml

@@ -1,3 +1,4 @@
+id: nacpa
 name: nacpa
 input_languages:
   - C
@@ -23,8 +24,8 @@ maintainers:
     url: https://www.sosy-lab.org/people/wachowitz/
 
 versions:
-  - version: "svcomp25"
-    doi: "10.5281/zenodo.13979486"
+  - version: "1.0.0"
+    doi: "10.5281/zenodo.14203473"
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
     full_container_images:
@@ -33,7 +34,7 @@ versions:
 competition_participations:
   - competition: SV-COMP 2025
     track: "Verification"
-    tool_version: "svcomp25"
+    tool_version: "1.0.0"
     jury_member:
       orcid: 0000-0002-4768-4054
       name: Henrik Wachowitz

fm_weck/resources/fm_tools/nitwit.yml

@@ -1,3 +1,4 @@
+id: nitwit
 name: NITWIT
 input_languages:
   - C

fm_weck/resources/fm_tools/owic.yml

@@ -1,3 +1,4 @@
+id: owic
 name: Owi
 input_languages:
   - C

fm_weck/resources/fm_tools/pesco.yml

@@ -1,3 +1,4 @@
+id: pesco
 name: PeSCo-CPA
 input_languages:
   - C

fm_weck/resources/fm_tools/pichecker.yml

@@ -1,3 +1,4 @@
+id: pichecker
 name: PIChecker
 input_languages:
   - C

fm_weck/resources/fm_tools/pinaka.yml

@@ -1,3 +1,4 @@
+id: pinaka
 name: Pinaka
 input_languages:
   - C

fm_weck/resources/fm_tools/predatorhp.yml

@@ -1,3 +1,4 @@
+id: predatorhp
 name: PredatorHP
 input_languages:
   - C

fm_weck/resources/fm_tools/proton.yml

@@ -1,3 +1,4 @@
+id: proton
 name: PROTON
 input_languages:
   - C
@@ -18,7 +19,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.13953734
+    doi: 10.5281/zenodo.14209458
     benchexec_toolinfo_options: ['--graphml-witness', 'witness.graphml']
     required_ubuntu_packages:
       - gcc

fm_weck/resources/fm_tools/prtest.yml

@@ -1,3 +1,4 @@
+id: prtest
 name: PRTest
 input_languages:
   - C

fm_weck/resources/fm_tools/racerf.yml

@@ -1,3 +1,4 @@
+id: racerf
 name: RacerF
 input_languages:
   - C
@@ -23,7 +24,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14054647
+    doi: 10.5281/zenodo.14197636
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - gcc

fm_weck/resources/fm_tools/relay-sv.yml

@@ -1,3 +1,4 @@
+id: relay-sv
 name: RELAY-SV
 input_languages:
   - C

fm_weck/resources/fm_tools/rizzer.yml

@@ -1,3 +1,4 @@
+id: rizzer
 name: Rizzer
 input_languages:
   - C

fm_weck/resources/fm_tools/schema.yml

@@ -3,9 +3,12 @@ title: FM Tools Data Schema
 description: The schema for fm-tools/data
 type: object
 properties:
+  id:
+    type: string
+    description: The identifier of the tool (equal to the file name without file-name extension).
   name:
     type: string
-    description: The name of the competition tool.
+    description: The name of the tool.
   description:
     type: string
     description: A description of the tool.
@@ -559,6 +562,7 @@ properties:
         - body
     description: Custom licenses used by the tool (applicable if no matching SPDX identifier exists).
 required:
+  - id
   - name
   - input_languages
   - project_url

fm_weck/resources/fm_tools/sikraken.yml

@@ -1,3 +1,4 @@
+id: sikraken
 name: Sikraken
 input_languages:
   - C
@@ -18,15 +19,15 @@ maintainers:
 
 
 versions:
-  - version: "1.0.2"   
+  - version: "1.0.3"   
     benchexec_toolinfo_options: ["release", "budget[900]"]
     required_ubuntu_packages: []
-    doi: "10.5281/zenodo.14176165"
+    doi: "10.5281/zenodo.14194599"
 
 competition_participations:
   - competition: "Test-Comp 2025"
     track: "Test Generation"
-    tool_version: "1.0.2"
+    tool_version: "1.0.3"
     jury_member:
       orcid: 0000-0001-6338-6367
       name: Christophe Meudec

fm_weck/resources/fm_tools/spf.yml

@@ -1,3 +1,4 @@
+id: spf
 name: SPF
 input_languages:
   - Java

fm_weck/resources/fm_tools/sv-sanitizers.yml

@@ -1,3 +1,4 @@
+id: sv-sanitizers
 name: sv-sanitizers
 input_languages:
   - C
@@ -18,7 +19,7 @@ maintainers:
 
 versions:
   - version: "svcomp25"
-    doi: 10.5281/zenodo.14141192
+    doi: 10.5281/zenodo.14172703
     benchexec_toolinfo_options: []
     required_ubuntu_packages: []
   - version: "svcomp24"