This repository contains Grok scripts that highlight the power of relational algebra as a static analysis tool. They are built for the following fact extractors: bfx64, ClangEx, and Rex. To use these scripts, models of source code have to be generated using the appropriate fact extractor.

A Grok script is a script file designed for the Grok relational algebra engine. This engine works with models encoded in a plain text format called tuple-attribute (similar to the Rigi Standard Format).

By using fact extractors on source code, these extractors will generate a program model in the tuple-attribute format that can then be queried by the Grok relational engine.

The scripts in this repository are tailored for models generated by the bfx64, ClangEx, and Rex extractors. These scripts do a variety of different types of static analysis.

This repository is split into three different folders. Each folder contains scripts specific to one fact extractor. As such, the folders are as follows:

1. ClangExScripts - Scripts for the ClangEx extractor.
2. ROSScripts - Scripts for the Rex extractor.
3. bfx64Scripts - Scripts for the bfx64 extractor.

Each repository has a readme that describes the variety of scripts one might encounter.

Copyright (C) 2017, Bryan J. Muscedere

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.