docker: Install cclyzer++ from Debian package

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

https://galoisinc.github.io/cclyzerpp/

BSD 3-Clause "New" or "Revised" License

137 stars 14 forks source link

docker: Install cclyzer++ from Debian package #76

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

Requires #71 and #75. The Docker dist image should install cclyzer++ from the Debian package, rather than manually copying in files from build/. This will help us ensure that the package is well-formed, and reduce duplication.