A dockerised BinSkim, a binary static analysis tool that provides security and correctness results