Building a better computer bug finder: Researchers improve the process of finding vulnerabilities by intentionally adding swarms of bugs to source code

Detecting bugs in computer programs is an expensive task, and there is no way of measuring their efficacy without knowing exactly how many go unnoticed. To tackle this problem, researchers have created LAVA (Large-Scale Automated Vulnerability Addition), a cost-effective technique of intentionally adding vulnerabilities to a program's source code to test the limits of bug-finding … Continue reading Building a better computer bug finder: Researchers improve the process of finding vulnerabilities by intentionally adding swarms of bugs to source code

Advertisements

The Ada Programming Language

This is the first of a series (I hope 😉 of posts about characteristics of different programming languages. The structure of the text is not consolidated yet, it may (and probably will) change in further texts. In this first post, I will write about the Ada programming language. You should not consider this text as a tutorial … Continue reading The Ada Programming Language

.PLT and .GOT – the key to code sharing and dynamic libraries

This text was found here: http://www.technovelty.org/linux/pltgot.html The shared library is an integral part of a modern system, but often the mechanisms behind the implementation are less well understood. There are, of course, many guides to this sort of thing. Hopefully this adds another perspective that resonates with someone. Let's start at the beginning — - … Continue reading .PLT and .GOT – the key to code sharing and dynamic libraries

Understanding Linux ELF RTLD internals

This text was found here: http://s.eresi-project.org/inc/articles/elf-rtld.txt /* Last update Sun Dec 22 06:55:39 2002 mayhem - Version 0.1 May 2001 - Version 0.2 .::. 2002 (WIP) : - Added stuff about rtld relocation . - Added stuff about rtld symbol resolution . - Various fixes and some links added . This draft remained unreleased for … Continue reading Understanding Linux ELF RTLD internals

An Emulator Writer’s HOWTO for Static Binary Translation

This is a very interesting article that I found at: http://www.gtoal.com/sbt/. This is a practical article showing to to craft a simple static binary translator and emulator. There is a lot of Computer Science literature on binary translation, both of the sexy dynamic variety and the slightly duller (from the CS point of view) static … Continue reading An Emulator Writer’s HOWTO for Static Binary Translation

Linkers and Loaders

This is an excelent (!!!) article describing in general terms how the process of linking (static and dynamic) and loading elf programs on linux works. This is a very valuable article. The original is found here: http://www.linuxjournal.com/article/6463?page=0,0 Discussing how compilers, links and loaders work and the benefits of shared libraries. Linking is the process of combining … Continue reading Linkers and Loaders