?

Log in

No account? Create an account
static analysis / meta-level compilation - brad's life — LiveJournal [entries|archive|friends|userinfo]
Brad Fitzpatrick

[ website | bradfitz.com ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

static analysis / meta-level compilation [Feb. 23rd, 2004|09:17 pm]
Brad Fitzpatrick
The Stanford Checker (MC) project keeps cranking out cool domain-specific analyzers.

Static analysis, and the MC project in particular, excites me.

They're now checking filesystems and automatically finding bugs like this:

http://www.ussg.iu.edu/hypermail/linux/kernel/0402.2/2339.html

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.
LinkReply

Comments:
[User Picture]From: mulix
2004-02-24 03:15 am (UTC)
The stanford checker found a bug in the driver I maintain. I *heart* the stanford checker. I will *heart* it even more if the code will be open.
(Reply) (Thread)