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.

Metadata

Release files for loci-service-asmslicer 1.1.15

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.15
File	Interpreter	ABI	Platform	Reset
loci_service_asmslicer-1.1.15-cp312-cp312-win_amd64.whl 3.4 MB Oct 16, 2026	CPython 3.12	CPython 3.12	Windows x86-64	Details
loci_service_asmslicer-1.1.15-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl 27.1 MB Oct 16, 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.15-cp312-cp312-macosx_11_0_x86_64.whl 3.9 MB Oct 16, 2026	CPython 3.12	CPython 3.12	macOS 11.0+ x86-64	Details
loci_service_asmslicer-1.1.15-cp312-cp312-macosx_11_0_arm64.whl 3.7 MB Oct 16, 2026	CPython 3.12	CPython 3.12	macOS 11.0+ ARM64	Details

Total release size: 38.1 MB

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

Download URL	loci_service_asmslicer-1.1.15-cp312-cp312-win_amd64.whl
Size	3.4 MB
Tags	CPython 3.12 Windows x86-64
SHA-256 checksum How to use checksums	`0939daf3be0fc5d8b6ca46f2ff2894b6171bace08493698ac2dd758d028f7377`
BLAKE2b-256 checksum How to use checksums	`9caade69d81cce667573decc6cde8dc0bbf337f1bbcdaf3ba786a202752d3c37`
Upload date	Oct 16, 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.15-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl

Download URL	loci_service_asmslicer-1.1.15-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Size	27.1 MB
Tags	CPython 3.12 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64
SHA-256 checksum How to use checksums	`82d451526a91f1d3b2053a08fb57501a9d635ec175a6a998ec12840e5a0beec3`
BLAKE2b-256 checksum How to use checksums	`d44a677e8950ad7de36170a28969bb98602224cfa83a89d9980fe14f920f9124`
Upload date	Oct 16, 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.15-cp312-cp312-macosx_11_0_x86_64.whl

Download URL	loci_service_asmslicer-1.1.15-cp312-cp312-macosx_11_0_x86_64.whl
Size	3.9 MB
Tags	CPython 3.12 macOS 11.0+ x86-64
SHA-256 checksum How to use checksums	`785a26fb84b2df9108547c66dd62bb018a8a8904a1a2f429a6097065e374564e`
BLAKE2b-256 checksum How to use checksums	`5b692434bac302b994603a80132f229a19372d76afa3307b9f2668131c5084b3`
Upload date	Oct 16, 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.15-cp312-cp312-macosx_11_0_arm64.whl

Download URL	loci_service_asmslicer-1.1.15-cp312-cp312-macosx_11_0_arm64.whl
Size	3.7 MB
Tags	CPython 3.12 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`be12276024768839abed956baf08e28e965abd01ce98578f54ff566b70d91a27`
BLAKE2b-256 checksum How to use checksums	`3724a6501cfa2903d7d6d62cd946bb09cdfb1b0dce323a4a282ce174153eacf1`
Upload date	Oct 16, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.13`