Skip to content
#

stack-analysis

Here are 7 public repositories matching this topic...

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.

  • Updated Oct 4, 2026
  • Shell

Sleepy-Duck is an open source project created for automated security testing on application level. Detect-SleepMask, Topics: malware-detection, sleepmask, callstack-spoofing, anti-evasion

  • Updated Oct 7, 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."

Learn more