Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / GaloisInc / surveyor
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fsurveyor
Stars: 18
Forks: 1
Open Issues: 34
License: bsd-3-clause
Language: Haskell
Repo Size: 802 KB
Dependencies:
128
Created: almost 6 years ago
Updated: 7 months ago
Last pushed: over 3 years ago
Last synced: 2 days ago
Topics: debugging, llvm, machine-code, program-analysis, symbolic-execution
Files
Loading...
Readme
Loading...
Dependencies
crux-dbg/crux-dbg.cabal
hackage
- async *
- base >=4.10 && <5
- brick *
- bv-sized *
- bytestring *
- containers *
- crucible *
- crucible-llvm *
- crux *
- crux-dbg *
- crux-llvm *
- exceptions *
- filepath *
- lens *
- llvm-pretty *
- llvm-pretty-bc-parser *
- mtl *
- parameterized-utils *
- surveyor-brick *
- surveyor-core *
- text *
- unix *
- what4 *
- Glob ==0.10.*
- IntervalMap ==0.6.*
- async *
- base >=4.10 && <5
- base *
- brick >=0.47 && <1
- bv-sized >=1 && <1.1
- bytestring *
- containers *
- crucible *
- crucible-llvm *
- crux *
- data-binary-ieee754 *
- deepseq *
- filepath *
- generic-lens >=0.5.1.0 && <1.3
- haggle *
- lens >=4.15 && <5
- megaparsec >=7 && <9
- mtl *
- optparse-applicative *
- panic ==0.4.*
- parameterized-utils >=1 && <3
- pretty *
- prettyprinter *
- regex-tdfa ==1.*
- split ==0.2.*
- surveyor-brick *
- surveyor-core *
- text *
- text-zipper *
- vector *
- vty *
- what4 *
- IntervalMap ==0.6.*
- async *
- base >=4.10 && <5
- binary-symbols *
- bv-sized >=1 && <1.1
- bytestring *
- containers *
- crucible *
- crucible-jvm *
- crucible-llvm *
- crux *
- deepseq *
- directory ==1.3.*
- dismantle-ppc *
- dismantle-tablegen *
- elf-edit *
- exceptions *
- filepath *
- flexdis86 *
- generic-lens >=0.5.1.0 && <1.3
- graphviz ==2999.20.*
- haggle *
- jvm-parser *
- lens >=4.15 && <5
- llvm-pretty >=0.10 && <0.12
- llvm-pretty-bc-parser *
- lumberjack ==0.1.*
- macaw-base *
- macaw-loader *
- macaw-loader-ppc *
- macaw-loader-x86 *
- macaw-ppc *
- macaw-ppc-symbolic *
- macaw-semmc *
- macaw-symbolic *
- macaw-x86-symbolic *
- megaparsec >=7 && <9
- mtl *
- panic ==0.4.*
- parameterized-utils >=1 && <3
- pretty *
- prettyprinter ==1.7.*
- process *
- regex-tdfa ==1.*
- renovate *
- renovate-ppc *
- renovate-x86 *
- semmc *
- semmc-ppc *
- split ==0.2.*
- text *
- text-zipper *
- time >=1.6 && <1.11
- vector *
- vty *
- what4 *
surveyor-qml/surveyor-qml.cabal
hackage
- async *
- base *
- base >=4.10 && <5
- brick *
- bytestring *
- containers *
- file-embed *
- hsqml *
- lens *
- optparse-applicative *
- parameterized-utils *
- surveyor-core *
- surveyor-qml *
- temporary *
- text *