GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 05:45:51 +03:00
Code Issues Projects Releases Wiki Activity

Cite Macaw paper and blog post in the README

Browse Source 
Fixes #343. Fixes #397.
This commit is contained in:
Ryan Scott 2024-07-16 12:42:14 -04:00 committed by Ryan Scott
parent a6ff58f473
commit 2c15fcc6ed
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
README.md
View File

@ -67,6 +67,22 @@ These Macaw core libraries depend on a number of different supporting libraries,
* what4 -- Symbolic representation for the crucible backend
* parameterized-utils -- utilities for working with parameterized types
## Documentation
A set of high-level design documents can be found in the [`doc`](doc)
subdirectory. Documentation for individual API functions and data types can be
found in the Haddock comments throughout the code.
We have also written some other resources about Macaw:
* [Macaw: A Machine Code Toolbox for the Busy Binary
Analyst](http://www.arxiv.org/abs/2407.06375): an unpublished paper about
Macaw, as well as binary analysis tools built on top of Macaw.
* [Making a scalable, SMT-based machine code memory
model](https://galois.com/blog/2023/03/making-a-scalable-smt-based-machine-code-memory-model/):
a blog post about `macaw-symbolic`'s lazy memory model (implemented in
[`Data.Macaw.Symbolic.Memory.Lazy`](symbolic/src/Data/Macaw/Symbolic/Memory/Lazy.hs)
# Building
## Preparation