Two queries on code production tools

1. When Castle produced the Iyonix the Armalyser was a marvellous tool for verifying code and for highlighting non-32-bit-compatible sections. Has anybody produced yet anything that would do an analogous job for BeagleBoards and suchlike, that could be used by those who do not have one? 2. Does the Norcroft C compiler (v. 5.65) produce code that is safe for BeagleBoards et al, when used with the shared C library (v5.56)?

Apologies if these questions are naive, or already answered somewhere on the ROOL forum.

1. Not to my knowledge.

2. Yes, providing you use the right compiler options.

For an overview of compatability issues (including the right compiler options to use on older versions of Norcroft), see here