Metadata-Version: 2.1
Name: dangr_rt
Version: 0.2.1
Summary: This library provides the primitives to perform a symbolic analysis
Author: Lucía Martinez Gavier
Author-email: lucia.m.gavier@mi.unc.edu.ar
Requires-Python: >=3.12,<4.0
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.12
Requires-Dist: angr (>=9.2.117,<10.0.0)
Requires-Dist: argparse (>=1.4.0,<2.0.0)
Requires-Dist: ipython (>=8.27.0,<9.0.0)
Requires-Dist: matplotlib (>=3.9.2,<4.0.0)
Requires-Dist: multimethod (>=1.12,<2.0)
Requires-Dist: multipledispatch (>=1.0.0,<2.0.0)
Requires-Dist: mypy (>=1.11.2,<2.0.0)
Requires-Dist: pytest (>=8.3.3,<9.0.0)
Requires-Dist: pytest-cov (>=5.0.0,<6.0.0)
Requires-Dist: radon (>=6.0.1,<7.0.0)
Description-Content-Type: text/markdown

# Dangr run time

**dangr_rt** is the runtime library for **dangr**, a declarative language tailored for semantic pattern detection in binary analysis. The dangr run time uses the **angr** framework to facilitate powerful symbolic execution and analysis. **dangr_rt** provides core functionalities and utilities needed to execute and analyze compiled dangr code at runtime.

## Getting Started

```bash
# Install
poetry shell
poetry install

# Test
pytest
```

