- This is a static code analysis tool that work on a modified version of paparazzi codebase (https://github.com/SUNY-BU-Software-Systems-Research-Group/paparazzi). Please pull the modified paparazzi repository if you want to apply this tool. This repository is intended for a private collaboration for research purpose.
-
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', 'sim', and 'nps' on corresponding aircrafts
- Before running AC_COMPILE_SCRIPT.sh, make sure that you've run "make" under repository SUNY-BU-Software-Systems-Research-Group/paparazzi.