While performing a database transaction, it is desirable that the current operation doesn't implant any inconsistencies in the database....
Read More
Showing posts with label bug. Show all posts
Constant Propagation Analysis
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; ...
Read More
Reaching Definition Analysis
While debugging a program, determining the possible values of a variable can be very helpful. Reaching definition analysis can be leveraged...
Read More
Control Flow Graph
A program while executing may choose one of the many paths depending on the input or inputs provided. A control flow graph is a pictoria...
Read More
Analyzing Taint Propagation (Taint Analysis)
Inputs from any external sources to a program cannot be trusted by the developers as can be a reason for inconsistent behavior or failur...
Read More
How bugs and faults are located in a program?
Softwares have been there for more than a hundred and fifty years (the first software was written in 1842.), but have become a significant...
Read More
Subscribe to:
Posts (Atom)