CBMC
assembler

Folder assembler

assembler/provides front-end processing for assembler.