BinaryAnalysisPlatform/bap

Binary Analysis Platform

OCamlCommon LispC++CShellDockerfileemulatorsecurityarmmipsstatic-analysisocamlreverse-engineeringdisassemblersymbolic-executionbapx86dynamic-analysisbinary-analysisinstruction-semanticsprogram-analysistaint-analysispowerpcprogram-verificationlifter
This is stars and forks stats for /BinaryAnalysisPlatform/bap repository. As of 29 Mar, 2024 this repository has 1879 stars and 275 forks.

Binary Analysis Platform Table of contents Overview Installation Using Learning Contributing Sponsors Overview The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a suite of utilities and libraries that enables analysis of binary programs. BAP supports x86, x86-64, ARM, MIPS, PowerPC and new architectures can be added using plugins. BAP includes various analyses, standard interpreter, microexecution interpreter, and a symbolic executor. BAP features its own domain-specific language,...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
ocaml/duneOCamlPowerShellC1.4k+73700
facebook/inferOCamlSMTJava14.4k+142.2k+1
open-policy-agent/gatekeeper-libraryOpen Policy AgentGoShell56503000
Checkmarx/kicsOpen Policy AgentHCLGo1.7k+3268+1
Qiskit/qiskitPythonRustOpenQASM3.9k02.1k0
p4lang/tutorialsP4PythonShell1.1k08220
jrsoftware/issrcPascalInno SetupC3.7k+138810
stascorp/rdpwrapPascalC++Batchfile13.1k+315.6k+9
peazip/PeaZipPascalInno SetupBatchfile3.1k+142130
doublecmd/doublecmdPascalAssemblyC1.9k+111560