Brad Fitzpatrick (brad) wrote,
Brad Fitzpatrick

static analysis / meta-level compilation

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:

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.

  • Happy Birthday!

    Happy 20th Birthday, LiveJournal! 🐐🎂🎉

  • hi

    Posting from the iPhone app. Maybe I'm unblocked now.

  • Why, hello...

    Long time no see. How's my baby doing?

  • Post a new comment


    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 1 comment