macroni
macroni copied to clipboard
trailofbits
C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
Update README to state under what conditions PASTA is necessary and how to install `gap`.
Adds scripts and instructions for running Macroni's Linux kernel macro translator and analyzer on all files in the Linux kernel.
- Updates VAST dependency - Require users to provide their own install of gap - Adjust CXX standard settings to not be overriden by PASTA's - Ignore specific PASTA warnings...
Macroni should offer a dialect and corresponding static analyses for checking the usage of resource management macros in the Lua programming language's source code. Lua's source provides [an internal API](https://github.com/lua/lua/blob/c1dc08e8e8e22af9902a6341b4a9a9a7811954cc/lapi.h#L29-L36)...
The RCU API comes in a variety of "[flavors](https://lwn.net/Articles/777165/)", and each flavor offers its own slightly different form of some of the core RCU functions/macros, and some flavors offer completely...
Once #30 is merged, PASTA will no longer be required to lower RCU macros down to the Kernel dialect; however we will also no longer lower non-RCU macros down to...
Currently, Macroni uses types defined by its dependencies directly, e.g., `vast::mcontext_t`, `clang::Stmt`; however this makes Macroni more difficult to maintain in the long run because if one these dependency-defined types...
The project is currently named Macroni. This is for two reasons: 1. When the project was first started, the plan was to create a single dialect for lowering as many...
Metadata
Owner
Metadata
C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.