Static analysis and program profiling

Go To Last Post
5 posts / 0 new
Author
Message
#1
  • 1
  • 2
  • 3
  • 4
  • 5
Total votes: 0

What are your favorite tools for automated static analysis? Are there any which are compatible with programs written for AVR's?

And what about programs which let you know how much CPU time is used on each function and how often they are called during execution?

  • 1
  • 2
  • 3
  • 4
  • 5
Total votes: 0

For analysis look at splint (or, if you can afford it, Gimpel's lint)

  • 1
  • 2
  • 3
  • 4
  • 5
Total votes: 0

I tried to use splint but couldn't figure out how to configure the paths properly in Windows environment.

  • 1
  • 2
  • 3
  • 4
  • 5
Total votes: 0

EW announced SPLINT for WINAVR in a post some time ago...
-->Post

I am looking forward into it, as I am not able to get the SPLINT running.

Does anybody have some news about this?

  • 1
  • 2
  • 3
  • 4
  • 5
Total votes: 0

Clang seems to be the most promising free static analyzer for C/Obj-C/C++ right now, but alas there is no AVR target for LLVM. This has been something I've been meaning to take a hack at but haven't had the time. Of course, even LLVM with an AVR target would be rather worthless without a corresponding C library, and I doubt that porting avr-libc would be any simpler than writing the AVR backend!

Math is cool.
jevinskie.com