squaresLab

squaresLab webpage

TeX 2GPL-2.0 2 9 5 Updated Aug 12, 2026

A program equivalence tool for evaluating and validating neural decompilers.

Python 0MIT 0 1 0 Updated Jul 30, 2026

Python 0 1 0 0 Updated Jul 15, 2026

HTML 0 0 1 0 Updated Jun 30, 2026

idioms Public

Python 25 4 1 1 Updated Jan 30, 2026

FrameShift prototype implementation in LibAFL

Rust 0Apache-2.0 4 0 0 Updated Nov 13, 2025

C 0Apache-2.0 2 0 0 Updated Oct 31, 2025

A tool for finding instruction-level equivalence between two functions.

Python 16 5 0 0 Updated Aug 26, 2025

A repository for reproducing the experiments used to evaluate Codealign (https://github.com/squaresLab/codealign)

C++ 1 0 0 0 Updated Aug 26, 2025

Interpretable Vulnerability Detection Reports

C 1 0 0 0 Updated Jul 26, 2025

Navigation Menu