Thursday, May 18, 2017
Lessons from the Global Ransomware Attack, Part 5
A common source of exploits and security holes is bad coding practices. Wider use of software synthesis tools would help to reduce the frequency of these types of problems. Software synthesis has been very successful in some domains. Signal processing software is often synthesized from high-level algorithmic specifications. Web site design tools make extensive use of synthesis. Some of the synthesis tools out there, such as UML coding systems, provide little more than syntactic transformations but even limited forms of synthesis could help reduce coding-induced security problems.