GrammaTech's repositories
clang-mutate
Manipulate C-family ASTs with Clang
swap-detector
A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.
gtirb-search-reduce
Reduce a binary to only retain that which is required to continue to pass a provided test suite.
sb-texinfo
Docstring to Texinfo tool.