cbat_tools
Program analysis tools developed at Draper on the CBAT project.
AI summary
Cybersecurity tools
Analytical tools developed for a cybersecurity project using BAP and OCaml.
- stars
- 102
- forks
- 14
- watching
- 18
Similar projects
Found by comparing what the projects do, not just their names.
Binary analyzer
A comprehensive toolkit for analyzing and understanding binary programs
Parser tool
A tool for writing extensible parsers for programming languages using OCaml's abstract syntax tree (AST) system.
Hardware design toolkit
A comprehensive OCaml library and toolset for designing, testing, and simulating digital hardware
Code linting tool
An OCaml-based linter and style checker for OCaml code
Container attacker
A tool designed to test the security of container environments by simulating various attacks and vulnerabilities.
Benchmarking toolkit
A library for running micro-benchmarks in OCaml
Binary analyzer
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.
Vulnerability scanner
Automatically monitors dependencies for known vulnerabilities and generates reports on security issues
chadmv/cmt255
Maya plugins
A collection of Maya plugins developed for personal projects.
Security auditor
Automated security testing tool
Barcode scanner integration
An example project demonstrating how to integrate a barcode scanner plugin into an Android and iOS mobile app using the OCaml programming language.
Scanner
A toolchain that scans source code and infrastructure IaC for security risks and provides a unified report.
Debugging library
A debugging tool for OCaml programming
OCaml standard library
A replacement standard library for OCaml that provides a set of well-tested and portable general-purpose modules.
Security toolkit
An open-source project that explores the intersection of machine learning and security to develop tools for detecting vulnerabilities in web applications.
