If you want an open source SD card formatter for Linux, you can mkfs.vfat /dev/mmcblk0 all day long, works just fine.
I'll do the former, as I always have.
By the way, a cool quote from the agreement preceding the download page:
>3. RESTRICTIONS: You agree to NOT: (a) disassemble, reverse engineer, decompile, or otherwise attempt to derive any source code for the SDA Software from executable code;
They really, really do not want us to know what this binary does.
Depending on where you live, this might have no legal effect. Some jurisdictions allow explicitly for reverse engineering & co. for different purposes (e.g. research, interoperability with other systems, etc.).
Would be an interesting project, I have no idea how you could reprogram them though.