tags:

views:

200

answers:

2
+1  Q: 

new dynamic tools analysis for C-code

Could somebody tell me wich new dynamic tools analysis for C-code are there like valdgrind?

+1  A: 

Have a peek at Fenris. Maybe not a valgrind replacement, but still very cool :) In fact, nearly all the tools Michal Zalewski creates are really....creative (sorry).

joveha  2008-12-02 18:21:13
A: 

Here are two that you could look into: Splint and Frama-C ( Frama-C is a static tool not dynamic )

eaanon01  2008-12-03 08:00:00
Frama-C isn't dynamic analysis. I don't Splint is, either.
Ira Baxter  2009-11-10 05:00:27
"Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes."
eaanon01  2009-11-10 06:09:21
"The Frama-C static analyzers assist you in various source-code-related activities, from the navigation through unfamiliar projects up to the certification of critical software. "
eaanon01  2009-11-10 06:10:04

related questions

any good tool for makefile generation?
How do you pass a function as a parameter in C?
Where should a veteran C programmer start in order to master Java ?
Any good book on best practice and guidelines in developing a SDK in C?
How do you determine the size of a file in C?
Decoding printf statements in C (Printf Primer)
Shift operator in C
How to avoid redefining VERSION, PACKAGE, etc.
Alpha blending sprites in Nintendo DS Homebrew
When should I use type abstraction in embedded systems
How to implement continuations?
What are the barriers to understanding pointers and what can be done to overcome them?
Anyone have experience creating a shared library in MATLAB?
String.indexOf function in C
Passing multidimensional arrays as function arguments in C
C/C++ library for reading MIDI signals from a USB MIDI device
Choosing a static code analysis tool
How do you printf an unsigned long long int?
Good STL-like library for C.
Rockbox audio format
Why am I getting a malloc: double free error with realloc()?
Should I learn C?
GTK implementation of MessageBox
Is gettimeofday() guaranteed to be of microsecond resolution?
How to use the C socket API in C++ on z/OS