Mad_guy

Recently I've been scavenging around and I've found some interesting tools I'd like to share. :]

Coccinelle - a 'semantic patch' based framework - you can think of it like a super-uber-enhanced version of GNU patch. The primary motivation AFAICS, as seen on the page, is semantic patching of e.g. Linux drivers. You'll really just have to go to the webpage and see an example/read a little to get an idea of how it works because I can't explain it too well, but it's an amazingly innovative and cool idea.

Frama-C - a framework for C source code analysis; has a lot of really interesting tools, the two catching my eye the most being:

* Jessie/ACSL - A plugin for formally proving properties about your programs.
* Slicing - a plugin allowing you to...
On the note of ACSL, you may also find Deputy interesting; it's a C compiler (gcc-compatible) that allows you to annotate your programs for safety measures. Apparently Linux drivers etc. were also a motivation for this project. I might as well also throw the Clang static analyzer out there; it has the advantage it can check C and objective-C programs (and once support gets better, C++ as well hopefully.) If you also don't know about clang/llvm, then you should educate yourself because they are both awesome (I hope clang is the death of GCC, personally.)

Also, for large code bases (I'm talking in the 10-20 million line range, like linux or something,) you would be a fool not to have cscope (I've known about/used cscope for years; I mention it because it does not get enough love!)

Currently I'm writing a garbage collector in C, and I think ACSL and/or deputy could help out a lot hopefully...

Does anybody else have any interesting tools they've recently found and would like to share?

__________________
operating systems: mac os 10.6, debian 5.0, windows 7
editor: back to emacs because it's more awesomer!!
version control: git

website: http://www.nijoruj.org/~as/

laserlight

Coincidentally, I just found out about slicing today when I saw a poster on JSlice. Apparently the tool was developed by students from my faculty, so the university happily tried to advertise that fact to other students.

__________________
C + C++ Compiler: MinGW port of GCC
Build + Version Control System: SCons + Bazaar

Look up a C/C++ Reference and learn How To Ask Questions The Smart Way

CornedBee

Why, thank you!

__________________
All the buzzt!
CornedBee

"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

brewbuck

Did you work on this project?

__________________
"Congratulations on your purchase. To begin using your quantum computer, set the power switch to both off and on simultaneously." -- raftpeople@slashdot

CornedBee

I'm actively working on it, yeah. Mostly the C++ parser.

__________________
All the buzzt!
CornedBee

"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

Mad_guy

Neato! There's a lot of effort being poured into both llvm and clang right now; it's a very active and well designed project, and I think with some time, clang could easily become the gcc killer (and as I said, I kind of hope it does.) Kudos to you for working on good software like this! (I would contribute to clang, but I'm already actively working on another compiler at the moment, and my C++ isn't so awesome.)

__________________
operating systems: mac os 10.6, debian 5.0, windows 7
editor: back to emacs because it's more awesomer!!
version control: git

website: http://www.nijoruj.org/~as/