


EPFL - I&C - ISC - LASEC
Station 14 - Building INF
CH-1015 Lausanne
Switzerland
Tel. +41 21 693 7603
Fax. +41 21 693 7689
| Summary | |
The security bug catcher is a tool for the automatic discovery of vulnerabilities in network based applications. It is based on two separate specifications: the protocol specification describes the interactions with the system under test: its states, the messages that can be sent in each state and the possible state transitions based on responses. Each message is described by a generic syntax. The second specification describes the bugs to look out for. It describes all possible variants that should be used for all given syntaxes. The advantage of having two distinct specifications makes it possible to search for the same kind of errors in different applications, or to validate the same set of applications against new types of errors. Typical bugs that are discovered by the bugcatcher are buffer overflows, parameters out of range, format string vulnerabilities and incorrect behaviour on unexpected commands. The security bug catcher was programmed by Olivier Filols and Andreas Rüegg. | |
Publications |
|
|
| |
Download |
|
|
| |
Vulnerability reports | |
|
While testing the security bug catcher we have discovered various vulnerabilities. Most of the had already been documented but a few where unpublished vulnerabilities.
Philippe Oechslin, Last modified: June 2004 | |