Can you write tools that help others to write really secure code?<p>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?<p>(I&#x27;m particularly interested in the state of safety &#x2F; security for networked embedded sensor systems -- i.e. cameras or other sensors in mobile robotics, security&#x2F;analytics etc... and I&#x27;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).