Tag: abstract interpretation
Dynamic Program Analysis Using Valgrind: A Jump-start Guide
This article introduces Valgrind, a dynamic instrumentation framework to detect memory errors. The MemCheck tool, which comes as a part of the Valgrind framework,...
Get Fit With Android
Sports and technology have always been tied together in one way or another. With the miniaturisation of technology and increased functionality, it is now...
Joy of Programming: The Technology Behind Static Analysis Tools
There are a wide range of static analysers available today -- both commercial as well as open source. Have you ever wondered how static...