https://miscreants.github.io/blog.trailofbits.com/categories/mlir/Recent content in mlir on The Trail of Bits BlogHugoen-usMon, 11 Sep 2023 08:00:12 -0400https://miscreants.github.io/blog.trailofbits.com/2023/09/11/holy-macroni-a-recipe-for-progressive-language-enhancement/Mon, 11 Sep 2023 08:00:12 -0400https://miscreants.github.io/blog.trailofbits.com/2023/09/11/holy-macroni-a-recipe-for-progressive-language-enhancement/Despite its use for refactoring and static analysis tooling, Clang has a massive shortcoming: the Clang AST does not provide provenance information about which CPP macro expansions a given AST node is expanded from; nor does it lower macro expansions down to LLVM Intermediate Representation (IR) code. This makes the construction of […]https://miscreants.github.io/blog.trailofbits.com/2023/06/15/finding-bugs-with-mlir-and-vast/Thu, 15 Jun 2023 07:00:10 -0400https://miscreants.github.io/blog.trailofbits.com/2023/06/15/finding-bugs-with-mlir-and-vast/Intermediate languages (IRs) are what reverse engineers and vulnerability researchers use to see the forest for the trees. IRs are used to view programs at different abstraction layers, so that analysis can understand both low-level code aberrations and higher levels of flawed logic mistakes. The setback is that bug-finding tools are often pigeonholed into choosing […]