Home Tags Abstract interpretation

Tag: abstract interpretation

Dynamic Program Analysis Using Valgrind: A Jump-start Guide

0
  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

0
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

1
There are a wide range of static analysers available today -- both commercial as well as open source. Have you ever wondered how static...