Smeagle Examples

These examples are used as a submodule and cloned for:

• cle
• spliced

facts.json are generated (and validated) by cle, and atoms.asp (to be generated) are generated (and validated) by spliced.

Organization

Each subfolder here is a type of structure or design that can be used to generate facts. Within each subfolder, there is an optional folder of "breaks" with ABI breakages that we've manually derived for a ground truth. To see a table of this ground truth, you can see this Google Doc.

Usage

To manually build on your local machine with whatever compiler is available (defaults to g++)

$ ./build.sh

To build using a container (and check the base image that it's the one you want):

$ ./build-container.sh

And to see an example of automating all of this and using the actions here, see .github/example-spliced-analysis.yaml.