Security Challenge 2: Can we design programming languages that enable safety and security analysis to have a higher probability of eliminating vulnerabilities?

Why is it difficult?

Often there are security loopholes in every programming language, and programmers must be aware of them from the start of developing the codebase. Most security breaches such as denial of service attacks and system hijacks can be prevented by carefully writing the code. For example, by adequately verifying the input type and their size in a piece of code, we can avoid unwanted stuff that could cause issues related to memory overflow.

What is the impact?

Ensuring proper code implementation in any programming language could prevent most vulnerabilities and attacks specific to web applications. Any untrusted input would be validated before using it and can be classified as benign or safe. It will allow the safety and security of various applications on our laptops or mobile devices.