Eat Sleep Learn Repeat : analysis

Showing posts with label analysis. Show all posts

What do we mean by soundness and completeness of algorithms?

Soundness and completeness are two desirable properties that are used in multiple domains. This article specifically focuses on the soundnes...

If you love to explore your code and you have ever seen the assembly for you C or C++ code, a code sample like: int a=2; int y=a; ...

While debugging a program, determining the possible values of a variable can be very helpful. Reaching definition analysis can be leveraged...

Inputs from any external sources to a program cannot be trusted by the developers as can be a reason for inconsistent behavior or failur...

Softwares have been there for more than a hundred and fifty years (the first software was written in 1842.), but have become a significant...