Can you write tools that help others to write really secure code? I.e. something like a linter that helps to identify insecure code? Or maybe a design process

Can you write tools that help others to write really secure code? I.e. something like a linter that helps to identify insecure code? Or maybe a design process or set of design restrictions that would help avoid insecure code? (I'm particularly interested in the state of safety / security for networked embedded sensor systems -- i.e. cameras or other sensors in mobile robotics, security/analytics etc... and I'm trying to produce a set of tools to help make the development of such tools safer and more secure as well as faster and more efficient).