"abstract interpretation" tag

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, is used for this purpose. Throughout this article, the…

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 possible to turn every portable device into a sports…

Let's analyse this code

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 analysers magically detect difficult-to-find bugs in code? And why…

All published articles are released under Creative Commons Attribution-NonCommercial 3.0 Unported License, unless otherwise noted.
Open Source For You is powered by WordPress, which gladly sits on top of a CentOS-based LEMP stack.

Creative Commons License.