analyses
ansi-c # should go away
goto-checker
goto-programs
goto-symex
java_bytecode
json
langapi # should go away
library
linking
miniz
solvers/strings
util
