@hackage crucible-symio0.2.0.0
An implementation of symbolic I/O primitives for Crucible
Categories
License
BSD-3-Clause
Maintainer
rscott@galois.com, kquick@galois.com, langston@galois.com
Links
Versions
Installation
Dependencies (15)
- IntervalMap
- aeson
- base >=4.12 && <4.21
- bv-sized
- bytestring
- containers Show all…
Dependents (2)
@hackage/crucible-llvm, @hackage/crux-llvm
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.