cbat_tools

Cybersecurity tools

Analytical tools developed for a cybersecurity project using BAP and OCaml.

Program analysis tools developed at Draper on the CBAT project.

GitHub

102 stars
18 watching
14 forks
Language: OCaml
last commit: almost 2 years ago

Related projects:

Repository Description Stars
binaryanalysisplatform/bap A comprehensive toolkit for analyzing and understanding binary programs 2,079
camlp4/camlp4 A tool for writing extensible parsers for programming languages using OCaml's abstract syntax tree (AST) system. 101
janestreet/hardcaml A comprehensive OCaml library and toolset for designing, testing, and simulating digital hardware 677
upenn-cis1xx/camelot An OCaml-based linter and style checker for OCaml code 45
rhinosecuritylabs/ccat A tool designed to test the security of container environments by simulating various attacks and vulnerabilities. 595
janestreet/core_bench A library for running micro-benchmarks in OCaml 50
airbus-seclab/bincat A toolset for analyzing binary code with IDA integration and support for value, taint analysis, type reconstruction, and detection of use-after-free and double-free bugs. 1,706
albuch/sbt-dependency-check Automatically monitors dependencies for known vulnerabilities and generates reports on security issues 266
chadmv/cmt A collection of Maya plugins developed for personal projects. 255
tylerwince/flake8-bandit Automated security testing tool 110
dannywillems/ocaml-cordova-plugin-barcode-scanner-example An example project demonstrating how to integrate a barcode scanner plugin into an Android and iOS mobile app using the OCaml programming language. 0
tcosolutions/betterscan A toolchain that scans source code and infrastructure IaC for security risks and provides a unified report. 831
tsubame-sp/ocaml_at_p A debugging tool for OCaml programming 11
janestreet/base A replacement standard library for OCaml that provides a set of well-tested and portable general-purpose modules. 877
13o-bbr-bbq/machine_learning_security An open-source project that explores the intersection of machine learning and security to develop tools for detecting vulnerabilities in web applications. 1,987