Back

Projects

Open-source projects and research tools.

BASICS

2

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

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