The source files for dragonegg, the gcc plug-in used as the front end for the tool are present inside the folder 'Dragonegg'.
The pre-requisites, installation steps and testing details are given in 'Instructions.txt' inside the folder. More detailed build instructions are included in README in the folder.
The source files for LLVMBMC, the static analysis tool are provided inside the folder 'llvm_bmc'.
The dependencies, installation steps and testing details are given in README inside the folder.