Static Code Analysis for Assembly Language
ESL Assemblomator is a professional desktop application for deep inspection of assembly code across multiple architectures โ with severity classification, AI-powered fixes, and regulatory-compliant reporting.
How It Works
A streamlined workflow from project creation to compliance reporting.
Create Project
Name your project, select the target architecture, and browse to your assembly source directory.
Run Analysis
Launch static analysis (F5). Violations appear in the list, synced with the code view.
Review & Fix
Click violations to jump to code. Apply fixes manually or use AI-assisted suggestions via Amp SDK.
Generate Report
Export HTML or PDF reports with company metadata for FDA submissions and regulatory compliance.
Core Capabilities
Professional-grade analysis purpose-built for assembly language across embedded architectures.
Multi-Architecture Analysis
Deep support for ATtiny, ATmega, ARM Cortex-M, PIC, MSP430, RISC-V, x86/x86-64, and custom targets.
- Architecture-specific rule sets
- Custom target definitions
- AVR & x86 specializations
Rule-Based Engine
Built-in rule engine focused on assembly-specific risks: stack misuse, interrupt safety, initialization errors, and more.
- Severity classification
- Stack & ISR safety checks
- Extensible rule sets
AI-Assisted Fixes
Integrates with Amp CLI for automated fix suggestions. Structured diffs, selective application, and automatic backups.
- Amp SDK integration
- Side-by-side diff preview
- Fallback for air-gapped envs
Built-in Analysis Rules
Predefined rules targeting common failure modes in assembly development.
| Rule ID | Category | Severity | Description |
|---|---|---|---|
| ASM-STACK-001 | Stack Safety | Critical | Stack pointer not initialized |
| ASM-ISR-001 | Interrupt Safety | Critical | SREG/flags not saved in ISR |
| ASM-ISR-002 | Register Usage | Critical | Registers clobbered in ISR |
| ASM-INT-001 | Timing | High | SEI before peripheral setup |
| ASM-INIT-001 | Initialization | Medium | Register used without initialization |
| ASM-IO-001 | Port I/O | Medium | Whole-port write risk |
| ASM-VEC-001 | Vector Table | Medium | Incomplete interrupt vector table |
| ASM-QUAL-001 | Best Practice | Low | Reliance on reset defaults |
| ASM-QUAL-002 | Best Practice | Low | No register aliases (.def) |
| ASM-X86-001 | Stack Safety | High | Stack not aligned to 16 bytes |
| ASM-X86-002 | Stack Safety | High | Missing stack cleanup after CALL (cdecl) |
| ASM-X86-003 | Stack Safety | Critical | Function prologue/epilogue mismatch |
| ASM-X86-004 | Interrupt Safety | Critical | RET in interrupt handler instead of IRET |
| ASM-X86-005 | Interrupt Safety | Medium | FLAGS not saved in ISR |
| ASM-X86-006 | Initialization | High | REP string op without direction flag (CLD) |
| ASM-X86-007 | Initialization | Critical | DIV/IDIV without zeroing EDX/RDX |
| ASM-X86-008 | Stack Safety | Critical | SS loaded without immediately setting SP |
Why ESL Assemblomator?
Purpose-built for environments where assembly-level code quality is mission-critical.
Project-Based Workflow
Create, save, and version-control .eap project files for traceability and repeatability.
Trend Tracking
Historical violation graphs across scans to monitor quality improvements over time.
Regulatory Reporting
HTML and PDF reports with company metadata suitable for FDA and regulatory submissions.
Air-Gap Compatible
Prompts can be exported for manual use when Amp CLI is unavailable in secure environments.
Professional Qt6 UI
Dark-themed desktop interface with code view, violations list, and integrated trend graphs.
Comprehensive Documentation
Each rule includes severity classification and detailed remediation guidance.
Built for Safety-Critical Industries
Trusted across industries where low-level code quality has direct impact on system safety.
Defense & Aerospace
Assembly-level firmware in avionics and defense systems demands zero-tolerance for stack, ISR, and initialization defects. Full audit trail for DO-178C compliance.
Medical Devices
FDA-compliant reporting for embedded firmware in medical devices. Traceability from violation detection to remediation for IEC 62304 workflows.
Automotive & Industrial
Validate assembly-level microcontroller firmware for automotive ECUs and industrial control systems where safety and reliability are paramount.
Embedded Systems R&D
Engineering teams working on ATtiny, ATmega, PIC, MSP430, and RISC-V projects where low-level code quality directly impacts system stability.
Do you wish to know more ?