A sets a tools and framework to develop embedded system benchmarks
-
Updated
Jul 14, 2021 - C
#
stack-analysis
Here are 6 public repositories matching this topic...
Static worst-case stack analyser for Cortex-M firmware / models interrupt preemption, resolves indirect calls, every bound checked against QEMU
-
Updated
Sep 5, 2026 - Python
This demo was built by Jerusha Gray. It showcases a MarTech Stack Management Tool built with Supabase, Next.js, and Vercel.
marketing-operations stack-analysis marketing-technology-analytics active-user-tracking martech-stack marketing-internal-tools
-
Updated
Jun 29, 2026 - TypeScript
Early-stage research on compositional worst-case resource bounds, with a linear session-IR checker, occupancy-indexed state experiments in Idris 2, and a prototype stack-depth certificate checker. The long-term goal is predictable memory and network-buffer usage.
static-analysis type-theory formal-methods session-types linear-types type-systems idris2 stack-analysis lean4 resource-analysis resource-bounds
-
Updated
Oct 4, 2026 - Shell
Hands-on C security lab demonstrating buffer overflows, stack memory behavior, and control-flow concepts through guided, safe experiments and debugging workflows.
-
Updated
Apr 21, 2026 - C
Four FreeRTOS tasks on a dual-core ESP32: measured stack margins, priority inversion with numbers on both lock types, and a stack-overflow canary proven by CI
-
Updated
Sep 12, 2026 - C
Add this topic to your repo
To associate your repository with the stack-analysis topic, visit your repo's landing page and select "manage topics."