It's Smartmatic's software, specifically, which Dominion's voting machines use through a licensing agreement. The manual of the machines show the alleged features - being able to skew results, for instance. These things are definitely easy to abuse - the only question is whether and to what extent they were.