cbat_tools

KO | EN

gitlite — search

#hacktoberfest #react #typescript #golang #machine-learning #deep-learning #macos #java #windows #cli #awesome-list #vue #pytorch #open-source

(★ 108)

Program analysis tools developed at Draper on the CBAT project.

File Explorer

Download Latest Version (.zip)

- - 01-Documentation-and-help.md
  - 02-Running-with-docker.md
  - 03-Using-the-CLI.md
  - 04-Using-BAP-in-utop.md
  - 05-Plugins.md
  - 06-Organizing-files.md
  - 07-Extensions.md
  - 08-Extension-errors.md
  - 09-Passes.md
  - 10-Multiple-passes.md
  - 11-Parameters.md
  - 12-Logging.md
  - 13-Custom-commands.md
  - 14-Custom-command-errors.md
  - 15-Using-BAP-as-a-library.md
- - 01-About-the-KB.md
  - 02-KB-classes.md
  - 03-Multisorted-KB-classes.md
  - 04-KB-domains.md
  - 05-KB-slots.md
  - 06-KB-objects.md
  - 07-KB-promises.md
  - 08-KB-snapshots.md
  - 09-Toplevel-eval.md
- - 01-About-compilation-units.md
  - 02-KB-labels.md
  - 03-More-about-KB-labels.md
  - 04-Compilation-units.md
  - 05-Objects-inside-objects.md
  - 06-KB-targets.md
  - 07-Memory.md
  - 08-Looking-up-labels.md
- - 01-About-BAP-semantics.md
  - 02-Providing-semantics.md
  - 03-Promising-semantics.md
  - 04-Variable-assignments.md
  - 05-Multiple-variable-assignments.md
  - 06-Compiling-to-core-theory-programs.md
  - 07-Custom-theories.md
- - 01-About-KB-analyses.md
  - 02-A-hello-world-analysis.md
  - 03-A-more-complex-analysis.md
- README.md
- cg_similarity_score_data.md
- README.md
- static_vsa_data.md
- - bildb_cursor.ml
  - bildb_cursor.mli
  - bildb_init.ml
  - bildb_init.mli
  - bildb_position.ml
  - bildb_position.mli
  - bildb_startup.ml
  - bildb_startup.mli
  - bildb_state.ml
  - bildb_state.mli
  - bildb_tty.ml
  - bildb_tty.mli
  - bildb_ui.ml
  - bildb_ui.mli
  - bildb_utils.ml
  - bildb_utils.mli
- - main.c
  - Makefile
  - README.md
- .gitignore
- bildb.ml
- example.yml
- init.yml
- Makefile
- README.md
- .gitignore
- cbat.css
- cbat_logo.png
- exercises.html
- index.html
- installation.html
- reference.html
- tutorial.html
- - .merlin
  - explicit_edge.ml
  - Makefile
  - README.md
- - .gitignore
  - Makefile
  - README.md
- README.md
- - .merlin
  - design_decisions.md
  - Makefile
  - README.md
  - wp.ml
- - README.md
  - run.bash
  - run_single.bash
- Makefile
- README.md
.gitignore
.gitlab-ci.yml
Dockerfile
LICENSE
README.md

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# CBAT

![CBAT Logo](https://raw.githubusercontent.com/draperlaboratory/cbat_tools/master/docs/cbat_logo.png)

This repository contains tools built on top of
[BAP](https://github.com/BinaryAnalysisPlatform/bap). To get started, see the
[CBAT documentation](https://draperlaboratory.github.io/cbat_tools/).

## Repository layout

To get started, see the documentation link above.  If you're digging into the
code, this repository contains three tools in different directories as follows:

* [weakest-precondition](./wp) - An SMT-based weakest precondition (WP) analysis
  for BAP.  We use this both for single program analysis and for comparing the
  behavior of two programs.  The WP calculation verifies intra-procedural
  properties specified using first-order logic, and resolved using the Z3
  theorem prover.  To compare programs, the plugin combines them into a single
  program and uses the weakest precondition computation to find differences in
  the behavior of the two parts.

* [bildb](./bildb) - A debugger to step through binary programs lifted into
  BAP's intermediate language (BIL). The debugger lets users see the binary
  program as BAP sees them, in the simpler BIL syntax that is architecture
  independent. Users can step/skip forwards backwards, set breakpoints, read/set
  registers and memory locations, and so on.

* [value-set-analysis](./vsa) - A value set analysis (VSA) for BAP, and a tool
  to add missing edges to a CFG based on the value set analysis.  The CFG edge
  reconstruction is done by performing VSA to discover and add new edges to the
  CFG, and iterating to a fixpoint. The value set analysis itself can be used
  independently of the CFG reconstruction.  **Note:** The vsa plugin was built
  for earlier versions of BAP, and has not been updated for BAP 2.x.  It is
  known not to compile with current versions of BAP.  We plan to revisit it in
  the future.

The repository also contains:

* [bap-notes](./bap-notes) - A set of notes and starter examples that are useful
  when learning how to use [BAP](https://github.com/BinaryAnalysisPlatform/bap).
* [bap_angr](./bap_angr) - Data related to the paper
  "Using Binary Analysis Frameworks: The Case for BAP and angr."

## Disclaimer

This work is sponsored by ONR/NAWC Contract N6833518C0107.  Its content does not
necessarily reflect the position or policy of the US Government and no official
endorsement should be inferred.

cbat_tools

File Explorer

Today's picks

Was this content helpful?

Recent Feedback

cbat_tools

File Explorer

Today's picks

Was this content helpful?

Recent Feedback

Download README