semvec/pypi-packages huggingface dataset:
claripy 9.2.202
An abstraction layer for constraint solvers
Requires Python: >=3.10

# claripy
[![Latest Release](https://img.shields.io/pypi/v/claripy.svg)](https://pypi.python.org/pypi/claripy/)
[![Python Version](https://img.shields.io/pypi/pyversions/claripy)](https://pypi.python.org/pypi/claripy/)
[![PyPI Statistics](https://img.shields.io/pypi/dm/claripy.svg)](https://pypistats.org/packages/claripy)
[![License](https://img.shields.io/github/license/angr/claripy.svg)](https://github.com/angr/claripy/blob/master/LICENSE)

Claripy is an abstracted constraint-solving wrapper.

## Project Links
Project repository: https://github.com/angr/claripy

Documentation: https://api.angr.io/projects/claripy/en/latest/

## Usage

It is usable!

General usage is similar to Z3:

```python
>>> import claripy
>>> a = claripy.BVV(3, 32)
>>> b = claripy.BVS('var_b', 32)
>>> s = claripy.Solver()
>>> s.add(b > a)
>>> print(s.eval(b, 1)[0])
```
archinfo 9.2.202
Classes with architecture-specific information useful to other projects.
Requires Python: >=3.10

# archinfo
[![Latest Release](https://img.shields.io/pypi/v/archinfo.svg)](https://pypi.python.org/pypi/archinfo/)
[![Python Version](https://img.shields.io/pypi/pyversions/archinfo)](https://pypi.python.org/pypi/archinfo/)
[![PyPI Statistics](https://img.shields.io/pypi/dm/archinfo.svg)](https://pypistats.org/packages/archinfo)
[![License](https://img.shields.io/github/license/angr/archinfo.svg)](https://github.com/angr/archinfo/blob/master/LICENSE)

archinfo is a collection of classes that contain architecture-specific information.
It is useful for cross-architecture tools (such as pyvex).

## Project links
Project repository: https://github.com/angr/archinfo

Documentation: https://api.angr.io/projects/archinfo/en/latest/
angr-management 9.2.202
The official GUI for angr
Requires Python: >=3.10

# angr-management

angr-management is a cross-platform, open-source, graphical binary analysis tool powered by the [angr](https://angr.io) binary analysis platform! See [here](https://angr-management.readthedocs.io/en/latest/) for more information.

Some screenshots:

[![Disassembly](screenshots/disassembly.png)](https://github.com/angr/angr-management/blob/master/screenshots/disassembly.png)
[![Decompilation](screenshots/decompilation.png)](https://github.com/angr/angr-management/blob/master/screenshots/decompilation.png)
angr 9.2.202
A multi-architecture binary analysis toolkit, with the ability to perform dynamic symbolic execution and various static analyses on binaries
Requires Python: >=3.10

# angr

[![Latest Release](https://img.shields.io/pypi/v/angr.svg)](https://pypi.python.org/pypi/angr/)
[![Python Version](https://img.shields.io/pypi/pyversions/angr)](https://pypi.python.org/pypi/angr/)
[![PyPI Statistics](https://img.shields.io/pypi/dm/angr.svg)](https://pypistats.org/packages/angr)
[![License](https://img.shields.io/github/license/angr/angr.svg)](https://github.com/angr/angr/blob/master/LICENSE)

angr is a platform-agnostic binary analysis framework.
It is brought to you by [the Computer Security Lab at UC Santa Barbara](https://seclab.cs.ucsb.edu), [SEFCOM at Arizona State University](https://sefcom.asu.edu), their associated CTF team, [Shellphish](https://shellphish.net), the open source community, and **[@rhelmot](https://github.com/rhelmot)**.

## Project Links
Homepage: https://angr.io

Project repository: https://github.com/angr/angr

Documentation: https://docs.angr.io

API Documentation: https://docs.angr.io/en/latest/api.html

## What is angr?

angr is a suite of Python 3 libraries that let you load a binary and do a lot of cool things to it:

- Disassembly and intermediate-representation lifting
- Program instrumentation
- Symbolic execution
- Control-flow analysis
- Data-dependency analysis
- Value-set analysis (VSA)
- Decompilation

The most common angr operation is loading a binary: `p = angr.Project('/bin/bash')` If you do this in an enhanced REPL like IPython, you can use tab-autocomplete to browse the [top-level-accessible methods](https://docs.angr.io/core-concepts/toplevel) and their docstrings.

The short version of "how to install angr" is `mkvirtualenv --python=$(which python3) angr && python -m pip install angr`.

## Example

angr does a lot of binary analysis stuff.
To get you started, here's a simple example of using symbolic execution to get a flag in a CTF challenge.

```python
import angr

project = angr.Project("angr-doc/examples/defcamp_r100/r100", auto_load_libs=False)

@project.hook(0x400844)
def print_flag(state):
    print("FLAG SHOULD BE:", state.posix.dumps(0))
    project.terminate_execution()

project.execute()
```

# Quick Start

- [Install Instructions](https://docs.angr.io/introductory-errata/install)
- Documentation as [HTML](https://docs.angr.io/) and sources in the angr [Github repository](https://github.com/angr/angr/tree/master/docs)
- Dive right in: [top-level-accessible methods](https://docs.angr.io/core-concepts/toplevel)
- [Examples using angr to solve CTF challenges](https://docs.angr.io/examples).
- [API Reference](https://docs.angr.io/en/latest/api.html)
- [awesome-angr repo](https://github.com/degrigis/awesome-angr)
cerc-persistence 2.0.0.2
CERC Persistence consist of a set of classes to store and retrieve Cerc Hub cities and results

CERC Persistence consist of a set of classes to store and retrieve Cerc Hub cities and results.

Developed at Concordia university in Canada as part of the research group from the Next Generation Cities Institute, our aim among others is to provide a comprehensive set of tools to help researchers and urban developers to make decisions to improve the livability and efficiency of our cities, cerc persistence will store the simulation results and city information to make those available for other researchers.