Binary Analysis Platform
Binary Analysis Platform is a framework for writing program analysis tools, that target binary files. The framework consists of a plethora of libraries, plugins, and frontends. The libraries provide code reusability, the plugins facilitate extensibility, and the frontends serve as entry points.
| System | Target | Derivation | Build status |
|---|---|---|---|
| x86_64-linux | /gnu/store/bchgkkqsvivn1smhzbfn4ynh4sqk1z5i-bap-2.0.0.drv |
| Linter | Message | Location |
|---|---|---|
| input-labels Identify input labels that do not match package names | label 'ocaml-oasis' does not match package name 'ocaml4.07-oasis' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-ounit' does not match package name 'ocaml4.07-ounit' | |
| input-labels Identify input labels that do not match package names | label 'camlzip' does not match package name 'ocaml4.07-camlzip' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-bitstring' does not match package name 'ocaml4.07-bitstring' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-cmdliner' does not match package name 'ocaml4.07-cmdliner' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-core-kernel' does not match package name 'ocaml4.07-core-kernel' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-ezjsonm' does not match package name 'ocaml4.07-ezjsonm' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-fileutils' does not match package name 'ocaml4.07-fileutils' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-frontc' does not match package name 'ocaml4.07-frontc' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-graph' does not match package name 'ocaml4.07-graph' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-ocurl' does not match package name 'ocaml4.07-ocurl' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-piqi' does not match package name 'ocaml4.07-piqi' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-ppx-jane' does not match package name 'ocaml4.07-ppx-jane' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-utop' does not match package name 'ocaml4.07-utop' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-uuidm' does not match package name 'ocaml4.07-uuidm' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-uri' does not match package name 'ocaml4.07-uri' | |
| input-labels Identify input labels that do not match package names | label 'ocaml-zarith' does not match package name 'ocaml4.07-zarith' |