For safety stuff I've worked on, the source had to be vetted, and then someone g...

		aidenn0 on March 31, 2017 \| parent \| context \| favorite \| on: How to Write Portable C Without Complicating Your ... For safety stuff I've worked on, the source had to be vetted, and then someone goes through line by line and confirms that the assembly generated for each line of code matches the source code. For C or Ada with conservative optimizations, this is fairly mechanical (and extremely boring), but means that trusting the compiler is not a requirement.

Then you must have worked on tiny software.