5 releases
0.5.2 | Aug 28, 2021 |
---|---|
0.5.1 | Apr 27, 2021 |
0.4.7 | Apr 17, 2020 |
0.4.6 | Feb 24, 2020 |
0.4.5 | Feb 15, 2020 |
#643 in Hardware support
285KB
6.5K
SLoC
Finch
Finch is a Symbolic Executor over Falcon IL. If it lifts to Falcon IL, it symbolically executes with Finch.
For an introduction to Finch, see this blog post.
Building
Finch requires the same dependencies as Falcon and falcon-z3. There is a Dockerfile in the dockers/ directory, which will create an appropriate environment for Finch. If you don't want to use Docker, it is still recommended you use the Dockerfile as a reference for how to install dependencies.
lib.rs
:
Finch: A Symbolic Executor Built With Falcon
Dependencies
~53MB
~1M SLoC