Static analysis and program profiling

Log in or register to post comments
Go To Last Post
5 posts / 0 new
Author
Message
miikalo
miikalo's picture
Level: Rookie
Joined: Thu. Jul 2, 2009
Posts: 36 View posts
#1
Posted by miikalo: Wed. Sep 23, 2009 - 12:01 PM
  • 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?

Tags:

AVR Microcontrollers, megaAVR and tinyAVR
Top
clawson
clawson's picture
Level: Moderator
Joined: Mon. Jul 18, 2005
Posts: 96948 View posts
Location: (using avr-gcc in) Finchingfield, Essex, England
Posted by clawson: Wed. Sep 23, 2009 - 12:26 PM
  • 1
  • 2
  • 3
  • 4
  • 5
Total votes: 0

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

Top
miikalo
miikalo's picture
Level: Rookie
Joined: Thu. Jul 2, 2009
Posts: 36 View posts
Posted by miikalo: Wed. Sep 23, 2009 - 01:12 PM
  • 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.

Top
fabianhu
fabianhu's picture
Level: New Member
Joined: Fri. Aug 2, 2002
Posts: 15 View posts
Posted by fabianhu: Tue. Dec 1, 2009 - 08:44 PM
  • 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?

Top
Jevin
Jevin's picture
Level: Hangaround
Joined: Wed. Jun 16, 2004
Posts: 167 View posts
Location: Lafayette, IN
Posted by Jevin: Wed. Dec 2, 2009 - 07:09 AM
  • 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

Top