| 2026 |
Foreman. University of Central Florida. A Python tool that enables developer to specify the commands file access permissions of phase of a project's build system, to protect these phases against pipeline poisoning attacks. Foreman is the tool associated with 2026 ICSE NIER paper, Build Code is Still Code: Finding the Antidote for Pipeline Poisoning. |
| 2024 |
Macroni. Trail of Bits. A C static analysis tool that combines Trail of Bits’ tools PASTA and VAST to lower C preprocessor macros down to MLIR. GitHub. |
| 2024 |
Maki. University of Central Florida. A C++ Clang plugin that analyzes hows C preprocessor macros affect the C AST. Maki provides language porting tools information they can use to port macros to target languages in a way that preserves not just macro behavior, but also macro abstractions. Maki is the tool associated with 2024 ICSE paper, Semantic Analysis of Macro Usage for Portability, for which I am the lead-author. GitHub. |