Some may wonder if there's any relation between my nickname 'Peli' and 'Pex': there's none! Pex just stands for "Program Exploration".

In fact, Pex was started long before I joined the project by my colleague Nikolai Tillmann. Nikolai started the MUTT project (read this), which is the ancestor of Pex. He's the mastermind behind the IL rewriter, symbolic engine, and well a large part of Pex :) Hopefully, I'll convince him to start a blog :).

The American Homeland Security megadepartment has been in the news recently, covering a whole taxonomy of bug types, relating to people seen as unwelcome visitors and unwelcome visitors seen as raindrops! Firstly, we have the sad story of honest Debbie Williams Arthur who tried to renew her Virginia driver’s license over the net, only to have it rejected with a message saying her car stickers had to be picked up in person. Her husband went to pick them up, only to be told it had to be Debbie, and she had to call a toll free number in the meantime. When she rang the number she was told that Homeland Security had identified her as a fugitive called Debbie K Williams from another part of the U.S, and to bring her ID in to the office. When she got there, they said the problem would be fixed in 15 minutes, then she was told after an hour there were complications. These included the fact that the system didn’t think she existed and the Homeland Security override would not allow her records to be set up. After 3 ½ hours she left, after being advised to walk home because any police check would result in her arrest as a fugitive! She ended up with a hand written note (!) for the police in case she was stopped. Despite being told the issue would be fixed and she’d be given phone updates, none came. Finally after another visit to the office, she got her car stickers (at which point she probably was a fugitive driving with expired car stickers!). This is a production bug, relating to data. The system as a whole works, but missing data and locks on the existing data from the external homeland security system presumably needed software fixes to rectify the bug.