Skip to content
master
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
lib
 
 
src
 
 
 
 
 
 
 
 
 
 
 
 

README.md

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.

About

Symbolic Execution over Falcon IL

Resources

License

Packages

No packages published
You can’t perform that action at this time.