---
id: 1660
title: "Finding bugs in C code with Multi-Level IR and VAST"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2023/06/15/finding-bugs-with-mlir-and-vast/"
published_at: "2023-06-15T11:00:10Z"
tags: ["vulnerability-research", "c", "static-analysis", "llvm", "program-analysis", "compilers", "mlir", "reversing", "vast"]
phying_url: "https://phying.com/item/1660"
lang: en
---

# Finding bugs in C code with Multi-Level IR and VAST

## Summary

Trail of Bits introduces VAST, a tower of IRs built on MLIR that lets analyses move across abstraction levels to identify, classify, and remediate C bugs such as stack buffer overflows.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2023-06-15T11:00:10Z
- **Original:** https://blog.trailofbits.com/2023/06/15/finding-bugs-with-mlir-and-vast/
- **Phying News:** https://phying.com/item/1660