4 ms·
C is not simple. It is small. > Maybe the answer for more secure kernel code is C with better security analysis tools? Perhaps like a way of expressing the co
by duped 3y ago
C is not simple. It is small.
> Maybe the answer for more secure kernel code is C with better security analysis tools?
Perhaps like a way of expressing the constraints of a program and automatically checking if portions of a program satisfy those constraints. Aka a type checker.
- constantcrying 3y agoType checkers are not enough and there are many constraints they can not check. >C is not simple. It is small. C is complex because of undefined/unspecified/implementation defined behaviour. Any language which is used on as wide of a range of platforms will have those issues.