asmslicer

asmslicer is the LOCI static-analysis service. It slices ELF binaries (embedded firmware and executables) into:

ASM basic blocks and linear execution segments, including CFG info.
Callgraph between functions.
Symbol and variable-access information.

and additionally provides binary diffing, worst-case stack-depth estimation, ROM/RAM memory-usage reports, and cross-artifact symbol dependency resolution.

Documentation

Full documentation lives in docs/ — start with the overview.


1. Overview and scope	What the service does; scope boundary vs. the TDMP trace pipeline
2. Architecture	Processing pipeline, disassembly engines, data flow
3. CLI reference	Subcommands `slice`, `diff`, `stack-depth`, `memmap`, `deps`; exit codes
4. Output formats	Normative schemas of all CSV/DOT/JSON artifacts
5. Analyses	Methods, assumptions, guarantees, blind spots
6. Platform support	aarch64 / Cortex-M / TriCore support matrix
7. Deployment and operations	Docker image, env vars, security posture
8. Dependencies	Third-party inventory and licenses
9. Quality assurance	Test suites and golden-data regression evidence
10. Limitations and determinism	Soundness limits, reproducibility statement
11. Release and versioning	CI/CD, image tagging, provenance

How do I get set up?

asmslicer uses uv for Python project and dependency management; install uv first.

External dependencies

The following system tools are required for full functionality:

binutils — provides c++filt for C++ symbol demangling
llvm-18 — provides llvm-ifs-18 for interface stub generation
rustfilt — for Rust symbol demangling

On Debian/Ubuntu:

sudo apt-get update && sudo apt-get install binutils rustfilt
wget -qO- https://apt.llvm.org/llvm.sh | sudo bash -s -- 18

For CUDA binary analysis (optional):

# Requires NVIDIA CUDA toolkit
sudo apt-get install cuda-cuxxfilt-13-0 cuda-cuobjdump-13-0 cuda-nvdisasm-13-0

Then configure the venv using uv:

uv venv
source .venv/bin/activate
uv sync

Once the venv is set up you can run the service CLI locally:

loci-service-asmslicer --help
loci-service-asmslicer slice path/to/app.elf ./out

The Docker container image can also be built in the standard way:

docker build -t loci-platform/loci-service-static-analysis .

Contribution guidelines

The project uses the main branch for active development.
Changes are merged by creating a pull request targeting main.
Merging to main automatically triggers a build pipeline which deploys the Docker container to AWS ECR with the latest tag.
Creating an annotated tag with an x.y.z version number triggers a pipeline build which deploys the Docker container to AWS ECR with the x.y.z tag. See docs/11-versioning.md.

Who do I talk to?

Repo owner or admin.

Release files for loci-service-asmslicer 1.1.7

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Built distributions (wheels)

Table of built distributions (wheels) for loci-service-asmslicer 1.1.7
File	Interpreter	ABI	Platform	Reset
loci_service_asmslicer-1.1.7-cp312-cp312-win_amd64.whl 3.3 MB Sep 24, 2026	CPython 3.12	CPython 3.12	Windows x86-64	Details
loci_service_asmslicer-1.1.7-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl 26.4 MB Sep 24, 2026	CPython 3.12	CPython 3.12	Linux glibc 2.17+ x86-64, Linux glibc 2.28+ x86-64	Details
loci_service_asmslicer-1.1.7-cp312-cp312-macosx_11_0_x86_64.whl 3.8 MB Sep 24, 2026	CPython 3.12	CPython 3.12	macOS 11.0+ x86-64	Details
loci_service_asmslicer-1.1.7-cp312-cp312-macosx_11_0_arm64.whl 3.6 MB Sep 24, 2026	CPython 3.12	CPython 3.12	macOS 11.0+ ARM64	Details

Total release size: 37.0 MB

Release files / loci_service_asmslicer-1.1.7-cp312-cp312-win_amd64.whl

Download URL	loci_service_asmslicer-1.1.7-cp312-cp312-win_amd64.whl
Size	3.3 MB
Tags	CPython 3.12 Windows x86-64
SHA-256 checksum How to use checksums	`db2f51dbb0f00ab823b00e6542b72b37019ffe0756fe964d330826dbf203babe`
BLAKE2b-256 checksum How to use checksums	`5a14ef843c9a7318fd1ed05b751c1bd204aa4d58cf50fef163a3f78dc8e0df27`
Upload date	Sep 24, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.12.13`

Release files / loci_service_asmslicer-1.1.7-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl

Download URL	loci_service_asmslicer-1.1.7-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Size	26.4 MB
Tags	CPython 3.12 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`ce15746e151e92afa6851241431c4ad8ca9ee5c7a094d717b7db4a3a727b809e`
BLAKE2b-256 checksum How to use checksums	`8b7ae4b387b2d1accb6f12993aae127298fb24ac8135303e07c3822452252d15`
Upload date	Sep 24, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.7`

Release files / loci_service_asmslicer-1.1.7-cp312-cp312-macosx_11_0_x86_64.whl

Download URL	loci_service_asmslicer-1.1.7-cp312-cp312-macosx_11_0_x86_64.whl
Size	3.8 MB
Tags	CPython 3.12 macOS 11.0+ x86-64
SHA-256 checksum How to use checksums	`0a0f4b5ac2f3a34c8a08b76e42a3f4405391c15a97e20ee4470430e20c02a321`
BLAKE2b-256 checksum How to use checksums	`689953393816ec3805330c0f4a5bc4efe6af405d92d6c7999a29ad296748d352`
Upload date	Sep 24, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.13`

Release files / loci_service_asmslicer-1.1.7-cp312-cp312-macosx_11_0_arm64.whl

Download URL	loci_service_asmslicer-1.1.7-cp312-cp312-macosx_11_0_arm64.whl
Size	3.6 MB
Tags	CPython 3.12 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`6cac7062951ba6ebf047a5c3aa026d5d9db79469583508c41511c05c4e9ce266`
BLAKE2b-256 checksum How to use checksums	`22aa7f59dddd59b4648d88dcddf7a481993eab9f0ce41166d1047c74d32c9e94`
Upload date	Sep 24, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.13`