ASLp Web

On this website, you can use the ASLp partial evaluator within your browser to retrieve semantics for ARM instructions.

Latest: build 6 (offline lifter) (diff of aslp from 5, diff of aslp_web from 5) 2025-02-07 14:56:18+1000

All versions

build 6 (offline lifter) (diff of aslp from 5, diff of aslp_web from 5) 2025-02-07 14:56:18+1000
build 5 (assembly input/output) (diff of aslp from 4, diff of aslp_web from 4) 2024-09-04 17:09:59+1000
build 4 (web worker) (diff of aslp from 3, diff of aslp_web from 3) 2024-07-06 21:57:54+1000
build 3 (ocaml 5) (diff of aslp from 2, diff of aslp_web from 2) 2024-07-03 14:44:14+1000
build 2 (evaluation environment caching) (diff of aslp from 1, diff of aslp_web from 1) 2024-06-28 16:25:48+1000
build 1 (initial build) 2024-06-25 16:14:52+1000

The code for this web interface can be found on GitHub.

These commands use LLVM to assemble/disassemble individual instructions. This is useful for instructions which might be unsupported by ASLp Web.

Assemble mnemonic to bytes (output is little-endian bytes):

echo 'prfm plil3keep, [x0]' | llvm-mc -arch=arm64 -mattr=v9.5a --show-encoding

Disassemble bytes to mnemonic (input is little-endian bytes):

echo '0x0C 0x00 0x80 0xF9' | llvm-mc -arch=arm64 -mattr=v9.5a --disassemble