djb research: Automatic Exploit Generation

djb research: Automatic Exploit Generation.