crucible: Crucible is a library for language-agnostic symbolic simulation
Crucible provides a program representation format based on single-static assignment (SSA) form control flow graphs, and a symbolic simulation engine for executing programs expressed in this format. It also provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, Yices, STP, and dReal.
Modules
[Index] [Quick Jump]
- Lang
- Crucible
- Analysis
- Lang.Crucible.Backend
- CFG
- Lang.Crucible.Concretize
- Lang.Crucible.FunctionHandle
- Lang.Crucible.Panic
- Lang.Crucible.Simulator
- Lang.Crucible.Simulator.BoundedExec
- Lang.Crucible.Simulator.BoundedRecursion
- Lang.Crucible.Simulator.Breakpoint
- Lang.Crucible.Simulator.CallFrame
- Lang.Crucible.Simulator.EvalStmt
- Lang.Crucible.Simulator.Evaluation
- Lang.Crucible.Simulator.ExecutionTree
- Lang.Crucible.Simulator.GlobalState
- Lang.Crucible.Simulator.Intrinsics
- Lang.Crucible.Simulator.Operations
- Lang.Crucible.Simulator.OverrideSim
- Lang.Crucible.Simulator.PathSatisfiability
- Lang.Crucible.Simulator.PathSplitting
- Lang.Crucible.Simulator.PositionTracking
- Lang.Crucible.Simulator.Profiling
- Lang.Crucible.Simulator.RegMap
- Lang.Crucible.Simulator.RegValue
- Lang.Crucible.Simulator.SimError
- Lang.Crucible.Simulator.SymSequence
- Lang.Crucible.Syntax
- Lang.Crucible.Types
- Utils
- Lang.Crucible.Vector
- Crucible
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| unsafe-operations | Use unsafe operations to improve performance | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- crucible-0.7.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.7, 0.7.1, 0.7.2 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | async, base (>=4.13 && <4.20), bimap, bv-sized (>=1.0.0 && <1.1), containers (>=0.5.9.0), exceptions, fgl, hashable, json (>=0.9 && <1.0), lens, mtl, panic (>=0.3), parameterized-utils (>=1.0.8 && <2.2), prettyprinter (>=1.7.0), template-haskell, text, th-abstraction (>=0.1 && <0.7), time (>=1.8 && <2.0), transformers, unordered-containers, vector, what4 (>=1.6.1) [details] |
| License | BSD-3-Clause |
| Copyright | (c) Galois, Inc 2014-2022 |
| Author | Galois Inc. |
| Maintainer | rscott@galois.com, kquick@galois.com, langston@galois.com |
| Category | Language |
| Source repo | head: git clone https://github.com/GaloisInc/crucible(crucible) |
| Uploaded | by sauclovian_g at 2025-03-21T23:49:52Z |
| Distributions | |
| Reverse Dependencies | 7 direct, 0 indirect [details] |
| Downloads | 155 total (8 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |