|static analysis / meta-level compilation
||[Feb. 23rd, 2004|09:17 pm]
Checker (MC) project keeps cranking out cool domain-specific analyzers.The Stanford |
Static analysis, and the MC project in particular, excites me.
They're now checking filesystems and automatically finding bugs like this:
Which viro confirms is a serious bug.
Look at the report's filesystem image before/after the call. How cool is that? I'd love to see the Metal code that generated that checker.