assembler
goto-checker
goto-programs
goto-symex
langapi
linking
solvers
util
