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.
102 stars
18 watching
14 forks
Language: OCaml
last commit: over 1 year ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 binaryanalysisplatform/bap | A comprehensive toolkit for analyzing and understanding binary programs | 2,068 |
 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 | 670 |
 upenn-cis1xx/camelot | An OCaml-based linter and style checker for OCaml code | 44 |
 rhinosecuritylabs/ccat | A tool designed to test the security of container environments by simulating various attacks and vulnerabilities. | 589 |
| janestreet/core_bench | A library for running micro-benchmarks in OCaml | 49 |
 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,691 |
 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. | 254 |
 tylerwince/flake8-bandit | Automated security testing tool | 111 |
 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. | 817 |
 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. | 868 |
 13o-bbr-bbq/machine_learning_security | This project explores the intersection of machine learning and security, focusing on developing tools and techniques to improve vulnerability detection and penetration testing in web applications. | 1,979 |