Are there any certificates for embedded system developers?

I have used lint in the past, and I have found it useful. However, I had to stop using it as I moved onto a larger project that wasn't using it. That made it difficult to use lint, because of how interconnected the code was. The biggest problem with lint is configuring it to remove false positives and don't cares. It may be better now that they've done another release in the past year.

One company I work with has taken that large project and put it through Coverity's static analzyer. However, that's a big chunk of money to be using, so it's not recommended for small companies.

The Marvell prestera chips are 10Gbit Ethernet switches used for high throughput telecommunications packet switching. It is unlikely that you'll be able to use them for anything other than their intended use, which is essentially moving Ethernet packets around a network, very, very quickly.

Not sure what the "piggy" is without more information.