ailment
The angr intermediate language.
Decision gist · record as of 2026-08-14
Yes, if you are already using angr or building tools that depend on it—AILment is a stable, low-friction library with no known vulnerabilities and permissive licensing. No, if you are evaluating it as a standalone tool or for new projects—the abandoned status and 444-day release gap mean no active maintenance or bug fixes. Install only as a transitive dependency or for existing angr-based workflows.AI-flagged interpretation of the facts on this page — verify before relying
Before you install
- Requires Python 3.10 or later.
- Low install friction with a single lightweight dependency.
- However, the repository is archived and marked abandoned, with no releases for 444 days despite a final commit in May 2025—maintenance is effectively stalled.
License · maintenance · safety
BSD-2-Clause (permissive) — BSD-2-Clause is permissive and poses no restrictions on use, modification, or distribution in commercial or private projects.
last release 2025-05-27 (444 days) · last repo commit 2025-05-28 · 33 stars · archived
0 known vulnerabilities (OSV.dev, 2026-08-14) · 282,880 downloads/mo, #8,082 on PyPI
Alternatives
Verify before relying
pip install ailment
from ailment.statement import Assignment
from ailment.expression import BinOp- Whether the abandoned status affects compatibility with current angr releases or if it remains functional as a stable dependency.
- Whether the 444-day gap since the last release indicates active maintenance or if the final commit represents only archival cleanup.
What it is and what it does
AILment is the intermediate language layer of the angr binary analysis framework. It provides a unified, architecture-agnostic representation of program code and semantics, allowing binary analysis tools to reason about program behavior without being tied to specific CPU instruction sets. The library translates low-level machine code into higher-level IL statements and expressions that can be analyzed, transformed, and reasoned about more easily.
The package is designed as a dependency for angr and related tools that need to work with program semantics at an intermediate level of abstraction. It depends only on typing-extensions and supports Python 3.10 through 3.13. While the repository is now archived and abandoned (no releases for 444 days), the library remains available and may continue to function as a stable dependency if you are already using angr.
Use it for
- Building custom binary analysis tools that need a unified IL representation across multiple CPU architectures.
- Analyzing program semantics without writing architecture-specific code by working with angr's IL abstractions.
- Extending angr's analysis capabilities with custom IL transformations or analyses.
- Reverse-engineering or security research that requires cross-platform program representation.
Worth the install?
AI-flagged interpretation of the facts on this page. Verify before relying on it.
Yes, if you are already using angr or building tools that depend on it—AILment is a stable, low-friction library with no known vulnerabilities and permissive licensing.
No, if you are evaluating it as a standalone tool or for new projects—the abandoned status and 444-day release gap mean no active maintenance or bug fixes. Install only as a transitive dependency or for existing angr-based workflows.
Install
ailment on PyPI
Before you install
Low install friction with a single lightweight dependency. However, the repository is archived and marked abandoned, with no releases for 444 days despite a final commit in May 2025—maintenance is effectively stalled.
Requires Python 3.10 or later.
License in practice
BSD-2-Clause is permissive and poses no restrictions on use, modification, or distribution in commercial or private projects.
Quickstart
pip install ailment
from ailment.statement import Assignment
from ailment.expression import BinOpVerify before relying
- Whether the abandoned status affects compatibility with current angr releases or if it remains functional as a stable dependency.
- Whether the 444-day gap since the last release indicates active maintenance or if the final commit represents only archival cleanup.
Package facts
| License | BSD-2-Clause permissive |
| Python support | Supports the current Python release >=3.10 |
| Install friction | Low. Pure-Python wheel |
| Runtime dependencies | 1 packagetyping-extensions |
| Maintenance | Abandoned 444 days since the last release |
| Last repo commit | repository archived |
| First released | |
| Downloads | 282,880 / month, #8,082 on PyPI 30-day window, as of 2026-08-14 |
| Known vulnerabilities | None known OSV.dev, checked 2026-08-14 |
| Classifiers | Programming Language :: Python :: 3Programming Language :: Python :: 3 :: OnlyProgramming Language :: Python :: 3.10Programming Language :: Python :: 3.11Programming Language :: Python :: 3.12Programming Language :: Python :: 3.13 |
Evidence: ailment-9.2.158-py3-none-any.whl
Tags
Let your AI agent find packages like this
Example. Real query, live index.
You found this page by searching. An agent finds it by wishing: SkillFed indexes 14,416 PyPI packages by what they can do, searchable in plain language.
wish › “angr intermediate language”
- ailmentAILment provides the intermediate language (IL) representation used…
- pypcodepypcode provides machine code disassembly and intermediate…
- angrangr is a binary analysis framework that performs symbolic execution,…
Give your agent the search over MCP, or paste the wish link into any chat.
More Software Development packages
Provides backported and experimental type hints for Python 3.9+, allowing use of newer typing features on older Python versions and enabling early experimentation with type system PEPs before they enter the standard library.
NumPy provides an N-dimensional array object and a comprehensive suite of mathematical, linear algebra, Fourier transform, and random number functions for scientific computing in Python.
FastAPI is a Python web framework for building REST APIs using type hints, with automatic request validation, serialization, and interactive API documentation.
Provides a way to document function parameters, class attributes, return types, and variables inline using Python's `Annotated` type hint syntax instead of traditional docstrings.
Typer builds command-line applications from Python functions using type hints, automatically generating help text, argument parsing, and shell completion.
Install it if you are building CLIs in Python.
Distlib provides low-level packaging utilities for building, distributing, and managing Python software—including metadata handling, version specifiers, wheel support, script installation, and dependency resolution.
See also angr · archinfo · nvidia-cuda-tileiras · bfi · dncil · claripy · cle · pyvex · xdsl · angr-data