Automated static analysis tools for binary programs
Role in this project:
Back-end Developer & Automation Engineer Contributions:46 commits, 2 PRs, 66 pushes in 5 years 2 months
Contributions summary:Michael primarily contributed to the core functionality of the Pharos project, focusing on the automated static analysis of binary programs. They made significant changes to graph domination calculations within the CDG (Control Dependence Graph) to ensure compatibility with newer versions of Rose. They also addressed installation-related bugs and introduced preliminary auto-build and Docker scripts, indicating a focus on streamlining the development process.
static-analysisbinary-analysisreverse-engineering
Demangles C++ symbol names genarated by Microsoft Visual C++ in order to retrieve the original C++ declarations.
Contributions:145 commits, 1 PR, 10 pushes in 3 years 4 months
cppdemanglec-plus-plusbinary-analysislinker-symbol