#

stack-memory

Here is 1 public repository matching this topic...

Singularitty / BASICS

Model Checking tool to verify LTL properties in stack memory of binary programs

binary ltl model-checker security-tools buffer-overflow-vulnerability stack-memory

Updated Jun 30, 2025
C

Improve this page

Add a description, image, and links to the stack-memory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the stack-memory topic, visit your repo's landing page and select "manage topics."