-
Static analysis of numerical properties in the presence of pointers
The fast and furious pace of change in computing technology has become an article of faith for many. The reliability of computer-based systems cru- cially depends on... -
Points to analysis for the C language
Static analysis algorithms strive to extract the information necessary for the understanding and optimization of programs at compile time. The potential values of the...
