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

[ bsd3, language, library ] [ Propose Tags ]

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
Change log CHANGELOG.md
Dependencies aeson, base (>=4.12 && <4.19), 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 ryanglscott at 2024-02-05T21:13:57Z
Distributions
Reverse Dependencies 2 direct, 1 indirect [details]
Downloads 33 total (5 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-02-05 [all 1 reports]