Could somebody tell me wich new dynamic tools analysis for C-code are there like valdgrind?
From stackoverflow
-
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).
-
Here are two that you could look into: Splint and Frama-C ( Frama-C is a static tool not dynamic )
Ira Baxter : Frama-C isn't dynamic analysis. I don't Splint is, either.eaanon01 : "Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes."eaanon01 : "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. "
0 comments:
Post a Comment