analyses
ansi-c # should go away
goto-programs
java_bytecode
json
langapi # should go away
library
linking
miniz
util
