Thread: Deputy

  1. #1
    Disrupting the universe Mad_guy's Avatar
    Join Date
    Jun 2005


    I just recently came upon a new C compiler, Deputy; anybody happen to have heard of it?

    The idea sounded promising so I went ahead and built a copy on my linux box; it's actually a pretty interesting compiler. It can be used as a drop-in for GCC; files are linkable between the two compilers and if you link with deputy, you get the deputy RTL that will inform you of 'fishyness' in your code. It also provides many type annotations to describe common idioms. So you can use deputy to help check your code, but it can be built with existing libraries and the like (it uses the gcc-backend and you can pretty much just interchange them.)

    Anybody else tried it? I don't have time right now, but I might try using the annotated code later.
    operating systems: mac os 10.6, debian 5.0, windows 7
    editor: back to emacs because it's more awesomer!!
    version control: git


  2. #2
    Cat without Hat CornedBee's Avatar
    Join Date
    Apr 2003
    Sounds very interesting. Unfortunately, no C++ support.
    All the buzzt!

    "There is not now, nor has there ever been, nor will there ever be, any programming language in which it is the least bit difficult to write bad code."
    - Flon's Law

Popular pages Recent additions subscribe to a feed