Brad Fitzpatrick (brad) wrote,
Brad Fitzpatrick
brad

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:

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

  • Ukraine

    Nobody reads my LiveJournal anymore, but thank you to everybody in Russia protesting Putin's insane war against Ukraine. (I know it's risky…

  • Happy Birthday!

    Happy 20th Birthday, LiveJournal! 🐐🎂🎉

  • hi

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

  • Post a new comment

    Error

    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