crucible-symio: An implementation of symbolic I/O primitives for Crucible

[ bsd3, language, library ] [ Propose Tags ] [ Report a vulnerability ]

This library provides language-independent overrides implementing filesystem operations (as provided by most operating systems). These primitives support reading and writing symbolic data. An example use case would be to support verifying programs that e.g., use configuration files or accept input from files.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.1.1
Change log CHANGELOG.md
Dependencies aeson, base (>=4.12 && <4.20), bv-sized, bytestring, containers, crucible, directory, filemanip, filepath, IntervalMap, lens, mtl, parameterized-utils, text, what4 [details]
License BSD-3-Clause
Author Daniel Matichuk
Maintainer rscott@galois.com, kquick@galois.com, langston@galois.com
Category Language
Source repo head: git clone https://github.com/GaloisInc/crucible(crucible-symio)
Uploaded by mccleeary at 2024-08-30T20:08:17Z
Distributions
Reverse Dependencies 2 direct, 1 indirect [details]
Downloads 131 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-09-06 [all 3 reports]