←Backbinsec/binsec0Copy as MarkdownView on GitHub↗409 stars·41 forks·OCaml·LGPL-2.1·0 viewsBinsecFeaturesFirmware Analysis Tools - Static analysis platform for binary code security verification.