about
publications
cv
open source(current)

open source

Program analysis tools and benchmarks from my PhD research, all released open source.

DependableSystemsLab/SolidiFI

DependableSystemsLab/SolidiFI

DependableSystemsLab/AChecker

DependableSystemsLab/AChecker

DependableSystemsLab/eTainter

DependableSystemsLab/eTainter

DependableSystemsLab/SolidiFI-benchmark

DependableSystemsLab/SolidiFI-benchmark

© Copyright 2026 Asem Ghaleb. Powered by Jekyll with al-folio theme.