Leaked? Is the source code not public anyway? I mean generally you'd want to know what method they are using to count votes.
I'm shocked at how few people care that so many votes are "counted" through Republican-friendly voting computers.
Journalist Greg Palast also has evidence of electronic voter in Ohio in 2004. (Disclaimer: I have not delved deep on his claims, but the mere fact of their plausibility is deeply concerning.)
Feel free to ask about details, because I'm from Poland and hadn't found any sufficient article about it.