Skip to content

seahorn/crab-pplite

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 

Repository files navigation

Native interface between Crab and PPLite

This repository allows calling all the PPLite domains from the Crab library by using a native interface instead of the Apron interface. The benefit is speed: using the native interface is much faster than the Apron interface. The header file pplite_native_wrapper defines a Crab abstract domain, called pplite_domain, that implements all the abstract operations by calling their counterpart PPLite operations.

For any question or issue, please email Matteo Boroni Grazioli ([email protected]), who is the main developer of this interface, and Enea Zaffanella ([email protected]).

How to use it

When you compile the Crab library (see instructions here), add the cmake option -DCRAB_USE_PPLITE_NATIVE=ON. This option will download automatically this repo and copy it in the Crab domains directory.

About

Crab abstract domain wrapper for PPLite domains

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages