STATEMENT

This is a static code analysis tool that work on a modified version of paparazzi codebase (https://github.com/Bounding-Function-Artifacts-OOPSLA-2020/modified_paparazzi_codebase). Please pull the modified paparazzi repository if you want to apply this tool. This repository is intended for a private collaboration for research purpose.

COMPONENT

Directory "headers": header files in this directory are used by libClang, libTool, and plugin version of code.
Directory "plugin": clang plugin implementation of bounding function dictionary builder
AC_COMPILE_SCRIPT.sh: a script to simulate GUI compilation on target 'ap' on all aircrafts

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
headers		headers
plugin		plugin
.gitignore		.gitignore
AC_COMPILE_SCRIPT.sh		AC_COMPILE_SCRIPT.sh
README.md		README.md