BINSEC binary-level open-source platform - View it on GitHub