Home Tags Abstract interpretation

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...
Advertisement

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...
Advertisement

Block title