Anyone using lint?

10 Mar 2011

Anyone used PC-Lint to review their mbed projects? I had to manually download all 20+ mbed.h and related headers, but since I don't have the standard headers that the RVDS armcc is using, I can't get it to stop complaining about how it can't find stdio.h, etc. Anyone have any suggestions? Getting the eval version of MDK-ARM now, maybe that will have the files...

Any other tips/experiences would be appreciated. Thanks!

edit: yeah, I realized they had an eval version, about 5 minutes after I posted XD

10 Mar 2011

Keil offers an evaluation version of MDK: https://www.keil.com/demo/eval/arm.htm. But RVDS trial is available too: https://silver.arm.com/browse/RVP41-BN-00000

10 Mar 2011

For anyone interested - I did manage to get this working, using the include tree from the MDK_ARM package. Lint was pretty cranky, and I had to filter a lot of errors, as well as fake some preproc defines. Most notably, I had to set

-dTARGET_LPC1768
-d__ARMCC_VERSION=410561

Also had to download every. single. header file from the trac interface... but that was to be expected. Just keep running it with the +vf option until you get that part right.